[PATCH] D28536: [SCEV] Make howFarToZero max backedge-taken count check for precondition

[Sanjoy Das via Phabricator via llvm-commits]

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

lgtm



================
Comment at: lib/Analysis/ScalarEvolution.cpp:7226
+      APInt NewMaxBECount = CR.getUnsignedMax() - 1;
+      if (NewMaxBECount.ult(MaxBECount))
+        MaxBECount = NewMaxBECount;
----------------
Use `APInt::umin` here?


Repository:
  rL LLVM

https://reviews.llvm.org/D28536