[PATCH] D146596: [SCEV] Infer no-self-wrap via constant ranges

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 22 10:42:07 PDT 2023


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:4995
+      ConstantRange StepCR = getSignedRange(AR->getStepRecurrence(*this));
+      APInt BECountAP = BECountMax->getAPInt();
+      unsigned NoOverflowBitWidth =
----------------
`const &`


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

https://reviews.llvm.org/D146596



More information about the llvm-commits mailing list