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

[Emanuel Peter]

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

>> test/hotspot/gtest/opto/test_rangeinference.cpp line 313:
>> 
>>> 311:     res[idx] = t;
>>> 312:     idx++;
>>> 313:   }
>> 
>> Not sure if this is possible with `std::array`, but you could do it with `std::vector`:
>> `std::vector tmp(unordered.begin(), unordered.end());`
>> 
>> Just an idea, feel free to leave it as is.
>
> `std::array` is trivially destructible, which is strongly encouraged for static objects in Hotspot.

Fine with me, was just an idea :)

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

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