[foreign-jextract] RFR: 8264187: Add a method for creating a slicing MethodHandle [v2]

[Jorn Vernee]

On Fri, 26 Mar 2021 15:12:54 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> That is true in this case, but not in general where the offset could depend on some dynamic indexes.
>> 
>> However, I could change it to eagerly do the offset check in case we don't have any free dimensions.
>
> ugh - you mean accessing something like 3bit value array in the 8th element? Yeah...

Yes, exactly. And e.g. if we always pick 0 as offset but the stride is not a multiple of 8 we would not catch that either.

I've added an eager check if there are no strides, and added a test case as well.

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

PR: https://git.openjdk.java.net/panama-foreign/pull/477