Home
last modified time | relevance | path

Searched refs:exact (Results 1 – 25 of 481) sorted by relevance

12345678910>>...20

/llvm-project-15.0.7/llvm/test/Transforms/InstCombine/
H A Dexact.ll18 %y = sdiv exact i32 %x, 8
27 %y = sdiv exact <2 x i32> %x, <i32 128, i32 128>
47 %y = sdiv exact i32 %x, 3
69 %y = sdiv exact i32 %x, 3
78 %y = udiv exact i32 %x, %w
89 %z = udiv exact i32 %x, %y
123 %A = ashr exact i64 %X, 2 ; X/4
133 %Y = ashr exact i64 %X, 2 ; x / 4
143 %Y = ashr exact <2 x i64> %X, <i64 2, i64 2>
157 %X = ashr exact i32 %W, 31
[all …]
H A Dsdiv-exact-by-negative-power-of-two.ll11 ; CHECK-NEXT: [[DIV_NEG:%.*]] = ashr exact i8 [[X:%.*]], 5
15 %div = sdiv exact i8 %x, -32
23 %div = sdiv i8 %x, -32 ; not exact
29 ; CHECK-NEXT: [[DIV_NEG:%.*]] = ashr exact <2 x i8> [[X:%.*]], <i8 5, i8 5>
33 %div = sdiv exact <2 x i8> %x, <i8 -32, i8 -32>
39 ; CHECK-NEXT: [[DIV_NEG:%.*]] = ashr exact <2 x i8> [[X:%.*]], <i8 5, i8 4>
43 %div = sdiv exact <2 x i8> %x, <i8 -32, i8 -16>
49 ; CHECK-NEXT: [[DIV:%.*]] = sdiv exact <2 x i8> [[X:%.*]], <i8 -32, i8 16>
52 %div = sdiv exact <2 x i8> %x, <i8 -32, i8 16>
60 %div = sdiv exact <2 x i8> %x, <i8 -32, i8 undef>
H A Dsdiv-exact-by-power-of-two.ll12 ; CHECK-NEXT: [[DIV:%.*]] = ashr exact i8 [[X:%.*]], 5
15 %div = sdiv exact i8 %x, 32
23 %div = sdiv i8 %x, 32 ; not exact
38 ; CHECK-NEXT: [[DIV:%.*]] = ashr exact <2 x i8> [[X:%.*]], <i8 5, i8 5>
41 %div = sdiv exact <2 x i8> %x, <i8 32, i8 32>
47 ; CHECK-NEXT: [[DIV:%.*]] = ashr exact <2 x i8> [[X:%.*]], <i8 5, i8 4>
50 %div = sdiv exact <2 x i8> %x, <i8 32, i8 16>
58 %div = sdiv exact <2 x i8> %x, <i8 32, i8 undef>
63 ; CHECK-NEXT: [[DIV:%.*]] = sdiv exact <2 x i8> [[X:%.*]], <i8 32, i8 -128>
66 %div = sdiv exact <2 x i8> %x, <i8 32, i8 128> ; non-non-negative divisor
H A Dcanonicalize-signed-truncation-check.ll23 %tmp1 = ashr exact i8 %tmp0, 5
36 %tmp1 = ashr exact i65 %tmp0, 1
52 %tmp1 = ashr exact <2 x i8> %tmp0, <i8 5, i8 5>
65 %tmp1 = ashr exact <2 x i8> %tmp0, <i8 5, i8 6>
124 %tmp1 = ashr exact i8 %tmp0, 5
145 %tmp1 = ashr exact i8 %tmp0, 5
159 %tmp1 = ashr exact i8 %tmp0, 5
176 %tmp1 = ashr exact i8 %tmp0, 5
194 %tmp1 = ashr exact i8 %tmp0, 3 ; not 5
205 %tmp1 = lshr exact i8 %tmp0, 5 ; not ashr
[all …]
H A Dcanonicalize-lack-of-signed-truncation-check.ll23 %tmp1 = ashr exact i8 %tmp0, 5
36 %tmp1 = ashr exact i65 %tmp0, 1
52 %tmp1 = ashr exact <2 x i8> %tmp0, <i8 5, i8 5>
65 %tmp1 = ashr exact <2 x i8> %tmp0, <i8 5, i8 6>
124 %tmp1 = ashr exact i8 %tmp0, 5
145 %tmp1 = ashr exact i8 %tmp0, 5
159 %tmp1 = ashr exact i8 %tmp0, 5
176 %tmp1 = ashr exact i8 %tmp0, 5
194 %tmp1 = ashr exact i8 %tmp0, 3 ; not 5
205 %tmp1 = lshr exact i8 %tmp0, 5 ; not ashr
[all …]
H A Dicmp-shr-lt-gt.ll1781 %s = lshr exact i4 %x, 1
1791 %s = lshr exact i4 %x, 1
1801 %s = lshr exact i4 %x, 1
1811 %s = lshr exact i4 %x, 1
1821 %s = lshr exact i4 %x, 1
1831 %s = lshr exact i4 %x, 1
1841 %s = lshr exact i4 %x, 1
1850 %s = lshr exact i4 %x, 1
1859 %s = lshr exact i4 %x, 1
1868 %s = lshr exact i4 %x, 1
[all …]
H A Dshift-add.ll184 %r = lshr exact i32 2, %a
195 %r = lshr exact i32 2, %a
208 %r = lshr exact i32 -2, %a
231 %r = lshr exact i32 2, %a
244 %r = lshr exact i8 64, %a
254 %r = lshr exact <2 x i9> <i9 2, i9 2>, %a
267 %r = lshr exact <2 x i9> <i9 4, i9 4>, %a
280 %r = ashr exact i8 -112, %a ; 0b1001_0000
291 %r = ashr exact i32 -2, %a
314 %r = ashr exact i32 -2, %a
[all …]
H A Dashr-lshr.ll11 %r = ashr exact i32 %x, %y
34 %l = lshr exact i32 %x, %y
35 %r = ashr exact i32 %x, %y
46 %l = lshr exact i32 %x, %y
59 %r = ashr exact i32 %x, %y
167 %r = ashr exact i32 %x, 8
179 %r = ashr exact i32 %x, 8
191 %r = ashr exact i32 %x, %y
203 %r = ashr exact i32 %x, %y
268 %r = ashr exact i32 %x, %y
[all …]
H A Dcanonicalize-ashr-shl-to-masking.ll201 ; ashr exact
217 %tmp0 = ashr exact i8 %x, 3
227 %tmp0 = ashr exact i8 %x, 6
237 %tmp0 = ashr exact i8 %x, 3
243 ; ashr exact, shl nsw
259 %tmp0 = ashr exact i8 %x, 3
269 %tmp0 = ashr exact i8 %x, 6
279 %tmp0 = ashr exact i8 %x, 3
285 ; ashr exact, shl nuw
301 %tmp0 = ashr exact i8 %x, 3
[all …]
H A Dcanonicalize-lshr-shl-to-masking.ll201 ; lshr exact
217 %t0 = lshr exact i8 %x, 3
227 %t0 = lshr exact i8 %x, 6
237 %t0 = lshr exact i8 %x, 3
243 ; lshr exact, shl nsw
259 %t0 = lshr exact i8 %x, 3
269 %t0 = lshr exact i8 %x, 6
279 %t0 = lshr exact i8 %x, 3
285 ; lshr exact, shl nuw
301 %t0 = lshr exact i8 %x, 3
[all …]
/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_transitive_closure.c121 isl_bool exact; in check_power_exactness() local
134 if (!exact || exact < 0) { in check_power_exactness()
137 return exact; in check_power_exactness()
149 return exact; in check_power_exactness()
202 return exact; in check_exactness()
900 check = exact && *exact == isl_bool_true; in construct_component()
1177 if (*exact) in compute_incremental()
1553 int check = exact && *exact == isl_bool_true; in floyd_warshall_iterate()
2023 if (exact) in map_power()
2114 if (exact) in isl_map_reaching_path_lengths()
[all …]
H A Dbound.c55 int exact; member
122 if (vpb->exact && bounded) in verify_point()
180 __isl_take isl_pw_qpolynomial_fold *bound, int exact, in check_solution() argument
211 vpb.exact = exact; in check_solution()
246 isl_bool exact; in main() local
270 pwf = isl_pw_qpolynomial_fold_bound(pwf, &exact); in main()
274 r = check_solution(copy, pwf, exact, options); in main()
276 if (!exact) in main()
H A Dclosure.c11 isl_bool exact; in main() local
22 map = isl_map_transitive_closure(map, &exact); in main()
23 if (!exact) in main()
/llvm-project-15.0.7/llvm/test/CodeGen/NVPTX/
H A Dsext-in-reg.ll12 %conv1 = ashr exact i64 %sext, 56
14 %conv4 = ashr exact i64 %sext1, 56
30 %conv1 = ashr exact i64 %sext, 32
32 %conv4 = ashr exact i64 %sext1, 32
48 %conv1 = ashr exact i64 %sext, 48
50 %conv4 = ashr exact i64 %sext1, 48
66 %conv1 = ashr exact i32 %sext, 24
68 %conv4 = ashr exact i32 %sext1, 24
84 %conv1 = ashr exact i32 %sext, 16
102 %conv1 = ashr exact i16 %sext, 8
[all …]
/llvm-project-15.0.7/lld/test/ELF/lto/
H A Dversion-libcall.ll10 ;; An exact pattern can localize a libcall.
11 ; RUN: echo '{ global: foo; local: __udivti3; };' > %t.exact.ver
12 ; RUN: ld.lld -shared --version-script %t.exact.ver %t.bc --start-lib %t1.o --end-lib -o %t.exact.so
13 ; RUN: llvm-nm %t.exact.so | FileCheck %s
24 ; RUN: echo '{ foo; __udivti3; };' > %t.exact.list
25 ; RUN: ld.lld -pie --dynamic-list %t.exact.list %t.bc --start-lib %t1.o --end-lib -o %t.exact
26 ; RUN: llvm-nm %t.exact | FileCheck --check-prefix=LIST %s
/llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/
H A Dashr.ll16 ; Not even if we know it's exact
20 ; CHECK-NEXT: %i0 = ashr exact i32 %x, %y
24 %i0 = ashr exact i32 %x, %y
38 ; However, if it's a constant AND the shift is exact, we can model it!
42 ; CHECK-NEXT: %i0 = ashr exact i32 %x, 4
46 %i0 = ashr exact i32 %x, 4
53 ; CHECK-NEXT: %i0 = ashr exact i32 %x, 32
57 %i0 = ashr exact i32 %x, 32
65 ; CHECK-NEXT: %i0 = ashr exact i32 %x, 5
69 %i0 = ashr exact i32 %x, 5
/llvm-project-15.0.7/llvm/test/CodeGen/Hexagon/
H A Dmul64-sext.ll10 %v4 = ashr exact i64 %v3, 32
12 %v6 = ashr exact i64 %v5, 32
26 %v6 = ashr exact i64 %v5, 32
38 %v4 = ashr exact i64 %v3, 32
40 %v6 = ashr exact i64 %v5, 48
66 %v5 = ashr exact i64 %v4, 32
68 %v7 = ashr exact i64 %v6, 32
82 %v5 = ashr exact i64 %v4, 32
97 %v5 = ashr exact i64 %v4, 32
99 %v7 = ashr exact i64 %v6, 32
[all …]
H A Dmul64.ll40 %v3 = ashr exact i32 %v2, 16
70 %v4 = ashr exact i32 %v3, 16
86 %v4 = ashr exact i32 %v3, 16
101 %v3 = ashr exact i32 %v2, 16
178 %v1 = ashr exact i64 %v0, 32
180 %v3 = ashr exact i64 %v2, 48
192 %v1 = ashr exact i64 %v0, 32
207 %v1 = ashr exact i64 %v0, 32
211 %v5 = ashr exact i32 %v4, 16
225 %v2 = ashr exact i64 %v1, 48
[all …]
/llvm-project-15.0.7/llvm/test/Transforms/InstSimplify/
H A Dshr-nop.ll20 %shr = lshr exact i8 0, %a
29 %shr = ashr exact i8 0, %a
47 %shr = lshr exact i8 0, %a
56 %shr = ashr exact i8 0, %a
83 %shr = lshr exact i8 128, %a
92 %shr = ashr exact i8 -128, %a
110 %shr = lshr exact i8 128, %a
218 %shr = ashr exact i8 -1, %a
227 %shr = ashr exact i8 -1, %a
317 %shr = lshr exact i8 2, %a
[all …]
/llvm-project-15.0.7/lldb/source/API/
H A DSBCompileUnit.cpp81 bool exact) const { in FindLineEntryIndex()
82 LLDB_INSTRUMENT_VA(this, line_entry, exact); in FindLineEntryIndex()
90 line_entry.GetFileSpec().get(), exact, in FindLineEntryIndex()
98 const bool exact = true; in FindLineEntryIndex() local
99 return FindLineEntryIndex(start_idx, line, inline_file_spec, exact); in FindLineEntryIndex()
104 bool exact) const { in FindLineEntryIndex()
105 LLDB_INSTRUMENT_VA(this, start_idx, line, inline_file_spec, exact); in FindLineEntryIndex()
118 exact, &line_entry); in FindLineEntryIndex()
/llvm-project-15.0.7/llvm/test/CodeGen/AMDGPU/
H A Dwaitcnt-vscnt.ll22 %tmp6 = lshr exact i64 %tmp5, 32
41 %tmp4 = lshr exact i64 %tmp3, 32
48 %tmp7 = lshr exact i64 %tmp6, 32
67 %tmp4 = lshr exact i64 %tmp3, 32
76 %tmp9 = lshr exact i64 %tmp8, 32
97 %tmp6 = lshr exact i64 %tmp5, 32
115 %tmp4 = lshr exact i64 %tmp3, 32
122 %tmp7 = lshr exact i64 %tmp6, 32
139 %tmp4 = lshr exact i64 %tmp3, 32
148 %tmp9 = lshr exact i64 %tmp8, 32
[all …]
/llvm-project-15.0.7/llvm/test/CodeGen/X86/
H A Dsar_fold.ll11 %2 = ashr exact i32 %1, 15
22 %2 = ashr exact i32 %1, 17
33 %2 = ashr exact i32 %1, 23
44 %2 = ashr exact i32 %1, 25
/llvm-project-15.0.7/llvm/test/Transforms/SLPVectorizer/X86/
H A DPR35628_2.ll20 ; CHECK-NEXT: [[TMP6:%.*]] = ashr exact <4 x i64> [[TMP5]], <i64 32, i64 32, i64 32, i64 32>
35 %exact1 = ashr exact i64 %inc11, 32
39 %exact2 = ashr exact i64 %inc12, 32
42 %exact3 = ashr exact i64 %inc13, 32
48 %exact4 = ashr exact i64 %sext22, 32
/llvm-project-15.0.7/llvm/test/Assembler/
H A Dflags.ll103 ; CHECK: %z = sdiv exact i64 %x, %y
104 %z = sdiv exact i64 %x, %y
115 ; CHECK: %z = udiv exact i64 %x, %y
116 %z = udiv exact i64 %x, %y
133 ; CHECK: %z = ashr exact i64 %x, %y
134 %z = ashr exact i64 %x, %y
145 ; CHECK: %z = lshr exact i64 %x, %y
146 %z = lshr exact i64 %x, %y
178 ; CHECK: ret i64 ashr exact (i64 ptrtoint (i64* @addr to i64), i64 9)
179 ret i64 ashr exact (i64 ptrtoint (i64* @addr to i64), i64 9)
[all …]
/llvm-project-15.0.7/llvm/test/Transforms/SCCP/
H A Dpr52253.ll7 ; CHECK-NEXT: [[T010:%.*]] = ashr exact i32 [[T09]], 24
17 %t010 = ashr exact i32 %t09, 24
31 ; CHECK-NEXT: [[T010:%.*]] = ashr exact i32 [[T09]], 24
41 %t010 = ashr exact i32 %t09, 24
55 ; CHECK-NEXT: [[T010:%.*]] = ashr exact i32 [[T09]], 24
67 %t010 = ashr exact i32 %t09, 24

12345678910>>...20