From 470221cfc029b933677d93dce087a8038132f2ca Mon Sep 17 00:00:00 2001 From: Chris Lattner 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)" git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13310 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../SimplifyCFG/branch-cond-merge.ll | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/Transforms/SimplifyCFG/branch-cond-merge.ll diff --git a/test/Transforms/SimplifyCFG/branch-cond-merge.ll b/test/Transforms/SimplifyCFG/branch-cond-merge.ll new file mode 100644 index 00000000000..55cf4b8cc22 --- /dev/null +++ b/test/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 +} + -- 2.34.1