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
+ }
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
