https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125293
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2026-05-13
Keywords| |missed-optimization
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
We seem to happily screw up the loop nest in the 2nd example, creating a
multi-latch loop initially and then somehow during EVRP when we disambiguate
multi-latch loops we get rid of that:
Disambiguating loop 1 with multiple latches
Merged latch edges of loop 1
because one of the loops is "infinite" (and the early exit is common).
vectorizer if-conversion doesn't handle a conditonal exit and we probably
somehow should recover a loop nest somehow.
