[llvm] [LAA] Collect no-wrap predicates separately in getPtrStride/isNoWrap. (PR #203787)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -2653,19 +2653,15 @@ class PredicatedScalarEvolution {
   getAsAddRec(Value *V,
               SmallVectorImpl<const SCEVPredicate *> *WrapPredsAdded = nullptr);
 
-  /// Proves that V doesn't overflow by adding SCEV predicate.
-  LLVM_ABI void setNoOverflow(Value *V,
----------------
artagnon wrote:

I'm actually a bit surprised that LAA is the only user of setNoOverflow: looks like it was added along with wrap predicates for SCEV (ea63a7f5), and it was done specifically for LAA. The removal of this routine is further evidence that the direction we're taking is good?

https://github.com/llvm/llvm-project/pull/203787