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

[Quan Anh Mai]

On Thu, 18 Dec 2025 07:05:06 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Quan Anh Mai has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains nine commits:
>> 
>>  - Merge branch 'master' into andorxor
>>  - Merge branch 'master' into andorxor
>>  - Merge branch 'master' into andorxor
>>  - Merge branch 'master' into andorxor
>>  - Add assertion for the helper in CTPComparator
>>    
>>    Co-authored-by: Emanuel Peter <emanuel.peter at oracle.com>
>>  - remove std::hash
>>  - remove unordered_map, add some comments for all_instances_size
>>  - Emanuel's reviews
>>  - Improve Value inferences of And, Or, Xor and implement gtest for general Value inferences
>
> Tests passed :)

@eme64 Please reapprove this PR if you think it can integrate now, thanks.

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

PR Comment: https://git.openjdk.org/jdk/pull/27618#issuecomment-3668774252