C and Ocaml bindings for ExecutionEngine (i.e., the JIT compiler).
[oota-llvm.git] / test / Assembler / 2007-01-12-Varargs-Upgrade.ll
1 ; For PR1093: This test checks that llvm-upgrade correctly translates
2 ; the llvm.va_* intrinsics to their cannonical argument form (i8*).
3 ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis | \
4 ; RUN:   grep { bitcast} | count 5
5
6 %str = internal constant [7 x ubyte] c"%d %d\0A\00"             ; <[7 x ubyte]*> [#uses=1]
7
8 implementation   ; Functions:
9
10 void %f(int %a_arg, ...) {
11 entry:
12         %l1 = alloca sbyte*, align 4            ; <sbyte**> [#uses=5]
13         %l2 = alloca sbyte*, align 4            ; <sbyte**> [#uses=4]
14         %l3 = alloca sbyte*             ; <sbyte**> [#uses=2]
15         call void %llvm.va_start( sbyte** %l1 )
16         call void %llvm.va_copy( sbyte** %l2, sbyte** %l3 )
17         call void %llvm.va_end( sbyte** %l1 )
18         call void %llvm.va_end( sbyte** %l2 )
19         ret void
20 }
21
22 declare void %llvm.va_start(sbyte**)
23
24 declare void %llvm.va_copy(sbyte**, sbyte**)
25
26 declare int %printf(ubyte*, ...)
27
28 declare void %llvm.va_end(sbyte**)