[llvm-commits] CVS: llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-prop.ll

[Chris Lattner]

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

branch-cond-prop.ll added (r1.1)

---
Log message:

New testcase for case that simplifycfg should catch


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

Index: llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-prop.ll
diff -c /dev/null llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-prop.ll:1.1
*** /dev/null	Sat May  1 17:36:34 2004
--- llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-prop.ll	Sat May  1 17:36:24 2004
***************
*** 0 ****
--- 1,20 ----
+ ; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep call
+ 
+ declare void %bar()
+ 
+ void %test(int %X, int %Y) {
+ entry:
+         %tmp.2 = setlt int %X, %Y               ; <bool> [#uses=2]
+         br bool %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
+ 
+ shortcirc_next:         ; preds = %entry
+         br bool %tmp.2, label %UnifiedReturnBlock, label %then
+ 
+ then:           ; preds = %shortcirc_next
+         call void %bar( )
+         ret void
+ 
+ UnifiedReturnBlock:             ; preds = %entry, %shortcirc_next
+ 	ret void
+ }
+