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

[Emanuel Peter]

On Wed, 15 Oct 2025 12:33:21 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> 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 ;)

If you just computed it once, and are now fixing the value, that's ok-ish too, just write that down. Just in case someone else runs into this later, and needs to fix a bug they would probably like to know where the magic numbers are from ;)

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

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