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

[Quan Anh Mai]

On Tue, 24 Sep 2024 16:08:52 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> @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.

@eme64 I have added exhaustive tests that scan all the possible inputs for `intn_t` with `n <= 4`. Doing this with `n == 5` would result in around `2^33` combinations which will take too much time.

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

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