[llvm-commits] CVS: llvm/test/Regression/Transforms/LoopStrengthReduce/invariant_value_first.ll

[Chris Lattner]

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

invariant_value_first.ll added (r1.1)
---
Log message:

add test for this:

(1) Allow loop invariant expressions to come before the induction variable (instead of just
constants):

   int x;
   for (i)
    ...a[x][i]



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

 invariant_value_first.ll |   21 +++++++++++++++++++++
 1 files changed, 21 insertions(+)


Index: llvm/test/Regression/Transforms/LoopStrengthReduce/invariant_value_first.ll
diff -c /dev/null llvm/test/Regression/Transforms/LoopStrengthReduce/invariant_value_first.ll:1.1
*** /dev/null	Sun Mar  6 16:04:37 2005
--- llvm/test/Regression/Transforms/LoopStrengthReduce/invariant_value_first.ll	Sun Mar  6 16:04:27 2005
***************
*** 0 ****
--- 1,21 ----
+ ; Check that the index of 'P[outer]' is pulled out of the loop.
+ ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | not grep 'getelementptr.*%outer.*%INDVAR'
+ 
+ declare bool %pred()
+ declare int %foo()
+ 
+ void %test([10000 x int]* %P) {
+ 	%outer = call int %foo()
+ 	br label %Loop
+ Loop:
+ 	%INDVAR = phi int [0, %0], [%INDVAR2, %Loop]
+ 
+ 	%STRRED = getelementptr [10000 x int]* %P, int %outer, int %INDVAR
+ 	store int 0, int* %STRRED
+ 
+ 	%INDVAR2 = add int %INDVAR, 1
+ 	%cond = call bool %pred()
+ 	br bool %cond, label %Loop, label %Out
+ Out:
+ 	ret void
+ }