InstCombine: (sub (or A B) (xor A B)) --> (and A B)