[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 added inline comments.

================
Comment at: lib/Analysis/ScalarEvolution.cpp:9743
@@ +9742,3 @@
+
+const SCEV *SCEVAddRecOverflowPredicate::getExpr() const { return AR; }
+
----------------
sanjoy wrote:
> Minor: I'd just put this definition in the header.
This is a bit difficult. AR is a SCEVAddRecExpr and not a SCEV, and therefore moving this to the header would require casting.


http://reviews.llvm.org/D15412