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

[Emanuel Peter]

On Thu, 19 Sep 2024 15:13:12 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   address reviews
>
> src/hotspot/share/opto/rangeinference.cpp line 118:
> 
>> 116:     // have all lower bits being 0. This value satisfies zeros, because all
>> 117:     // bits before the first violation have already satisfied zeros, and all
>> 118:     // bits after the first violation are 0. To satisfy 1, simply | this value
> 
> Suggestion:
> 
>     // bits after the first violation are 0. To satisfy ones, simply OR this value

Ok, this I can understand much better!

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

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