[PATCH] D15412: [SCEV][LAA] Add no overflow SCEV predicates and use use them to improve strided pointer detection

[Adam Nemet via llvm-commits]

anemet accepted this revision.
anemet added a comment.

LGTM too.


================
Comment at: test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll:2
@@ +1,3 @@
+; RUN: opt -basicaa -loop-accesses -analyze < %s | FileCheck %s -check-prefix=LAA
+; RUN: opt -loop-vectorize -force-vector-interleave=1 -force-vector-width=4 -S < %s | FileCheck %s -check-prefix=LV
+
----------------
Are you planning to change these to use the new loop-versioning pass in a follow-on patch?

================
Comment at: test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll:249
@@ +248,3 @@
+; to pointer %A inbounds. The index %mul doesn't have the nsw flag.
+; This means that the SCEV expression for %mul is not an AddRecExpr.
+;
----------------
Not AddRecExpr or rather not nsw/nuw?


http://reviews.llvm.org/D15412