verify-uselistorder: Change the default -num-shuffles=5
[oota-llvm.git] / test / Assembler / 2002-08-22-DominanceProblem.ll
index ed8c704b115363091e917c2c1778d56221d72951..2926294f72d19610f0c41421313609ec3bd2c767 100644 (file)
@@ -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
 }