[Bug rtl-optimization/128063] `op0 != 0 ? op0 & op1 : 0` can be optimized to just `op0 & op1` in RTL

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=58195

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
A hint on how to handle this is
r15-4689-g35bf490452e06b3e3567933342fb15ef5d11f503 added a similar
simplification but for `a != 0 ? -a : 0 -> -a`.

Note also & can be * too.
For IOR, XOR, PLUS (and MINUS), the edge for `op0 == 0`, it should be op1.