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

Wed Apr 30 15:40:08 UTC 2025

On Mon, 28 Apr 2025 04:58:42 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> @merykitty Oh dear, I dropped it again. Thanks for the reminder! I actually just thought about this one over the easter weekend. And it seems to me we have had lots of "bit optimizations" that could be much more powerfully solved with "known bits". So let's continue working on this.
>
> @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 😊

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

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