[PATCH] D147557: [SCEV] Improve AddRecs' range computation

[Aleksandr Popov via Phabricator via llvm-commits]

aleksandr.popov added a comment.

@nikic Thanks for the advice, I've applied loop guards to the AddRec's start value in the `getRangeForAffineNoSelfWrappingAR` and now symbolic computations work for the example from decrementing_addrecs.ll


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147557/new/

https://reviews.llvm.org/D147557