blob: baa055ede9a1c7c203ca7487ec76722afc5eb0ca [file] [log] [blame]
Reid Spencerc0948362007-01-16 18:08:22 +00001; 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
8implementation ; Functions:
Reid Spencere3ff5ad2007-01-26 08:25:06 +00009declare void @llvm.va_start(i8**)
10declare void @llvm.va_copy(i8**, i8*)
11declare void @llvm.va_end(i8**)
Reid Spencerc0948362007-01-16 18:08:22 +000012
Reid Spencere3ff5ad2007-01-26 08:25:06 +000013define i31 @test(i31 %X, ...) {
Reid Spencerc0948362007-01-16 18:08:22 +000014 ; Allocate two va_list items. On this target, va_list is of type i8*
15 %ap = alloca i8* ; <i8**> [#uses=4]
16 %aq = alloca i8* ; <i8**> [#uses=2]
17
18 ; Initialize variable argument processing
Reid Spencere3ff5ad2007-01-26 08:25:06 +000019 call void @llvm.va_start(i8** %ap)
Reid Spencerc0948362007-01-16 18:08:22 +000020
21 ; Read a single integer argument
22 %tmp = va_arg i8** %ap, i31 ; <i31> [#uses=1]
23
24 ; Demonstrate usage of llvm.va_copy and llvm_va_end
25 %apv = load i8** %ap ; <i8*> [#uses=1]
Reid Spencere3ff5ad2007-01-26 08:25:06 +000026 call void @llvm.va_copy(i8** %aq, i8* %apv)
27 call void @llvm.va_end(i8** %aq)
Reid Spencerc0948362007-01-16 18:08:22 +000028
29 ; Stop processing of arguments.
Reid Spencere3ff5ad2007-01-26 08:25:06 +000030 call void @llvm.va_end(i8** %ap)
Reid Spencerc0948362007-01-16 18:08:22 +000031 ret i31 %tmp
32
33}