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

[Jatin Bhateja]

On Mon, 9 Jun 2025 17:25:47 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> This looks fine to me but to be on safe side lets push it into JDK 26 when it is forked.
>> And I don't see link in RFE to recent testing of this. It needs to be tested in all tiers including tier10, xcomp and stress.
>
> @vnkozlov I have merged this branch with master, can you run your tests and approve the changes, please?

Hi @merykitty, 
TypeIntPrototype currently accepts any random unsigned and signed value ranges and then tries to canonicalize them. This is a flexible approach, but do you see any practical use case for this relaxation?

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

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