test/Transforms/InstCombine/not-fcmp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 ; PR1570
   3
   4 define i1 @f(float %X, float %Y) {
   5 entry:
   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 }