1; RUN: llvm-as < %s | 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
8declare void @llvm.va_start(i8*)
9
10declare void @llvm.va_copy(i8*, i8*)
11
12declare void @llvm.va_end(i8*)
13
14define i32 @test(i32 %X, ...) {
15        %ap = alloca i8*                ; <i8**> [#uses=4]
16        %va.upgrd.1 = bitcast i8** %ap to i8*           ; <i8*> [#uses=1]
17        call void @llvm.va_start( i8* %va.upgrd.1 )
18        %tmp = va_arg i8** %ap, i32             ; <i32> [#uses=1]
19        %aq = alloca i8*                ; <i8**> [#uses=2]
20        %va0.upgrd.2 = bitcast i8** %aq to i8*          ; <i8*> [#uses=1]
21        %va1.upgrd.3 = bitcast i8** %ap to i8*          ; <i8*> [#uses=1]
22        call void @llvm.va_copy( i8* %va0.upgrd.2, i8* %va1.upgrd.3 )
23        %va.upgrd.4 = bitcast i8** %aq to i8*           ; <i8*> [#uses=1]
24        call void @llvm.va_end( i8* %va.upgrd.4 )
25        %va.upgrd.5 = bitcast i8** %ap to i8*           ; <i8*> [#uses=1]
26        call void @llvm.va_end( i8* %va.upgrd.5 )
27        ret i32 %tmp
28}
29
30