[llvm-commits] CVS: llvm/test/Regression/Transforms/LoopSimplify/single-backedge.ll

[Chris Lattner]

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

single-backedge.ll added (r1.1)

---
Log message:

new testcase


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

Index: llvm/test/Regression/Transforms/LoopSimplify/single-backedge.ll
diff -c /dev/null llvm/test/Regression/Transforms/LoopSimplify/single-backedge.ll:1.1
*** /dev/null	Sun Oct 12 17:26:52 2003
--- llvm/test/Regression/Transforms/LoopSimplify/single-backedge.ll	Sun Oct 12 17:26:42 2003
***************
*** 0 ****
--- 1,17 ----
+ ; The loop canonicalization pass should guarantee that there is one backedge 
+ ; for all loops.  This allows the -indvars pass to recognize the %IV 
+ ; induction variable in this testcase.
+ 
+ ; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar
+ 
+ int %test(bool %C) {
+ 	br label %Loop
+ Loop:
+ 	%IV = phi uint [0, %0], [%IV2, %BE1], [%IV2, %BE2]
+ 	%IV2 = add uint %IV, 2
+ 	br bool %C, label %BE1, label %BE2
+ BE1:
+ 	br label %Loop
+ BE2:
+ 	br label %Loop
+ }