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=5c1f17221344fe24f8ba78fdbac7db4f79ded257;hp=4344f9ef9d27c49f232e43c66d94f4c8185758b5;hpb=cb64241795d443c37d1d4fad2ca67a6daab5ce1a;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 4344f9ef9d2..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,27 +1,24 @@ -%A = global int 0 +; RUN: llvm-as %s -f -o %t.bc +; RUN: lli %t.bc > /dev/null -int %main() { - %Ret = call int %test(bool true, int 0) - ret int %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 +@A = global i32 0 ; [#uses=1] -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 @main() { + %Ret = call i32 @test( i1 true, i32 0 ) ; [#uses=1] + ret i32 %Ret +} +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 } +