From d7e30973cdf378d50b862431fc96128b1df81416 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Mon, 18 Oct 2004 04:06:41 +0000 Subject: [PATCH] New testcase git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17115 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../SimplifyCFG/UnreachableEliminate.ll | 29 +++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 test/Transforms/SimplifyCFG/UnreachableEliminate.ll diff --git a/test/Transforms/SimplifyCFG/UnreachableEliminate.ll b/test/Transforms/SimplifyCFG/UnreachableEliminate.ll new file mode 100644 index 00000000000..09c41a90dcf --- /dev/null +++ b/test/Transforms/SimplifyCFG/UnreachableEliminate.ll @@ -0,0 +1,29 @@ +; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | not grep unreachable + +void %test1(bool %C, bool* %BP) { + br bool %C, label %T, label %F +T: + store bool %C, bool* %BP ;; dead + unreachable +F: + ret void +} + +void %test2() { + invoke void %test2() to label %N unwind label %U +U: + unreachable +N: + ret void +} + +int %test3(int %v) { + switch int %v, label %default [ int 1, label %U + int 2, label %T] +default: + ret int 1 +U: + unreachable +T: + ret int 2 +}