https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89755
Bug ID: 89755 Summary: Inefficient runtime alias check Product: gcc Version: 9.0 Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: rguenth at gcc dot gnu.org Target Milestone: --- For the testcase in PR87561 the runtime alias check ends up too complicated since it could simply compare a single index that is even loop invariant in the enclosing loop. The vectorizer should also consider applying versioning to outer loops for the runtime alias check.