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

Wed Apr 30 16:11: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 I have answered all of your questions, I have added a section for the cases there does not exist such a value and a section explaining the details of rounding up `lo` to a multiple of `alignment`.

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

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