Home
last modified time | relevance | path

Searched refs:Predicated (Results 1 – 25 of 71) sorted by relevance

123

/llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/
H A Dtrip-count9.ll17 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %n)
57 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-2 + (2 smax %n))<nsw>
137 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %n)
166 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-1 + %n) /u 2)
187 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-2 + (2 smax %n))<nsw>
271 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (2 * %n))
293 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-1 + (2 * %n)) /u 2)
315 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-2 + (2 * %n))
337 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-2 + (2 * %n)) /u 2)
403 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (2 * %n))
[all …]
H A Dtrip-multiple-guard-info.ll10 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
36 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
62 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
87 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
113 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
138 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
164 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
190 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
215 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
241 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + %num)
[all …]
H A Dtrip-count-andor.ll12 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
35 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
58 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
81 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
146 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
169 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
192 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
215 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
280 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
326 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
[all …]
H A Dtrip-count-andor-selectform.ll12 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
35 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
58 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
81 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
146 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
169 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
192 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
215 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
280 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
326 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %n
[all …]
H A Dmax-backedge-taken-count-limit-by-wrapping.ll10 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%N /u 4)
31 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%N /u 4)
52 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-64 + %N) /u 4)
73 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-64 + %N) /u 4)
H A Dtrip-count14.ll9 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((1 + %n) smax %n))
34 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((2 + %n) smax %n))
59 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((%n + %x) smax %n))
86 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is (((-1 * %n) + ((2 + %n) smax %n)) …
115 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((1 + %n) umax %n))
140 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((2 + %n) umax %n))
165 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is ((-1 * %n) + ((%n + %x) umax %n))
192 ; CHECK-NEXT: Loop %do.body: Predicated backedge-taken count is (((-1 * %n) + ((2 + %n) umax %n)) …
H A Doverflow-intrinsics-trip-count.ll16 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 35
42 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 67
68 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 50
94 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 68
120 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 14
146 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 15
172 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (-1 * %start))
198 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (32767 + (-1 * %start))
273 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is %start
299 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-32768 + %start)
[all …]
H A Dtrip-count-negative-stride.ll61 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 1
85 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 0
107 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 0
157 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 2
181 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 0
205 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 1
227 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 1
301 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 63
347 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 0
371 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 0
[all …]
H A Dtrip-count-implied-addrec.ll17 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is %n
61 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (128 + (-128 smax %n))
106 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is 257
130 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (tru…
230 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-1 + (2 umax (-1 + (zext i8 (tr…
256 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (-1 + (zext i8 (tru…
284 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (2 * (zext i7 (trun…
332 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (255 + (-1 * (zext i8 (1 + %start…
380 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((256 + (-1 * (zext i8 (2 + %star…
404 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (1 umax (zext i8 (trunc i16…
[all …]
H A Dpr34538.ll7 ; CHECK-ANALYSIS-1: Loop %do.body: Predicated backedge-taken count is 10000
38 ; CHECK-ANALYSIS-2: Loop %do.body: Predicated backedge-taken count is 5000
H A Dmax-backedge-taken-count-guard-info.ll18 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (15 + (-1 * %i))
146 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %N
178 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %N
210 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%N /u 2)
242 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %i
278 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %i
315 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %i
352 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %i
389 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is %N
1160 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %N)
[all …]
H A Dfinite-trip-count.ll14 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (0 smax (1 + %len)<nsw>)
56 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (1 + %len)<nuw>
98 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (100 + (-1 * (100 smin (-1 + %end)…
140 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (100 + (-1 * (100 umin (-1 + %end)…
H A Dexit-count-select-safe.ll16 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%n umin_seq %m)
45 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%n umin_seq %m)
427 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (42 umin %n)
465 ; CHECK-NEXT: Loop %for.cond: Predicated backedge-taken count is (-1 * %d.0)
470 ; CHECK-NEXT: Loop %for.cond4: Predicated backedge-taken count is 0
531 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%n umin_seq %m)
690 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%n umin %m)
719 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%m umin_seq %n)
1031 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (%n umin_seq %m)
1291 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 0
[all …]
H A Dumin-umax-folds.ll20 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
55 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
90 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (sext i32 %len to i64)
125 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
160 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (sext i32 %len to i64)
195 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
230 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
265 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (sext i32 %len to i64)
300 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (zext i32 %len to i64)
H A Dtrip-count.ll14 ; CHECK-NEXT: Loop %bb3: Predicated backedge-taken count is 10000
44 ; CHECK-NEXT: Loop %preheader: Predicated backedge-taken count is 7
107 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is -1431655751
H A Dshift-recurrences.ll203 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
237 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
270 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 60
302 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 61
336 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
369 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
513 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
544 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
609 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
640 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 4
[all …]
H A Drange_nw_flag.ll19 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %numIterations)
54 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %numIterations)
91 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (-1 * %numIterations))
128 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + (-1 * %numIterations))
165 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %numIterations)
202 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (-1 + %numIterations)
H A Dexit-count-select.ll18 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (2 umin %n)
49 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (2 umin %m)
81 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 0
143 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (2 umin %n)
174 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (2 umin %m)
206 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 0
H A Dsmin-smax-folds.ll34 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is %n
71 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-1 * (0 smin %n)) + %n)
106 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-1 * %start) + %n)
H A Dtrip-count15.ll16 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (1 + (4096 umin %n))<nuw><nsw>
46 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (1 + (4096 umin %n))<nuw><nsw>
76 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is (0 smax (1 + (4096 smin %n))<nsw>)
H A Dflags-from-poison-noautogen.ll29 ; CHECK-NEXT: Loop %inner: Predicated backedge-taken count is %inner_l
34 ; CHECK-NEXT: Loop %outer: Predicated backedge-taken count is %outer_l
H A Dtrip-count10.ll31 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
53 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is false
131 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 1
H A Dmax-backedge-taken-count-guard-info-rewrite-expressions.ll21 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-8 + (8 * ((zext i32 %n to i64) /u …
64 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-4 + (4 * ((zext i32 (16 umin %N) t…
113 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is 0
162 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-4 + (4 * ((4 + (zext i32 (-1 + (ze…
203 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-8 + (8 * ((zext i32 %n to i64) /u …
247 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((-8 + (8 * ((zext i32 %n to i64) /u …
289 ; CHECK-NEXT: Loop %loop: Predicated backedge-taken count is ((14 + (-1 * %init)<nsw>)<nsw> /u 2)
H A Dne-overflow.ll15 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-2 + %N) /u 2)
37 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (%N /u 2)
126 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is ((-1024 + %N) /u 1024)
148 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (-1 + (-1431655765 * %N))
241 ; CHECK-NEXT: Loop %for.body: Predicated backedge-taken count is (%N /u 2)
H A Dexhaustive-trip-counts.ll10 ; CHECK: Loop %for.body: Predicated backedge-taken count is 5

123