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

[Vladimir Kozlov]

On Thu, 5 Sep 2024 16:48:21 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> `_lo <= _hi` (and other invariants) is checked in `verify_constraints` when creating the `TypeInt` instance.
>
> The call:
> 
> https://github.com/openjdk/jdk/blob/5990628a8337b9040128857f34359b169326eb23/src/hotspot/share/opto/type.cpp#L1598
> 
> And the implementation:
> 
> https://github.com/openjdk/jdk/blob/5990628a8337b9040128857f34359b169326eb23/src/hotspot/share/opto/rangeinference.cpp#L358
> 
> Notice that `this->contains(_srange._lo)` implies that `_lo <= _hi`

Okay but assert will guard against future incorrect changes by someone who may not familiar with verification code you pointed. Some new path in type construction can be introduced which bypath those checks.

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

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