diff options
Diffstat (limited to 'llvm/test/Analysis')
-rw-r--r-- | llvm/test/Analysis/AssumptionCache/basic.ll | 7 | ||||
-rw-r--r-- | llvm/test/Analysis/ScalarEvolution/guards.ll | 4 |
2 files changed, 2 insertions, 9 deletions
diff --git a/llvm/test/Analysis/AssumptionCache/basic.ll b/llvm/test/Analysis/AssumptionCache/basic.ll index 75eb8f3..bd4e7b6 100644 --- a/llvm/test/Analysis/AssumptionCache/basic.ll +++ b/llvm/test/Analysis/AssumptionCache/basic.ll @@ -3,15 +3,12 @@ target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" declare void @llvm.assume(i1) -declare void @llvm.experimental.guard(i1, ...) define void @test1(i32 %a) { ; CHECK-LABEL: Cached assumptions for function: test1 ; CHECK-NEXT: icmp ne i32 %{{.*}}, 0 ; CHECK-NEXT: icmp slt i32 %{{.*}}, 0 ; CHECK-NEXT: icmp sgt i32 %{{.*}}, 0 -; CHECK-NEXT: icmp ult i32 %{{.*}}, 0 -; CHECK-NEXT: icmp ugt i32 %{{.*}}, 0 entry: %cond1 = icmp ne i32 %a, 0 @@ -20,10 +17,6 @@ entry: call void @llvm.assume(i1 %cond2) %cond3 = icmp sgt i32 %a, 0 call void @llvm.assume(i1 %cond3) - %cond4 = icmp ult i32 %a, 0 - call void (i1, ...) @llvm.experimental.guard(i1 %cond4) [ "deopt"() ] - %cond5 = icmp ugt i32 %a, 0 - call void (i1, ...) @llvm.experimental.guard(i1 %cond5) [ "deopt"() ] ret void } diff --git a/llvm/test/Analysis/ScalarEvolution/guards.ll b/llvm/test/Analysis/ScalarEvolution/guards.ll index 62b387b..3922775 100644 --- a/llvm/test/Analysis/ScalarEvolution/guards.ll +++ b/llvm/test/Analysis/ScalarEvolution/guards.ll @@ -86,7 +86,7 @@ entry: loop: ; CHECK: loop: ; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] -; CHECK: %iv.inc.cmp = icmp ult i32 %iv.inc, %len +; CHECK: %iv.inc.cmp = icmp slt i32 %iv.inc, %len ; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %iv.inc.cmp) [ "deopt"() ] ; CHECK: leave: %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ] @@ -129,7 +129,7 @@ left: be: ; CHECK: be: -; CHECK-NEXT: %iv.cmp = icmp ult i32 %iv, %len +; CHECK-NEXT: %iv.cmp = icmp slt i32 %iv, %len ; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %iv.cmp) [ "deopt"() ] ; CHECK: leave: |