X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FExecutionEngine%2F2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll;h=e289e10c0e4c7e24b6bc6819316f4df3f5fc06d1;hb=bd262cc4415969d56d3d1af6d27784c70ac47997;hp=e488ea835bfbf9663dc0b0b91abf5226d300c547;hpb=547eaefb0e56e197a1694c47f2e955a0df4d6c68;p=oota-llvm.git diff --git a/test/ExecutionEngine/2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll b/test/ExecutionEngine/2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll index e488ea835bf..e289e10c0e4 100644 --- a/test/ExecutionEngine/2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll +++ b/test/ExecutionEngine/2003-10-18-PHINode-ConstantExpr-CondCode-Failure.ll @@ -1,29 +1,24 @@ -; RUN: llvm-as < %s | lli -force-interpreter=false +; RUN: llvm-as %s -f -o %t.bc +; RUN: lli %t.bc > /dev/null -%A = global int 0 +@A = global i32 0 ; [#uses=1] -int %main() { - %Ret = call int %test(bool true, int 0) - ret int %Ret +define i32 @main() { + %Ret = call i32 @test( i1 true, i32 0 ) ; [#uses=1] + ret i32 %Ret } -int %test(bool %c, int %A) { - br bool %c, label %Taken1, label %NotTaken - -Cont: - %V = phi int [0, %NotTaken], - [ sub (int cast (int* %A to int), int 1234), %Taken1] - ret int 0 - -NotTaken: - br label %Cont - -Taken1: - %B = seteq int %A, 0 - ; Code got inserted here, breaking the condition code. - br bool %B, label %Cont, label %ExitError - -ExitError: - ret int 12 - +define i32 @test(i1 %c, i32 %A) { + br i1 %c, label %Taken1, label %NotTaken +Cont: ; preds = %Taken1, %NotTaken + %V = phi i32 [ 0, %NotTaken ], [ sub (i32 ptrtoint (i32* @A to i32), i32 1234), %Taken1 ] ; [#uses=0] + ret i32 0 +NotTaken: ; preds = %0 + br label %Cont +Taken1: ; preds = %0 + %B = icmp eq i32 %A, 0 ; [#uses=1] + br i1 %B, label %Cont, label %ExitError +ExitError: ; preds = %Taken1 + ret i32 12 } +