1; RUN: opt < %s -instcombine -S | FileCheck %s
2; PR1570
3
4define i1 @f(float %X, float %Y) {
5entry:
6        %tmp3 = fcmp olt float %X, %Y           ; <i1> [#uses=1]
7        %toBoolnot5 = xor i1 %tmp3, true                ; <i1> [#uses=1]
8        ret i1 %toBoolnot5
9; CHECK-LABEL: @f(
10; CHECK-NEXT: entry:
11; CHECK-NEXT: %toBoolnot5 = fcmp uge float %X, %Y
12; CHECK-NEXT: ret i1 %toBoolnot5
13}
14