|  | ; RUN: %lli %s > /dev/null | 
|  |  | 
|  | @A = global i32 0		; <i32*> [#uses=1] | 
|  |  | 
|  | define i32 @main() { | 
|  | %Ret = call i32 @test( i1 true, i32 0 )		; <i32> [#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 ]		; <i32> [#uses=0] | 
|  | ret i32 0 | 
|  | NotTaken:		; preds = %0 | 
|  | br label %Cont | 
|  | Taken1:		; preds = %0 | 
|  | %B = icmp eq i32 %A, 0		; <i1> [#uses=1] | 
|  | br i1 %B, label %Cont, label %ExitError | 
|  | ExitError:		; preds = %Taken1 | 
|  | ret i32 12 | 
|  | } | 
|  |  |