diff options
| -rw-r--r-- | test/Verifier/varargs-intrinsic.ll | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Verifier/varargs-intrinsic.ll b/test/Verifier/varargs-intrinsic.ll new file mode 100644 index 0000000..f6d0a70 --- /dev/null +++ b/test/Verifier/varargs-intrinsic.ll @@ -0,0 +1,16 @@ +; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s + +declare void @llvm.experimental.stackmap(i32, i32) +declare void @llvm.donothing(...) + +define void @foo1() { + call void @llvm.experimental.stackmap(i32 0, i32 12) +; CHECK: Callsite was not defined with variable arguments! + ret void +} + +define void @foo2() { + call void (...)* @llvm.donothing(i32 0, i64 1) +; CHECK: Intrinsic was not defined with variable arguments! + ret void +} |