1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -passes 'loop-reduce' -scalar-evolution-max-arith-depth=2 -S < %s | FileCheck --check-prefixes=DEFAULT %s
3; RUN: opt -loop-reduce -scalar-evolution-max-arith-depth=2 -S < %s | FileCheck --check-prefixes=LIMIT %s
4
5; This test should just compile cleanly without assertions.
6
7target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
8
9define void @test(i32 %A, i32 %B, i32 %C) {
10; DEFAULT-LABEL: @test(
11; DEFAULT-NEXT:  entry:
12; DEFAULT-NEXT:    [[TMP0:%.*]] = mul i32 [[C:%.*]], -3
13; DEFAULT-NEXT:    br label [[OUTER_LOOP:%.*]]
14; DEFAULT:       outer_loop:
15; DEFAULT-NEXT:    [[PHI2:%.*]] = phi i32 [ [[A:%.*]], [[ENTRY:%.*]] ], [ 204, [[OUTER_TAIL:%.*]] ]
16; DEFAULT-NEXT:    [[PHI3:%.*]] = phi i32 [ [[A]], [[ENTRY]] ], [ 243, [[OUTER_TAIL]] ]
17; DEFAULT-NEXT:    [[PHI4:%.*]] = phi i32 [ [[B:%.*]], [[ENTRY]] ], [ [[I35:%.*]], [[OUTER_TAIL]] ]
18; DEFAULT-NEXT:    br label [[GUARD:%.*]]
19; DEFAULT:       guard:
20; DEFAULT-NEXT:    [[LCMP_MOD:%.*]] = icmp eq i32 [[C]], 0
21; DEFAULT-NEXT:    br i1 [[LCMP_MOD]], label [[OUTER_TAIL]], label [[PREHEADER:%.*]]
22; DEFAULT:       preheader:
23; DEFAULT-NEXT:    [[I15:%.*]] = shl i32 [[B]], 1
24; DEFAULT-NEXT:    [[TMP1:%.*]] = mul i32 [[PHI2]], -1
25; DEFAULT-NEXT:    [[TMP2:%.*]] = mul i32 [[TMP1]], -1
26; DEFAULT-NEXT:    [[TMP3:%.*]] = sub i32 [[PHI4]], [[TMP2]]
27; DEFAULT-NEXT:    [[TMP4:%.*]] = add i32 [[B]], [[PHI4]]
28; DEFAULT-NEXT:    [[TMP5:%.*]] = sub i32 [[TMP4]], [[TMP2]]
29; DEFAULT-NEXT:    [[TMP6:%.*]] = sub i32 14, [[TMP5]]
30; DEFAULT-NEXT:    [[TMP7:%.*]] = add i32 [[TMP0]], [[PHI2]]
31; DEFAULT-NEXT:    br label [[INNER_LOOP:%.*]]
32; DEFAULT:       inner_loop:
33; DEFAULT-NEXT:    [[LSR_IV3:%.*]] = phi i32 [ [[LSR_IV_NEXT4:%.*]], [[INNER_LOOP]] ], [ [[TMP6]], [[PREHEADER]] ]
34; DEFAULT-NEXT:    [[LSR_IV1:%.*]] = phi i32 [ [[LSR_IV_NEXT2:%.*]], [[INNER_LOOP]] ], [ [[TMP5]], [[PREHEADER]] ]
35; DEFAULT-NEXT:    [[LSR_IV:%.*]] = phi i32 [ [[LSR_IV_NEXT:%.*]], [[INNER_LOOP]] ], [ [[TMP3]], [[PREHEADER]] ]
36; DEFAULT-NEXT:    [[PHI5:%.*]] = phi i32 [ [[PHI3]], [[PREHEADER]] ], [ [[I30:%.*]], [[INNER_LOOP]] ]
37; DEFAULT-NEXT:    [[PHI6:%.*]] = phi i32 [ [[PHI2]], [[PREHEADER]] ], [ [[I33:%.*]], [[INNER_LOOP]] ]
38; DEFAULT-NEXT:    [[ITER:%.*]] = phi i32 [ [[C]], [[PREHEADER]] ], [ [[ITER_SUB:%.*]], [[INNER_LOOP]] ]
39; DEFAULT-NEXT:    [[I17:%.*]] = sub i32 [[PHI4]], [[PHI6]]
40; DEFAULT-NEXT:    [[I18:%.*]] = sub i32 14, [[PHI5]]
41; DEFAULT-NEXT:    [[I19:%.*]] = mul i32 [[I18]], [[C]]
42; DEFAULT-NEXT:    [[FACTOR_PROL:%.*]] = shl i32 [[PHI5]], 1
43; DEFAULT-NEXT:    [[TMP8:%.*]] = add i32 [[LSR_IV1]], [[I19]]
44; DEFAULT-NEXT:    [[TMP9:%.*]] = add i32 [[TMP8]], [[FACTOR_PROL]]
45; DEFAULT-NEXT:    [[TMP10:%.*]] = shl i32 [[TMP9]], 1
46; DEFAULT-NEXT:    [[TMP11:%.*]] = add i32 [[LSR_IV]], [[TMP10]]
47; DEFAULT-NEXT:    [[TMP12:%.*]] = sub i32 [[LSR_IV3]], [[I19]]
48; DEFAULT-NEXT:    [[TMP13:%.*]] = sub i32 [[TMP12]], [[FACTOR_PROL]]
49; DEFAULT-NEXT:    [[TMP14:%.*]] = mul i32 [[C]], [[TMP13]]
50; DEFAULT-NEXT:    [[TMP15:%.*]] = add i32 [[LSR_IV1]], [[I19]]
51; DEFAULT-NEXT:    [[TMP16:%.*]] = add i32 [[TMP15]], [[FACTOR_PROL]]
52; DEFAULT-NEXT:    [[TMP17:%.*]] = shl i32 [[TMP16]], 1
53; DEFAULT-NEXT:    [[TMP18:%.*]] = add i32 [[TMP14]], [[TMP17]]
54; DEFAULT-NEXT:    [[TMP19:%.*]] = add i32 [[LSR_IV]], [[TMP18]]
55; DEFAULT-NEXT:    [[I29:%.*]] = mul i32 [[TMP11]], [[C]]
56; DEFAULT-NEXT:    [[FACTOR_2_PROL:%.*]] = shl i32 [[TMP19]], 1
57; DEFAULT-NEXT:    [[I30]] = add i32 [[I17]], [[FACTOR_2_PROL]]
58; DEFAULT-NEXT:    [[I33]] = add i32 [[PHI6]], -3
59; DEFAULT-NEXT:    [[ITER_SUB]] = add i32 [[ITER]], -1
60; DEFAULT-NEXT:    [[LSR_IV_NEXT]] = add i32 [[LSR_IV]], 3
61; DEFAULT-NEXT:    [[LSR_IV_NEXT2]] = add i32 [[LSR_IV1]], 3
62; DEFAULT-NEXT:    [[LSR_IV_NEXT4]] = add i32 [[LSR_IV3]], -3
63; DEFAULT-NEXT:    [[ITER_CMP:%.*]] = icmp eq i32 [[ITER_SUB]], 0
64; DEFAULT-NEXT:    br i1 [[ITER_CMP]], label [[OUTER_TAIL_LOOPEXIT:%.*]], label [[INNER_LOOP]]
65; DEFAULT:       outer_tail.loopexit:
66; DEFAULT-NEXT:    br label [[OUTER_TAIL]]
67; DEFAULT:       outer_tail:
68; DEFAULT-NEXT:    [[PHI7:%.*]] = phi i32 [ [[PHI2]], [[GUARD]] ], [ [[TMP7]], [[OUTER_TAIL_LOOPEXIT]] ]
69; DEFAULT-NEXT:    [[I35]] = sub i32 [[A]], [[PHI7]]
70; DEFAULT-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[I35]], 9876
71; DEFAULT-NEXT:    br i1 [[CMP]], label [[EXIT:%.*]], label [[OUTER_LOOP]]
72; DEFAULT:       exit:
73; DEFAULT-NEXT:    ret void
74;
75; LIMIT-LABEL: @test(
76; LIMIT-NEXT:  entry:
77; LIMIT-NEXT:    br label [[OUTER_LOOP:%.*]]
78; LIMIT:       outer_loop:
79; LIMIT-NEXT:    [[PHI2:%.*]] = phi i32 [ [[A:%.*]], [[ENTRY:%.*]] ], [ 204, [[OUTER_TAIL:%.*]] ]
80; LIMIT-NEXT:    [[PHI3:%.*]] = phi i32 [ [[A]], [[ENTRY]] ], [ 243, [[OUTER_TAIL]] ]
81; LIMIT-NEXT:    [[PHI4:%.*]] = phi i32 [ [[B:%.*]], [[ENTRY]] ], [ [[I35:%.*]], [[OUTER_TAIL]] ]
82; LIMIT-NEXT:    br label [[GUARD:%.*]]
83; LIMIT:       guard:
84; LIMIT-NEXT:    [[LCMP_MOD:%.*]] = icmp eq i32 [[C:%.*]], 0
85; LIMIT-NEXT:    br i1 [[LCMP_MOD]], label [[OUTER_TAIL]], label [[PREHEADER:%.*]]
86; LIMIT:       preheader:
87; LIMIT-NEXT:    [[I15:%.*]] = shl i32 [[B]], 1
88; LIMIT-NEXT:    [[TMP0:%.*]] = mul i32 [[PHI2]], -1
89; LIMIT-NEXT:    [[TMP1:%.*]] = mul i32 [[TMP0]], -1
90; LIMIT-NEXT:    [[TMP2:%.*]] = sub i32 [[PHI4]], [[TMP1]]
91; LIMIT-NEXT:    [[TMP3:%.*]] = add i32 [[B]], [[PHI4]]
92; LIMIT-NEXT:    [[TMP4:%.*]] = sub i32 [[TMP3]], [[TMP1]]
93; LIMIT-NEXT:    [[TMP5:%.*]] = sub i32 14, [[TMP4]]
94; LIMIT-NEXT:    br label [[INNER_LOOP:%.*]]
95; LIMIT:       inner_loop:
96; LIMIT-NEXT:    [[LSR_IV3:%.*]] = phi i32 [ [[LSR_IV_NEXT4:%.*]], [[INNER_LOOP]] ], [ [[TMP5]], [[PREHEADER]] ]
97; LIMIT-NEXT:    [[LSR_IV1:%.*]] = phi i32 [ [[LSR_IV_NEXT2:%.*]], [[INNER_LOOP]] ], [ [[TMP4]], [[PREHEADER]] ]
98; LIMIT-NEXT:    [[LSR_IV:%.*]] = phi i32 [ [[LSR_IV_NEXT:%.*]], [[INNER_LOOP]] ], [ [[TMP2]], [[PREHEADER]] ]
99; LIMIT-NEXT:    [[PHI5:%.*]] = phi i32 [ [[PHI3]], [[PREHEADER]] ], [ [[I30:%.*]], [[INNER_LOOP]] ]
100; LIMIT-NEXT:    [[PHI6:%.*]] = phi i32 [ [[PHI2]], [[PREHEADER]] ], [ [[I33:%.*]], [[INNER_LOOP]] ]
101; LIMIT-NEXT:    [[ITER:%.*]] = phi i32 [ [[C]], [[PREHEADER]] ], [ [[ITER_SUB:%.*]], [[INNER_LOOP]] ]
102; LIMIT-NEXT:    [[I17:%.*]] = sub i32 [[PHI4]], [[PHI6]]
103; LIMIT-NEXT:    [[I18:%.*]] = sub i32 14, [[PHI5]]
104; LIMIT-NEXT:    [[I19:%.*]] = mul i32 [[I18]], [[C]]
105; LIMIT-NEXT:    [[FACTOR_PROL:%.*]] = shl i32 [[PHI5]], 1
106; LIMIT-NEXT:    [[TMP6:%.*]] = add i32 [[LSR_IV1]], [[I19]]
107; LIMIT-NEXT:    [[TMP7:%.*]] = add i32 [[TMP6]], [[FACTOR_PROL]]
108; LIMIT-NEXT:    [[TMP8:%.*]] = shl i32 [[TMP7]], 1
109; LIMIT-NEXT:    [[TMP9:%.*]] = add i32 [[LSR_IV]], [[TMP8]]
110; LIMIT-NEXT:    [[TMP10:%.*]] = sub i32 [[LSR_IV3]], [[I19]]
111; LIMIT-NEXT:    [[TMP11:%.*]] = sub i32 [[TMP10]], [[FACTOR_PROL]]
112; LIMIT-NEXT:    [[TMP12:%.*]] = mul i32 [[C]], [[TMP11]]
113; LIMIT-NEXT:    [[TMP13:%.*]] = add i32 [[LSR_IV1]], [[I19]]
114; LIMIT-NEXT:    [[TMP14:%.*]] = add i32 [[TMP13]], [[FACTOR_PROL]]
115; LIMIT-NEXT:    [[TMP15:%.*]] = shl i32 [[TMP14]], 1
116; LIMIT-NEXT:    [[TMP16:%.*]] = add i32 [[TMP12]], [[TMP15]]
117; LIMIT-NEXT:    [[TMP17:%.*]] = add i32 [[LSR_IV]], [[TMP16]]
118; LIMIT-NEXT:    [[I29:%.*]] = mul i32 [[TMP9]], [[C]]
119; LIMIT-NEXT:    [[FACTOR_2_PROL:%.*]] = shl i32 [[TMP17]], 1
120; LIMIT-NEXT:    [[I30]] = add i32 [[I17]], [[FACTOR_2_PROL]]
121; LIMIT-NEXT:    [[I33]] = add i32 [[PHI6]], -3
122; LIMIT-NEXT:    [[ITER_SUB]] = add i32 [[ITER]], -1
123; LIMIT-NEXT:    [[LSR_IV_NEXT]] = add i32 [[LSR_IV]], 3
124; LIMIT-NEXT:    [[LSR_IV_NEXT2]] = add i32 [[LSR_IV1]], 3
125; LIMIT-NEXT:    [[LSR_IV_NEXT4]] = add i32 [[LSR_IV3]], -3
126; LIMIT-NEXT:    [[ITER_CMP:%.*]] = icmp eq i32 [[ITER_SUB]], 0
127; LIMIT-NEXT:    br i1 [[ITER_CMP]], label [[OUTER_TAIL_LOOPEXIT:%.*]], label [[INNER_LOOP]]
128; LIMIT:       outer_tail.loopexit:
129; LIMIT-NEXT:    br label [[OUTER_TAIL]]
130; LIMIT:       outer_tail:
131; LIMIT-NEXT:    [[PHI7:%.*]] = phi i32 [ [[PHI2]], [[GUARD]] ], [ [[I33]], [[OUTER_TAIL_LOOPEXIT]] ]
132; LIMIT-NEXT:    [[I35]] = sub i32 [[A]], [[PHI7]]
133; LIMIT-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[I35]], 9876
134; LIMIT-NEXT:    br i1 [[CMP]], label [[EXIT:%.*]], label [[OUTER_LOOP]]
135; LIMIT:       exit:
136; LIMIT-NEXT:    ret void
137;
138entry:
139  br label %outer_loop
140
141outer_loop:
142  %phi2 = phi i32 [ %A, %entry ], [ 204, %outer_tail ]
143  %phi3 = phi i32 [ %A, %entry ], [ 243, %outer_tail ]
144  %phi4 = phi i32 [ %B, %entry ], [ %i35, %outer_tail ]
145  br label %guard
146
147guard:
148  %lcmp.mod = icmp eq i32 %C, 0
149  br i1 %lcmp.mod, label %outer_tail, label %preheader
150
151preheader:
152  %i15 = shl i32 %B, 1
153  br label %inner_loop
154
155inner_loop:
156  %phi5 = phi i32 [ %phi3, %preheader ], [ %i30, %inner_loop ]
157  %phi6 = phi i32 [ %phi2, %preheader ], [ %i33, %inner_loop ]
158  %iter = phi i32 [ %C, %preheader ], [ %iter.sub, %inner_loop ]
159  %i17 = sub i32 %phi4, %phi6
160  %i18 = sub i32 14, %phi5
161  %i19 = mul i32 %i18, %C
162  %factor.prol = shl i32 %phi5, 1
163  %i20 = add i32 %i17, %factor.prol
164  %i21 = add i32 %i20, %B
165  %i22 = add i32 %i21, %i19
166  %i23 = sub i32 14, %i22
167  %i24 = mul i32 %i23, %C
168  %factor.1.prol = shl i32 %i22, 1
169  %i25 = add i32 %i17, %factor.1.prol
170  %i27 = add i32 %i25, %i24
171  %i29 = mul i32 %i25, %C
172  %factor.2.prol = shl i32 %i27, 1
173  %i30 = add i32 %i17, %factor.2.prol
174  %i33 = add nsw i32 %phi6, -3
175  %iter.sub = add i32 %iter, -1
176  %iter.cmp = icmp eq i32 %iter.sub, 0
177  br i1 %iter.cmp, label %outer_tail, label %inner_loop
178
179outer_tail:
180  %phi7 = phi i32 [ %phi2, %guard ], [ %i33, %inner_loop ]
181  %i35 = sub i32 %A, %phi7
182  %cmp = icmp sgt i32 %i35, 9876
183  br i1 %cmp, label %exit, label %outer_loop
184
185exit:
186  ret void
187
188}
189