[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 comment.

In D109457#3064633 <https://reviews.llvm.org/D109457#3064633>, @reames wrote:

> JFYI, all of the other approaches I've mentioned in the review thread so far have not panned out.

As often happens, taking a fresh look at something reveals another approach.  I've posted https://reviews.llvm.org/D111836 which isn't really a replacement for this patch, but tackles problems in the same area, and is probably easier to review/justify.


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

https://reviews.llvm.org/D109457