Changes in directory llvm/test/Regression/Transforms/PredicateSimplifier:
2006-09-20-SetCC.ll added (r1.1)
---
Log message:
Once we're down to "setcc type constant1, constant2", at least come up
with the right answer.
---
Diffs of the changes: (+54 -0)
2006-09-20-SetCC.ll | 54 ++++++++++++++++++++++++++++++++++++++++++++++++++++
1 files changed, 54 insertions(+)
Index: llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll
diff -c /dev/null
llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll:1.1
*** /dev/null Wed Sep 20 18:02:34 2006
--- llvm/test/Regression/Transforms/PredicateSimplifier/2006-09-20-SetCC.ll
Wed Sep 20 18:02:24 2006
***************
*** 0 ****
--- 1,54 ----
+ ; RUN: llvm-as < %s | opt -predsimplify | llvm-dis | grep br | grep bb8 |
grep cond_true$ | grep false
+
+ %str = external global [4 x sbyte] ; <[4 x sbyte]*> [#uses=1]
+
+ implementation ; Functions:
+
+ declare int %sprintf(sbyte*, sbyte*, ...)
+
+ int %main() {
+ entry:
+ br label %cond_true.outer
+
+ cond_true.outer: ; preds = %cond_true.i, %entry
+ %i.0.0.ph = phi int [ 0, %entry ], [ %tmp5, %cond_true.i ]
; <int> [#uses=1]
+ %j.0.0.ph = phi int [ 0, %entry ], [ %tmp312, %cond_true.i ]
; <int> [#uses=2]
+ br label %cond_true
+
+ cond_true: ; preds = %return.i, %cond_true.outer
+ %indvar = phi uint [ 0, %cond_true.outer ], [ %indvar.next, %return.i ]
; <uint> [#uses=2]
+ %indvar = cast uint %indvar to int ; <int> [#uses=1]
+ %i.0.0 = add int %indvar, %i.0.0.ph ; <int> [#uses=3]
+ %savedstack = call sbyte* %llvm.stacksave( ) ; <sbyte*>
[#uses=2]
+ %tmp.i = seteq int %i.0.0, 0 ; <bool> [#uses=1]
+ %tmp5 = add int %i.0.0, 1 ; <int> [#uses=3]
+ br bool %tmp.i, label %return.i, label %cond_true.i
+
+ cond_true.i: ; preds = %cond_true
+ %tmp.i = alloca [1000 x sbyte] ; <[1000 x sbyte]*> [#uses=1]
+ %tmp.sub.i = getelementptr [1000 x sbyte]* %tmp.i, int 0, int 0
; <sbyte*> [#uses=2]
+ %tmp4.i = call int (sbyte*, sbyte*, ...)* %sprintf( sbyte* %tmp.sub.i,
sbyte* getelementptr ([4 x sbyte]* %str, int 0, uint 0), int %i.0.0 )
; <int> [#uses=0]
+ %tmp.i = load sbyte* %tmp.sub.i ; <sbyte> [#uses=1]
+ %tmp7.i = cast sbyte %tmp.i to int ; <int> [#uses=1]
+ call void %llvm.stackrestore( sbyte* %savedstack )
+ %tmp312 = add int %tmp7.i, %j.0.0.ph ; <int> [#uses=2]
+ %tmp19 = setgt int %tmp5, 9999 ; <bool> [#uses=1]
+ br bool %tmp19, label %bb8, label %cond_true.outer
+
+ return.i: ; preds = %cond_true
+ call void %llvm.stackrestore( sbyte* %savedstack )
+ %tmp21 = setgt int %tmp5, 9999 ; <bool> [#uses=1]
+ %indvar.next = add uint %indvar, 1 ; <uint> [#uses=1]
+ br bool %tmp21, label %bb8, label %cond_true
+
+ bb8: ; preds = %return.i, %cond_true.i
+ %j.0.1 = phi int [ %j.0.0.ph, %return.i ], [ %tmp312, %cond_true.i ]
; <int> [#uses=1]
+ %tmp10 = call int (sbyte*, ...)* %printf( sbyte* getelementptr ([4 x
sbyte]* %str, int 0, uint 0), int %j.0.1 ) ; <int> [#uses=0]
+ ret int undef
+ }
+
+ declare int %printf(sbyte*, ...)
+
+ declare sbyte* %llvm.stacksave()
+
+ declare void %llvm.stackrestore(sbyte*)
_______________________________________________
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
