[PATCH] D140456: [SCEV] Help getLoopInvariantExitCondDuringFirstIterations deal with complex `umin` exit counts. PR59615
Max Kazantsev via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Dec 21 02:57:55 PST 2022
mkazantsev added inline comments.
================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:11052
+ return LIP;
+ if (auto *UMin = dyn_cast<SCEVUMinExpr>(MaxIter))
+ // Number of iterations expressed as UMIN isn't always great for expressing
----------------
nikic wrote:
> As a followup, handle umin_seq as well? Don't think poison behavior is important here.
Not sure how to achieve that, we need umin_seq to be a max iter count... Need to think how to make a test.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D140456/new/
https://reviews.llvm.org/D140456
More information about the llvm-commits
mailing list