[PATCH] D109457: [SCEV] Use constant range of RHS to prove NUW on narrow IV in trip count logic

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:11801
+
+          if (getUnsignedRangeMin(AR->getStepRecurrence(*this)).isZero())
+            // We need the sequence defined by AR to strictly increase in the
----------------



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

https://reviews.llvm.org/D109457