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