[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