; 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
}