New test cases for bit accurate integers developed by Guoling Han.

[oota-llvm.git] / test / Integer / varargs_new_bt.ll

diff --git a/test/Integer/varargs_new_bt.ll b/test/Integer/varargs_new_bt.ll
new file mode 100644 (file)
index 0000000..f420ec1
--- /dev/null
+++ b/test/Integer/varargs_new_bt.ll
@@ -0,0 +1,33 @@
+; 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   ; Functions:
+declare void %llvm.va_start(i8**)
+declare void %llvm.va_copy(i8**, i8*)
+declare void %llvm.va_end(i8**)
+
+define i31 %test(i31 %X, ...) {
+        ; Allocate two va_list items.  On this target, va_list is of type i8*
+        %ap = alloca i8*             ; <i8**> [#uses=4]
+        %aq = alloca i8*             ; <i8**> [#uses=2]
+
+        ; Initialize variable argument processing
+        call void %llvm.va_start(i8** %ap)
+
+        ; Read a single integer argument
+        %tmp = va_arg i8** %ap, i31           ; <i31> [#uses=1]
+
+        ; Demonstrate usage of llvm.va_copy and llvm_va_end
+        %apv = load i8** %ap         ; <i8*> [#uses=1]
+        call void %llvm.va_copy(i8** %aq, i8* %apv)
+        call void %llvm.va_end(i8** %aq)
+
+        ; Stop processing of arguments.
+        call void %llvm.va_end(i8** %ap)
+        ret i31 %tmp
+
+}