From: Chris Lattner <sabre@nondot.org>
Date: Wed, 10 Dec 2003 17:57:38 +0000 (+0000)
Subject: New testcase
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7277826d7e20accb9ac433ee55546a83c1316188;p=oota-llvm.git

New testcase


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

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 00000000000..87ed4c59ff1
--- /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
+}