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

[Quan Anh Mai]

On Tue, 3 Sep 2024 13:35:54 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/type.cpp line 500:
> 
>> 498:   assert( TypeInt::CC_EQ == TypeInt::ZERO,    "types must match for CmpL to work" );
>> 499:   assert( TypeInt::CC_GE == TypeInt::BOOL,    "types must match for CmpL to work" );
>> 500:   assert( (juint)(TypeInt::CC->_hi - TypeInt::CC->_lo) <= SMALLINT, "CC is truly small");
> 
> Why did you remove this check?

Because I saw that `SMALLINT` is only used here so I moved it to `rangeinference.cpp`, the assert is also pretty unnecessary, too.

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

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