[PATCH] D141850: [SCEV] Preserve divisibility and min/max information in applyLoopGuards
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Feb 2 21:59:48 PST 2023
mkazantsev added inline comments.
================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:15191
+ case CmpInst::ICMP_SLT: {
+ auto ModifiedRHS = getMinusSCEV(RHS, getOne(RHS->getType()));
+ ModifiedRHS =
----------------
How do you account for `RHS` being `SINT_MIN` and similar cases here?
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D141850/new/
https://reviews.llvm.org/D141850
More information about the llvm-commits
mailing list