(('fne', ('fmul', ('b2f', a), ('b2f', b)), 0.0), ('iand', a, b)),
(('fne', ('fmin', ('b2f', a), ('b2f', b)), 0.0), ('iand', a, b)),
(('fne', ('bcsel', a, ('b2f', b), 0.0) , 0.0), ('iand', a, b)),
+ (('fne', ('fadd', ('b2f', a), ('fneg', ('b2f', b))), 0.0), ('ixor', a, b)),
+ (('fne', ('b2f', a) , ('b2f', b) ), ('ixor', a, b)),
+ (('fne', ('fneg', ('b2f', a)), ('fneg', ('b2f', b))), ('ixor', a, b)),
(('feq', ('fadd', ('b2f', a), ('b2f', b)), 0.0), ('inot', ('ior', a, b))),
(('feq', ('fmax', ('b2f', a), ('b2f', b)), 0.0), ('inot', ('ior', a, b))),
(('feq', ('bcsel', a, 1.0, ('b2f', b)) , 0.0), ('inot', ('ior', a, b))),