[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
llvm-commits at lists.llvm.org
Thu Apr 27 23:22:43 PDT 2023
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>
More information about the llvm-commits
mailing list