Lines Matching full:for
14 ; CHECK-NEXT: Determining loop execution counts for: @nw_implies_nuw
15 ; CHECK-NEXT: Loop %for.body: backedge-taken count is %n
16 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 -1
17 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is %n
18 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
21 br label %for.body
23 for.body: ; preds = %entry, %for.body
24 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
28 br i1 %cmp, label %for.body, label %for.end
30 for.end: ; preds = %for.body, %entry
36 ; CHECK-NEXT: Determining loop execution counts for: @neg_nw_nuw
37 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
38 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
39 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
42 br label %for.body
44 for.body: ; preds = %entry, %for.body
45 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
49 br i1 %cmp, label %for.body, label %for.end
51 for.end: ; preds = %for.body, %entry
57 ; CHECK-NEXT: Determining loop execution counts for: @nw_implies_nsw
58 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
59 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
60 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
61 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (128 + (-128 smax %n))
63 ; CHECK-NEXT: {-128,+,1}<%for.body> Added Flags: <nssw>
64 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i16 -32641
66 ; CHECK-NEXT: {-128,+,1}<%for.body> Added Flags: <nssw>
67 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (128 + (-128 smax %n))
69 ; CHECK-NEXT: {-128,+,1}<%for.body> Added Flags: <nssw>
72 br label %for.body
74 for.body: ; preds = %entry, %for.body
75 %iv = phi i8 [ %iv.next, %for.body ], [ -128, %entry ]
79 br i1 %cmp, label %for.body, label %for.end
81 for.end: ; preds = %for.body, %entry
87 ; CHECK-NEXT: Determining loop execution counts for: @neg_nw_nsw
88 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
89 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
90 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
93 br label %for.body
95 for.body: ; preds = %entry, %for.body
96 %iv = phi i8 [ %iv.next, %for.body ], [ -128, %entry ]
100 br i1 %cmp, label %for.body, label %for.end
102 for.end: ; preds = %for.body, %entry
109 ; CHECK-NEXT: Determining loop execution counts for: @actually_infinite
110 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
111 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
112 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
113 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is i16 257
115 ; CHECK-NEXT: {0,+,1}<%for.body> Added Flags: <nusw>
116 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i16 257
118 ; CHECK-NEXT: {0,+,1}<%for.body> Added Flags: <nusw>
119 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is i16 257
121 ; CHECK-NEXT: {0,+,1}<%for.body> Added Flags: <nusw>
124 br label %for.body
126 for.body: ; preds = %entry, %for.body
127 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
132 br i1 %cmp, label %for.body, label %for.end
134 for.end: ; preds = %for.body, %entry
140 ; CHECK-NEXT: Determining loop execution counts for: @rhs_mustexit_1
141 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
142 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
143 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
144 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (trunc i16 %n.raw to i8) to i16))<nsw>))
146 ; CHECK-NEXT: {1,+,1}<nw><%for.body> Added Flags: <nusw>
147 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i16 -2
149 ; CHECK-NEXT: {1,+,1}<nw><%for.body> Added Flags: <nusw>
150 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (trunc i16 %n.raw to i8) to i16))<nsw>))
152 ; CHECK-NEXT: {1,+,1}<nw><%for.body> Added Flags: <nusw>
157 br label %for.body
159 for.body: ; preds = %entry, %for.body
160 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
165 br i1 %cmp, label %for.body, label %for.end
167 for.end: ; preds = %for.body, %entry
173 ; CHECK-NEXT: Determining loop execution counts for: @rhs_mustexit_3
174 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
175 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
176 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
181 br label %for.body
183 for.body: ; preds = %entry, %for.body
184 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
189 br i1 %cmp, label %for.body, label %for.end
191 for.end: ; preds = %for.body, %entry
198 ; CHECK-NEXT: Determining loop execution counts for: @rhs_mustexit_nonzero_step
199 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
200 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
201 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
207 br label %for.body
209 for.body: ; preds = %entry, %for.body
210 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
215 br i1 %cmp, label %for.body, label %for.end
217 for.end: ; preds = %for.body, %entry
223 ; CHECK-NEXT: Determining loop execution counts for: @neg_maybe_zero_step
224 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
225 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
226 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
231 br label %for.body
233 for.body: ; preds = %entry, %for.body
234 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
239 br i1 %cmp, label %for.body, label %for.end
241 for.end: ; preds = %for.body, %entry
247 ; CHECK-NEXT: Determining loop execution counts for: @neg_rhs_wrong_range
248 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
249 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
250 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
255 br label %for.body
257 for.body: ; preds = %entry, %for.body
258 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
263 br i1 %cmp, label %for.body, label %for.end
265 for.end: ; preds = %for.body, %entry
271 ; CHECK-NEXT: Determining loop execution counts for: @neg_rhs_maybe_infinite
272 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
273 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
274 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
275 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (trunc i16 %n.raw to i8) to i16))<nsw>))
277 ; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>
278 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i16 -2
280 ; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>
281 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (trunc i16 %n.raw to i8) to i16))<nsw>))
283 ; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>
288 br label %for.body
290 for.body: ; preds = %entry, %for.body
291 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
296 br i1 %cmp, label %for.body, label %for.end
298 for.end: ; preds = %for.body, %entry
306 ; CHECK-NEXT: Determining loop execution counts for: @rhs_narrow_range
307 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + (1 umax (2 * (zext i7 (trunc i16 (%n.raw /u 2) to i7) to i16))<nuw><nsw>))<nsw>
308 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 253
309 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + (1 umax (2 * (zext i7 (trunc i16 (%n.raw /u 2) to i7) to i16))<nuw><nsw>))<nsw>
310 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
314 br label %for.body
316 for.body: ; preds = %entry, %for.body
317 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
322 br i1 %cmp, label %for.body, label %for.end
324 for.end: ; preds = %for.body, %entry
331 ; CHECK-NEXT: Determining loop execution counts for: @ugt_constant_rhs
332 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
333 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
334 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
337 br label %for.body
339 for.body: ; preds = %entry, %for.body
340 %iv = phi i8 [ %iv.next, %for.body ], [ %start, %entry ]
344 br i1 %cmp, label %for.body, label %for.end
346 for.end: ; preds = %for.body, %entry
353 ; CHECK-NEXT: Determining loop execution counts for: @ult_constant_rhs
354 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (255 + (-1 * (zext i8 (1 + %start) to i16))<nsw>)<nsw>
355 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 255
356 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (255 + (-1 * (zext i8 (1 + %start) to i16))<nsw>)<nsw>
357 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
360 br label %for.body
362 for.body: ; preds = %entry, %for.body
363 %iv = phi i8 [ %iv.next, %for.body ], [ %start, %entry ]
367 br i1 %cmp, label %for.body, label %for.end
369 for.end: ; preds = %for.body, %entry
376 ; CHECK-NEXT: Determining loop execution counts for: @ult_constant_rhs_stride2
377 ; CHECK-NEXT: Loop %for.body: backedge-taken count is ((1 + (-1 * (zext i8 (2 + %start) to i16))<nsw> + (254 umax (zext i8 (2 + %start) to i16))) /u 2)
378 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 127
379 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is ((1 + (-1 * (zext i8 (2 + %start) to i16))<nsw> + (254 umax (zext i8 (2 + %start) to i16))) /u 2)
380 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
383 br label %for.body
385 for.body: ; preds = %entry, %for.body
386 %iv = phi i8 [ %iv.next, %for.body ], [ %start, %entry ]
390 br i1 %cmp, label %for.body, label %for.end
392 for.end: ; preds = %for.body, %entry
399 ; CHECK-NEXT: Determining loop execution counts for: @ult_constant_rhs_stride2_neg
400 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
401 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
402 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
403 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((256 + (-1 * (zext i8 (2 + %start) to i16))<nsw>)<nsw> /u 2)
405 ; CHECK-NEXT: {(2 + %start),+,2}<%for.body> Added Flags: <nusw>
406 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i16 128
408 ; CHECK-NEXT: {(2 + %start),+,2}<%for.body> Added Flags: <nusw>
409 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((256 + (-1 * (zext i8 (2 + %start) to i16))<nsw>)<nsw> /u 2)
411 ; CHECK-NEXT: {(2 + %start),+,2}<%for.body> Added Flags: <nusw>
414 br label %for.body
416 for.body: ; preds = %entry, %for.body
417 %iv = phi i8 [ %iv.next, %for.body ], [ %start, %entry ]
421 br i1 %cmp, label %for.body, label %for.end
423 for.end: ; preds = %for.body, %entry
430 ; CHECK-NEXT: Determining loop execution counts for: @ult_restricted_rhs
431 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + (1 umax (zext i8 (trunc i16 %n.raw to i8) to i16)))<nsw>
432 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 254
433 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + (1 umax (zext i8 (trunc i16 %n.raw to i8) to i16)))<nsw>
434 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
438 br label %for.body
440 for.body: ; preds = %entry, %for.body
441 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
445 br i1 %cmp, label %for.body, label %for.end
447 for.end: ; preds = %for.body, %entry
453 ; CHECK-NEXT: Determining loop execution counts for: @ult_guarded_rhs
454 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + (1 umax %n))
455 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i16 -2
456 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + (1 umax %n))
457 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
461 br i1 %in_range, label %for.body, label %for.end
463 for.body: ; preds = %entry, %for.body
464 %iv = phi i8 [ %iv.next, %for.body ], [ 0, %entry ]
468 br i1 %cmp, label %for.body, label %for.end
470 for.end: ; preds = %for.body, %entry