[PATCH] D111836: [indvars] Use fact loop must exit to canonicalize to unsigned conditions
Philip Reames via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Oct 15 09:41:45 PDT 2021
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
More information about the llvm-commits
mailing list