[Bug tree-optimization/112884] Missing optimization: fold a%2==0 ? a/2*2 : 0 to a%2==0 ? a : 0

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'd rather not do it in match.pd - well, maybe improve A / CST * CST
folding to consider nonzero bits, that is.