1; RUN: opt < %s -instcombine | llvm-dis
2; rdar://5771353
3
4define float @test(float %x, x86_fp80 %y) nounwind readonly  {
5entry:
6	%tmp67 = fcmp uno x86_fp80 %y, 0xK00000000000000000000		; <i1> [#uses=1]
7	%tmp71 = fcmp uno float %x, 0.000000e+00		; <i1> [#uses=1]
8	%bothcond = or i1 %tmp67, %tmp71		; <i1> [#uses=1]
9	br i1 %bothcond, label %bb74, label %bb80
10
11bb74:		; preds = %entry
12	ret float 0.000000e+00
13
14bb80:		; preds = %entry
15	ret float 0.000000e+00
16}
17