[PATCH] D15412: [SCEV][LAA] Add no overflow SCEV predicates and use use them to improve strided pointer detection
email@example.com via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 1 05:16:56 PST 2016
sbaranga added a comment.
In http://reviews.llvm.org/D15412#336209, @anemet wrote:
> Hi Silviu,
> Just started to look at this (sorry about the delay) and on first impression, I am surprised by the lack of tests. Can't we cover this with LAA tests?
I've been having some trouble testing this with just LAA (we were bailing out when checking if we can do runtime checks).
However, I can now trigger this by adding noalias on the input pointers, so that problem has been solved and I can trigger all code paths with LAA.
I'll also need your change for loop versioning testing (http://reviews.llvm.org/D16612) in order to test the runtime checks, so I'll wait for that to go in before updating this.
More information about the llvm-commits