[Bug tree-optimization/125442] Missed (x == 0) | ((x | y) == 0) to (x == 0)

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125442

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2026-05-25
           Severity|normal                      |enhancement
     Ever confirmed|0                           |1

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Oh it is related to PR 117760 but slightly different.

There we supported:
(a == b) | ((a|b) == 0) -> (a == b)


But here we:
(a == 0) | ((a|b) == 0) -> (a == 0)


The other one which needs to be supported is:
(a != 0) & ((a|b) != 0) -> (a != 0)