[PATCH] D111836: [indvars] Use fact loop must exit to canonicalize to unsigned conditions

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D111836#3066152 <https://reviews.llvm.org/D111836#3066152>, @lebedev.ri wrote:

> Some time ago i addempted to do this in CVP via constant range reasoning:
> D90924 <https://reviews.llvm.org/D90924> (ignore the SCEV part)
> Would that be worthwhile? Should i pick that back up?

Yes, I think a CVP based form would be useful.  We have the range information, we might as well use it.

If you want to implement the CVP part, I'd be happy to review.  Alternatively, I can implement, and you can review.  Your preference.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111836