[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / 2008-02-28-OrFCmpCrash.ll
blob7f8bd4fb8a90ff08092a6b5724eb3f728a55bd48
1 ; RUN: opt < %s -instcombine | llvm-dis
2 ; rdar://5771353
4 define float @test(float %x, x86_fp80 %y) nounwind readonly  {
5 entry:
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
11 bb74:           ; preds = %entry
12         ret float 0.000000e+00
14 bb80:           ; preds = %entry
15         ret float 0.000000e+00