test/Verifier/varargs-intrinsic.ll

; 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
}