New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10374 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 23 insertions, 0 deletions

diff --git a/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll b/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll
new file mode 100644
index 0000000000..87ed4c59ff
--- /dev/null
+++ b/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll
@@ -0,0 +1,23 @@
+; The induction variable canonicalization pass shouldn't leave dead
+; instructions laying around!
+;
+; RUN: llvm-as < %s | opt -indvars | llvm-dis | not grep '#uses=0'
+
+int %mul(int %x, int %y) {
+entry:
+	br label %tailrecurse
+
+tailrecurse:		; preds = %entry, %endif
+	%accumulator.tr = phi int [ %x, %entry ], [ %tmp.9, %endif ]		; <int> [#uses=2]
+	%y.tr = phi int [ %y, %entry ], [ %tmp.8, %endif ]		; <int> [#uses=2]
+	%tmp.1 = seteq int %y.tr, 0		; <bool> [#uses=1]
+	br bool %tmp.1, label %return, label %endif
+
+endif:		; preds = %tailrecurse
+	%tmp.8 = add int %y.tr, -1		; <int> [#uses=1]
+	%tmp.9 = add int %accumulator.tr, %x		; <int> [#uses=1]
+	br label %tailrecurse
+
+return:		; preds = %tailrecurse
+	ret int %accumulator.tr
+}