; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu
; PR4280

define i32 @__fixunssfsi(float %a) nounwind readnone {
entry:
	%0 = fcmp ult float %a, 0x41E0000000000000		; <i1> [#uses=1]
	br i1 %0, label %bb1, label %bb

bb:		; preds = %entry
	ret i32 1

bb1:		; preds = %entry
	ret i32 0
}