From: Chris Lattner <sabre@nondot.org>
Date: Fri, 10 Dec 2004 17:41:43 +0000 (+0000)
Subject: New testcase for a bug exposed by the ipsccp pass, causing dparser to fail
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=16483e50e2479c9b75d5ad0ad465e0fde3a4b8e4;p=oota-llvm.git

New testcase for a bug exposed by the ipsccp pass, causing dparser to fail
last night.


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

diff --git a/test/Transforms/SimplifyCFG/2004-12-10-SimplifyCFGCrash.ll b/test/Transforms/SimplifyCFG/2004-12-10-SimplifyCFGCrash.ll
new file mode 100644
index 00000000000..2ac2dace3af
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/2004-12-10-SimplifyCFGCrash.ll
@@ -0,0 +1,62 @@
+target endian = little
+target pointersize = 32
+	%struct.D_Sym = type { sbyte*, int, uint, %struct.D_Sym*, %struct.D_Sym*, uint }
+	%struct.D_SymHash = type { int, int, { uint, uint, %struct.D_Sym**, [3 x %struct.D_Sym*] } }
+
+implementation   ; Functions:
+
+void %symhash_add() {
+entry:
+	br bool undef, label %then.0, label %UnifiedReturnBlock
+
+then.0:		; preds = %entry
+	br bool undef, label %loopentry.2, label %loopentry.1.preheader
+
+loopentry.1.preheader:		; preds = %then.0
+	br label %loopentry.1.outer
+
+loopentry.1.outer:		; preds = %loopentry.1.preheader, %loopexit.1
+	br label %loopentry.1
+
+loopentry.1:		; preds = %loopentry.1.outer, %then.1, %then.3, %then.4, %endif.1
+	br bool undef, label %loopexit.1, label %no_exit.1
+
+no_exit.1:		; preds = %loopentry.1
+	br bool undef, label %then.1, label %else.0
+
+then.1:		; preds = %no_exit.1
+	br label %loopentry.1
+
+else.0:		; preds = %no_exit.1
+	br bool undef, label %then.2, label %else.1
+
+then.2:		; preds = %else.0
+	br bool undef, label %then.3, label %endif.1
+
+then.3:		; preds = %then.2
+	br label %loopentry.1
+
+else.1:		; preds = %else.0
+	br bool undef, label %endif.1, label %then.4
+
+then.4:		; preds = %else.1
+	br label %loopentry.1
+
+endif.1:		; preds = %then.2, %else.1
+	br label %loopentry.1
+
+loopexit.1:		; preds = %loopentry.1
+	br bool undef, label %loopentry.1.outer, label %loopentry.2
+
+loopentry.2:		; preds = %then.0, %loopexit.1, %no_exit.2
+	br bool undef, label %loopexit.2, label %no_exit.2
+
+no_exit.2:		; preds = %loopentry.2
+	br label %loopentry.2
+
+loopexit.2:		; preds = %loopentry.2
+	ret void
+
+UnifiedReturnBlock:		; preds = %entry
+	ret void
+}