RFR: 8261671: X86 I2L conversion can be skipped for certain masked positive values [v5]
Vladimir Kozlov
kvn at openjdk.java.net
Thu Mar 4 19:55:55 UTC 2021
On Wed, 3 Mar 2021 22:00:59 GMT, Marcus G K Williams <github.com+168222+mgkwill at openjdk.org> wrote:
>> 8261671: X86 I2L conversion can be skipped for certain masked positive values
>>
>> For the following expression:
>> (long)(value & mask)
>> Where value is of int type and mask is constant (power of two – 1), we can directly generate bzhi instruction to zero the upper bits instead of doing an andl, followed by movslq
>>
>> Before:
>> Benchmark Mode Cnt Score Error Units
>> SkipIntToLongCast.skipMaskedSmallPositiveCast avgt 15 10.679 ± 1.496 ns/op
>>
>>
>> After:
>> Benchmark Mode Cnt Score Error Units
>> SkipIntToLongCast.skipMaskedSmallPositiveCast avgt 15 7.870 ± 0.067 ns/op
>>
>> Signed-off-by: Marcus G K Williams <marcus.williams at intel.com>
>
> Marcus G K Williams has updated the pull request incrementally with one additional commit since the last revision:
>
> Clean up Expr.java & assembler_x86.hpp
>
> Remove unneeded bzhi in assembler_x86.hpp
> and unused longExpr's in Expr.java
>
> Signed-off-by: Marcus G K Williams <marcus.williams at intel.com>
test/hotspot/jtreg/compiler/codegen/BMI2.java line 45:
> 43: long z = BMITests.bzhiI2L(ix, i);
> 44:
> 45: for (int i2 = 0; i2 < ITERATIONS; i2++) {
I know that you follow BMI.java code example but we need to update these tests. Since you are writing new test you may do it right. See discussion for https://github.com/openjdk/jdk/pull/2811
And, please, don't use 1000,000 iterations. C2 compilation is triggered with 10,000. So 50,000 would be more than enough.
-------------
PR: https://git.openjdk.java.net/jdk/pull/2590
More information about the hotspot-compiler-dev
mailing list