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

[Quan Anh Mai]

On Sun, 8 Sep 2024 22:26:20 GMT, Jasmine Karthikeyan <jkarthikeyan 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 23 commits:
>> 
>>  - change (~v & ones) == 0 to (v & ones) == ones
>>  - Merge branch 'master' into unsignedbounds
>>  - fix builds
>>  - add trivial test cases
>>  - make should return the correct type
>>  - rename tests
>>  - more explanation
>>  - fix build
>>  - fix build
>>  - add more comments, group KnownBits
>>  - ... and 13 more: https://git.openjdk.org/jdk/compare/5b72bbf9...9b70213e
>
> src/hotspot/share/opto/rangeinference.hpp line 146:
> 
>> 144: 
>> 145: void int_type_dump(const TypeInt* t, outputStream* st, bool verbose);
>> 146: void int_type_dump(const TypeLong* t, outputStream* st, bool verbose);
> 
> Maybe this could be called `long_type_dump`? Since it's not a template function and is specific to TypeLong.

I think keeping the name consistent with other functions is also a legit reason.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/17508#discussion_r1751838397