From a0bfe0f9d30561cd3aaa265aff7393ddb0c7ff8f Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 6 Mar 2005 22:06:09 +0000 Subject: [PATCH] testcase for A[invariant][indvar] where invariant is an instruction. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@20500 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../invariant_value_first_arg.ll | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/Transforms/LoopStrengthReduce/invariant_value_first_arg.ll diff --git a/test/Transforms/LoopStrengthReduce/invariant_value_first_arg.ll b/test/Transforms/LoopStrengthReduce/invariant_value_first_arg.ll new file mode 100644 index 00000000000..7bbd8dae664 --- /dev/null +++ b/test/Transforms/LoopStrengthReduce/invariant_value_first_arg.ll @@ -0,0 +1,19 @@ +; 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() + +void %test([10000 x int]* %P, int %outer) { + 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 +} -- 2.34.1