[PATCH] D142721: [SCCP] Support NUW/NSW inference for all overflowing binary operators.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: nikic, spatel, efriedma.
Herald added subscribers: StephenFan, hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added a project: LLVM.

Extend the NUW/NSW inference logic add in 72121a20cd <https://reviews.llvm.org/rG72121a20cda4dc91d0ef5548f93046e71c5ec6f6> and cdeaf5f28c3dc <https://reviews.llvm.org/rGcdeaf5f28c3dca7fa313bdc5657cd07fb08dec5b>
to all overflowing binary operators.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D142721

Files:
  llvm/lib/Transforms/Utils/SCCPSolver.cpp
  llvm/test/Transforms/SCCP/ip-constant-ranges.ll
  llvm/test/Transforms/SCCP/ip-ranges-binaryops.ll
  llvm/test/Transforms/SCCP/ub-shift.ll
  llvm/test/Transforms/SCCP/widening.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142721.492740.patch
Type: text/x-patch
Size: 6046 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230127/cda22862/attachment.bin>