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

[Quan Anh Mai]

On Tue, 16 Dec 2025 07:10:19 GMT, Hannes Greule <hgreule 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
>
> Not sure if my review counts but I went through the changes again and it looks like all existing inference logic is covered by the more concise and also more powerful new logic.

@SirYwell Thanks very much for your review!
@eme64 I have just merged with master, could you test the patch again, please?

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

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