summaryrefslogtreecommitdiff
path: root/llvm/lib/Support/KnownBits.cpp
AgeCommit message (Expand)Author
2025-08-28[KnownBits] Add operator<<=(unsigned) and operator>>=(unsigned). NFC (#155751)Craig Topper
2025-08-11[InstCombine] Add additional known bits info for self multiply (#151202)Macsen Casaus
2025-05-14[llvm] properly guard dump methods in Support lib classes (#139938)Andrew Rogers
2025-05-14Revert "[llvm] properly guard dump methods in Support lib classes" (#139927)Andrew Rogers
2025-05-14[llvm] properly guard dump methods in Support lib classes (#139804)Andrew Rogers
2024-11-05[KnownBits] Make `{s,u}{add,sub}_sat` optimal (#113096)goldsteinn
2024-10-01[KnownBits] Make `avg{Ceil,Floor}S` optimal (#110688)Jay Foad
2024-09-27KnownBits: refine srem for high-bits (#109121)Ramkumar Ramachandra
2024-06-13[KnownBits] avgCompute - don't create on-the-fly Carry. NFC.Simon Pilgrim
2024-06-07[KnownBits] Remove `hasConflict()` assertions (#94568)c8ef
2024-05-19[llvm] Add KnownBits implementations for avgFloor and avgCeil (#86445)Nhat Nguyen
2024-04-18[KnownBits] Make abdu and abds optimal (#89081)Jay Foad
2024-03-12[Support] Add KnownBits::abds signed absolute difference and rename absdiff -...Simon Pilgrim
2024-03-11[KnownBits] Implement knownbits `lshr`/`ashr` with exact flagNoah Goldstein
2024-03-11[KnownBits] Add API support for `exact` in `lshr`/`ashr`; NFCNoah Goldstein
2024-03-05[KnownBits] Make `nuw` and `nsw` support in `computeForAddSub` optimalNoah Goldstein
2024-03-05[KnownBits] Add API for `nuw` flag in `computeForAddSub`; NFCNoah Goldstein
2024-03-01[KnownBits] Add KnownBits::absdiff to compute the absolute difference of 2 un...Simon Pilgrim
2023-10-18[Support] Add KnownBits::computeForSubBorrow (#67788)Christian Kissig
2023-06-06[KnownBits] Factor out and improve the lowbit computation for {u,s}divNoah Goldstein
2023-06-06[KnownBits] Return `0` for poison {s,u}div inputsNoah Goldstein
2023-06-06[KnownBits] Cleanup some misspelling / logic in {u,s}divNoah Goldstein
2023-06-01[ValueTracking] Directly use KnownBits shift functionsNikita Popov
2023-05-26[KnownBits] Partially synchronize shift implementations (NFC)Nikita Popov
2023-05-26[KnownBits] Add fast-path for shl with unknown shift amount (NFC)Nikita Popov
2023-05-25[KnownBits] Simplify shl. NFCI.Jay Foad
2023-05-25[KnownBits] Add support for nuw/nsw on shiftsNikita Popov
2023-05-24[KnownBits] Reduce number of overflow checks for uadd/sub_sat (NFCI)Nikita Popov
2023-05-24[KnownBits] Use early return for unknown LHS for shifts (NFC)Nikita Popov
2023-05-24[KnownBits] Check for conflict-freedom in exhaustive testsNikita Popov
2023-05-23[KnownBits] Add implementations for saturating add/sub functionsNoah Goldstein
2023-05-23[KnownBits] Improve implementation of `KnownBits::abs`Noah Goldstein
2023-05-23[KnownBits] Return zero instead of unknown for always poison shiftsNikita Popov
2023-05-16[KnownBits] Improve `KnownBits::udiv`Noah Goldstein
2023-05-16[KnownBits] Add implementation for `KnownBits::sdiv`Noah Goldstein
2023-05-16[KnownBits] Handle shifts over wide typesNikita Popov
2023-05-16[KnownBits] Define and use intersectWith and unionWithJay Foad
2023-05-16[KnownBits] Make shl/lshr/ashr implementations optimalNikita Popov
2023-05-15[KnownBitsTest] Align with ConstantRange test infrastructure (NFC)Nikita Popov
2023-05-07[KnownBits] Improve `KnownBits::rem(X, Y)` in cases where we can deduce low-b...Noah Goldstein
2023-02-19Use APInt::count{l,r}_{zero,one} (NFC)Kazu Hirata
2023-02-18[KnownBits] Add blsi and blsmskJay Foad
2022-12-16[Support] llvm::Optional => std::optionalFangrui Song
2022-12-02[llvm] Use std::nullopt instead of None (NFC)Kazu Hirata
2022-06-20[llvm] Don't use Optional::getValue (NFC)Kazu Hirata
2022-05-17[KnownBits] Add operator==Nikita Popov
2022-02-06[KnownBits] Add support for X*X self-multiplication (update)Simon Pilgrim
2021-12-20[Support] improve known bits analysis for leading zeros of multiplySanjay Patel
2021-12-08[Support] improve known bits analysis for multiply by power-of-2 (1 set bit)Sanjay Patel
2021-12-01[Support] replace check with assert in known bits of mul calculation; NFCSanjay Patel