[Bug tree-optimization/122733] [16 Regression] wrong code for (y << x) < x since r16-5161

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

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I think the issue is the patterns are not checking for signed types ...