New testcase distilled from SPEC MCF benchmark

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

diff --git a/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll b/test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll
new file mode 100644 (file)
index 0000000..e2dae95
--- /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
+}
+