From 283dda16ab75eb1ac697b99cc00089a4767c7bd9 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 5 Mar 2003 20:22:50 +0000 Subject: [PATCH] Add testcase for new feature for simplifycfg pass llvm-svn: 5697 --- .../Transforms/SimplifyCFG/PhiBlockMerge.ll | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 llvm/test/Regression/Transforms/SimplifyCFG/PhiBlockMerge.ll diff --git a/llvm/test/Regression/Transforms/SimplifyCFG/PhiBlockMerge.ll b/llvm/test/Regression/Transforms/SimplifyCFG/PhiBlockMerge.ll new file mode 100644 index 000000000000..d1df2a17b7d7 --- /dev/null +++ b/llvm/test/Regression/Transforms/SimplifyCFG/PhiBlockMerge.ll @@ -0,0 +1,26 @@ +; Test merging of blocks that only have PHI nodes in them +; +; 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 %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 +} +