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

[Emanuel Peter]

On Wed, 15 Oct 2025 08:29:18 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> 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.

Ok. Well if you have any description of how you computed it manually, it would be nice if you could write that down here ;)

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

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