RFR: 8283307: Vectorize unsigned shift right on signed subword types

[Fei Gao]

On Wed, 20 Apr 2022 03:03:46 GMT, Quan Anh Mai <duke at openjdk.java.net> wrote:

> ```
> 0 < c < esize:
> (type)((int)a >>> c) -> a >> c
> 
> esize <= c <= 32 - esize:
> (type)((int)a >>> c) -> a >> (esize - 1)
> 
> 32 - esize < c < 32:
> (type)((int)a >>> c) -> (a >> (esize - 1)) >>> (c - (32 - esize))
> ```
> 
> Here `>>` and `>>>` are true unsigned shifts on the operand types, not exactly the Java scalar operations which actually work on promoted types.

Thanks for your kind reply, @merykitty . 

I suppose the first two scenarios have been covered in the pr. `esize` for byte is 8 and `esize` for short is 16, and the pr covers the range from 0-24 for byte and the range from 0-16 for short. But may I ask why the shift amount is `esize-1` rather than `esize` itself in the second scenario when `esize <= c <= 32 - esize`? 

For the third scenario, the idea works and generalizing to cover more cases is absolutely good. However, the true unsigned shifts `>>>` on the right of induction may make people confused, if there are two different unsigned right shift vector operations on the same data type in one patch. It's not easy to review. I mean maybe we can do it with another patch. WDYT? 

Thanks a lot.

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

PR: https://git.openjdk.java.net/jdk/pull/7979