http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35229
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- Still happens for partially loop invariant loads (partially loop invariant as in blocked by a following aliasing store in the loop body). Like seen in PR57223.