https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82439
sudi at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sudi at gcc dot gnu.org
--- Comment #4 from sudi at gcc dot gnu.org ---
The transformation
(x & y) == y -> (y & ~x) == 0
already exists since 2014 (r218503)!
This is done in simplify-rtx.c. If that looks like a reasonable approach, I am
testing a similar patch for (x | y) == x -> (y & ~x) == 0 transformation
