llvm-project
[DemandedBits] Support non-constant shift amounts
#148880
Merged

[DemandedBits] Support non-constant shift amounts #148880

dtcxzyw merged 11 commits into llvm:main from karouzakisp:demanded-bits-extra
karouzakisp
karouzakisp [LLVM] Enhance shift operators in the Demanded Bits Analysis
b802455c
github-actions
llvmbot llvmbot added llvm:analysis
llvmbot
karouzakisp
artagnon artagnon requested a review from artagnon artagnon 303 days ago
artagnon artagnon requested a review from jayfoad jayfoad 303 days ago
artagnon artagnon requested a review from nikic nikic 303 days ago
artagnon
artagnon commented on 2025-07-15
topperc
artagnon
artagnon artagnon requested a review from dtcxzyw dtcxzyw 303 days ago
dtcxzyw
dtcxzyw commented on 2025-07-15
dtcxzyw
dtcxzyw commented on 2025-07-15
topperc
topperc commented on 2025-07-15
topperc
topperc commented on 2025-07-15
karouzakisp [LLVM] created new tests for lshr and ashr, and updated the Range han…
289fb1cf
karouzakisp
karouzakisp karouzakisp changed the title [LLVM] Improve the DemandedBits Analysis [LLVM] Improve the shift operators of the DemandedBits Analysis 303 days ago
karouzakisp
artagnon
karouzakisp removed comment
3a4d65e7
nikic nikic changed the title [LLVM] Improve the shift operators of the DemandedBits Analysis [DemandedBits] Support non-constant shift amounts 302 days ago
dtcxzyw
dtcxzyw commented on 2025-07-16
karouzakisp fixed or-->trunc->shl error, by updating the GetShiftedRange, needs m…
4fbabd66
karouzakisp
karouzakisp added more range tests
23cea682
karouzakisp
dtcxzyw
karouzakisp
dtcxzyw
dtcxzyw
dtcxzyw commented on 2025-07-20
karouzakisp removed wrong const and exceeding bit
0ee0e032
karouzakisp
dtcxzyw
dtcxzyw commented on 2025-07-25
karouzakisp
karouzakisp optimized loop to nlog(n) time complexity!
bbb1bd82
karouzakisp karouzakisp requested a review from artagnon artagnon 289 days ago
artagnon
artagnon commented on 2025-07-29
artagnon
artagnon commented on 2025-07-29
karouzakisp added lambda
c102f648
karouzakisp wrong type fix
bde29238
karouzakisp karouzakisp requested a review from topperc topperc 289 days ago
artagnon
artagnon commented on 2025-07-30
karouzakisp updated types
27e434a8
karouzakisp
karouzakisp
dtcxzyw
dtcxzyw commented on 2025-08-02
topperc
topperc commented on 2025-08-02
topperc
topperc commented on 2025-08-05
karouzakisp Looks correct
e9288bd0
dtcxzyw
dtcxzyw approved these changes on 2025-08-16
karouzakisp
dtcxzyw dtcxzyw merged c2e7fad4 into main 269 days ago
github-actions

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone