[Bug tree-optimization/111282] `a & (b ^ ~a)` (or `a & ~(a ^ b)`) not optimized to `a & b` in gimple
pinskia at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Mon Sep 4 07:26:07 GMT 2023
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111282
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note `|` case already handled by r8-4395:
/* a | ~(a ^ b) --> a | ~b */
(simplify
(bit_ior:c @0 (bit_not:s (bit_xor:c @0 @1)))
(bit_ior @0 (bit_not @1)))
More information about the Gcc-bugs
mailing list