New testcase

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17115 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 29 insertions, 0 deletions

diff --git a/test/Transforms/SimplifyCFG/UnreachableEliminate.ll b/test/Transforms/SimplifyCFG/UnreachableEliminate.ll
new file mode 100644
index 0000000..09c41a9
--- /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
+}