https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111679
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- ``` /* (~a) | (a ^ b) --> (~a) | (~b) (which might be done into ~(a & b) depending on if ~a is not a cmp) */ (simplify (bit_ior:c @0 (bit_xor:c @1 @2)) (with { bool wascmp; } (if (bitwise_inverted_equal_p (@0, @1, wascmp) && (!wascmp || element_precision (type) == 1)) (bit_ior @0 (bit_not @2))))) ``` Still need some testcases.