https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55177 --- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The original testcase in comment #0 is still not optimized at the gimple level due to extra casts. If I use unsigned instead of int, the testcase is optimized at the gimple level.