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

[Quan Anh Mai]

On Fri, 2 May 2025 09:41:13 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> @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 :)

@eme64 Please let me know if you disagree with any answer from me. I am fairly confident in this patch, especially with the exhaustive tests exercising `intn_t<nbits>` values. After this patch, I will work on allowing the test infrastructure to work with `Type` instances directly, templatizing `TypeInt` and `TypeLong` so that we can work with `TypeInt<intn_t<nbits>>`.

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

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