New testcase

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

diff --git a/test/Transforms/CorrelatedExprs/2002-10-07-NoImmediateDominator.ll b/test/Transforms/CorrelatedExprs/2002-10-07-NoImmediateDominator.ll
new file mode 100644 (file)
index 0000000..ebf094e
--- /dev/null
+++ b/test/Transforms/CorrelatedExprs/2002-10-07-NoImmediateDominator.ll
@@ -0,0 +1,17 @@
+; RUN: as < %s | opt -cee
+;
+; This testcase causes an assertion error.
+;
+implementation   ; Functions:
+
+void %test(int %A) {
+       br label %bb2
+bb2:
+       ret void
+
+bb3:           ; No predecessors!
+       br bool true, label %bb4, label %bb2
+
+bb4:
+       ret void
+}