diff options
| -rw-r--r-- | test/Transforms/LoopStrengthReduce/invariant_value_first.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Transforms/LoopStrengthReduce/invariant_value_first.ll b/test/Transforms/LoopStrengthReduce/invariant_value_first.ll new file mode 100644 index 0000000000..8f16210c7a --- /dev/null +++ b/test/Transforms/LoopStrengthReduce/invariant_value_first.ll @@ -0,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 +} |