[llvm-commits] CVS: llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll

[Nick Lewycky]

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

predsimplify.ll updated: 1.2 -> 1.3
---
Log message:

AllocaInst can't return a null pointer. Fixes missed optimization
opportunity pointed out by Andrew Lewycky.


---
Diffs of the changes:  (+16 -1)

 predsimplify.ll |   17 ++++++++++++++++-
 1 files changed, 16 insertions(+), 1 deletion(-)


Index: llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll
diff -u llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll:1.2 llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll:1.3
--- llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll:1.2	Sat Sep  2 14:40:38 2006
+++ llvm/test/Regression/Transforms/PredicateSimplifier/predsimplify.ll	Sun Oct 22 14:53:27 2006
@@ -1,5 +1,5 @@
 ; 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 pass | wc -l | grep 3
+; RUN: llvm-as < %s | opt -predsimplify -instcombine -simplifycfg | llvm-dis | grep -v declare | grep -c pass | grep 4
 
 void %test1(int %x) {
 entry:
@@ -149,6 +149,21 @@
   ret void
 }
 
+void %test10()  {
+entry:
+  %A = alloca int
+  %B = seteq int* %A, null
+  br bool %B, label %cond_true, label %cond_false
+
+cond_true:
+  call void (...)* %fail ( )
+  ret void
+
+cond_false:
+  call void (...)* %pass ( )
+  ret void
+}
+
 void %switch1(int %x) {
 entry:
   %A = seteq int %x, 10