Lines Matching refs:loop1
14 ; CHECK-NEXT: --> {14,+,3}<%loop1>
16 ; CHECK-NEXT: --> {20,+,6}<%loop1>
22 ; CHECK-NEXT: --> {{{{}}73,+,1}<%loop1>,+,1}<%loop2>
24 ; CHECK-NEXT: --> {{{{}}57,+,2}<%loop1>,+,2}<%loop2>
26 ; CHECK-NEXT: --> {{{{}}130,+,3}<%loop1>,+,3}<%loop2>
28 ; CHECK-NEXT: --> {{{{}}179,+,6}<%loop1>,+,6}<%loop2>
30 ; CHECK-NEXT: --> {{{{}}122,+,3}<%loop1>,+,3}<%loop2>
32 ; CHECK-NEXT: --> {{{{}}63,+,6}<%loop1>,+,3}<%loop2>
35 br label %loop1
37 loop1:
38 %phi1 = phi i32 [ 10, %entry ], [ %phi1.inc, %loop1 ]
39 %phi2 = phi i32 [ 4, %entry ], [ %phi2.inc, %loop1 ]
40 %phi3 = phi i32 [ 6, %entry ], [ %phi3.inc, %loop1 ]
47 br i1 %cond1, label %loop1, label %loop2
50 %phi4 = phi i32 [ 63, %loop1 ], [ %phi4.inc, %loop2 ]
51 %phi5 = phi i32 [ 53, %loop1 ], [ %phi5.inc, %loop2 ]
52 %phi6 = phi i32 [ 43, %loop1 ], [ %phi6.inc, %loop2 ]
78 ; CHECK-NEXT: --> {(%a + %b),+,3}<%loop1>
80 ; CHECK-NEXT: --> {(6 + %a + %b),+,6}<%loop1>
82 ; CHECK-NEXT: --> {(6 + (2 * %a) + %b),+,6}<%loop1>
90 ; CHECK-NEXT: --> {{{{}}(165 + (2 * %a) + (2 * %b)),+,6}<%loop1>,+,6}<%loop2>
92 ; CHECK-NEXT: --> {(6 + (3 * %a) + %b),+,7}<%loop1>
96 ; CHECK-NEXT: --> {{{{}}(59 + (2 * %a) + %b),+,6}<%loop1>,+,2}<%loop2>
98 ; CHECK-NEXT: --> {{{{}}(159 + (2 * %b)),+,2}<%loop1>,+,6}<%loop2>
100 ; CHECK-NEXT: --> {{{{}}(165 + (2 * %a) + (2 * %b)),+,6}<%loop1>,+,6}<%loop2>
102 ; CHECK-NEXT: --> {{{{}}(165 + (2 * %a) + (2 * %b)),+,6}<%loop1>,+,6}<%loop2>
105 br label %loop1
107 loop1:
108 %phi1 = phi i32 [ %a, %entry ], [ %phi1.inc, %loop1 ]
109 %phi2 = phi i32 [ %b, %entry ], [ %phi2.inc, %loop1 ]
110 %phi3 = phi i32 [ 6, %entry ], [ %phi3.inc, %loop1 ]
118 br i1 %cond1, label %loop1, label %loop2
121 %phi4 = phi i32 [ 63, %loop1 ], [ %phi4.inc, %loop2 ]
122 %phi5 = phi i32 [ 53, %loop1 ], [ %phi5.inc, %loop2 ]
123 %phi6 = phi i32 [ 43, %loop1 ], [ %phi6.inc, %loop2 ]
151 ; CHECK-NEXT: --> {(%a + %b),+,3}<%loop1>
153 ; CHECK-NEXT: --> {(6 + %a + %b),+,6}<%loop1>
155 ; CHECK-NEXT: --> ({(6 + %a + %b),+,6}<%loop1> + %v1)
163 ; CHECK-NEXT: --> ({(6 + %a + %b),+,6}<%loop1> + %v1)
165 ; CHECK-NEXT: --> (2 * ({(6 + %a + %b),+,6}<%loop1> + %v1))
167 ; CHECK-NEXT: --> ({(6 + (2 * %a) + %b),+,7}<%loop1> + %v1)
171 ; CHECK-NEXT: --> {({(6 + (2 * %b) + %a),+,6}<%loop1> + %v1),+,2}<%loop2>
173 ; CHECK-NEXT: --> ({{{{}}(43 + (2 * %b) + %a),+,2}<%loop1>,+,6}<%loop2> + %v2)
175 ; CHECK-NEXT: --> ({({(49 + (2 * %a) + (2 * %b)),+,6}<%loop1> + %v1),+,6}<%loop2> + %v2)
177 ; CHECK-NEXT: --> ({({(49 + (2 * %a) + (2 * %b)),+,6}<%loop1> + %v1),+,6}<%loop2> + %v2)
180 br label %loop1
182 loop1:
183 %phi1 = phi i32 [ %a, %entry ], [ %phi1.inc, %loop1 ]
184 %phi2 = phi i32 [ %b, %entry ], [ %phi2.inc, %loop1 ]
185 %phi3 = phi i32 [ 6, %entry ], [ %phi3.inc, %loop1 ]
194 br i1 %cond1, label %loop1, label %loop2
197 %phi4 = phi i32 [ %a, %loop1 ], [ %phi4.inc, %loop2 ]
198 %phi5 = phi i32 [ %b, %loop1 ], [ %phi5.inc, %loop2 ]
199 %phi6 = phi i32 [ 43, %loop1 ], [ %phi6.inc, %loop2 ]
223 ; a recurrence of loop1 because of operands order if we pick recurrencies in an
233 ; CHECK-NEXT: --> ({%a,+,1}<%loop1> + %v1)
235 ; CHECK-NEXT: --> ({(%a + %b),+,1}<%loop1> + %v1)
237 ; CHECK-NEXT: --> ({{{{}}((2 * %a) + %b),+,1}<%loop1>,+,2}<%loop2> + %v1)
240 br label %loop1
242 loop1:
243 %phi1 = phi i32 [ %a, %entry ], [ %phi1.inc, %loop1 ]
246 br i1 %cond1, label %loop1, label %loop2
249 %phi2 = phi i32 [ %a, %loop1 ], [ %phi2.inc, %loop2 ]
269 ; CHECK-NEXT: --> {2,+,1}<nuw><nsw><%loop1>
271 ; CHECK-NEXT: --> {2,+,1}<%loop1>
273 ; CHECK-NEXT: --> {3,+,1}<nuw><%loop1>
274 ; CHECK: %tmp7 = phi i64 [ %tmp15, %loop2 ], [ 2, %loop1 ]
284 …> ((sext i8 %tmp8 to i32) + {{[{][{]}}(-4 + (trunc i64 undef to i32)),+,-1}<%loop1>,+,-1}<%loop2>)
289 br label %loop1
291 loop1:
298 br label %loop1
304 %tmp7 = phi i64 [ %tmp15, %loop2 ], [ 2, %loop1 ]
361 ; CHECK-NEXT: --> {{{{}}30,+,1}<%loop1>,+,2}<%loop2>
363 ; CHECK-NEXT: --> {{{{}}30,+,1}<%loop1>,+,2}<%loop2>
365 ; CHECK-NEXT: --> {{{{}}40,+,1}<%loop1>,+,3}<%loop3>
367 ; CHECK-NEXT: --> {{{{}}40,+,1}<%loop1>,+,3}<%loop3>
374 br label %loop1
376 loop1:
377 %phi1 = phi i32 [ 10, %entry ], [ %phi1.inc, %loop1.exit ]
381 %phi2 = phi i32 [ 20, %loop1 ], [ %phi2.inc, %loop2 ]
384 br i1 %cond2, label %loop2, label %loop1.exit
386 loop1.exit:
389 br i1 %cond1, label %loop1, label %loop3
392 %phi3 = phi i32 [ 30, %loop1.exit ], [ %phi3.inc, %loop3 ]
413 ; CHECK-NEXT: --> {{{{}}30,+,1}<%loop1>,+,2}<%loop2>
415 ; CHECK-NEXT: --> {{{{}}30,+,1}<%loop1>,+,2}<%loop2>
417 ; CHECK-NEXT: --> {{{{}}40,+,3}<%loop3>,+,1}<%loop1>
419 ; CHECK-NEXT: --> {{{{}}40,+,3}<%loop3>,+,1}<%loop1>
432 br i1 %cond3, label %loop3, label %loop1
434 loop1:
435 %phi1 = phi i32 [ 10, %loop3 ], [ %phi1.inc, %loop1.exit ]
439 %phi2 = phi i32 [ 20, %loop1 ], [ %phi2.inc, %loop2 ]
442 br i1 %cond2, label %loop2, label %loop1.exit
444 loop1.exit:
447 br i1 %cond1, label %exit, label %loop1
520 ; CHECK-NEXT: --> {0,+,1}<nuw><nsw><%loop1>
522 ; CHECK-NEXT: --> {0,+,1}<%loop1>
524 ; CHECK-NEXT: --> {1,+,1}<nuw><nsw><%loop1>
532 ; CHECK-NEXT: --> ((sext i32 {(1 + %param),+,1}<%loop2> to i64) * {0,+,1}<nuw><nsw><%loop1>)
538 br label %loop1
540 loop1: ; preds = %guarded, %outer.loop
546 guarded: ; preds = %loop1
549 br i1 %tmp16, label %loop1, label %loop2.preheader
551 deopt: ; preds = %loop1
575 ; CHECK-NEXT: --> {0,+,1}<nuw><nsw><%loop1>
577 ; CHECK-NEXT: --> {0,+,1}<%loop1>
579 ; CHECK-NEXT: --> {1,+,1}<nuw><nsw><%loop1>
589 ; CHECK-NEXT: --> ((sext i32 {(1 + %param),+,1}<%loop2> to i64) * {0,+,1}<nuw><nsw><%loop1>)
599 br label %loop1
601 loop1: ; preds = %guarded, %uncle.loop
607 guarded: ; preds = %loop1
610 br i1 %tmp16, label %loop1, label %uncle.loop.backedge
617 deopt: ; preds = %loop1