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