https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113487
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- Feels more like reassoc to me. You could also view it as "bit-DCE", eliding defs of dead bits. Which might make it suitable for backprop (currently doing sth similar for the sign "bit").
