Lines Matching refs:loop
43 ; complicated CFG. Here the FSM is represented as a nested loop, with
46 ; CHECK: < loop.1.backedge loop.1 loop.2 loop.3 > [ 1, loop.1 ]
47 ; CHECK-NEXT: < case4 loop.1.backedge state.1.be2.si.unfold.false loop.1 loop.2 loop.3 > [ 2, loop.1.backedge ]
48 ; CHECK-NEXT: < case2 loop.1.backedge state.1.be2.si.unfold.false loop.1 loop.2 loop.3 > [ 4, loop.1.backedge ]
49 ; CHECK-NEXT: < case4 loop.2.backedge loop.2 loop.3 > [ 3, loop.2.backedge ]
50 ; CHECK-NEXT: < case3 loop.2.backedge loop.2 loop.3 > [ 0, loop.2.backedge ]
51 ; CHECK-NEXT: < case2 loop.3 > [ 3, loop.3 ]
55 br label %loop.1
57 loop.1:
58 %state.1 = phi i32 [ %sel, %entry ], [ %state.1.be2, %loop.1.backedge ]
59 br label %loop.2
61 loop.2:
62 %state.2 = phi i32 [ %state.1, %loop.1 ], [ %state.2.be, %loop.2.backedge ]
63 br label %loop.3
65 loop.3:
66 %state = phi i32 [ %state.2, %loop.2 ], [ 3, %case2 ]
76 br i1 %cmp, label %loop.3, label %loop.1.backedge
79 br i1 %cmp, label %loop.2.backedge, label %case4
82 br i1 %cmp, label %loop.2.backedge, label %loop.1.backedge
84 loop.1.backedge:
87 br label %loop.1
89 loop.2.backedge:
91 br label %loop.2
112 ; defines the state for the next iteration of the loop, rather than for the
186 ; CHECK: < loop.1.backedge loop.1 loop.2 loop.3 > [ 1, loop.1 ]
187 ; CHECK-NEXT: < case4 loop.1.backedge state.1.be2.si.unfold.false loop.1 loop.2 loop.3 > [ 2, loop.1.backedge ]
188 ; CHECK-NEXT: < case2 loop.1.backedge state.1.be2.si.unfold.false loop.1 loop.2 loop.3 > [ 4, loop.1.backedge ]
189 ; CHECK-NEXT: < case4 loop.2.backedge loop.2 loop.3 > [ 3, loop.2.backedge ]
190 ; CHECK-NEXT: < case3 loop.2.backedge loop.2 loop.3 > [ 0, loop.2.backedge ]
191 ; CHECK-NEXT: < case2 loop.3 > [ 3, loop.3 ]
194 br label %loop.1
196 loop.1:
197 %state.1 = phi i32 [ %init, %entry ], [ %state.1.be2, %loop.1.backedge ]
198 br label %loop.2
200 loop.2:
201 %state.2 = phi i32 [ %state.1, %loop.1 ], [ %state.2.be, %loop.2.backedge ]
202 br label %loop.3
204 loop.3:
205 %state = phi i32 [ %state.2, %loop.2 ], [ 3, %case2 ]
215 br i1 %cmp, label %loop.3, label %loop.1.backedge
218 br i1 %cmp, label %loop.2.backedge, label %case4
221 br i1 %cmp, label %loop.2.backedge, label %loop.1.backedge
223 loop.1.backedge:
226 br label %loop.1
228 loop.2.backedge:
230 br label %loop.2