diff options
author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-05-07 16:46:49 -0500 |
---|---|---|
committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-05-07 19:11:53 -0500 |
commit | 7770b0abfdab60e11fe26010c616ceb9b106a9ef (patch) | |
tree | a790eb7c1824aaac96a59f5f048b4cd26c6cb6e1 /libc | |
parent | 7b1f123b15da70ee73b0106b7eda2ec116f81d50 (diff) | |
download | llvm-7770b0abfdab60e11fe26010c616ceb9b106a9ef.tar.gz |
[KnownBits] Improve `KnownBits::rem(X, Y)` in cases where we can deduce low-bits of output
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
Reviewed By: RKSimon
Differential Revision: https://reviews.llvm.org/D149421
Diffstat (limited to 'libc')
0 files changed, 0 insertions, 0 deletions