[PATCH] D149421: [KnownBits] Improve `KnownBits::rem(X, Y)` in cases where we can deduce low-bits of output

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n created this revision.
goldstein.w.n added reviewers: nikic, foad.
Herald added subscribers: StephenFan, hiraditya.
Herald added a project: All.
goldstein.w.n requested review of this revision.
Herald added subscribers: llvm-commits, pcwang-thead.
Herald added a project: LLVM.

The first `cttz(Y)` bits in `X` are translated 1-1 in the output.

Alive2 Links:

  https://alive2.llvm.org/ce/z/Qc47p7
  https://alive2.llvm.org/ce/z/19ut5H


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D149421

Files:
  llvm/lib/Support/KnownBits.cpp
  llvm/test/Analysis/ScalarEvolution/merge-add-rec-many-inputs.ll
  llvm/test/Analysis/ValueTracking/knownbits-rem-lowbits.ll
  llvm/test/Transforms/LoopVectorize/AArch64/masked-call.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D149421.517805.patch
Type: text/x-patch
Size: 8907 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230428/9f2666d4/attachment.bin>