1; RUN: opt -gvn-hoist -newgvn -gvn-hoist -S < %s | FileCheck %s
2
3; Check that recursive GEPs are hoisted. Since hoisting creates
4; fully redundant instructions, newgvn is run to remove them which then
5; creates more opportunites for hoisting.
6
7; CHECK-LABEL: @fun
8; CHECK: load
9; CHECK: fdiv
10; CHECK: load
11; CHECK: load
12; CHECK: load
13; CHECK: fsub
14; CHECK: fmul
15; CHECK: fsub
16; CHECK: fmul
17; CHECK-NOT: fsub
18; CHECK-NOT: fmul
19
20%0 = type { double, double, double }
21%1 = type { double, double, double }
22%2 = type { %3, %1, %1 }
23%3 = type { i32 (...)**, %4, %10*, %11, %11, %11, %11, %11, %11, %11, %11, %11 }
24%4 = type { %5 }
25%5 = type { %6 }
26%6 = type { %7 }
27%7 = type { %8 }
28%8 = type { %9 }
29%9 = type { i64, i64, i8* }
30%10 = type <{ i32 (...)**, i32, [4 x i8] }>
31%11 = type { [4 x [4 x double]] }
32%12 = type <{ %1, %0, i32, [4 x i8] }>
33%13 = type { %1, %0, %12, %3*, %14* }
34%14 = type opaque
35
36@d = external global %0, align 8
37@p = external global %1, align 8
38
39define zeroext i1 @fun(%2*, %12* dereferenceable(56), double*, %13*) {
40  %5 = alloca %2*, align 8
41  %6 = alloca %12*, align 8
42  %7 = alloca double*, align 8
43  %8 = alloca %13*, align 8
44  %9 = alloca double, align 8
45  %10 = alloca double, align 8
46  %11 = alloca double, align 8
47  %12 = alloca double, align 8
48  %13 = alloca double, align 8
49  %14 = alloca double, align 8
50  %15 = alloca double, align 8
51  store %2* %0, %2** %5, align 8
52  store %12* %1, %12** %6, align 8
53  store double* %2, double** %7, align 8
54  store %13* %3, %13** %8, align 8
55  %16 = load %2*, %2** %5, align 8
56  %17 = load double, double* getelementptr inbounds (%0, %0* @d, i32 0, i32 0), align 8
57  %18 = fdiv double 1.000000e+00, %17
58  store double %18, double* %15, align 8
59  %19 = load double, double* %15, align 8
60  %20 = fcmp oge double %19, 0.000000e+00
61  br i1 %20, label %21, label %36
62
63; <label>:21:                                     ; preds = %4
64  %22 = getelementptr inbounds %2, %2* %16, i32 0, i32 1
65  %23 = getelementptr inbounds %1, %1* %22, i32 0, i32 0
66  %24 = load double, double* %23, align 8
67  %25 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
68  %26 = fsub double %24, %25
69  %27 = load double, double* %15, align 8
70  %28 = fmul double %26, %27
71  store double %28, double* %9, align 8
72  %29 = getelementptr inbounds %2, %2* %16, i32 0, i32 2
73  %30 = getelementptr inbounds %1, %1* %29, i32 0, i32 0
74  %31 = load double, double* %30, align 8
75  %32 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
76  %33 = fsub double %31, %32
77  %34 = load double, double* %15, align 8
78  %35 = fmul double %33, %34
79  store double %35, double* %12, align 8
80  br label %51
81
82; <label>:36:                                     ; preds = %4
83  %37 = getelementptr inbounds %2, %2* %16, i32 0, i32 2
84  %38 = getelementptr inbounds %1, %1* %37, i32 0, i32 0
85  %39 = load double, double* %38, align 8
86  %40 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
87  %41 = fsub double %39, %40
88  %42 = load double, double* %15, align 8
89  %43 = fmul double %41, %42
90  store double %43, double* %9, align 8
91  %44 = getelementptr inbounds %2, %2* %16, i32 0, i32 1
92  %45 = getelementptr inbounds %1, %1* %44, i32 0, i32 0
93  %46 = load double, double* %45, align 8
94  %47 = load double, double* getelementptr inbounds (%1, %1* @p, i32 0, i32 0), align 8
95  %48 = fsub double %46, %47
96  %49 = load double, double* %15, align 8
97  %50 = fmul double %48, %49
98  store double %50, double* %12, align 8
99  br label %51
100
101; <label>:51:                                     ; preds = %36, %21
102  %52 = load double, double* %12, align 8
103  %53 = load double, double* %9, align 8
104  %54 = fcmp olt double %52, %53
105  ret i1 %54
106}
107