[PATCH] D20789: Consecutive memory access in Loop Vectorizer - fixed and simplified

[Adam Nemet via llvm-commits]

anemet added a comment.

In http://reviews.llvm.org/D20789#462008, @delena wrote:

> > OK, thanks for the explanation but something is still not clear.  If the stride is 3 how does that convert into isConsecutivePtr to return true?  We are checking for Stride == 1 || Stride == -1 in the new version of isConsecutivePtr.
>
>
> isConsecutivePtr() still returns 0. But it has a side effect. This line: PSE.setNoOverflow(Ptr, SCEVWrapPredicate::IncrementNUSW);
>  This NoOverlflow flag is set for the pointer (Ptr) and checked later, in another function.


Ah, makes sense now.  Thanks!


Repository:
  rL LLVM

http://reviews.llvm.org/D20789