X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FAssembler%2F2002-08-22-DominanceProblem.ll;h=2926294f72d19610f0c41421313609ec3bd2c767;hb=94f7c7aeaa1821c657c57926c67ee691c007fe43;hp=ed8c704b115363091e917c2c1778d56221d72951;hpb=c642435f52fe9f35865efcab60705d390a302ac8;p=oota-llvm.git

diff --git a/test/Assembler/2002-08-22-DominanceProblem.ll b/test/Assembler/2002-08-22-DominanceProblem.ll
index ed8c704b115..2926294f72d 100644
--- a/test/Assembler/2002-08-22-DominanceProblem.ll
+++ b/test/Assembler/2002-08-22-DominanceProblem.ll
@@ -1,13 +1,18 @@
+; RUN: llvm-as %s -o /dev/null
+; RUN: verify-uselistorder %s -preserve-bc-use-list-order
+
 ; Dominance relationships is not calculated correctly for unreachable blocks,
 ; which causes the verifier to barf on this input.
 
-int %test(bool %b) {
-BB0:  ret int 7                                 ; Loop is unreachable
+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
 
-Loop:
-        %B = phi int [%B, %L2], [%B, %Loop]     ; PHI has same value always.
-        br bool %b, label %L2, label %Loop
-L2:
+L2:             ; preds = %Loop
         br label %Loop
 }