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

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

sbaranga added a comment.

Thanks for the reviews!

In http://reviews.llvm.org/D13595#274745, @anemet wrote:

> I guess one thing that's missing form your summary which is another advantage to this approach that now we will only issue stride-checks when we actually had to assume stride=1 during analysis.  Correct?


We're not currently changing that behaviour (we're always adding the SCEVEqualPredicate when we see a pointer that we can version). Although that is certainly something we could do in the future.

Thanks,
Silviu


http://reviews.llvm.org/D13595