From c9b34e5648ff252f4d9cd38b46c84d44c9c11ab4 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sat, 1 May 2004 23:35:21 +0000
Subject: [PATCH] New testcase:   Turn "if (A < B && B < C)" into "if (A < B &
 B < C)"

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

diff --git a/llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-merge.ll b/llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-merge.ll
new file mode 100644
index 000000000000..55cf4b8cc224
--- /dev/null
+++ b/llvm/test/Regression/Transforms/SimplifyCFG/branch-cond-merge.ll
@@ -0,0 +1,21 @@
+; RUN: llvm-as < %s | opt -simplifycfg -instcombine -simplifycfg | llvm-dis | not grep call
+
+declare void %bar()
+
+void %test(int %X, int %Y) {
+entry:
+        %tmp.2 = setne int %X, %Y
+        br bool %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
+
+shortcirc_next:
+        %tmp.3 = setne int %X, %Y
+        br bool %tmp.3, label %UnifiedReturnBlock, label %then
+
+then:
+        call void %bar( )
+        ret void
+
+UnifiedReturnBlock:             ; preds = %entry, %shortcirc_next
+	ret void
+}
+