; RUN: lli %s > /dev/null
; XFAIL: arm

@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
}

