From ab3cbcee06df0dd3053aa6e15d79003616cfb968 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Wed, 5 Mar 2003 20:35:24 +0000
Subject: [PATCH] New testcase for feature simplifycfg should handle

llvm-svn: 5698
---
 .../SimplifyCFG/EqualPHIEdgeBlockMerge.ll     | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 test/Regression/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll

diff --git a/test/Regression/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll b/test/Regression/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll
new file mode 100644
index 00000000000..b090e781985
--- /dev/null
+++ b/test/Regression/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll
@@ -0,0 +1,21 @@
+; Test merging of blocks with phi nodes.
+;
+; RUN: if as < %s | opt -simplifycfg | dis | grep 'N:'
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+;
+
+int %test(bool %a) {
+Q:
+	br bool %a, label %N, label %M
+N:
+	br label %M
+M:
+	; It's ok to merge N and M because the incoming values for W are the 
+        ; same for both cases...
+	%W = phi int [2, %N], [2, %Q]
+	%R = add int %W, 1
+	ret int %R
+}
+