[llvm] r193768 - Add Verifier test case for variable argument intrinsics.

[Andrew Trick]

Author: atrick
Date: Thu Oct 31 12:18:17 2013
New Revision: 193768

URL: http://llvm.org/viewvc/llvm-project?rev=193768&view=rev
Log:
Add Verifier test case for variable argument intrinsics.

Added:
    llvm/trunk/test/Verifier/varargs-intrinsic.ll

Added: llvm/trunk/test/Verifier/varargs-intrinsic.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/varargs-intrinsic.ll?rev=193768&view=auto
==============================================================================
--- llvm/trunk/test/Verifier/varargs-intrinsic.ll (added)
+++ llvm/trunk/test/Verifier/varargs-intrinsic.ll Thu Oct 31 12:18:17 2013
@@ -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
+}