Lines Matching full:body
22 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
23 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-1) S: [0,-1) Exits: (-1 + %num) LoopDisposition…
25 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,0) S: [1,0) Exits: %num LoopDispositions: { %for…
27 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
28 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -2
29 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
30 ; CHECK-NEXT: Loop %for.body: Trip multiple is 3
37 br i1 %or.cond, label %for.body, label %if.end
39 for.body: ; preds = %entry, %for.body
40 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
44 br i1 %exitcond.not, label %if.end, label %for.body
46 if.end: ; preds = %for.body, %entry
56 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
57 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-4) S: [0,-4) Exits: (-1 + %num) LoopDisposition…
59 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-3) S: [1,-3) Exits: %num LoopDispositions: { %f…
61 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
62 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -5
63 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
64 ; CHECK-NEXT: Loop %for.body: Trip multiple is 4
71 br i1 %or.cond, label %for.body, label %if.end
73 for.body: ; preds = %entry, %for.body
74 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
78 br i1 %exitcond.not, label %if.end, label %for.body
80 if.end: ; preds = %for.body, %entry
91 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
92 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-1) S: [0,-1) Exits: (-1 + %num) LoopDisposition…
94 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,0) S: [1,0) Exits: %num LoopDispositions: { %for…
96 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
97 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -2
98 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
99 ; CHECK-NEXT: Loop %for.body: Trip multiple is 5
106 br i1 %or.cond, label %for.body, label %if.end
108 for.body: ; preds = %entry, %for.body
109 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
113 br i1 %exitcond.not, label %if.end, label %for.body
115 if.end: ; preds = %for.body, %entry
126 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
127 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-4) S: [0,-4) Exits: (-1 + %num) LoopDisposition…
129 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-3) S: [1,-3) Exits: %num LoopDispositions: { %f…
131 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
132 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -5
133 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
134 ; CHECK-NEXT: Loop %for.body: Trip multiple is 6
141 br i1 %or.cond, label %for.body, label %if.end
143 for.body: ; preds = %entry, %for.body
144 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
148 br i1 %exitcond.not, label %if.end, label %for.body
150 if.end: ; preds = %for.body, %entry
161 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
162 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-4) S: [0,-4) Exits: (-1 + %num) LoopDisposition…
164 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-3) S: [1,-3) Exits: %num LoopDispositions: { %f…
166 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
167 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -5
168 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
169 ; CHECK-NEXT: Loop %for.body: Trip multiple is 7
176 br i1 %or.cond, label %for.body, label %if.end
178 for.body: ; preds = %entry, %for.body
179 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
183 br i1 %exitcond.not, label %if.end, label %for.body
185 if.end: ; preds = %for.body, %entry
196 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
197 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-8) S: [0,-8) Exits: (-1 + %num) LoopDisposition…
199 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-7) S: [1,-7) Exits: %num LoopDispositions: { %f…
201 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
202 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -9
203 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
204 ; CHECK-NEXT: Loop %for.body: Trip multiple is 8
211 br i1 %or.cond, label %for.body, label %if.end
213 for.body: ; preds = %entry, %for.body
214 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
218 br i1 %exitcond.not, label %if.end, label %for.body
220 if.end: ; preds = %for.body, %entry
230 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
231 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-4) S: [0,-4) Exits: (-1 + %num) LoopDisposition…
233 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-3) S: [1,-3) Exits: %num LoopDispositions: { %f…
235 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
236 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -5
237 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
238 ; CHECK-NEXT: Loop %for.body: Trip multiple is 9
245 br i1 %or.cond, label %for.body, label %if.end
247 for.body: ; preds = %entry, %for.body
248 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
252 br i1 %exitcond.not, label %if.end, label %for.body
254 if.end: ; preds = %for.body, %entry
264 ; CHECK-NEXT: %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
265 ; CHECK-NEXT: --> {0,+,1}<nuw><%for.body> U: [0,-6) S: [0,-6) Exits: (-1 + %num) LoopDisposition…
267 ; CHECK-NEXT: --> {1,+,1}<nuw><%for.body> U: [1,-5) S: [1,-5) Exits: %num LoopDispositions: { %f…
269 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + %num)
270 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -7
271 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + %num)
272 ; CHECK-NEXT: Loop %for.body: Trip multiple is 10
279 br i1 %or.cond, label %for.body, label %if.end
281 for.body: ; preds = %entry, %for.body
282 %i.05 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
286 br i1 %exitcond.not, label %if.end, label %for.body
288 if.end: ; preds = %for.body, %entry