[PATCH] D109457: [SCEV] Use constant range of RHS to prove NUW on narrow IV in trip count logic

[Philip Reames via Phabricator via llvm-commits]

reames added a subscriber: nlewycky.
reames added a comment.

ping

p.s. In offline discussion, @nlewycky suggested a nice generalization of this idea in terms of invertible operations once we've proven the value being compared against is in the co-domain of the LHS.  I want to land this as is, but I'm hoping to leverage that idea into a generalization both here, and in IndVarSimplify.


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

https://reviews.llvm.org/D109457