https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114435
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Richard Biener from comment #9) > So the "pcom messes up SLP" part should be fixed now. The pass dependence > of invariant/store motion and unswitching (and likely also loop splitting) is > something different. We may want to track this in a seprate bug. Note there's a conditional (on graphite) LIM pass after high-level loop opts, it might be an option to turn it into an unconditional instance.