RFR: 8315066: Add unsigned bounds and known bits to TypeInt/Long [v65]

Fri Jun 13 06:05:03 UTC 2025

On Thu, 12 Jun 2025 23:31:06 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 83 commits:
>> 
>>  - Merge branch 'master' into unsignedbounds
>>  - add more intn_t tests
>>  - Emanuel's reviews
>>  - alignment wording
>>  - refinement
>>  - refine the cases where there does not exist a result
>>  - add some more sanity static_asserts
>>  - intn_t refinements
>>  - Emanuel's reviews
>>  - Emanuel's reviews
>>  - ... and 73 more: https://git.openjdk.org/jdk/compare/cae1fd33...ad6ac7cb
>
> I think all the tests have passed, I will integrate this PR.
> 
> Thank you a lot for reviewing this PR. Especially, thanks @eme64 for your rigorous reviews and valuable suggestions, it helps a lot in shaping this PR in a better manner.

@merykitty Thanks for the attribution 😊 Congrats on shipping it 🚀  Looking forward to the improvements that come from this!

-------------

PR Comment: https://git.openjdk.org/jdk/pull/17508#issuecomment-2969161890