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

Thu May 1 07:00:47 UTC 2025

On Wed, 30 Apr 2025 15:37:20 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> @eme64 Ping. Please don't be annoyed as I think I will ping you more frequently in case you forget.
>
> I have to say I'm really impressed by all the bit tricks you are using here @merykitty . I'm learning a lot, and I'm very thankful for your patience with me here, and constructing the proofs 😊

@eme64

> Left some suggestions for `a such` -> `such a`.

The correct grammar here is `one such`, not sure why I used `a` instead

> I'll check the proofs again to see if this is clear enough later.

I added some more comments at the return point for each case to illustrate when it can happen that no valid answer exists.

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

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