New testcase that crashes the loop extractor

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

diff --git a/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll b/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll
new file mode 100644 (file)
index 0000000..7e90079
--- /dev/null
+++ b/test/Transforms/CodeExtractor/2004-03-13-LoopExtractorCrash.ll
@@ -0,0 +1,75 @@
+; RUN: llvm-as < %s | opt -loop-extract -disable-output
+
+void %solve() {
+entry:
+       br label %loopentry.0
+
+loopentry.0:           ; preds = %entry, %endif.0
+       br bool false, label %no_exit.0, label %loopexit.0
+
+no_exit.0:             ; preds = %loopentry.0
+       br bool false, label %then.0, label %endif.0
+
+then.0:                ; preds = %no_exit.0
+       br bool false, label %shortcirc_done, label %shortcirc_next
+
+shortcirc_next:                ; preds = %then.0
+       br label %shortcirc_done
+
+shortcirc_done:                ; preds = %then.0, %shortcirc_next
+       br bool false, label %then.1, label %endif.1
+
+then.1:                ; preds = %shortcirc_done
+       br bool false, label %cond_true, label %cond_false
+
+cond_true:             ; preds = %then.1
+       br label %cond_continue
+
+cond_false:            ; preds = %then.1
+       br label %cond_continue
+
+cond_continue:         ; preds = %cond_true, %cond_false
+       br label %return
+
+after_ret.0:           ; No predecessors!
+       br label %endif.1
+
+endif.1:               ; preds = %shortcirc_done, %after_ret.0
+       br label %endif.0
+
+endif.0:               ; preds = %no_exit.0, %endif.1
+       br label %loopentry.0
+
+loopexit.0:            ; preds = %loopentry.0
+       br bool false, label %then.2, label %endif.2
+
+then.2:                ; preds = %loopexit.0
+       br bool false, label %then.3, label %endif.3
+
+then.3:                ; preds = %then.2
+       br label %return
+
+after_ret.1:           ; No predecessors!
+       br label %endif.3
+
+endif.3:               ; preds = %then.2, %after_ret.1
+       br label %endif.2
+
+endif.2:               ; preds = %loopexit.0, %endif.3
+       br label %loopentry.1
+
+loopentry.1:           ; preds = %endif.2, %no_exit.1
+       br bool false, label %no_exit.1, label %loopexit.1
+
+no_exit.1:             ; preds = %loopentry.1
+       br label %loopentry.1
+
+loopexit.1:            ; preds = %loopentry.1
+       br label %return
+
+after_ret.2:           ; No predecessors!
+       br label %return
+
+return:                ; preds = %cond_continue, %then.3, %loopexit.1, %after_ret.2
+       ret void
+}