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.