--- /dev/null
+; 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
+}
+