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/ |
D | assume.ll | 12 ; 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/ |
D | assume.ll | 12 ; 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/ |
D | assume.ll | 10 ; 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 …]
|
D | assume2.ll | 6 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 …]
|
D | assume-redundant.ll | 14 ; 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 …]
|
D | pr23809.ll | 3 ; 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/ |
D | assume.ll | 9 ; 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 …]
|
D | assume2.ll | 6 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 …]
|
D | assume-redundant.ll | 14 ; 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 …]
|
D | pr23809.ll | 3 ; 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)
|
D | out-of-bounds-indexes.ll | 9 ; 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/ |
D | assume.ll | 9 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 …]
|
D | assume-edge-dom.ll | 4 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/ |
D | numsignbits-from-assume.ll | 8 ; 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 …]
|
D | assume.ll | 9 ; 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/ |
D | assume.ll | 14 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 …]
|
D | constantfold-shl-nuw-C-to-C.ll | 41 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/ |
D | assume-equal.ll | 20 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/ |
D | assume-equal.ll | 20 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/ |
D | assume-equal.ll | 21 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/ |
D | assume.ll | 4 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/ |
D | assume.ll | 4 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/ |
D | assume.ll | 5 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/ |
D | assume.ll | 5 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/ |
D | assume-edge-dom.ll | 4 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