Stop accepting and ignoring attributes in function types. Attributes are applied
[oota-llvm.git] / test / Integer / varargs_new_bt.ll
1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
4
5 ; Demonstrate all of the variable argument handling intrinsic functions plus 
6 ; the va_arg instruction.
7
8 declare void @llvm.va_start(i8**)
9 declare void @llvm.va_copy(i8**, i8*)
10 declare void @llvm.va_end(i8**)
11
12 define i31 @test(i31 %X, ...) {
13         ; Allocate two va_list items.  On this target, va_list is of type i8*
14         %ap = alloca i8*             ; <i8**> [#uses=4]
15         %aq = alloca i8*             ; <i8**> [#uses=2]
16
17         ; Initialize variable argument processing
18         call void @llvm.va_start(i8** %ap)
19
20         ; Read a single integer argument
21         %tmp = va_arg i8** %ap, i31           ; <i31> [#uses=1]
22
23         ; Demonstrate usage of llvm.va_copy and llvm_va_end
24         %apv = load i8** %ap         ; <i8*> [#uses=1]
25         call void @llvm.va_copy(i8** %aq, i8* %apv)
26         call void @llvm.va_end(i8** %aq)
27
28         ; Stop processing of arguments.
29         call void @llvm.va_end(i8** %ap)
30         ret i31 %tmp
31
32 }