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

[Qizheng Xing]

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

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

Updated.

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

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