This patch implements transform for pattern "(A | B) ^ (~A) -> (A | ~B)".

[oota-llvm.git] / test / Transforms / InstCombine / not-fcmp.ll

; RUN: opt < %s -instcombine -S | grep "fcmp uge"
; 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
}