From b9c0d6099112c4e7787afd4272a2017b134b2f0e Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Mon, 23 Sep 2002 19:54:06 +0000
Subject: [PATCH] New testcase distilled from SPEC MCF benchmark

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3889 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../2002-09-23-PHIUpdateBug.ll                | 25 +++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll

diff --git a/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll b/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll
new file mode 100644
index 00000000000..e2dae95f79c
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll
@@ -0,0 +1,25 @@
+; RUN: as < %s | opt -cee
+
+implementation
+
+declare void %foo(int)
+
+void %test(int %A, bool %C) {
+	br bool %C, label %bb3, label %bb1
+bb1:                                    ;[#uses=0]
+        %cond212 = setgt int %A, 9              ; <bool> [#uses=1]
+        br bool %cond212, label %bb2, label %bb3
+
+bb2:                                    ;[#uses=1]
+	%cond = setgt int %A, 7
+        br bool %cond, label %bb3, label %bb7
+
+bb3:                                    ;[#uses=1]
+	%X = phi int [ 0, %0], [ 12, %bb1]
+        call void %foo( int %X )
+        br label %bb7
+
+bb7:                                    ;[#uses=2]
+        ret void
+}
+