[PATCH] D148661: [SCEV] Common code for computing trip count in a fixed type [NFC-ish]

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: nikic, fhahn, craig.topper, caojoshua.
Herald added subscribers: StephenFan, bollu, hiraditya, mcrosier.
Herald added a project: All.
reames requested review of this revision.
Herald added a subscriber: pcwang-thead.
Herald added a project: LLVM.

This is a follow on to D147117 <https://reviews.llvm.org/D147117> and D147355 <https://reviews.llvm.org/D147355>.  In both cases, we were adding special cases to compute zext(BTC+1) instead of zext(BTC)+1 when the BTC+1 computation was known not to overflow.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D148661

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Scalar/LoopFlatten.cpp
  llvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
  llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D148661.514741.patch
Type: text/x-patch
Size: 10532 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230418/da1dde0b/attachment.bin>