https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53806
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> --- So this looks like this is optimized due to frange work. That is dom and evrp change `a<=b` into `a==b` and then ifcombine/phiopt can handle that. But we should be able to handle this without that.
