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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

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?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111836