X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FAssembler%2F2002-08-22-DominanceProblem.ll;h=0dc192df2356328eec53f942f8737c652d0d1af1;hb=d5ce456161b81a50c2e0dcf948192c1a4e1c8d22;hp=c6fb9a3a5f0d30428e2d686c6ba9a59b2443eec3;hpb=d7c2c2f753ae80257798fd25a879ec17df953c5b;p=oota-llvm.git diff --git a/test/Assembler/2002-08-22-DominanceProblem.ll b/test/Assembler/2002-08-22-DominanceProblem.ll index c6fb9a3a5f0..0dc192df235 100644 --- a/test/Assembler/2002-08-22-DominanceProblem.ll +++ b/test/Assembler/2002-08-22-DominanceProblem.ll @@ -1,15 +1,17 @@ -; RUN: llvm-upgrade < %s | llvm-as -o /dev/null -f +; 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. -int %test(bool %b) { -BB0: ret int 7 ; Loop is unreachable +define i32 @test(i1 %b) { +BB0: + ret i32 7 ; Loop is unreachable -Loop: - %B = phi int [%B, %L2], [%B, %Loop] ; PHI has same value always. - br bool %b, label %L2, label %Loop -L2: +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 }