Unreachable block is not a root node in post dominator tree.

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

1 files changed, 13 insertions, 0 deletions

diff --git a/test/Transforms/ADCE/2007-07-23-InfiniteLoop.ll b/test/Transforms/ADCE/2007-07-23-InfiniteLoop.ll
new file mode 100644
index 0000000000..f3500ed7e1
--- /dev/null
+++ b/test/Transforms/ADCE/2007-07-23-InfiniteLoop.ll
@@ -0,0 +1,13 @@
+; RUN: llvm-as < %s |   opt -adce | llvm-dis | grep switch
+; PR 1564
+  
+define fastcc void @out() {
+    start:
+            br label %loop
+    unreachable:
+            unreachable
+    loop:
+            switch i32 0, label %unreachable [
+                     i32 0, label %loop
+            ]
+}