https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59371
--- Comment #20 from Richard Biener <rguenth at gcc dot gnu.org> --- Yes, versioning for niter analysis is something that came up elsewhere as well. Note we likely want sth like the loop-vectorized builtin so we can record that both are versions of each other (so we can scrap one if both end up "the same"). Or maybe simply record this in the loop struct (copy-of-loop-N).
