1; RUN: opt -loop-reduce -S < %s | FileCheck %s
2;
3; Test TransformForPostIncUse and LSR's expansion of expressions in
4; post-inc form to ensure the implementation can handle expressions
5; DAGs, not just trees.
6
7target triple = "x86_64-apple-darwin"
8
9; Verify that -loop-reduce runs without "hanging" and reuses post-inc
10; expansions.
11; CHECK-LABEL: @test(
12; CHECK: icmp
13; CHECK: icmp
14; CHECK: icmp
15; CHECK: icmp
16; CHECK: icmp
17; CHECK: icmp
18; CHECK: icmp
19; CHECK: icmp
20; CHECK: icmp
21; CHECK: icmp
22; CHECK: icmp
23; CHECK: icmp
24; CHECK: icmp
25; CHECK: icmp
26; CHECK: icmp
27; CHECK: icmp
28; CHECK: icmp
29; CHECK-NOT: icmp
30define void @test(i8* %base, i32 %a0) nounwind {
31entry:
32  br label %bb1
33bb1:
34  %n0 = sub i32 0, %a0
35  %t0 = icmp ugt i32 %n0, -4
36  %m0 = select i1 %t0, i32 %n0, i32 -4
37  %a1 = add i32 %m0, %a0
38  %n1 = sub i32 0, %a1
39  %t1 = icmp ugt i32 %n1, -4
40  %m1 = select i1 %t1, i32 %n1, i32 -4
41  %a2 = add i32 %m1, %a1
42  %n2 = sub i32 0, %a2
43  %t2 = icmp ugt i32 %n2, -4
44  %m2 = select i1 %t2, i32 %n2, i32 -4
45  %a3 = add i32 %m2, %a2
46  %n3 = sub i32 0, %a3
47  %t3 = icmp ugt i32 %n3, -4
48  %m3 = select i1 %t3, i32 %n3, i32 -4
49  %a4 = add i32 %m3, %a3
50  %n4 = sub i32 0, %a4
51  %t4 = icmp ugt i32 %n4, -4
52  %m4 = select i1 %t4, i32 %n4, i32 -4
53  %a5 = add i32 %m4, %a4
54  %n5 = sub i32 0, %a5
55  %t5 = icmp ugt i32 %n5, -4
56  %m5 = select i1 %t5, i32 %n5, i32 -4
57  %a6 = add i32 %m5, %a5
58  %n6 = sub i32 0, %a6
59  %t6 = icmp ugt i32 %n6, -4
60  %m6 = select i1 %t6, i32 %n6, i32 -4
61  %a7 = add i32 %m6, %a6
62  %n7 = sub i32 0, %a7
63  %t7 = icmp ugt i32 %n7, -4
64  %m7 = select i1 %t7, i32 %n7, i32 -4
65  %a8 = add i32 %m7, %a7
66  %n8 = sub i32 0, %a8
67  %t8 = icmp ugt i32 %n8, -4
68  %m8 = select i1 %t8, i32 %n8, i32 -4
69  %a9 = add i32 %m8, %a8
70  %n9 = sub i32 0, %a9
71  %t9 = icmp ugt i32 %n9, -4
72  %m9 = select i1 %t9, i32 %n9, i32 -4
73  %a10 = add i32 %m9, %a9
74  %n10 = sub i32 0, %a10
75  %t10 = icmp ugt i32 %n10, -4
76  %m10 = select i1 %t10, i32 %n10, i32 -4
77  %a11 = add i32 %m10, %a10
78  %n11 = sub i32 0, %a11
79  %t11 = icmp ugt i32 %n11, -4
80  %m11 = select i1 %t11, i32 %n11, i32 -4
81  %a12 = add i32 %m11, %a11
82  %n12 = sub i32 0, %a12
83  %t12 = icmp ugt i32 %n12, -4
84  %m12 = select i1 %t12, i32 %n12, i32 -4
85  %a13 = add i32 %m12, %a12
86  %n13 = sub i32 0, %a13
87  %t13 = icmp ugt i32 %n13, -4
88  %m13 = select i1 %t13, i32 %n13, i32 -4
89  %a14 = add i32 %m13, %a13
90  %n14 = sub i32 0, %a14
91  %t14 = icmp ugt i32 %n14, -4
92  %m14 = select i1 %t14, i32 %n14, i32 -4
93  %a15 = add i32 %m14, %a14
94  %n15 = sub i32 0, %a15
95  %t15 = icmp ugt i32 %n15, -4
96  %m15 = select i1 %t15, i32 %n15, i32 -4
97  %a16 = add i32 %m15, %a15
98  %gep = getelementptr i8* %base, i32 %a16
99  %ofs = add i32 %a16, 4
100  %limit = getelementptr i8* %base, i32 %ofs
101  br label %loop
102
103loop:
104  %iv = phi i8* [ %gep, %bb1 ], [ %inc, %loop ]
105  %inc = getelementptr inbounds i8* %iv, i64 1
106  %exitcond = icmp eq i8* %inc, %limit
107  br i1 %exitcond, label %loop, label %exit
108
109exit:
110  ret void
111}
112