[PATCH] D87832: [IndVars] Remove monotonic checks with unknown exit count
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Oct 25 22:20:21 PDT 2020
mkazantsev added inline comments.
================
Comment at: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp:2358
// Can we prove it to be trivially true?
- if (SE->isKnownPredicate(Pred, LHSS, RHSS))
+ if (SE->isKnownPredicateAt(Pred, LHSS, RHSS, BI))
return true;
----------------
apilipenko wrote:
> Looks like a separable enhancement.
Will do.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D87832/new/
https://reviews.llvm.org/D87832
More information about the llvm-commits
mailing list