aboutsummaryrefslogtreecommitdiffstats
path: root/test/Transforms/SimplifyCFG/PhiBlockMerge.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/SimplifyCFG/PhiBlockMerge.ll')
-rw-r--r--test/Transforms/SimplifyCFG/PhiBlockMerge.ll23
1 files changed, 23 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/PhiBlockMerge.ll b/test/Transforms/SimplifyCFG/PhiBlockMerge.ll
new file mode 100644
index 0000000..7b24426
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/PhiBlockMerge.ll
@@ -0,0 +1,23 @@
+; Test merging of blocks that only have PHI nodes in them
+;
+; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg | llvm-dis | not grep N:
+;
+
+int %test(bool %a, bool %b) {
+ br bool %a, label %M, label %O
+
+O:
+ br bool %b, label %N, label %Q
+Q:
+ br label %N
+N:
+ %Wp = phi int [0, %O], [1, %Q]
+ ; This block should be foldable into M
+ br label %M
+
+M:
+ %W = phi int [%Wp, %N], [2, %0]
+ %R = add int %W, 1
+ ret int %R
+}
+