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 It would be great if you can continue reviewing this PR, please.

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

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