[9] RFR (M): 8143407: C1: @Stable array support

[Paul Sandoz]

> On 19 Feb 2016, at 19:34, Vladimir Ivanov <vladimir.x.ivanov at oracle.com> wrote:
> 
> http://cr.openjdk.java.net/~vlivanov/8143407/webrev.01
> https://bugs.openjdk.java.net/browse/JDK-8143407
> 
> Add C1 support for constant folding loads from @Stable arrays.
> It aligns C1 & C2 behavior w.r.t. @Stable fields and was requested for VarHandles [1] implementation.
> 

Many thanks for doing this.

I gave the patch a test run on x86 with a modified VarHandles impl, collapsing if/else over enum ordinals to stable array access. All tests pass and i observed no performance regression. More importantly, with a future internal refactor to VHs, i can push some casting functionality up from the access implementations into more general code, making things safer.

Paul.

> I introduced StableArrayConstant to track stable array dimension.
> 
> It is needed to disambiguate the following cases:
> (1) @Stable int[][][] intArr = new int[...][...][...];
> (2) @Stable  Object[] objArr = new int[...][...][...];
> 
> In the first case, all elements of multi-dimensional array w/ non-default values are considered constant.
> 
> In the latter, only elements of objArray (which are int[][] instances).
> 
> Testing: unit tests on @Stable support, JPRT.
> 
> Thanks!
> 
> Best regards,
> Vladimir Ivanov
> 
> [1] http://openjdk.java.net/jeps/193

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20160222/4f98854d/signature.asc>