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

[silviu.baranga@arm.com via llvm-commits]

sbaranga updated this revision to Diff 46635.
sbaranga added a comment.

Add test cases where LAA can use the SCEV predicates to both transform non-AddRecExprs to AddRecExprs and directly add no overflow flags for pointers.
The test cases check both the result of LAA and that LoopVectorize adds run-time checks for the SCEV predicates.


http://reviews.llvm.org/D15412

Files:
  include/llvm/Analysis/LoopAccessAnalysis.h
  include/llvm/Analysis/ScalarEvolution.h
  include/llvm/Analysis/ScalarEvolutionExpander.h
  lib/Analysis/LoopAccessAnalysis.cpp
  lib/Analysis/ScalarEvolution.cpp
  lib/Analysis/ScalarEvolutionExpander.cpp
  lib/Transforms/Vectorize/LoopVectorize.cpp
  test/Analysis/LoopAccessAnalysis/wrapping-pointer-versioning.ll
  test/Transforms/LoopVectorize/same-base-access.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15412.46635.patch
Type: text/x-patch
Size: 37272 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160202/009c77f1/attachment.bin>