[llvm-commits] CVS: llvm/test/Regression/Transforms/Inline/inline_cleanup.ll

[Chris Lattner]

Changes in directory llvm/test/Regression/Transforms/Inline:

inline_cleanup.ll added (r1.1)
---
Log message:

new testcase


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

 inline_cleanup.ll |   65 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 65 insertions(+)


Index: llvm/test/Regression/Transforms/Inline/inline_cleanup.ll
diff -c /dev/null llvm/test/Regression/Transforms/Inline/inline_cleanup.ll:1.1
*** /dev/null	Wed Sep 13 14:23:53 2006
--- llvm/test/Regression/Transforms/Inline/inline_cleanup.ll	Wed Sep 13 14:23:43 2006
***************
*** 0 ****
--- 1,65 ----
+ ; Test that the inliner doesn't leave around dead allocas, and that it folds
+ ; uncond branches away after it is done specializing.
+ 
+ ; RUN: llvm-as < %s | opt -inline -disable-output &&
+ ; RUN: llvm-as < %s | opt -inline | llvm-dis | not grep 'alloca.*uses=0' &&
+ ; RUN: llvm-as < %s | opt -inline | llvm-dis | not grep 'br label'
+ 
+ %A = weak global int 0		; <int*> [#uses=1]
+ %B = weak global int 0		; <int*> [#uses=1]
+ %C = weak global int 0		; <int*> [#uses=1]
+ 
+ implementation   ; Functions:
+ 
+ internal fastcc void %foo(int %X) {
+ entry:
+ 	%ALL = alloca int, align 4		; <int*> [#uses=1]
+ 	%tmp1 = and int %X, 1		; <int> [#uses=1]
+ 	%tmp1 = seteq int %tmp1, 0		; <bool> [#uses=1]
+ 	br bool %tmp1, label %cond_next, label %cond_true
+ 
+ cond_true:		; preds = %entry
+ 	store int 1, int* %A
+ 	br label %cond_next
+ 
+ cond_next:		; preds = %entry, %cond_true
+ 	%tmp4 = and int %X, 2		; <int> [#uses=1]
+ 	%tmp4 = seteq int %tmp4, 0		; <bool> [#uses=1]
+ 	br bool %tmp4, label %cond_next7, label %cond_true5
+ 
+ cond_true5:		; preds = %cond_next
+ 	store int 1, int* %B
+ 	br label %cond_next7
+ 
+ cond_next7:		; preds = %cond_next, %cond_true5
+ 	%tmp10 = and int %X, 4		; <int> [#uses=1]
+ 	%tmp10 = seteq int %tmp10, 0		; <bool> [#uses=1]
+ 	br bool %tmp10, label %cond_next13, label %cond_true11
+ 
+ cond_true11:		; preds = %cond_next7
+ 	store int 1, int* %C
+ 	br label %cond_next13
+ 
+ cond_next13:		; preds = %cond_next7, %cond_true11
+ 	%tmp16 = and int %X, 8		; <int> [#uses=1]
+ 	%tmp16 = seteq int %tmp16, 0		; <bool> [#uses=1]
+ 	br bool %tmp16, label %UnifiedReturnBlock, label %cond_true17
+ 
+ cond_true17:		; preds = %cond_next13
+ 	call void %ext( int* %ALL )
+ 	ret void
+ 
+ UnifiedReturnBlock:		; preds = %cond_next13
+ 	ret void
+ }
+ 
+ declare void %ext(int*)
+ 
+ void %test() {
+ entry:
+ 	tail call fastcc void %foo( int 1 )
+ 	tail call fastcc void %foo( int 2 )
+ 	tail call fastcc void %foo( int 3 )
+ 	tail call fastcc void %foo( int 8 )
+ 	ret void
+ }