https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113137
--- Comment #7 from Tamar Christina <tnfchris at gcc dot gnu.org> --- Have update the memory analysis part to support inverted loops. now working on wiring through virtual phis during peeling. Aside form this missing part CFG looks correct. will have a final patch in a bit.