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

[Emanuel Peter]

On Fri, 2 May 2025 00:56:07 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Can you do the analogue with the else (one violation) case?
>> That one is probably a bit harder, but I have faith in you ;)
>
> @eme64 Thanks, yes I feel that the progress is much better now. Hope we can finish this soon.

@merykitty Ok, now I'm through the whole thing. I am doing this review more thorough and nit-picky than others, because it is going to be quite a substantial change, and quite at the core of many IGVN optimizations going forward.

Again: I'm really impressed by the bit tricks here, and very happy that we now have quite solid explanations / proofs.

Once you tell me that you responded to all comments here, I can make another pass over everything :)

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

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