RFR: 8367341: C2: apply KnownBits and unsigned bounds to And / Or operations

[Quan Anh Mai]

On Mon, 13 Oct 2025 13:27:18 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> test/hotspot/gtest/opto/test_rangeinference.cpp line 277:
>> 
>>> 275:     return 1732;
>>> 276:   }
>>> 277: }
>> 
>> What do the numbers mean here? I'm lost :/
>
> Ah, this is the number of instances for a type! Makes sense. How did you get those numbers, how do we know they are right?

I just manually calculated them and recorded the value here. The correctness is validated when we try to initialize the set, which then assert that the size of the set is the same as the value presented here.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/27618#discussion_r2431610657