--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/Assembler/2002-08-22-DominanceProblem.ll	Thu Dec 12 13:56:28 2013 +0900
@@ -0,0 +1,17 @@
+; RUN: llvm-as %s -o /dev/null
+
+; Dominance relationships is not calculated correctly for unreachable blocks,
+; which causes the verifier to barf on this input.
+
+define i32 @test(i1 %b) {
+BB0:
+        ret i32 7 ; Loop is unreachable
+
+Loop:           ; preds = %L2, %Loop
+        %B = phi i32 [ %B, %L2 ], [ %B, %Loop ]         ;PHI has same value always. 
+        br i1 %b, label %L2, label %Loop
+
+L2:             ; preds = %Loop
+        br label %Loop
+}
+