From ca60967eeaec26db53082a35424d10e485d7fbea Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 8 Aug 2005 06:23:47 +0000
Subject: [PATCH] new testcase, not implemented yet

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@22703 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../LoopStrengthReduce/share_ivs.ll           | 26 +++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 test/Transforms/LoopStrengthReduce/share_ivs.ll

diff --git a/test/Transforms/LoopStrengthReduce/share_ivs.ll b/test/Transforms/LoopStrengthReduce/share_ivs.ll
new file mode 100644
index 00000000000..1e4c844435c
--- /dev/null
+++ b/test/Transforms/LoopStrengthReduce/share_ivs.ll
@@ -0,0 +1,26 @@
+; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | grep phi | wc -l | grep 1
+
+; This testcase should have ONE stride 18 indvar, the other use should have a
+; loop invariant value (B) added to it inside of the loop, instead of having
+; a whole indvar based on B for it.
+
+; XFAIL: *
+
+declare bool %cond(uint)
+
+void %test(uint %B) {
+	br label %Loop
+Loop:
+	%IV = phi uint [0, %0], [%IVn, %Loop]
+
+	%C = mul uint %IV, 18
+	%D = mul uint %IV, 18
+	%E = add uint %D, %B
+
+	%cnd = call bool %cond(uint %E)
+	call bool %cond(uint %C)
+	%IVn = add uint %IV, 1
+	br bool %cnd, label %Loop, label %Out
+Out:
+	ret void
+}