https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87104
--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note in the original testcase, I noticed we don't do some "VRP/nonzero bits" optimization so I filed PR 110405 for that. It does not change the other transformation.