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

[Adam Nemet via llvm-commits]

anemet accepted this revision.
anemet added a comment.
This revision is now accepted and ready to land.

Non-SCEV parts LGTM too.

Silviu,

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?

Thanks,
Adam


http://reviews.llvm.org/D13595