diff --git a/test/Transforms/SimplifyCFG/PhiBlockMerge2.ll b/test/Transforms/SimplifyCFG/PhiBlockMerge2.ll new file mode 100644 index 00000000000..aecb6b9244f --- /dev/null +++ b/test/Transforms/SimplifyCFG/PhiBlockMerge2.ll @@ -0,0 +1,24 @@ +; Test merging of blocks that only have PHI nodes in them. This tests the case +; where the mergedinto block doesn't have any PHI nodes, and is in fact +; dominated by the block-to-be-eliminated +; +; RUN: if as < %s | opt -simplifycfg | dis | grep 'N:' +; RUN: then exit 1 +; RUN: else exit 0 +; RUN: fi +; + +int %test(bool %a, bool %b) { + br bool %b, label %N, label %Q +Q: + br label %N +N: + %W = phi int [0, %0], [1, %Q] + ; This block should be foldable into M + br label %M + +M: + %R = add int %W, 1 + ret int %R +} +