From be8d170c835cd5368bd52b2f66f4674cb613abaf Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sat, 1 May 2004 22:36:24 +0000
Subject: [PATCH] New testcase for case that simplifycfg should catch

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13305 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../SimplifyCFG/branch-cond-prop.ll           | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/Transforms/SimplifyCFG/branch-cond-prop.ll

diff --git a/test/Transforms/SimplifyCFG/branch-cond-prop.ll b/test/Transforms/SimplifyCFG/branch-cond-prop.ll
new file mode 100644
index 00000000000..6ea548c3beb
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/branch-cond-prop.ll
@@ -0,0 +1,20 @@
+; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep call
+
+declare void %bar()
+
+void %test(int %X, int %Y) {
+entry:
+        %tmp.2 = setlt int %X, %Y               ; <bool> [#uses=2]
+        br bool %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
+
+shortcirc_next:         ; preds = %entry
+        br bool %tmp.2, label %UnifiedReturnBlock, label %then
+
+then:           ; preds = %shortcirc_next
+        call void %bar( )
+        ret void
+
+UnifiedReturnBlock:             ; preds = %entry, %shortcirc_next
+	ret void
+}
+
-- 
2.34.1