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

[Emanuel Peter]

On Thu, 1 May 2025 06:18:07 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:
>> 
>>   alignment note
>
> src/hotspot/share/opto/rangeinference.cpp line 99:
> 
>> 97: //
>> 98: // In practice, since the algorithm always ensures that the returned value
>> 99: // satisfies bits, we only need to check if it is not less than lo.
> 
> Ah nice. Ok. So now we just have to prove that the result satisfies bits in all cases :)

I'll check the proofs again to see if this is clear enough later.

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

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