[PATCH] D140456: [SCEV] Help getLoopInvariantExitCondDuringFirstIterations deal with complex `umin` exit counts. PR59615

[Nikita Popov via Phabricator via llvm-commits]

nikic 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
----------------
As a followup, handle umin_seq as well? Don't think poison behavior is important here.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D140456/new/

https://reviews.llvm.org/D140456