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

[Quan Anh Mai]

On Tue, 3 Sep 2024 13:51:17 GMT, Emanuel Peter <epeter 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 11 commits:
>> 
>>  - fix compile errors
>>  - Merge branch 'master' into unsignedbounds
>>  - add comments
>>  - Merge branch 'master' into unsignedbounds
>>  - fix release build
>>  - add comments, group arguments to reduce C-style reference passing arguments
>>  - fix tests, add verify
>>  - add unit tests
>>  - fix template parameter
>>  - refactor
>>  - ... and 1 more: https://git.openjdk.org/jdk/compare/d8e4d3f2...d5ad9f1a
>
> src/hotspot/share/opto/rangeinference.hpp line 44:
> 
>> 42:   T _zeros;
>> 43:   T _ones;
>> 44: };
> 
> Are the `KnownBits` always unsigned? Why not name the type `U` and verify that it is unsigned?
> 
> You could also have member-functions on it then, like the bounds adjustment. And then you can either have the type free (i.e. allow signed type), or require the same `U` type on the input ranges or values.

Yes you are right, for some reasons I thought that `static_assert` needs to live inside functions???

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

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