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

Fri Dec 20 13:15:51 UTC 2024

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 Gentle ping on this PR :)

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

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