From ceb536eda3ee282415ea89b9fe3420fad2dce847 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 5 Mar 2003 20:35:24 +0000 Subject: [PATCH] New testcase for feature simplifycfg should handle git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5698 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../SimplifyCFG/EqualPHIEdgeBlockMerge.ll | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll diff --git a/test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll b/test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll new file mode 100644 index 00000000000..b090e781985 --- /dev/null +++ b/test/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 +} + -- 2.34.1