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

[Emanuel Peter]

On Thu, 1 May 2025 06:51:21 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> 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.

@merykitty with these suggestions, we link up the bit tricky back to the proof / construction of `r` :)

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

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