[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-27 Thread Nick Lewycky 


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

2006-10-22-IntOr.ll updated: 1.2 -> 1.3
---
Log message:

Emitting raw bytecode is awfully rude. Add -disable-output.
Clarify the test.


---
Diffs of the changes:  (+17 -7)

 2006-10-22-IntOr.ll |   24 +---
 1 files changed, 17 insertions(+), 7 deletions(-)


Index: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll
diff -u 
llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.2 
llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.3
--- llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.2 
Wed Oct 25 19:51:58 2006
+++ llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll 
Fri Oct 27 21:34:41 2006
@@ -1,6 +1,6 @@
-; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg &&
-; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | grep -c fail | grep 1 &&
-; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | grep -c pass | grep 1
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg 
-disable-output &&
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | not grep fail &&
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | grep -c pass | grep 3
 
 int %test1(int %x, int %y) {
 entry:
@@ -10,12 +10,16 @@
 
 cond_true: ; preds = %entry
%tmp4 = seteq int %x, 0 ;  [#uses=1]
-   br bool %tmp4, label %cond_true5, label %return
+   br bool %tmp4, label %cond_true5, label %cond_false
 
 cond_true5:; preds = %cond_true
-   %tmp6 = call int %fail( )   ;  [#uses=0]
+   %tmp6 = call int %pass( )   ;  [#uses=1]
ret int %tmp6
 
+cond_false:
+   %tmp8 = call int %fail ( )  ;  [#uses=1]
+   ret int %tmp8
+
 return:; preds = %cond_next7
ret int 0
 }
@@ -28,15 +32,21 @@
 
 cond_true: ; preds = %entry
%tmp4 = seteq int %x, 0 ;  [#uses=1]
-   br bool %tmp4, label %cond_true5, label %return
+   br bool %tmp4, label %cond_true5, label %cond_false
 
 cond_true5:; preds = %cond_true
-   %tmp6 = call int %pass( )   ;  [#uses=0]
+   %tmp6 = call int %pass1( )  ;  [#uses=1]
ret int %tmp6
 
+cond_false:
+   %tmp8 = call int %pass2( )  ;  [#uses=1]
+   ret int %tmp8
+
 return:; preds = %cond_next7
ret int 0
 }
 
 declare int %fail()
 declare int %pass()
+declare int %pass1()
+declare int %pass2()



___
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-25 Thread Nick Lewycky 


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

2006-10-22-IntOr.ll updated: 1.1 -> 1.2
---
Log message:

This testcase was logically wrong! Fixing, and including the test for the
mistake that I made in the file too.


---
Diffs of the changes:  (+24 -3)

 2006-10-22-IntOr.ll |   27 ---
 1 files changed, 24 insertions(+), 3 deletions(-)


Index: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll
diff -u 
llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.1 
llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.2
--- llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.1 
Sun Oct 22 16:36:41 2006
+++ llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll 
Wed Oct 25 19:51:58 2006
@@ -1,9 +1,11 @@
-; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | not grep fail
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg &&
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | grep -c fail | grep 1 &&
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | 
grep -v declare | grep -c pass | grep 1
 
-int %f(int %x, int %y) {
+int %test1(int %x, int %y) {
 entry:
%tmp2 = or int %x, %y   ;  [#uses=1]
-   %tmp = setne int %tmp2, 0   ;  [#uses=1]
+   %tmp = seteq int %tmp2, 0   ;  [#uses=1]
br bool %tmp, label %cond_true, label %return
 
 cond_true: ; preds = %entry
@@ -18,4 +20,23 @@
ret int 0
 }
 
+int %test2(int %x, int %y) {
+entry:
+   %tmp2 = or int %x, %y   ;  [#uses=1]
+   %tmp = setne int %tmp2, 0   ;  [#uses=1]
+   br bool %tmp, label %cond_true, label %return
+
+cond_true: ; preds = %entry
+   %tmp4 = seteq int %x, 0 ;  [#uses=1]
+   br bool %tmp4, label %cond_true5, label %return
+
+cond_true5:; preds = %cond_true
+   %tmp6 = call int %pass( )   ;  [#uses=0]
+   ret int %tmp6
+
+return:; preds = %cond_next7
+   ret int 0
+}
+
 declare int %fail()
+declare int %pass()



___
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll

2006-10-22 Thread Nick Lewycky 


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

2006-10-22-IntOr.ll added (r1.1)
---
Log message:

Handle "if ((x|y) != 0)" for ints like we do for bools. Fixes missed
optimization opportunity pointed out by Chris Lattner.


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

 2006-10-22-IntOr.ll |   21 +
 1 files changed, 21 insertions(+)


Index: llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll
diff -c /dev/null 
llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll:1.1
*** /dev/null   Sun Oct 22 16:36:51 2006
--- llvm/test/Regression/Transforms/PredicateSimplifier/2006-10-22-IntOr.ll 
Sun Oct 22 16:36:41 2006
***
*** 0 
--- 1,21 
+ ; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis 
| grep -v declare | not grep fail
+ 
+ int %f(int %x, int %y) {
+ entry:
+   %tmp2 = or int %x, %y   ;  [#uses=1]
+   %tmp = setne int %tmp2, 0   ;  [#uses=1]
+   br bool %tmp, label %cond_true, label %return
+ 
+ cond_true:; preds = %entry
+   %tmp4 = seteq int %x, 0 ;  [#uses=1]
+   br bool %tmp4, label %cond_true5, label %return
+ 
+ cond_true5:   ; preds = %cond_true
+   %tmp6 = call int %fail( )   ;  [#uses=0]
+   ret int %tmp6
+ 
+ return:   ; preds = %cond_next7
+   ret int 0
+ }
+ 
+ declare int %fail()



___
llvm-commits mailing list
llvm-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits