RFR: 8281453: New optimization: convert `~x` into `-1-x` when `~x` is used in an arithmetic expression [v15]

[Vladimir Kozlov]

On Thu, 29 Sep 2022 20:52:41 GMT, Zhiqiang Zang <duke at openjdk.org> wrote:

>> Similar to `(~x)+c` -> `(c-1)-x` and `~(x+c)` -> `(-c-1)-x` in #6858, we can also introduce similar optimizations for subtraction, `c-(~x)` -> `x+(c+1)` and `~(c-x)` -> `x+(-c-1)`.
>> 
>> To generalize, I convert `~x` into `-1-x` when `~x` is used only in arithmetic expression. For example, `c-(~x)` will be converted into `c-(-1-x)` which will match other pattern and will be transformed again in next iteration and finally become `x+(c+1)`.
>> 
>> Also the conversion from `~x` into `-1-x` happens when `x` is an arithmetic expression itself. For example, `~(x+c)` will be transformed into `-1-(x+c)` and eventually `(-c-1)-x`.
>> 
>> The results of the microbenchmark are as follows:
>> 
>> Baseline:                                                               
>> Benchmark                         Mode  Cnt  Score   Error  Units
>> NotOpTransformation.baselineInt   avgt   60  0.440 ± 0.002  ns/op
>> NotOpTransformation.baselineLong  avgt   60  0.440 ± 0.001  ns/op
>> NotOpTransformation.testInt1      avgt   60  0.613 ± 0.006  ns/op
>> NotOpTransformation.testInt2      avgt   60  0.868 ± 0.036  ns/op
>> NotOpTransformation.testLong1     avgt   60  0.674 ± 0.008  ns/op
>> NotOpTransformation.testLong2     avgt   60  0.698 ± 0.006  ns/op
>> 
>> Patch:
>> Benchmark                         Mode  Cnt  Score    Error  Units
>> NotOpTransformation.baselineInt   avgt   60  0.440 ±  0.001  ns/op
>> NotOpTransformation.baselineLong  avgt   60  0.440 ±  0.001  ns/op
>> NotOpTransformation.testInt1      avgt   60  0.329 ±  0.001  ns/op
>> NotOpTransformation.testInt2      avgt   60  0.329 ±  0.001  ns/op
>> NotOpTransformation.testLong1     avgt   60  0.329 ±  0.001  ns/op
>> NotOpTransformation.testLong2     avgt   60  0.329 ±  0.001  ns/op
>
> Zhiqiang Zang has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove one use check for long as well.

Good. It is ready for integration.

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

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