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.

Reply via email to