https://gcc.gnu.org/bugzilla/show_bug.cgi?id=73550 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- There was a patch to improve jump threading and vrp here just within a few weeks. I wonder why that did not help. Basically this is a missing jump threading.