blob: a46f270d86dee3f3426f12fe1b74f3286261a2dd [file] [log] [blame]
Tanya Lattnerfc887452008-03-01 07:38:40 +00001; RUN: llvm-as < %s | llvm-dis > %t1.ll
Dan Gohmanf17a25c2007-07-18 16:29:46 +00002; 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
Tanya Lattnerfc887452008-03-01 07:38:40 +00008declare void @llvm.va_start(i8*)
Dan Gohmanf17a25c2007-07-18 16:29:46 +00009
Tanya Lattnerfc887452008-03-01 07:38:40 +000010declare void @llvm.va_copy(i8*, i8*)
11
12declare void @llvm.va_end(i8*)
13
14define i32 @test(i32 %X, ...) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015 ; Allocate two va_list items. On this target, va_list is of type sbyte*
Tanya Lattnerfc887452008-03-01 07:38:40 +000016 %ap = alloca i8* ; <i8**> [#uses=4]
17 %aq = alloca i8* ; <i8**> [#uses=2]
Dan Gohmanf17a25c2007-07-18 16:29:46 +000018
19 ; Initialize variable argument processing
Tanya Lattnerfc887452008-03-01 07:38:40 +000020 %va.upgrd.1 = bitcast i8** %ap to i8* ; <i8*> [#uses=1]
21 call void @llvm.va_start( i8* %va.upgrd.1 )
Dan Gohmanf17a25c2007-07-18 16:29:46 +000022
23 ; Read a single integer argument
Tanya Lattnerfc887452008-03-01 07:38:40 +000024 %tmp = va_arg i8** %ap, i32 ; <i32> [#uses=1]
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025
26 ; Demonstrate usage of llvm.va_copy and llvm_va_end
Tanya Lattnerfc887452008-03-01 07:38:40 +000027 %apv = load i8** %ap ; <i8*> [#uses=1]
28 %va0.upgrd.2 = bitcast i8** %aq to i8* ; <i8*> [#uses=1]
29 %va1.upgrd.3 = bitcast i8* %apv to i8* ; <i8*> [#uses=1]
30 call void @llvm.va_copy( i8* %va0.upgrd.2, i8* %va1.upgrd.3 )
31 %va.upgrd.4 = bitcast i8** %aq to i8* ; <i8*> [#uses=1]
32 call void @llvm.va_end( i8* %va.upgrd.4 )
Dan Gohmanf17a25c2007-07-18 16:29:46 +000033
34 ; Stop processing of arguments.
Tanya Lattnerfc887452008-03-01 07:38:40 +000035 %va.upgrd.5 = bitcast i8** %ap to i8* ; <i8*> [#uses=1]
36 call void @llvm.va_end( i8* %va.upgrd.5 )
37 ret i32 %tmp
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038}