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

[Quan Anh Mai]

On Thu, 19 Sep 2024 18:31:55 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Basically `urange` and `srange` can be the same, or their intersection is the union of `[srange._lo, urange._hi]` and `[urange._lo, srange._hi]`. This simply calculates the size of 2 intervals and add them together.
>
> Ah thanks! Can you make that a comment in the code?

I have added comments at this point, I don't know why Github does not mark it as outdated.

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

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