https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95044
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Peeling off the first iteration might be the answer. Thread jumping could do that but normally is not used for that, especially through other condtionals.
