https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112723
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > > So what's missing is a simplification pattern that ignores ops that only > alter > bits that are dont-care in a later operation. That fits the backprop pass > best, not special simplification patterns. I think this belongs in gimple-ssa-strength-reduction like it was done for GCC 7.1.0/7.2.0 until that fix went in which was done for all types rather than just overflow types.
