https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114403
--- Comment #27 from Richard Biener <rguenth at gcc dot gnu.org> --- I think that adjusting an existing upper bound by -1 because of gap peeling is wrong when that upper bound may not apply to the IV exit. Because gap peeling only affects the IV exit test and not the early exit test.