diff options
Diffstat (limited to 'test/Transforms/SimplifyCFG/assume.ll')
| -rw-r--r-- | test/Transforms/SimplifyCFG/assume.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/assume.ll b/test/Transforms/SimplifyCFG/assume.ll new file mode 100644 index 0000000..1d1b96a --- /dev/null +++ b/test/Transforms/SimplifyCFG/assume.ll @@ -0,0 +1,22 @@ +; RUN: opt -simplifycfg -S < %s | FileCheck %s + +define void @test1() { + call void @llvm.assume(i1 0) + ret void + +; CHECK-LABEL: @test1 +; CHECK-NOT: llvm.assume +; CHECK: unreachable +} + +define void @test2() { + call void @llvm.assume(i1 undef) + ret void + +; CHECK-LABEL: @test2 +; CHECK-NOT: llvm.assume +; CHECK: unreachable +} + +declare void @llvm.assume(i1) nounwind + |