llvm/test/Transforms/InstCombine/2007-06-06-AshrSignBit.ll

; RUN: opt < %s -instcombine -S | grep "ashr"
; PR1499

define void @av_cmp_q_cond_true(i32* %retval, i32* %tmp9, i64* %tmp10) {
newFuncRoot:
	br label %cond_true

return.exitStub:		; preds = %cond_true
	ret void

cond_true:		; preds = %newFuncRoot
	%tmp30 = load i64, i64* %tmp10		; <i64> [#uses=1]
	%.cast = zext i32 63 to i64		; <i64> [#uses=1]
	%tmp31 = ashr i64 %tmp30, %.cast		; <i64> [#uses=1]
	%tmp3132 = trunc i64 %tmp31 to i32		; <i32> [#uses=1]
	%tmp33 = or i32 %tmp3132, 1		; <i32> [#uses=1]
	store i32 %tmp33, i32* %tmp9
	%tmp34 = load i32, i32* %tmp9		; <i32> [#uses=1]
	store i32 %tmp34, i32* %retval
	br label %return.exitStub
}