diff --git a/test/Regression/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll b/test/Regression/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll
new file mode 100644
index 00000000000..994a63e7b31
--- /dev/null
+++ b/test/Regression/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll
@@ -0,0 +1,37 @@
+; THis testcase caused an assertion failure because a PHI node did not have 
+; entries for it's postdominator.  But I think this can only happen when the 
+; PHI node is dead, so we just avoid patching up dead PHI nodes.
+
+; RUN: as < %s | opt -adce
+
+target endian = little
+target pointersize = 32
+
+implementation   ; Functions:
+
+void %dead_test8() {
+entry:		; No predecessors!
+	br label %loopentry
+
+loopentry:		; preds = %entry, %endif
+	%k.1 = phi int [ %k.0, %endif ], [ 0, %entry ]		; <int> [#uses=1]
+	br bool false, label %no_exit, label %return
+
+no_exit:		; preds = %loopentry
+	br bool false, label %then, label %else
+
+then:		; preds = %no_exit
+	br label %endif
+
+else:		; preds = %no_exit
+	%dec = add int %k.1, -1		; <int> [#uses=1]
+	br label %endif
+
+endif:		; preds = %else, %then
+	%k.0 = phi int [ %dec, %else ], [ 0, %then ]		; <int> [#uses=1]
+	store int 2, int* null
+	br label %loopentry
+
+return:		; preds = %loopentry
+	ret void
+}