test/Feature/varargs_new.ll

   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
   8 declare void @llvm.va_start(i8*)
   9
  10 declare void @llvm.va_copy(i8*, i8*)
  11
  12 declare void @llvm.va_end(i8*)
  13
  14 define i32 @test(i32 %X, ...) {
  15         ; Allocate two va_list items.  On this target, va_list is of type sbyte*
  16         %ap = alloca i8*                ; <i8**> [#uses=4]
  17         %aq = alloca i8*                ; <i8**> [#uses=2]
  18
  19         ; Initialize variable argument processing
  20         %va.upgrd.1 = bitcast i8** %ap to i8*           ; <i8*> [#uses=1]
  21         call void @llvm.va_start( i8* %va.upgrd.1 )
  22
  23         ; Read a single integer argument
  24         %tmp = va_arg i8** %ap, i32             ; <i32> [#uses=1]
  25
  26         ; Demonstrate usage of llvm.va_copy and llvm_va_end
  27         %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 )
  33
  34         ; Stop processing of arguments.
  35         %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
  38 }