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

[Emanuel Peter]

On Tue, 22 Apr 2025 15:54:21 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 61 commits:
>> 
>>  - Merge branch 'master' into unsignedbounds
>>  - Merge branch 'master' into unsignedbounds
>>  - reviews
>>  - Merge branch 'master' into unsignedbounds
>>  - refine comments
>>  - Merge branch 'master' into unsignedbounds
>>  - Merge branch 'master' into unsignedbounds
>>  - harden SimpleCanonicalResult
>>  - number lemmas
>>  - include
>>  - ... and 51 more: https://git.openjdk.org/jdk/compare/0995b940...cdab1911
>
> src/hotspot/share/opto/rangeinference.cpp line 280:
> 
>> 278:     // This means that the first bit that does not satisfy the bit requirement
>> 279:     // is a 1 that should be a 0. Trace backward to find i which is the last
>> 280:     // bit that is 0 in both lo and zeros.
> 
> Does this `i` have a name below? What value does it have in the example?

And why is this number relevant?

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

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