Home
last modified time | relevance | path

Searched refs:assume (Results 1 – 25 of 1483) sorted by relevance

12345678910>>...60

/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/LoopVectorize/X86/
Dassume.ll12 ; CHECK: @llvm.assume
13 ; CHECK: @llvm.assume
14 ; CHECK: @llvm.assume
15 ; CHECK: @llvm.assume
16 ; CHECK: @llvm.assume
17 ; CHECK: @llvm.assume
18 ; CHECK: @llvm.assume
19 ; CHECK: @llvm.assume
28 tail call void @llvm.assume(i1 %cmp1)
41 declare void @llvm.assume(i1) #1
[all …]
/external/llvm/test/Transforms/LoopVectorize/X86/
Dassume.ll12 ; CHECK: @llvm.assume
13 ; CHECK: @llvm.assume
14 ; CHECK: @llvm.assume
15 ; CHECK: @llvm.assume
16 ; CHECK: @llvm.assume
17 ; CHECK: @llvm.assume
18 ; CHECK: @llvm.assume
19 ; CHECK: @llvm.assume
28 tail call void @llvm.assume(i1 %cmp1)
41 declare void @llvm.assume(i1) #1
[all …]
/external/llvm/test/Transforms/InstCombine/
Dassume.ll10 ; Check that the alignment has been upgraded and that the assume has not
14 ; CHECK-DAG: call void @llvm.assume
20 tail call void @llvm.assume(i1 %maskcond)
28 ; Same check as in @foo1, but make sure it works if the assume is first too.
31 ; CHECK-DAG: call void @llvm.assume
37 tail call void @llvm.assume(i1 %maskcond)
44 declare void @llvm.assume(i1) #1
50 ; CHECK: call void @llvm.assume
54 tail call void @llvm.assume(i1 %cmp)
63 tail call void @llvm.assume(i1 %and)
[all …]
Dassume2.ll6 declare void @llvm.assume(i1) #1
12 ; CHECK: call void @llvm.assume
17 tail call void @llvm.assume(i1 %cmp)
27 ; CHECK: call void @llvm.assume
33 tail call void @llvm.assume(i1 %cmp)
43 ; CHECK: call void @llvm.assume
48 tail call void @llvm.assume(i1 %cmp)
58 ; CHECK: call void @llvm.assume
64 tail call void @llvm.assume(i1 %cmp)
74 ; CHECK: call void @llvm.assume
[all …]
Dassume-redundant.ll14 ; CHECK: call void @llvm.assume
15 ; CHECK-NOT: call void @llvm.assume
27 tail call void @llvm.assume(i1 %maskcond)
31 tail call void @llvm.assume(i1 %maskcond)
35 tail call void @llvm.assume(i1 %maskcond)
39 tail call void @llvm.assume(i1 %maskcond)
52 ; Check that redundant align assume is removed
54 ; CHECK-NOT: call void @llvm.assume
60 call void @llvm.assume(i1 %maskcond)
64 ; Check that redundant align assume is removed
[all …]
Dpr23809.ll3 ; InstCombine should preserve the call to @llvm.assume.
8 call void @llvm.assume(i1 %1)
9 ; CHECK: call void @llvm.assume
17 call void @llvm.assume(i1 %1)
18 ; CHECK: call void @llvm.assume
22 declare void @llvm.assume(i1)
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/InstCombine/
Dassume.ll9 ; Check that the alignment has been upgraded and that the assume has not
13 ; CHECK-DAG: call void @llvm.assume
19 tail call void @llvm.assume(i1 %maskcond)
26 ; Same check as in @foo1, but make sure it works if the assume is first too.
29 ; CHECK-DAG: call void @llvm.assume
35 tail call void @llvm.assume(i1 %maskcond)
41 declare void @llvm.assume(i1) #1
47 ; CHECK: call void @llvm.assume
51 tail call void @llvm.assume(i1 %cmp)
59 tail call void @llvm.assume(i1 %and)
[all …]
Dassume2.ll6 declare void @llvm.assume(i1) #1
12 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
17 tail call void @llvm.assume(i1 %cmp)
26 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
32 tail call void @llvm.assume(i1 %cmp)
41 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
46 tail call void @llvm.assume(i1 %cmp)
55 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
61 tail call void @llvm.assume(i1 %cmp)
69 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
[all …]
Dassume-redundant.ll14 ; CHECK: call void @llvm.assume
15 ; CHECK-NOT: call void @llvm.assume
27 tail call void @llvm.assume(i1 %maskcond)
31 tail call void @llvm.assume(i1 %maskcond)
35 tail call void @llvm.assume(i1 %maskcond)
39 tail call void @llvm.assume(i1 %maskcond)
52 ; Check that redundant align assume is removed
54 ; CHECK-NOT: call void @llvm.assume
60 call void @llvm.assume(i1 %maskcond)
64 ; Check that redundant align assume is removed
[all …]
Dpr23809.ll3 ; InstCombine should preserve the call to @llvm.assume.
8 call void @llvm.assume(i1 %1)
9 ; CHECK: call void @llvm.assume
17 call void @llvm.assume(i1 %1)
18 ; CHECK: call void @llvm.assume
22 declare void @llvm.assume(i1)
Dout-of-bounds-indexes.ll9 ; CHECK-NEXT: tail call void @llvm.assume(i1 false)
16 tail call void @llvm.assume(i1 %cmp)
23 ; CHECK-NEXT: tail call void @llvm.assume(i1 false)
29 tail call void @llvm.assume(i1 %cmp)
33 declare void @llvm.assume(i1)
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/JumpThreading/
Dassume.ll9 tail call void @llvm.assume(i1 %cmp)
15 ; CHECK: call void @llvm.assume
39 tail call void @llvm.assume(i1 %cmp)
45 ; CHECK: tail call void @llvm.assume
61 ; Check that we do prove a fact using an assume within the block.
62 ; We can fold the assume based on the semantics of assume.
65 ; CHECK-NOT: call void @llvm.assume
69 call void @llvm.assume(i1 %notnull)
82 ; We can fold the assume but not the uses before the assume.
87 ; CHECK-NOT: assume
[all …]
Dassume-edge-dom.ll4 declare void @llvm.assume(i1)
17 tail call void @llvm.assume(i1 %a)
22 tail call void @llvm.assume(i1 %b)
25 ; An assume that can be used to simplify this comparison dominates each
26 ; predecessor branch (although no assume dominates the cmp itself). Make sure
/external/swiftshader/third_party/llvm-7.0/llvm/test/Analysis/ValueTracking/
Dnumsignbits-from-assume.ll8 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])
14 call void @llvm.assume(i1 %cond)
23 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])
29 call void @llvm.assume(i1 %cond)
38 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])
44 call void @llvm.assume(i1 %cond)
53 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])
59 call void @llvm.assume(i1 %cond)
68 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])
74 call void @llvm.assume(i1 %cond)
[all …]
Dassume.ll9 ; CHECK-NEXT: call void @llvm.assume(i1 [[T2]])
16 call void @llvm.assume(i1 %t2)
26 ; CHECK: call void @llvm.assume
28 call void @llvm.assume(i1 %1)
33 declare void @llvm.assume(i1)
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/InstSimplify/
Dassume.ll14 call void @llvm.assume(i1 1)
20 ; The assume says the opposite. The assume is processed last, so that's the
31 call void @llvm.assume(i1 %cond)
36 ; so just don't crash. The second icmp+assume gets processed later, so that
41 ; CHECK-NEXT: call void @llvm.assume(i1 false)
43 ; CHECK-NEXT: call void @llvm.assume(i1 [[COND2]])
48 call void @llvm.assume(i1 %cond1)
50 call void @llvm.assume(i1 %cond2)
59 ; CHECK-NEXT: tail call void @llvm.assume(i1 false)
66 tail call void @llvm.assume(i1 %C1)
[all …]
Dconstantfold-shl-nuw-C-to-C.ll41 declare void @llvm.assume(i1 %cond);
46 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
51 tail call void @llvm.assume(i1 %cmp)
59 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
64 tail call void @llvm.assume(i1 %cmp)
165 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
170 tail call void @llvm.assume(i1 %cmp)
178 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
183 tail call void @llvm.assume(i1 %cmp)
191 ; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/GVN/
Dassume-equal.ll20 tail call void @llvm.assume(i1 %cmp.vtables)
56 tail call void @llvm.assume(i1 %cmp.vtables)
112 tail call void @llvm.assume(i1 %cmp.vtables)
135 call void @llvm.assume(i1 %cmp)
150 call void @llvm.assume(i1 %cmp)
164 call void @llvm.assume(i1 %cmp)
175 call void @llvm.assume(i1 %cmp)
180 call void @llvm.assume(i1 true)
192 call void @llvm.assume(i1 %cmp)
199 ; CHECK-NOT: call void @llvm.assume(
[all …]
/external/llvm/test/Transforms/GVN/
Dassume-equal.ll20 tail call void @llvm.assume(i1 %cmp.vtables)
56 tail call void @llvm.assume(i1 %cmp.vtables)
114 tail call void @llvm.assume(i1 %cmp.vtables)
137 call void @llvm.assume(i1 %cmp)
152 call void @llvm.assume(i1 %cmp)
166 call void @llvm.assume(i1 %cmp)
177 call void @llvm.assume(i1 %cmp)
182 call void @llvm.assume(i1 true)
194 call void @llvm.assume(i1 %cmp)
201 ; CHECK-NOT: call void @llvm.assume(
[all …]
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/NewGVN/
Dassume-equal.ll21 tail call void @llvm.assume(i1 %cmp.vtables)
57 tail call void @llvm.assume(i1 %cmp.vtables)
113 tail call void @llvm.assume(i1 %cmp.vtables)
136 call void @llvm.assume(i1 %cmp)
151 call void @llvm.assume(i1 %cmp)
165 call void @llvm.assume(i1 %cmp)
176 call void @llvm.assume(i1 %cmp)
181 call void @llvm.assume(i1 true)
193 call void @llvm.assume(i1 %cmp)
200 ; CHECK-NOT: call void @llvm.assume(
[all …]
/external/llvm/test/Transforms/SimplifyCFG/
Dassume.ll4 call void @llvm.assume(i1 0)
8 ; CHECK-NOT: llvm.assume
13 call void @llvm.assume(i1 undef)
17 ; CHECK-NOT: llvm.assume
21 declare void @llvm.assume(i1) nounwind
/external/swiftshader/third_party/llvm-7.0/llvm/test/Transforms/SimplifyCFG/
Dassume.ll4 call void @llvm.assume(i1 0)
8 ; CHECK-NOT: llvm.assume
13 call void @llvm.assume(i1 undef)
17 ; CHECK-NOT: llvm.assume
21 declare void @llvm.assume(i1) nounwind
/external/llvm/test/Analysis/BasicAA/
Dassume.ll5 declare void @llvm.assume(i1) #0
8 tail call void @llvm.assume(i1 true)
15 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.assume(i1 true)
16 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.assume(i1 true)
19 ; CHECK: NoModRef: tail call void @llvm.assume(i1 true) <-> tail call void @llvm.memcpy.p0i8.p0…
20 …y.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.assume(i1 true)
/external/swiftshader/third_party/llvm-7.0/llvm/test/Analysis/BasicAA/
Dassume.ll5 declare void @llvm.assume(i1) #0
8 tail call void @llvm.assume(i1 true)
15 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.assume(i1 true)
16 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.assume(i1 true)
19 ; CHECK: NoModRef: tail call void @llvm.assume(i1 true) <-> tail call void @llvm.memcpy.p0i8.p0…
20 …m.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.assume(i1 true)
/external/llvm/test/Transforms/JumpThreading/
Dassume-edge-dom.ll4 declare void @llvm.assume(i1)
17 tail call void @llvm.assume(i1 %a)
22 tail call void @llvm.assume(i1 %b)
25 ; An assume that can be used to simplify this comparison dominates each
26 ; predecessor branch (although no assume dominates the cmp itself). Make sure

12345678910>>...60