From: Chris Lattner <sabre@nondot.org>
Date: Mon, 7 Oct 2002 20:05:27 +0000 (+0000)
Subject: Finally I'm able to distill a testcase for a problem I'm seeing!
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7b96c8d0469bb34a41981a670aa546be455a702d;p=oota-llvm.git

Finally I'm able to distill a testcase for a problem I'm seeing!


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

diff --git a/test/Transforms/CorrelatedExprs/2002-10-07-DominatorProblem.ll b/test/Transforms/CorrelatedExprs/2002-10-07-DominatorProblem.ll
new file mode 100644
index 00000000000..a8dd1687925
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/2002-10-07-DominatorProblem.ll
@@ -0,0 +1,24 @@
+
+
+implementation
+
+int %test(int %A, int %B, bool %c0) {
+Start:
+	%c1 = seteq int %A, %B
+	br bool %c1, label %Eq, label %Loop
+
+Eq:	; In this block we know that A == B
+	br label %Loop    ; This should be modified to branch to "Forwarded".
+
+Loop:        ;; Merge point, nothing is known here...
+	%Z = phi int [%A, %Start], [%B, %Eq], [%Z, %Bottom]
+	%c2 = setgt int %A, %B
+	br bool %c2, label %Forwarded, label %Bottom
+
+Forwarded:
+	call int %test(int 0, int %Z, bool true)
+	br label %Bottom
+
+Bottom:
+	br label %Loop
+}