RFR: 8349637: Integer.numberOfLeadingZeros outputs incorrectly in certain cases [v3]

[Emanuel Peter]

On Fri, 14 Feb 2025 14:01:05 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

>> Jasmine Karthikeyan has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Improve explanation of logic
>
> @jaskarth Do you also have a test for the VectorAPI? Or is that not affected?

> I am fine with the patch. @eme64 might want more detailed proofs, so it would be great if you can be more rigorous, though :) This seems to be a separate issue from the vectorization with short and byte.

Yes, the truncation issue with `short` and `byte` is a separate issue. It is an issue with `SuperWord` / AutoVectorization, and not with the backend.

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

PR Comment: https://git.openjdk.org/jdk/pull/23579#issuecomment-2659433583