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

[Quan Anh Mai]

On Tue, 22 Apr 2025 16:27:46 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:
>> 
>>   Explain what alignment means
>
> src/hotspot/share/opto/rangeinference.cpp line 362:
> 
>> 360:   // not larger than hi that satisfies {bits._zeros, bits._ones}, then ~new_hi
>> 361:   // is the smallest value not smaller than ~hi that satisfies
>> 362:   // {bits._ones, bits._zeros}
> 
> This is a really nice high level argument. How hard do you think it would be to make it a little more detailed?
> It is especially the "strictly decreasing function" argument that might not be very easy for everyone to understand...

Done, I have added a small (albeit IMO trivial) proof to this claim.

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

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