1 files changed, 22 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 0000000..f2b75a2
--- /dev/null
+++ b/test/Transforms/LoopStrengthReduce/invariant_value_first.ll
@@ -0,0 +1,22 @@
+; Check that the index of 'P[outer]' is pulled out of the loop.
+; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | \
+; RUN:   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
+}