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

[Quan Anh Mai]

On Tue, 10 Sep 2024 16:56:25 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

>> Yes it is, but I don't want to remove it. I think it should be the case the `new_type` contains `old_type`, but apparently sometimes it is not the case and I don't understand it. Returning the bottom type instead of `limit_type` is also weird, too.
>
> Unless you want to investigate it this should be removed. File RFE to look on it later.
> Also you can execute it only in debug VM by using #ifdef ASSERT and `assert()` instead of `fatal()`.

Done! I don't want to risk breaking anything so I will take a look later.

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

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