diff --git a/test/Regression/Transforms/LoopPreheaders/2003-08-15-PreheadersFail.ll b/test/Regression/Transforms/LoopPreheaders/2003-08-15-PreheadersFail.ll
new file mode 100644
index 00000000000..078b1c038d7
--- /dev/null
+++ b/test/Regression/Transforms/LoopPreheaders/2003-08-15-PreheadersFail.ll
@@ -0,0 +1,65 @@
+; RUN: as < %s | opt -tailduplicate -instcombine -simplifycfg -print -licm -disable-output
+
+target endian = little
+target pointersize = 32
+%yy_base = external global [787 x short]		; <[787 x short]*> [#uses=1]
+%yy_state_ptr = external global int*		; <int**> [#uses=3]
+%yy_state_buf = external global [16386 x int]		; <[16386 x int]*> [#uses=1]
+%yy_lp = external global int		; <int*> [#uses=1]
+
+implementation   ; Functions:
+
+int %_yylex() {		; No predecessors!
+	br label %loopentry.0
+
+loopentry.0:		; preds = %0, %else.26
+	store int* getelementptr ([16386 x int]* %yy_state_buf, long 0, long 0), int** %yy_state_ptr
+	%tmp.35 = load int** %yy_state_ptr		; <int*> [#uses=2]
+	%inc.0 = getelementptr int* %tmp.35, long 1		; <int*> [#uses=1]
+	store int* %inc.0, int** %yy_state_ptr
+	%tmp.36 = load int* null		; <int> [#uses=1]
+	store int %tmp.36, int* %tmp.35
+	br label %loopexit.2
+
+loopexit.2:		; preds = %loopentry.0, %else.26, %loopexit.2
+	store sbyte* null, sbyte** null
+	%tmp.91 = load int* null		; <int> [#uses=1]
+	%tmp.92 = cast int %tmp.91 to long		; <long> [#uses=1]
+	%tmp.93 = getelementptr [787 x short]* %yy_base, long 0, long %tmp.92		; <short*> [#uses=1]
+	%tmp.94 = load short* %tmp.93		; <short> [#uses=1]
+	%tmp.95 = setne short %tmp.94, 4394		; <bool> [#uses=1]
+	br bool %tmp.95, label %loopexit.2, label %yy_find_action
+
+yy_find_action:		; preds = %loopexit.2, %else.26
+	br label %loopentry.3
+
+loopentry.3:		; preds = %yy_find_action, %shortcirc_done.0, %then.9
+	%tmp.105 = load int* %yy_lp		; <int> [#uses=1]
+	%tmp.106 = setne int %tmp.105, 0		; <bool> [#uses=1]
+	br bool %tmp.106, label %shortcirc_next.0, label %shortcirc_done.0
+
+shortcirc_next.0:		; preds = %loopentry.3
+	%tmp.114 = load short* null		; <short> [#uses=1]
+	%tmp.115 = cast short %tmp.114 to int		; <int> [#uses=1]
+	%tmp.116 = setlt int 0, %tmp.115		; <bool> [#uses=1]
+	br label %shortcirc_done.0
+
+shortcirc_done.0:		; preds = %loopentry.3, %shortcirc_next.0
+	%shortcirc_val.0 = phi bool [ false, %loopentry.3 ], [ %tmp.116, %shortcirc_next.0 ]		; <bool> [#uses=1]
+	br bool %shortcirc_val.0, label %else.0, label %loopentry.3
+
+else.0:		; preds = %shortcirc_done.0
+	%tmp.144 = load int* null		; <int> [#uses=1]
+	%tmp.145 = and int %tmp.144, 8192		; <int> [#uses=1]
+	%tmp.146 = setne int %tmp.145, 0		; <bool> [#uses=1]
+	br bool %tmp.146, label %then.9, label %else.26
+
+then.9:		; preds = %else.0
+	br label %loopentry.3
+
+else.26:		; preds = %else.1
+	switch uint 0, label %loopentry.0 [
+		 uint 2, label %yy_find_action
+		 uint 0, label %loopexit.2
+	]
+}
diff --git a/test/Regression/Transforms/LoopSimplify/2003-08-15-PreheadersFail.ll b/test/Regression/Transforms/LoopSimplify/2003-08-15-PreheadersFail.ll
new file mode 100644
index 00000000000..078b1c038d7
--- /dev/null
+++ b/test/Regression/Transforms/LoopSimplify/2003-08-15-PreheadersFail.ll
@@ -0,0 +1,65 @@
+; RUN: as < %s | opt -tailduplicate -instcombine -simplifycfg -print -licm -disable-output
+
+target endian = little
+target pointersize = 32
+%yy_base = external global [787 x short]		; <[787 x short]*> [#uses=1]
+%yy_state_ptr = external global int*		; <int**> [#uses=3]
+%yy_state_buf = external global [16386 x int]		; <[16386 x int]*> [#uses=1]
+%yy_lp = external global int		; <int*> [#uses=1]
+
+implementation   ; Functions:
+
+int %_yylex() {		; No predecessors!
+	br label %loopentry.0
+
+loopentry.0:		; preds = %0, %else.26
+	store int* getelementptr ([16386 x int]* %yy_state_buf, long 0, long 0), int** %yy_state_ptr
+	%tmp.35 = load int** %yy_state_ptr		; <int*> [#uses=2]
+	%inc.0 = getelementptr int* %tmp.35, long 1		; <int*> [#uses=1]
+	store int* %inc.0, int** %yy_state_ptr
+	%tmp.36 = load int* null		; <int> [#uses=1]
+	store int %tmp.36, int* %tmp.35
+	br label %loopexit.2
+
+loopexit.2:		; preds = %loopentry.0, %else.26, %loopexit.2
+	store sbyte* null, sbyte** null
+	%tmp.91 = load int* null		; <int> [#uses=1]
+	%tmp.92 = cast int %tmp.91 to long		; <long> [#uses=1]
+	%tmp.93 = getelementptr [787 x short]* %yy_base, long 0, long %tmp.92		; <short*> [#uses=1]
+	%tmp.94 = load short* %tmp.93		; <short> [#uses=1]
+	%tmp.95 = setne short %tmp.94, 4394		; <bool> [#uses=1]
+	br bool %tmp.95, label %loopexit.2, label %yy_find_action
+
+yy_find_action:		; preds = %loopexit.2, %else.26
+	br label %loopentry.3
+
+loopentry.3:		; preds = %yy_find_action, %shortcirc_done.0, %then.9
+	%tmp.105 = load int* %yy_lp		; <int> [#uses=1]
+	%tmp.106 = setne int %tmp.105, 0		; <bool> [#uses=1]
+	br bool %tmp.106, label %shortcirc_next.0, label %shortcirc_done.0
+
+shortcirc_next.0:		; preds = %loopentry.3
+	%tmp.114 = load short* null		; <short> [#uses=1]
+	%tmp.115 = cast short %tmp.114 to int		; <int> [#uses=1]
+	%tmp.116 = setlt int 0, %tmp.115		; <bool> [#uses=1]
+	br label %shortcirc_done.0
+
+shortcirc_done.0:		; preds = %loopentry.3, %shortcirc_next.0
+	%shortcirc_val.0 = phi bool [ false, %loopentry.3 ], [ %tmp.116, %shortcirc_next.0 ]		; <bool> [#uses=1]
+	br bool %shortcirc_val.0, label %else.0, label %loopentry.3
+
+else.0:		; preds = %shortcirc_done.0
+	%tmp.144 = load int* null		; <int> [#uses=1]
+	%tmp.145 = and int %tmp.144, 8192		; <int> [#uses=1]
+	%tmp.146 = setne int %tmp.145, 0		; <bool> [#uses=1]
+	br bool %tmp.146, label %then.9, label %else.26
+
+then.9:		; preds = %else.0
+	br label %loopentry.3
+
+else.26:		; preds = %else.1
+	switch uint 0, label %loopentry.0 [
+		 uint 2, label %yy_find_action
+		 uint 0, label %loopexit.2
+	]
+}