; RUN: opt < %s -instcombine | llvm-dis
; rdar://5771353

define float @test(float %x, x86_fp80 %y) nounwind readonly  {
entry:
	%tmp67 = fcmp uno x86_fp80 %y, 0xK00000000000000000000		; <i1> [#uses=1]
	%tmp71 = fcmp uno float %x, 0.000000e+00		; <i1> [#uses=1]
	%bothcond = or i1 %tmp67, %tmp71		; <i1> [#uses=1]
	br i1 %bothcond, label %bb74, label %bb80

bb74:		; preds = %entry
	ret float 0.000000e+00

bb80:		; preds = %entry
	ret float 0.000000e+00
}