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

Adam Nemet via llvm-commits llvm-commits at lists.llvm.org
Fri Feb 5 10:23:44 PST 2016

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?


More information about the llvm-commits mailing list