diff options
Diffstat (limited to 'llvm/test/Transforms/InstCombine/call-guard.ll')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/call-guard.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/call-guard.ll b/llvm/test/Transforms/InstCombine/call-guard.ll new file mode 100644 index 00000000000..18da465e606 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/call-guard.ll @@ -0,0 +1,30 @@ +; RUN: opt < %s -instcombine -S | FileCheck %s + +declare void @llvm.experimental.guard(i1, ...) + +define void @test_guard_adjacent(i1 %A) { +; CHECK-LABEL: @test_guard_adjacent( +; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %A) [ "deopt"() ] +; CHECK-NEXT: ret void + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + ret void +} + +define void @test_guard_adjacent_neg(i1 %A, i1 %B) { +; CHECK-LABEL: @test_guard_adjacent_neg( +; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %A) [ "deopt"() ] +; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %B) [ "deopt"() ] +; CHECK-NEXT: ret void + call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ] + call void(i1, ...) @llvm.experimental.guard( i1 %B )[ "deopt"() ] + ret void +} |
