Integrated: 8350468: x86: Improve implementation of vectorized numberOfLeadingZeros for int and long

[Jasmine Karthikeyan]

On Mon, 4 Aug 2025 02:20:31 GMT, Jasmine Karthikeyan <jkarthikeyan at openjdk.org> wrote:

> Hi all,
> This is a patch that optimizes the x86 backend implementation of `CountLeadingZerosV` for int and long. In the review of [JDK-8349637)](https://bugs.openjdk.org/browse/JDK-8349637) an [optimized algorithm]( https://github.com/openjdk/jdk/pull/23579#issuecomment-2661332497) was proposed by @rgiulietti, which this PR implements. For integer operands, the optimized algorithm reduces the number of vector instructions from 19 to 13. The same algorithm does not work for long operands, however, since avx2 lacks a vectorized long->double conversion instruction. Instead, I found an optimized algorithm to reuse the code for int and compute the leading zeros for long with only 4 additional instructions. I added a benchmark and on my Zen 3 machine I get these results:
> 
>                                  Baseline                        Patch        
> Benchmark              Mode  Cnt    Score   Error  Units    Score   Error  Units  Improvement
> LeadingZeros.testInt   avgt   15   91.097 ± 3.276  ns/op   68.665 ± 1.740  ns/op  (+ 28.1%)
> LeadingZeros.testLong  avgt   15  342.545 ± 4.470  ns/op  228.668 ± 5.994  ns/op  (+ 39.9%)
> 
> I've updated the unit tests to more thoroughly test longs and they pass on my machine. Thoughts and reviews would be appreciated!

This pull request has now been integrated.

Changeset: f77a5117
Author:    Jasmine Karthikeyan <jkarthikeyan at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/f77a5117db2d01a935762e948aef2d0ade3512a3
Stats:     225 lines in 3 files changed: 160 ins; 17 del; 48 mod

8350468: x86: Improve implementation of vectorized numberOfLeadingZeros for int and long

Co-authored-by: Raffaello Giulietti <rgiulietti at openjdk.org>
Reviewed-by: sviswanathan, qamai, vlivanov

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

PR: https://git.openjdk.org/jdk/pull/26610