[PATCH] D13595: [SCEV][LV] Add SCEV Predicates and use them to re-implement stride versioning

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

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

Change the RT check generation interface to return a Value*, instead of a pair of instructions.

We were previosly returning a pair of instructions to confirm with the existing versioning
interfaces. However, that created a bunch of problems, and made the checking code less nice.

It also turns out that we don't really need to return the first added instruction (and it would
be easy for a user to get anyway).


http://reviews.llvm.org/D13595

Files:
  include/llvm/Analysis/LoopAccessAnalysis.h
  include/llvm/Analysis/ScalarEvolution.h
  lib/Analysis/LoopAccessAnalysis.cpp
  lib/Analysis/ScalarEvolution.cpp
  lib/Transforms/Vectorize/LoopVectorize.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13595.38530.patch
Type: text/x-patch
Size: 43995 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151027/a23504f9/attachment.bin>