Lines Matching full:for
5 ; for negative steps.
14 ; CHECK-NEXT: Determining loop execution counts for: @ult_wrap
15 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
16 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
17 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
20 br label %for.body
22 for.body: ; preds = %entry, %for.body
23 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
26 br i1 %cmp, label %for.body, label %for.end
28 for.end: ; preds = %for.body, %entry
36 ; CHECK-NEXT: Determining loop execution counts for: @ult_infinite
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 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
48 br i1 %cmp, label %for.body, label %for.end
50 for.end: ; preds = %for.body, %entry
58 ; CHECK-NEXT: Determining loop execution counts for: @ult_infinite_ub
59 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 1
60 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 1
61 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 1
62 ; CHECK-NEXT: Loop %for.body: Trip multiple is 2
65 br label %for.body
67 for.body: ; preds = %entry, %for.body
68 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
71 br i1 %cmp, label %for.body, label %for.end
73 for.end: ; preds = %for.body, %entry
81 ; CHECK-NEXT: Determining loop execution counts for: @ult_129_not_taken
82 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 0
83 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 0
84 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 0
85 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
88 br label %for.body
90 for.body: ; preds = %entry, %for.body
91 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
94 br i1 %cmp, label %for.body, label %for.end
96 for.end: ; preds = %for.body, %entry
102 ; CHECK-NEXT: Determining loop execution counts for: @ult_129_unknown_start
103 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 0
104 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 0
105 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 0
106 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
109 br label %for.body
111 for.body: ; preds = %entry, %for.body
112 %i.05 = phi i8 [ %add, %for.body ], [ %start, %entry ]
115 br i1 %cmp, label %for.body, label %for.end
117 for.end: ; preds = %for.body, %entry
125 ; CHECK-NEXT: Determining loop execution counts for: @ult_not_taken
126 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
127 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
128 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
133 br label %for.body
135 for.body: ; preds = %entry, %for.body
136 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
139 br i1 %cmp, label %for.body, label %for.end
141 for.end: ; preds = %for.body, %entry
151 ; CHECK-NEXT: Determining loop execution counts for: @ult_ub1
152 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i32 2
153 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 2
154 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i32 2
155 ; CHECK-NEXT: Loop %for.body: Trip multiple is 3
158 br label %for.body
160 for.body: ; preds = %entry, %for.body
161 %i.05 = phi i8 [ %add, %for.body ], [ 2, %entry ]
164 br i1 %cmp, label %for.body, label %for.end
166 for.end: ; preds = %for.body, %entry
174 ; CHECK-NEXT: Determining loop execution counts for: @ult_ub2
175 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 0
176 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 0
177 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 0
178 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
181 br label %for.body
183 for.body: ; preds = %entry, %for.body
184 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
187 br i1 %cmp, label %for.body, label %for.end
189 for.end: ; preds = %for.body, %entry
193 ; Large stride, poison produced for %add on second iteration, but not
197 ; CHECK-NEXT: Determining loop execution counts for: @ult_129_preinc
198 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 1
199 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 1
200 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 1
201 ; CHECK-NEXT: Loop %for.body: Trip multiple is 2
204 br label %for.body
206 for.body: ; preds = %entry, %for.body
207 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
210 br i1 %cmp, label %for.body, label %for.end
212 for.end: ; preds = %for.body, %entry
218 ; CHECK-NEXT: Determining loop execution counts for: @ult_preinc
219 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 1
220 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 1
221 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 1
222 ; CHECK-NEXT: Loop %for.body: Trip multiple is 2
227 br label %for.body
229 for.body: ; preds = %entry, %for.body
230 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
233 br i1 %cmp, label %for.body, label %for.end
235 for.end: ; preds = %for.body, %entry
241 ; CHECK-NEXT: Determining loop execution counts for: @ult_129_varying_rhs
242 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
243 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
244 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
247 br label %for.body
249 for.body: ; preds = %entry, %for.body
250 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
254 br i1 %cmp, label %for.body, label %for.end
256 for.end: ; preds = %for.body, %entry
262 ; CHECK-NEXT: Determining loop execution counts for: @ult_symbolic_varying_rhs
263 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
264 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
265 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
270 br label %for.body
272 for.body: ; preds = %entry, %for.body
273 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
277 br i1 %cmp, label %for.body, label %for.end
279 for.end: ; preds = %for.body, %entry
291 ; CHECK-NEXT: Determining loop execution counts for: @slt_wrap
292 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 63
293 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 63
294 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 63
295 ; CHECK-NEXT: Loop %for.body: Trip multiple is 64
298 br label %for.body
300 for.body: ; preds = %entry, %for.body
301 %i.05 = phi i8 [ %add, %for.body ], [ 255, %entry ]
304 br i1 %cmp, label %for.body, label %for.end
306 for.end: ; preds = %for.body, %entry
314 ; CHECK-NEXT: Determining loop execution counts for: @slt_infinite
315 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
316 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
317 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
320 br label %for.body
322 for.body: ; preds = %entry, %for.body
323 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
326 br i1 %cmp, label %for.body, label %for.end
328 for.end: ; preds = %for.body, %entry
336 ; CHECK-NEXT: Determining loop execution counts for: @slt_infinite_ub
337 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 0
338 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 0
339 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 0
340 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
343 br label %for.body
345 for.body: ; preds = %entry, %for.body
346 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
349 br i1 %cmp, label %for.body, label %for.end
351 for.end: ; preds = %for.body, %entry
359 ; CHECK-NEXT: Determining loop execution counts for: @slt_129_not_taken
360 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 0
361 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 0
362 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 0
363 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
366 br label %for.body
368 for.body: ; preds = %entry, %for.body
369 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
372 br i1 %cmp, label %for.body, label %for.end
374 for.end: ; preds = %for.body, %entry
381 ; CHECK-NEXT: Determining loop execution counts for: @slt_not_taken
382 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
383 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
384 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
389 br label %for.body
391 for.body: ; preds = %entry, %for.body
392 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
395 br i1 %cmp, label %for.body, label %for.end
397 for.end: ; preds = %for.body, %entry
403 ; CHECK-NEXT: Determining loop execution counts for: @slt_129_unknown_start
404 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (((127 + (-1 * (1 umin (127 + (-1 * %start) …
405 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 2
406 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (((127 + (-1 * (1 umin (127 + (…
407 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
410 br label %for.body
412 for.body: ; preds = %entry, %for.body
413 %i.05 = phi i8 [ %add, %for.body ], [ %start, %entry ]
416 br i1 %cmp, label %for.body, label %for.end
418 for.end: ; preds = %for.body, %entry
427 ; CHECK-NEXT: Determining loop execution counts for: @slt_ub1
428 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i1 false
429 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i1 false
430 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i1 false
431 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
434 br label %for.body
436 for.body: ; preds = %entry, %for.body
437 %i.05 = phi i8 [ %add, %for.body ], [ 2, %entry ]
440 br i1 %cmp, label %for.body, label %for.end
442 for.end: ; preds = %for.body, %entry
450 ; CHECK-NEXT: Determining loop execution counts for: @slt_ub2
451 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i1 false
452 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i1 false
453 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i1 false
454 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
457 br label %for.body
459 for.body: ; preds = %entry, %for.body
460 %i.05 = phi i8 [ %add, %for.body ], [ 0, %entry ]
463 br i1 %cmp, label %for.body, label %for.end
465 for.end: ; preds = %for.body, %entry
469 ; Large stride, poison produced for %add on second iteration, but not
473 ; CHECK-NEXT: Determining loop execution counts for: @slt_129_preinc
474 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 1
475 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 1
476 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 1
477 ; CHECK-NEXT: Loop %for.body: Trip multiple is 2
480 br label %for.body
482 for.body: ; preds = %entry, %for.body
483 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
486 br i1 %cmp, label %for.body, label %for.end
488 for.end: ; preds = %for.body, %entry
494 ; CHECK-NEXT: Determining loop execution counts for: @slt_preinc
495 ; CHECK-NEXT: Loop %for.body: backedge-taken count is i8 1
496 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i8 1
497 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i8 1
498 ; CHECK-NEXT: Loop %for.body: Trip multiple is 2
503 br label %for.body
505 for.body: ; preds = %entry, %for.body
506 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
509 br i1 %cmp, label %for.body, label %for.end
511 for.end: ; preds = %for.body, %entry
517 ; CHECK-NEXT: Determining loop execution counts for: @slt_129_varying_rhs
518 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
519 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
520 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
523 br label %for.body
525 for.body: ; preds = %entry, %for.body
526 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
530 br i1 %cmp, label %for.body, label %for.end
532 for.end: ; preds = %for.body, %entry
538 ; CHECK-NEXT: Determining loop execution counts for: @slt_symbolic_varying_rhs
539 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
540 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
541 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
546 br label %for.body
548 for.body: ; preds = %entry, %for.body
549 %i.05 = phi i8 [ %add, %for.body ], [ -128, %entry ]
553 br i1 %cmp, label %for.body, label %for.end
555 for.end: ; preds = %for.body, %entry
561 ; Test case for PR57818.
564 ; CHECK-NEXT: Determining loop execution counts for: @step_is_neg_addrec_slt_8
602 ; CHECK-NEXT: Determining loop execution counts for: @step_is_neg_addrec_slt_var
640 ; CHECK-NEXT: Determining loop execution counts for: @step_is_neg_addrec_unknown_start