RFR: 8360192: C2: Make the type of count leading/trailing zero nodes more precise [v10]

[Emanuel Peter]

On Tue, 19 Aug 2025 13:50:28 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Qizheng Xing has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Remove redundant `@require` in IR test
>
> src/hotspot/share/opto/countbitsnode.cpp line 57:
> 
>> 55:   const TypeInt* ti = t->is_int();
>> 56:   return TypeInt::make(count_leading_zeros_int(~ti->_bits._zeros),
>> 57:                        count_leading_zeros_int(ti->_bits._ones),
> 
> I think this is correct, but I would like to see a short comment why it is correct.

Same in other cases below

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25928#discussion_r2285345674