diff options
| author | Chris Lattner <sabre@nondot.org> | 2003-03-05 20:35:24 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2003-03-05 20:35:24 +0000 |
| commit | ceb536eda3ee282415ea89b9fe3420fad2dce847 (patch) | |
| tree | fd4c13409c95d156cff7d0e1695f0230a95b6094 | |
| parent | a8bda21c8d6a0f6552414d99fe6213855f584a2d (diff) | |
New testcase for feature simplifycfg should handle
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5698 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll b/test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll new file mode 100644 index 0000000000..b090e78198 --- /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 +} + |