https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98710
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2021-04-26 00:00:00 |2023-5-12
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(x | c) & ~(y | c) ->
(x | c) & (~y & ~c) ->
(x & ~y & ~c) | (c & ~y & ~c) ->
(x & ~y & ~c) ->
x & ~(y | c)
Just this simple:
(simplify
(bit_and:c (bit_ior:c @0 @1) (bit_not@3 (bit_ior:c @1 @2)))
(bit_and @0 @3))
No reason to rewrite @3 part again.
