From 97b8cbff7cf8eab545f7dd381f5413b40403ebcc Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 6 Mar 2005 22:01:42 +0000 Subject: Add test for this: Allow operands after the induction variable (no restrictions): int x; for (i) j = ..... a[i][x][j] llvm-svn: 20498 --- .../LoopStrengthReduce/ops_after_indvar.ll | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 llvm/test/Regression/Transforms/LoopStrengthReduce/ops_after_indvar.ll (limited to 'llvm/test/Regression/Transforms/LoopStrengthReduce') diff --git a/llvm/test/Regression/Transforms/LoopStrengthReduce/ops_after_indvar.ll b/llvm/test/Regression/Transforms/LoopStrengthReduce/ops_after_indvar.ll new file mode 100644 index 00000000000..b4bda7e5374 --- /dev/null +++ b/llvm/test/Regression/Transforms/LoopStrengthReduce/ops_after_indvar.ll @@ -0,0 +1,22 @@ +; Check that this test makes INDVAR and related stuff dead, because P[indvar] +; gets reduced, making INDVAR dead. + +; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | not grep INDVAR + +declare bool %pred() +declare int %getidx() + +void %test([10000 x int]* %P) { + br label %Loop +Loop: + %INDVAR = phi int [0, %0], [%INDVAR2, %Loop] + %idx = call int %getidx() + %STRRED = getelementptr [10000 x int]* %P, int %INDVAR, int %idx + store int 0, int* %STRRED + + %INDVAR2 = add int %INDVAR, 1 + %cond = call bool %pred() + br bool %cond, label %Loop, label %Out +Out: + ret void +} -- cgit v1.2.3