[Bug tree-optimization/119103] shift not demotated when shift amount range is known

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

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

--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 60648
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60648&action=edit
patch

I'm testing this for GCC 16.