[PATCH] D114185: [SCEV] Leverage inferred no-self-wrap flags to refine trip counts

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: nikic, fhahn, efriedma, lebedev.ri.
Herald added subscribers: javed.absar, bollu, hiraditya, mcrosier.
reames requested review of this revision.
Herald added a project: LLVM.

This is a follow on to D114176 <https://reviews.llvm.org/D114176>.  It adds the missing piece to actually build a new expression for the LHS using the newly discovered flag information.

I need to add a few more tests, before this lands.  In the meantime, a question for the reviewers: is the approach of removing nodes from UniqueSCEVs reasonable?  This has some serious downsides (breaking equality), but the other option requires a ton of duplicated code.  Anyone see any other ideas?


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D114185

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/ne-overflow.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D114185.388289.patch
Type: text/x-patch
Size: 4673 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211118/aaa2c475/attachment.bin>