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

[Emanuel Peter]

On Wed, 26 Feb 2025 11:00:32 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:
>> 
>>   refine comments
>
> src/hotspot/share/opto/rangeinference.cpp line 158:
> 
>> 156:       bits at x > i have lower significance, and are thus irrelevant
>> 157: 
>> 158:     a.2. We have v satisfies bits, this is because:
> 
> Suggestion:
> 
>     a.2. We know v satisfies bits, this is because:

Or more short:
`v satisfies bits, because:`

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

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