+; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
+; Demonstrate all of the variable argument handling intrinsic functions plus
+; the va_arg instruction.
+implementation
+declare sbyte* %llvm.va_start()
+declare sbyte* %llvm.va_copy(sbyte*)
+declare void %llvm.va_end(sbyte*)
int %test(int %X, ...) {
- %ap = alloca sbyte*
- ; This is not a legal testcase, it just shows the syntax for va_arg
- %tmp = va_arg sbyte** %ap, int
+ %ap = call sbyte* %llvm.va_start()
+ %aq = call sbyte* %llvm.va_copy(sbyte* %ap)
+ call void %llvm.va_end(sbyte* %aq)
+
+ %tmp = vaarg sbyte* %ap, int
+ %ap2 = vanext sbyte* %ap, int
+
+ call void %llvm.va_end(sbyte* %ap2)
ret int %tmp
}