Lines Matching full:for
12 ; CHECK-NEXT: Determining loop execution counts for: @test
13 ; CHECK-NEXT: Loop %for.body: backedge-taken count is ((-2 + %N) /u 2)
14 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 2147483647
15 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is ((-2 + %N) /u 2)
16 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
19 br label %for.body
21 for.body:
22 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
25 br i1 %cmp, label %for.body, label %for.cond.cleanup
27 for.cond.cleanup:
33 ; CHECK-NEXT: Determining loop execution counts for: @test_preinc
34 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (%N /u 2)
35 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 2147483647
36 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (%N /u 2)
37 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
40 br label %for.body
42 for.body:
43 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
46 br i1 %cmp, label %for.body, label %for.cond.cleanup
48 for.cond.cleanup:
57 ; CHECK-NEXT: Determining loop execution counts for: @test_well_defined_infinite_st
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 ((-2 + %N) /u 2)
64 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i32 2147483647
67 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-2 + %N) /u 2)
72 br label %for.body
74 for.body:
75 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
79 br i1 %cmp, label %for.body, label %for.cond.cleanup
81 for.cond.cleanup:
87 ; CHECK-NEXT: Determining loop execution counts for: @test_well_defined_infinite_ld
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.
91 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-2 + %N) /u 2)
94 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i32 2147483647
97 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-2 + %N) /u 2)
102 br label %for.body
104 for.body:
105 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
109 br i1 %cmp, label %for.body, label %for.cond.cleanup
111 for.cond.cleanup:
117 ; CHECK-NEXT: Determining loop execution counts for: @test_no_mustprogress
118 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
119 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
120 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
121 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-2 + %N) /u 2)
124 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i32 2147483647
127 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-2 + %N) /u 2)
132 br label %for.body
134 for.body:
135 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
138 br i1 %cmp, label %for.body, label %for.cond.cleanup
140 for.cond.cleanup:
148 ; CHECK-NEXT: Determining loop execution counts for: @test_1024
149 ; CHECK-NEXT: Loop %for.body: backedge-taken count is ((-1024 + %N) /u 1024)
150 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 4194303
151 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is ((-1024 + %N) /u 1024)
152 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
155 br label %for.body
157 for.body:
158 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
161 br i1 %cmp, label %for.body, label %for.cond.cleanup
163 for.cond.cleanup:
169 ; CHECK-NEXT: Determining loop execution counts for: @test_uneven_divide
170 ; CHECK-NEXT: Loop %for.body: backedge-taken count is (-1 + (-1431655765 * %N))
171 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 -1
172 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is (-1 + (-1431655765 * %N))
173 ; CHECK-NEXT: Loop %for.body: Trip multiple is 1
176 br label %for.body
178 for.body:
179 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
182 br i1 %cmp, label %for.body, label %for.cond.cleanup
184 for.cond.cleanup:
190 ; CHECK-NEXT: Determining loop execution counts for: @test_non_invariant_rhs
191 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
192 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
193 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
196 br label %for.body
198 for.body:
199 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
203 br i1 %cmp, label %for.body, label %for.cond.cleanup
205 for.cond.cleanup:
213 ; CHECK-NEXT: Determining loop execution counts for: @test_abnormal_exit
214 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
215 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
216 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
217 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-2 + %N) /u 2)
220 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i32 2147483647
223 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-2 + %N) /u 2)
228 br label %for.body
230 for.body:
231 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
235 br i1 %cmp, label %for.body, label %for.cond.cleanup
237 for.cond.cleanup:
244 ; CHECK-NEXT: Determining loop execution counts for: @test_other_exit
245 ; CHECK-NEXT: Loop %for.body: <multiple exits> Unpredictable backedge-taken count.
246 ; CHECK-NEXT: exit count for for.body: i32 9
247 ; CHECK-NEXT: exit count for for.latch: ***COULDNOTCOMPUTE***
248 ; CHECK-NEXT: predicated exit count for for.latch: ((-2 + %N) /u 2)
252 ; CHECK-NEXT: Loop %for.body: constant max backedge-taken count is i32 9
253 ; CHECK-NEXT: Loop %for.body: symbolic max backedge-taken count is i32 9
254 ; CHECK-NEXT: symbolic max exit count for for.body: i32 9
255 ; CHECK-NEXT: symbolic max exit count for for.latch: ***COULDNOTCOMPUTE***
256 ; CHECK-NEXT: predicated symbolic max exit count for for.latch: ((-2 + %N) /u 2)
260 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (9 umin ((-2 + %N) /u 2))
263 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (9 umin ((-2 + %N) /u 2))
268 br label %for.body
270 for.body:
271 %iv = phi i32 [ %iv.next, %for.latch ], [ 0, %entry ]
274 br i1 %cmp1, label %for.latch, label %for.cond.cleanup
276 for.latch:
278 br i1 %cmp2, label %for.body, label %for.cond.cleanup
280 for.cond.cleanup:
286 ; CHECK-NEXT: Determining loop execution counts for: @test_zext
287 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
288 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
289 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
290 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (%N /u 2)
292 ; CHECK-NEXT: {0,+,2}<nuw><%for.body> Added Flags: <nusw>
293 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i64 9223372036854775807
295 ; CHECK-NEXT: {0,+,2}<nuw><%for.body> Added Flags: <nusw>
296 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (%N /u 2)
298 ; CHECK-NEXT: {0,+,2}<nuw><%for.body> Added Flags: <nusw>
301 br label %for.body
303 for.body:
304 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
308 br i1 %cmp, label %for.body, label %for.cond.cleanup
310 for.cond.cleanup:
316 ; CHECK-NEXT: Determining loop execution counts for: @test_sext
317 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
318 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
319 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
320 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (%N /u 2)
322 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
324 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i64 9223372036854775807
326 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
328 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (%N /u 2)
330 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
334 br label %for.body
336 for.body:
337 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
341 br i1 %cmp, label %for.body, label %for.cond.cleanup
343 for.cond.cleanup:
349 ; CHECK-NEXT: Determining loop execution counts for: @test_zext_of_sext
350 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
351 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
352 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
353 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (%N /u 2)
355 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
356 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
358 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i64 9223372036854775807
360 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
361 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
363 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (%N /u 2)
365 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
366 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
370 br label %for.body
372 for.body:
373 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
378 br i1 %cmp, label %for.body, label %for.cond.cleanup
380 for.cond.cleanup:
386 ; CHECK-NEXT: Determining loop execution counts for: @test_zext_offset
387 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
388 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
389 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
390 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-21 + %N) /u 2)
392 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
394 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i64 9223372036854775807
396 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
398 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-21 + %N) /u 2)
400 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nusw>
404 br label %for.body
406 for.body:
407 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
412 br i1 %cmp, label %for.body, label %for.cond.cleanup
414 for.cond.cleanup:
420 ; CHECK-NEXT: Determining loop execution counts for: @test_sext_offset
421 ; CHECK-NEXT: Loop %for.body: Unpredictable backedge-taken count.
422 ; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.
423 ; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.
424 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-21 + %N) /u 2)
426 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
428 ; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i64 9223372036854775807
430 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
432 ; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is ((-21 + %N) /u 2)
434 ; CHECK-NEXT: {0,+,2}<%for.body> Added Flags: <nssw>
438 br label %for.body
440 for.body:
441 %iv = phi i32 [ %iv.next, %for.body ], [ 0, %entry ]
446 br i1 %cmp, label %for.body, label %for.cond.cleanup
448 for.cond.cleanup: