| ; RUN: opt < %s -instcombine -S | FileCheck %s | |
| ; PR1570 | |
| define i1 @f(float %X, float %Y) { | |
| entry: | |
| %tmp3 = fcmp olt float %X, %Y ; <i1> [#uses=1] | |
| %toBoolnot5 = xor i1 %tmp3, true ; <i1> [#uses=1] | |
| ret i1 %toBoolnot5 | |
| ; CHECK-LABEL: @f( | |
| ; CHECK-NEXT: entry: | |
| ; CHECK-NEXT: %toBoolnot5 = fcmp uge float %X, %Y | |
| ; CHECK-NEXT: ret i1 %toBoolnot5 | |
| } |