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

Thu Jan 30 15:56:02 UTC 2025

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 Thanks a lot for your effort, don't worry and just take your time.

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

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