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

[Emanuel Peter]

On Thu, 19 Sep 2024 17:08:47 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> What are your thoughts on how we are going to debug-print the new int-type? We probably do not always want to print the KnownBits, in general that is way too verbose. But in some alignment example, it would be nice to know that it is the `int/long` range, but the lowest 3 bits are always zero, hence 8 byte aligned.
>
> @eme64 Thanks to your suggestions, I have managed to come up with a (fairly) formal proof for the algorithm here!

@merykitty FYI: I'm going on vacation for 3 weeks, so I'll hope to come back to this afterward.

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

PR Comment: https://git.openjdk.org/jdk/pull/17508#issuecomment-2371729922