[llvm-commits] CVS: llvm/test/Regression/Assembler/2007-01-12-Varargs-Upgrade.ll

[Reid Spencer]

Changes in directory llvm/test/Regression/Assembler:

2007-01-12-Varargs-Upgrade.ll added (r1.1)
---
Log message:

Test case for PR1093: http://llvm.org/PR1093  for llvm.va_* intrinsics upgrade.


---
Diffs of the changes:  (+54 -0)

 2007-01-12-Varargs-Upgrade.ll |   54 ++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 54 insertions(+)


Index: llvm/test/Regression/Assembler/2007-01-12-Varargs-Upgrade.ll
diff -c /dev/null llvm/test/Regression/Assembler/2007-01-12-Varargs-Upgrade.ll:1.1
*** /dev/null	Fri Jan 12 18:00:53 2007
--- llvm/test/Regression/Assembler/2007-01-12-Varargs-Upgrade.ll	Fri Jan 12 18:00:43 2007
***************
*** 0 ****
--- 1,54 ----
+ ; For PR1093: This test checks that llvm-upgrade correctly translates
+ ; the llvm.va_* intrinsics to their cannonical argument form (i8*).
+ ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis | \
+ ; RUN:   grep 'va_upgrade[0-9] = bitcast' | wc -l | grep 5
+ %str = internal constant [7 x ubyte] c"%d %d\0A\00"		; <[7 x ubyte]*> [#uses=1]
+ 
+ implementation   ; Functions:
+ 
+ void %f(int %a_arg, ...) {
+ entry:
+ 	%a = cast int %a_arg to uint		; <uint> [#uses=1]
+ 	%l1 = alloca sbyte*, align 4		; <sbyte**> [#uses=5]
+ 	%l2 = alloca sbyte*, align 4		; <sbyte**> [#uses=4]
+ 	%memtmp = alloca sbyte*		; <sbyte**> [#uses=2]
+ 	call void %llvm.va_start( sbyte** %l1 )
+ 	%tmp22 = seteq int %a_arg, 0		; <bool> [#uses=1]
+ 	%tmp23 = volatile load sbyte** %l1		; <sbyte*> [#uses=2]
+ 	br bool %tmp22, label %bb8, label %bb
+ 
+ bb:		; preds = %bb, %entry
+ 	%indvar = phi uint [ 0, %entry ], [ %indvar.next, %bb ]		; <uint> [#uses=1]
+ 	%tmp.0 = phi sbyte* [ %tmp23, %entry ], [ %tmp, %bb ]		; <sbyte*> [#uses=2]
+ 	%tmp2 = getelementptr sbyte* %tmp.0, int 4		; <sbyte*> [#uses=1]
+ 	volatile store sbyte* %tmp2, sbyte** %l1
+ 	%tmp3 = cast sbyte* %tmp.0 to int*		; <int*> [#uses=1]
+ 	%tmp = load int* %tmp3		; <int> [#uses=1]
+ 	%tmp = volatile load sbyte** %l1		; <sbyte*> [#uses=2]
+ 	%indvar.next = add uint %indvar, 1		; <uint> [#uses=2]
+ 	%exitcond = seteq uint %indvar.next, %a		; <bool> [#uses=1]
+ 	br bool %exitcond, label %bb8, label %bb
+ 
+ bb8:		; preds = %bb, %entry
+ 	%p1.0.1 = phi int [ undef, %entry ], [ %tmp, %bb ]		; <int> [#uses=1]
+ 	%tmp.1 = phi sbyte* [ %tmp23, %entry ], [ %tmp, %bb ]		; <sbyte*> [#uses=1]
+ 	store sbyte* %tmp.1, sbyte** %memtmp
+ 	call void %llvm.va_copy( sbyte** %l2, sbyte** %memtmp )
+ 	%tmp10 = volatile load sbyte** %l2		; <sbyte*> [#uses=2]
+ 	%tmp12 = getelementptr sbyte* %tmp10, int 4		; <sbyte*> [#uses=1]
+ 	volatile store sbyte* %tmp12, sbyte** %l2
+ 	%tmp13 = cast sbyte* %tmp10 to int*		; <int*> [#uses=1]
+ 	%tmp14 = load int* %tmp13		; <int> [#uses=1]
+ 	%tmp17 = call int (ubyte*, ...)* %printf( ubyte* getelementptr ([7 x ubyte]* %str, int 0, uint 0), int %p1.0.1, int %tmp14 )		; <int> [#uses=0]
+ 	call void %llvm.va_end( sbyte** %l1 )
+ 	call void %llvm.va_end( sbyte** %l2 )
+ 	ret void
+ }
+ 
+ declare void %llvm.va_start(sbyte**)
+ 
+ declare void %llvm.va_copy(sbyte**, sbyte**)
+ 
+ declare int %printf(ubyte*, ...)
+ 
+ declare void %llvm.va_end(sbyte**)