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