• file
• revisions
• annotate
• diff
• comparison
• raw

test/compiler/stable/TestStableByte.java@8c95980d0b66 (annotated)

test/compiler/stable/TestStableByte.java

Sat, 07 Nov 2020 10:30:02 +0800

author

aoqi

date

Sat, 07 Nov 2020 10:30:02 +0800

changeset 10026

8c95980d0b66

parent 7994

04ff2f6cd0eb

permissions

-rw-r--r--

Added tag mips-jdk8u275-b01 for changeset d3b4d62f391f

aoqi@0	1	/*
aoqi@0	2	* Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
aoqi@0	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0	4	*
aoqi@0	5	* This code is free software; you can redistribute it and/or modify it
aoqi@0	6	* under the terms of the GNU General Public License version 2 only, as
aoqi@0	7	* published by the Free Software Foundation. Oracle designates this
aoqi@0	8	* particular file as subject to the "Classpath" exception as provided
aoqi@0	9	* by Oracle in the LICENSE file that accompanied this code.
aoqi@0	10	*
aoqi@0	11	* This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0	12	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0	13	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0	14	* version 2 for more details (a copy is included in the LICENSE file that
aoqi@0	15	* accompanied this code).
aoqi@0	16	*
aoqi@0	17	* You should have received a copy of the GNU General Public License version
aoqi@0	18	* 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0	19	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0	20	*
aoqi@0	21	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0	22	* or visit www.oracle.com if you need additional information or have any
aoqi@0	23	* questions.
aoqi@0	24	*/
aoqi@0	25
aoqi@0	26	/*
aoqi@0	27	* @test TestStableByte
aoqi@0	28	* @summary tests on stable fields and arrays
aoqi@0	29	* @library /testlibrary /testlibrary/whitebox
aoqi@0	30	* @build TestStableByte StableConfiguration sun.hotspot.WhiteBox
aoqi@0	31	* @run main ClassFileInstaller sun.hotspot.WhiteBox sun.hotspot.WhiteBox$WhiteBoxPermission
aoqi@0	32	* @run main ClassFileInstaller
aoqi@0	33	* java/lang/invoke/StableConfiguration
aoqi@0	34	* java/lang/invoke/TestStableByte
aoqi@0	35	* java/lang/invoke/TestStableByte$ByteStable
aoqi@0	36	* java/lang/invoke/TestStableByte$StaticByteStable
aoqi@0	37	* java/lang/invoke/TestStableByte$VolatileByteStable
aoqi@0	38	* java/lang/invoke/TestStableByte$ByteArrayDim1
aoqi@0	39	* java/lang/invoke/TestStableByte$ByteArrayDim2
aoqi@0	40	* java/lang/invoke/TestStableByte$ByteArrayDim3
aoqi@0	41	* java/lang/invoke/TestStableByte$ByteArrayDim4
aoqi@0	42	* java/lang/invoke/TestStableByte$ObjectArrayLowerDim0
aoqi@0	43	* java/lang/invoke/TestStableByte$ObjectArrayLowerDim1
aoqi@0	44	* java/lang/invoke/TestStableByte$NestedStableField
aoqi@0	45	* java/lang/invoke/TestStableByte$NestedStableField$A
aoqi@0	46	* java/lang/invoke/TestStableByte$NestedStableField1
aoqi@0	47	* java/lang/invoke/TestStableByte$NestedStableField1$A
aoqi@0	48	* java/lang/invoke/TestStableByte$NestedStableField2
aoqi@0	49	* java/lang/invoke/TestStableByte$NestedStableField2$A
aoqi@0	50	* java/lang/invoke/TestStableByte$NestedStableField3
aoqi@0	51	* java/lang/invoke/TestStableByte$NestedStableField3$A
aoqi@0	52	* java/lang/invoke/TestStableByte$DefaultValue
aoqi@0	53	* java/lang/invoke/TestStableByte$DefaultStaticValue
aoqi@0	54	* java/lang/invoke/TestStableByte$ObjectArrayLowerDim2
aoqi@0	55	*
eistepan@7787	56	* @run main/othervm -Xbootclasspath/a:.
aoqi@0	57	* -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI -Xcomp
eistepan@7787	58	* -XX:-TieredCompilation
aoqi@0	59	* -XX:+FoldStableValues
aoqi@0	60	* -XX:CompileOnly=::get,::get1,::get2,::get3,::get4
aoqi@0	61	* java.lang.invoke.TestStableByte
eistepan@7787	62	* @run main/othervm -Xbootclasspath/a:.
aoqi@0	63	* -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI -Xcomp
eistepan@7787	64	* -XX:-TieredCompilation
aoqi@0	65	* -XX:-FoldStableValues
aoqi@0	66	* -XX:CompileOnly=::get,::get1,::get2,::get3,::get4
aoqi@0	67	* java.lang.invoke.TestStableByte
aoqi@0	68	*
eistepan@7787	69	* @run main/othervm -Xbootclasspath/a:.
aoqi@0	70	* -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI -Xcomp
eistepan@7787	71	* -XX:+TieredCompilation -XX:TieredStopAtLevel=1
aoqi@0	72	* -XX:+FoldStableValues
aoqi@0	73	* -XX:CompileOnly=::get,::get1,::get2,::get3,::get4
aoqi@0	74	* java.lang.invoke.TestStableByte
eistepan@7787	75	* @run main/othervm -Xbootclasspath/a:.
aoqi@0	76	* -XX:+UnlockDiagnosticVMOptions -XX:+WhiteBoxAPI -Xcomp
eistepan@7787	77	* -XX:+TieredCompilation -XX:TieredStopAtLevel=1
aoqi@0	78	* -XX:-FoldStableValues
aoqi@0	79	* -XX:CompileOnly=::get,::get1,::get2,::get3,::get4
aoqi@0	80	* java.lang.invoke.TestStableByte
aoqi@0	81	*
aoqi@0	82	*/
aoqi@0	83	package java.lang.invoke;
aoqi@0	84
aoqi@0	85	import java.lang.reflect.InvocationTargetException;
aoqi@0	86
aoqi@0	87	public class TestStableByte {
aoqi@0	88	static final boolean isStableEnabled = StableConfiguration.isStableEnabled;
aoqi@0	89	static final boolean isServerWithStable = StableConfiguration.isServerWithStable;
aoqi@0	90
aoqi@0	91	public static void main(String[] args) throws Exception {
aoqi@0	92	run(DefaultValue.class);
aoqi@0	93	run(ByteStable.class);
aoqi@0	94	run(DefaultStaticValue.class);
aoqi@0	95	run(StaticByteStable.class);
aoqi@0	96	run(VolatileByteStable.class);
aoqi@0	97
aoqi@0	98	// @Stable arrays: Dim 1-4
aoqi@0	99	run(ByteArrayDim1.class);
aoqi@0	100	run(ByteArrayDim2.class);
aoqi@0	101	run(ByteArrayDim3.class);
aoqi@0	102	run(ByteArrayDim4.class);
aoqi@0	103
aoqi@0	104	// @Stable Object field: dynamic arrays
aoqi@0	105	run(ObjectArrayLowerDim0.class);
aoqi@0	106	run(ObjectArrayLowerDim1.class);
aoqi@0	107	run(ObjectArrayLowerDim2.class);
aoqi@0	108
aoqi@0	109	// Nested @Stable fields
aoqi@0	110	run(NestedStableField.class);
aoqi@0	111	run(NestedStableField1.class);
aoqi@0	112	run(NestedStableField2.class);
aoqi@0	113	run(NestedStableField3.class);
aoqi@0	114
aoqi@0	115	if (failed) {
aoqi@0	116	throw new Error("TEST FAILED");
aoqi@0	117	}
aoqi@0	118	}
aoqi@0	119
aoqi@0	120	/* ==================================================== */
aoqi@0	121
aoqi@0	122	static class DefaultValue {
aoqi@0	123	public @Stable byte v;
aoqi@0	124
aoqi@0	125	public static final DefaultValue c = new DefaultValue();
aoqi@0	126	public static byte get() { return c.v; }
aoqi@0	127	public static void test() throws Exception {
aoqi@0	128	byte val1 = get();
aoqi@0	129	c.v = 1; byte val2 = get();
aoqi@0	130	assertEquals(val1, 0);
aoqi@0	131	assertEquals(val2, 1);
aoqi@0	132	}
aoqi@0	133	}
aoqi@0	134
aoqi@0	135	/* ==================================================== */
aoqi@0	136
aoqi@0	137	static class ByteStable {
aoqi@0	138	public @Stable byte v;
aoqi@0	139
aoqi@0	140	public static final ByteStable c = new ByteStable();
aoqi@0	141	public static byte get() { return c.v; }
aoqi@0	142	public static void test() throws Exception {
aoqi@0	143	c.v = 5; byte val1 = get();
aoqi@0	144	c.v = 127; byte val2 = get();
aoqi@0	145	assertEquals(val1, 5);
aoqi@0	146	assertEquals(val2, (isStableEnabled ? 5 : 127));
aoqi@0	147	}
aoqi@0	148	}
aoqi@0	149
aoqi@0	150	/* ==================================================== */
aoqi@0	151
aoqi@0	152	static class DefaultStaticValue {
aoqi@0	153	public static @Stable byte v;
aoqi@0	154
aoqi@0	155	public static final DefaultStaticValue c = new DefaultStaticValue();
aoqi@0	156	public static byte get() { return c.v; }
aoqi@0	157	public static void test() throws Exception {
aoqi@0	158	byte val1 = get();
aoqi@0	159	c.v = 1; byte val2 = get();
aoqi@0	160	assertEquals(val1, 0);
aoqi@0	161	assertEquals(val2, 1);
aoqi@0	162	}
aoqi@0	163	}
aoqi@0	164
aoqi@0	165	/* ==================================================== */
aoqi@0	166
aoqi@0	167	static class StaticByteStable {
aoqi@0	168	public static @Stable byte v;
aoqi@0	169
aoqi@0	170	public static final StaticByteStable c = new StaticByteStable();
aoqi@0	171	public static byte get() { return c.v; }
aoqi@0	172	public static void test() throws Exception {
aoqi@0	173	c.v = 5; byte val1 = get();
aoqi@0	174	c.v = 127; byte val2 = get();
aoqi@0	175	assertEquals(val1, 5);
aoqi@0	176	assertEquals(val2, (isStableEnabled ? 5 : 127));
aoqi@0	177	}
aoqi@0	178	}
aoqi@0	179
aoqi@0	180	/* ==================================================== */
aoqi@0	181
aoqi@0	182	static class VolatileByteStable {
aoqi@0	183	public @Stable volatile byte v;
aoqi@0	184
aoqi@0	185	public static final VolatileByteStable c = new VolatileByteStable();
aoqi@0	186	public static byte get() { return c.v; }
aoqi@0	187	public static void test() throws Exception {
aoqi@0	188	c.v = 5; byte val1 = get();
aoqi@0	189	c.v = 127; byte val2 = get();
aoqi@0	190	assertEquals(val1, 5);
aoqi@0	191	assertEquals(val2, (isStableEnabled ? 5 : 127));
aoqi@0	192	}
aoqi@0	193	}
aoqi@0	194
aoqi@0	195	/* ==================================================== */
aoqi@0	196	// @Stable array == field && all components are stable
aoqi@0	197
aoqi@0	198	static class ByteArrayDim1 {
aoqi@0	199	public @Stable byte[] v;
aoqi@0	200
aoqi@0	201	public static final ByteArrayDim1 c = new ByteArrayDim1();
aoqi@0	202	public static byte get() { return c.v[0]; }
aoqi@0	203	public static byte get1() { return c.v[10]; }
aoqi@0	204	public static byte[] get2() { return c.v; }
aoqi@0	205	public static void test() throws Exception {
aoqi@0	206	{
aoqi@0	207	c.v = new byte[1]; c.v[0] = 1; byte val1 = get();
aoqi@0	208	c.v[0] = 2; byte val2 = get();
aoqi@0	209	assertEquals(val1, 1);
aoqi@0	210	assertEquals(val2, (isServerWithStable ? 1 : 2));
aoqi@0	211
aoqi@0	212	c.v = new byte[1]; c.v[0] = 3; byte val3 = get();
aoqi@0	213	assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	214	: 3));
aoqi@0	215	}
aoqi@0	216
aoqi@0	217	{
aoqi@0	218	c.v = new byte[20]; c.v[10] = 1; byte val1 = get1();
aoqi@0	219	c.v[10] = 2; byte val2 = get1();
aoqi@0	220	assertEquals(val1, 1);
aoqi@0	221	assertEquals(val2, (isServerWithStable ? 1 : 2));
aoqi@0	222
aoqi@0	223	c.v = new byte[20]; c.v[10] = 3; byte val3 = get1();
aoqi@0	224	assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	225	: 3));
aoqi@0	226	}
aoqi@0	227
aoqi@0	228	{
aoqi@0	229	c.v = new byte[1]; byte[] val1 = get2();
aoqi@0	230	c.v = new byte[1]; byte[] val2 = get2();
aoqi@0	231	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	232	}
aoqi@0	233	}
aoqi@0	234	}
aoqi@0	235
aoqi@0	236	/* ==================================================== */
aoqi@0	237
aoqi@0	238	static class ByteArrayDim2 {
aoqi@0	239	public @Stable byte[][] v;
aoqi@0	240
aoqi@0	241	public static final ByteArrayDim2 c = new ByteArrayDim2();
aoqi@0	242	public static byte get() { return c.v[0][0]; }
aoqi@0	243	public static byte[] get1() { return c.v[0]; }
aoqi@0	244	public static byte[][] get2() { return c.v; }
aoqi@0	245	public static void test() throws Exception {
aoqi@0	246	{
aoqi@0	247	c.v = new byte[1][1]; c.v[0][0] = 1; byte val1 = get();
aoqi@0	248	c.v[0][0] = 2; byte val2 = get();
aoqi@0	249	assertEquals(val1, 1);
aoqi@0	250	assertEquals(val2, (isServerWithStable ? 1 : 2));
aoqi@0	251
aoqi@0	252	c.v = new byte[1][1]; c.v[0][0] = 3; byte val3 = get();
aoqi@0	253	assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	254	: 3));
aoqi@0	255
aoqi@0	256	c.v[0] = new byte[1]; c.v[0][0] = 4; byte val4 = get();
aoqi@0	257	assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	258	: 4));
aoqi@0	259	}
aoqi@0	260
aoqi@0	261	{
aoqi@0	262	c.v = new byte[1][1]; byte[] val1 = get1();
aoqi@0	263	c.v[0] = new byte[1]; byte[] val2 = get1();
aoqi@0	264	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	265	}
aoqi@0	266
aoqi@0	267	{
aoqi@0	268	c.v = new byte[1][1]; byte[][] val1 = get2();
aoqi@0	269	c.v = new byte[1][1]; byte[][] val2 = get2();
aoqi@0	270	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	271	}
aoqi@0	272	}
aoqi@0	273	}
aoqi@0	274
aoqi@0	275	/* ==================================================== */
aoqi@0	276
aoqi@0	277	static class ByteArrayDim3 {
aoqi@0	278	public @Stable byte[][][] v;
aoqi@0	279
aoqi@0	280	public static final ByteArrayDim3 c = new ByteArrayDim3();
aoqi@0	281	public static byte get() { return c.v[0][0][0]; }
aoqi@0	282	public static byte[] get1() { return c.v[0][0]; }
aoqi@0	283	public static byte[][] get2() { return c.v[0]; }
aoqi@0	284	public static byte[][][] get3() { return c.v; }
aoqi@0	285	public static void test() throws Exception {
aoqi@0	286	{
aoqi@0	287	c.v = new byte[1][1][1]; c.v[0][0][0] = 1; byte val1 = get();
aoqi@0	288	c.v[0][0][0] = 2; byte val2 = get();
aoqi@0	289	assertEquals(val1, 1);
aoqi@0	290	assertEquals(val2, (isServerWithStable ? 1 : 2));
aoqi@0	291
aoqi@0	292	c.v = new byte[1][1][1]; c.v[0][0][0] = 3; byte val3 = get();
aoqi@0	293	assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	294	: 3));
aoqi@0	295
aoqi@0	296	c.v[0] = new byte[1][1]; c.v[0][0][0] = 4; byte val4 = get();
aoqi@0	297	assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	298	: 4));
aoqi@0	299
aoqi@0	300	c.v[0][0] = new byte[1]; c.v[0][0][0] = 5; byte val5 = get();
aoqi@0	301	assertEquals(val5, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	302	: 5));
aoqi@0	303	}
aoqi@0	304
aoqi@0	305	{
aoqi@0	306	c.v = new byte[1][1][1]; byte[] val1 = get1();
aoqi@0	307	c.v[0][0] = new byte[1]; byte[] val2 = get1();
aoqi@0	308	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	309	}
aoqi@0	310
aoqi@0	311	{
aoqi@0	312	c.v = new byte[1][1][1]; byte[][] val1 = get2();
aoqi@0	313	c.v[0] = new byte[1][1]; byte[][] val2 = get2();
aoqi@0	314	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	315	}
aoqi@0	316
aoqi@0	317	{
aoqi@0	318	c.v = new byte[1][1][1]; byte[][][] val1 = get3();
aoqi@0	319	c.v = new byte[1][1][1]; byte[][][] val2 = get3();
aoqi@0	320	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	321	}
aoqi@0	322	}
aoqi@0	323	}
aoqi@0	324
aoqi@0	325	/* ==================================================== */
aoqi@0	326
aoqi@0	327	static class ByteArrayDim4 {
aoqi@0	328	public @Stable byte[][][][] v;
aoqi@0	329
aoqi@0	330	public static final ByteArrayDim4 c = new ByteArrayDim4();
aoqi@0	331	public static byte get() { return c.v[0][0][0][0]; }
aoqi@0	332	public static byte[] get1() { return c.v[0][0][0]; }
aoqi@0	333	public static byte[][] get2() { return c.v[0][0]; }
aoqi@0	334	public static byte[][][] get3() { return c.v[0]; }
aoqi@0	335	public static byte[][][][] get4() { return c.v; }
aoqi@0	336	public static void test() throws Exception {
aoqi@0	337	{
aoqi@0	338	c.v = new byte[1][1][1][1]; c.v[0][0][0][0] = 1; byte val1 = get();
aoqi@0	339	c.v[0][0][0][0] = 2; byte val2 = get();
aoqi@0	340	assertEquals(val1, 1);
aoqi@0	341	assertEquals(val2, (isServerWithStable ? 1 : 2));
aoqi@0	342
aoqi@0	343	c.v = new byte[1][1][1][1]; c.v[0][0][0][0] = 3; byte val3 = get();
aoqi@0	344	assertEquals(val3, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	345	: 3));
aoqi@0	346
aoqi@0	347	c.v[0] = new byte[1][1][1]; c.v[0][0][0][0] = 4; byte val4 = get();
aoqi@0	348	assertEquals(val4, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	349	: 4));
aoqi@0	350
aoqi@0	351	c.v[0][0] = new byte[1][1]; c.v[0][0][0][0] = 5; byte val5 = get();
aoqi@0	352	assertEquals(val5, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	353	: 5));
aoqi@0	354
aoqi@0	355	c.v[0][0][0] = new byte[1]; c.v[0][0][0][0] = 6; byte val6 = get();
aoqi@0	356	assertEquals(val6, (isStableEnabled ? (isServerWithStable ? 1 : 2)
aoqi@0	357	: 6));
aoqi@0	358	}
aoqi@0	359
aoqi@0	360	{
aoqi@0	361	c.v = new byte[1][1][1][1]; byte[] val1 = get1();
aoqi@0	362	c.v[0][0][0] = new byte[1]; byte[] val2 = get1();
aoqi@0	363	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	364	}
aoqi@0	365
aoqi@0	366	{
aoqi@0	367	c.v = new byte[1][1][1][1]; byte[][] val1 = get2();
aoqi@0	368	c.v[0][0] = new byte[1][1]; byte[][] val2 = get2();
aoqi@0	369	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	370	}
aoqi@0	371
aoqi@0	372	{
aoqi@0	373	c.v = new byte[1][1][1][1]; byte[][][] val1 = get3();
aoqi@0	374	c.v[0] = new byte[1][1][1]; byte[][][] val2 = get3();
aoqi@0	375	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	376	}
aoqi@0	377
aoqi@0	378	{
aoqi@0	379	c.v = new byte[1][1][1][1]; byte[][][][] val1 = get4();
aoqi@0	380	c.v = new byte[1][1][1][1]; byte[][][][] val2 = get4();
aoqi@0	381	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	382	}
aoqi@0	383
aoqi@0	384	}
aoqi@0	385	}
aoqi@0	386
aoqi@0	387	/* ==================================================== */
aoqi@0	388	// Dynamic Dim is higher than static
aoqi@0	389
aoqi@0	390	static class ObjectArrayLowerDim0 {
aoqi@0	391	public @Stable Object v;
aoqi@0	392
aoqi@0	393	public static final ObjectArrayLowerDim0 c = new ObjectArrayLowerDim0();
aoqi@0	394	public static byte get() { return ((byte[])c.v)[0]; }
aoqi@0	395	public static byte[] get1() { return (byte[])c.v; }
aoqi@0	396
aoqi@0	397	public static void test() throws Exception {
aoqi@0	398	{
aoqi@0	399	c.v = new byte[1]; ((byte[])c.v)[0] = 1; byte val1 = get();
aoqi@0	400	((byte[])c.v)[0] = 2; byte val2 = get();
aoqi@0	401
aoqi@0	402	assertEquals(val1, 1);
aoqi@0	403	assertEquals(val2, 2);
aoqi@0	404	}
aoqi@0	405
aoqi@0	406	{
aoqi@0	407	c.v = new byte[1]; byte[] val1 = get1();
aoqi@0	408	c.v = new byte[1]; byte[] val2 = get1();
aoqi@0	409	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	410	}
aoqi@0	411	}
aoqi@0	412	}
aoqi@0	413
aoqi@0	414	/* ==================================================== */
aoqi@0	415
aoqi@0	416	static class ObjectArrayLowerDim1 {
aoqi@0	417	public @Stable Object[] v;
aoqi@0	418
aoqi@0	419	public static final ObjectArrayLowerDim1 c = new ObjectArrayLowerDim1();
aoqi@0	420	public static byte get() { return ((byte[][])c.v)[0][0]; }
aoqi@0	421	public static byte[] get1() { return (byte[])(c.v[0]); }
aoqi@0	422	public static Object[] get2() { return c.v; }
aoqi@0	423
aoqi@0	424	public static void test() throws Exception {
aoqi@0	425	{
aoqi@0	426	c.v = new byte[1][1]; ((byte[][])c.v)[0][0] = 1; byte val1 = get();
aoqi@0	427	((byte[][])c.v)[0][0] = 2; byte val2 = get();
aoqi@0	428
aoqi@0	429	assertEquals(val1, 1);
aoqi@0	430	assertEquals(val2, 2);
aoqi@0	431	}
aoqi@0	432
aoqi@0	433	{
aoqi@0	434	c.v = new byte[1][1]; c.v[0] = new byte[0]; byte[] val1 = get1();
aoqi@0	435	c.v[0] = new byte[0]; byte[] val2 = get1();
aoqi@0	436
aoqi@0	437	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	438	}
aoqi@0	439
aoqi@0	440	{
aoqi@0	441	c.v = new byte[0][0]; Object[] val1 = get2();
aoqi@0	442	c.v = new byte[0][0]; Object[] val2 = get2();
aoqi@0	443
aoqi@0	444	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	445	}
aoqi@0	446	}
aoqi@0	447	}
aoqi@0	448
aoqi@0	449	/* ==================================================== */
aoqi@0	450
aoqi@0	451	static class ObjectArrayLowerDim2 {
aoqi@0	452	public @Stable Object[][] v;
aoqi@0	453
aoqi@0	454	public static final ObjectArrayLowerDim2 c = new ObjectArrayLowerDim2();
aoqi@0	455	public static byte get() { return ((byte[][][])c.v)[0][0][0]; }
aoqi@0	456	public static byte[] get1() { return (byte[])(c.v[0][0]); }
aoqi@0	457	public static byte[][] get2() { return (byte[][])(c.v[0]); }
aoqi@0	458	public static Object[][] get3() { return c.v; }
aoqi@0	459
aoqi@0	460	public static void test() throws Exception {
aoqi@0	461	{
aoqi@0	462	c.v = new byte[1][1][1]; ((byte[][][])c.v)[0][0][0] = 1; byte val1 = get();
aoqi@0	463	((byte[][][])c.v)[0][0][0] = 2; byte val2 = get();
aoqi@0	464
aoqi@0	465	assertEquals(val1, 1);
aoqi@0	466	assertEquals(val2, 2);
aoqi@0	467	}
aoqi@0	468
aoqi@0	469	{
aoqi@0	470	c.v = new byte[1][1][1]; c.v[0][0] = new byte[0]; byte[] val1 = get1();
aoqi@0	471	c.v[0][0] = new byte[0]; byte[] val2 = get1();
aoqi@0	472
aoqi@0	473	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	474	}
aoqi@0	475
aoqi@0	476	{
aoqi@0	477	c.v = new byte[1][1][1]; c.v[0] = new byte[0][0]; byte[][] val1 = get2();
aoqi@0	478	c.v[0] = new byte[0][0]; byte[][] val2 = get2();
aoqi@0	479
aoqi@0	480	assertTrue((isServerWithStable ? (val1 == val2) : (val1 != val2)));
aoqi@0	481	}
aoqi@0	482
aoqi@0	483	{
aoqi@0	484	c.v = new byte[0][0][0]; Object[][] val1 = get3();
aoqi@0	485	c.v = new byte[0][0][0]; Object[][] val2 = get3();
aoqi@0	486
aoqi@0	487	assertTrue((isStableEnabled ? (val1 == val2) : (val1 != val2)));
aoqi@0	488	}
aoqi@0	489	}
aoqi@0	490	}
aoqi@0	491
aoqi@0	492	/* ==================================================== */
aoqi@0	493
aoqi@0	494	static class NestedStableField {
aoqi@0	495	static class A {
aoqi@0	496	public @Stable byte a;
aoqi@0	497
aoqi@0	498	}
aoqi@0	499	public @Stable A v;
aoqi@0	500
aoqi@0	501	public static final NestedStableField c = new NestedStableField();
aoqi@0	502	public static A get() { return c.v; }
aoqi@0	503	public static byte get1() { return get().a; }
aoqi@0	504
aoqi@0	505	public static void test() throws Exception {
aoqi@0	506	{
aoqi@0	507	c.v = new A(); c.v.a = 1; A val1 = get();
aoqi@0	508	c.v.a = 2; A val2 = get();
aoqi@0	509
aoqi@0	510	assertEquals(val1.a, 2);
aoqi@0	511	assertEquals(val2.a, 2);
aoqi@0	512	}
aoqi@0	513
aoqi@0	514	{
aoqi@0	515	c.v = new A(); c.v.a = 1; byte val1 = get1();
aoqi@0	516	c.v.a = 2; byte val2 = get1();
aoqi@0	517	c.v = new A(); c.v.a = 3; byte val3 = get1();
aoqi@0	518
aoqi@0	519	assertEquals(val1, 1);
aoqi@0	520	assertEquals(val2, (isStableEnabled ? 1 : 2));
aoqi@0	521	assertEquals(val3, (isStableEnabled ? 1 : 3));
aoqi@0	522	}
aoqi@0	523	}
aoqi@0	524	}
aoqi@0	525
aoqi@0	526	/* ==================================================== */
aoqi@0	527
aoqi@0	528	static class NestedStableField1 {
aoqi@0	529	static class A {
aoqi@0	530	public @Stable byte a;
aoqi@0	531	public @Stable A next;
aoqi@0	532	}
aoqi@0	533	public @Stable A v;
aoqi@0	534
aoqi@0	535	public static final NestedStableField1 c = new NestedStableField1();
aoqi@0	536	public static A get() { return c.v.next.next.next.next.next.next.next; }
aoqi@0	537	public static byte get1() { return get().a; }
aoqi@0	538
aoqi@0	539	public static void test() throws Exception {
aoqi@0	540	{
aoqi@0	541	c.v = new A(); c.v.next = new A(); c.v.next.next = c.v;
aoqi@0	542	c.v.a = 1; c.v.next.a = 1; A val1 = get();
aoqi@0	543	c.v.a = 2; c.v.next.a = 2; A val2 = get();
aoqi@0	544
aoqi@0	545	assertEquals(val1.a, 2);
aoqi@0	546	assertEquals(val2.a, 2);
aoqi@0	547	}
aoqi@0	548
aoqi@0	549	{
aoqi@0	550	c.v = new A(); c.v.next = c.v;
aoqi@0	551	c.v.a = 1; byte val1 = get1();
aoqi@0	552	c.v.a = 2; byte val2 = get1();
aoqi@0	553	c.v = new A(); c.v.next = c.v;
aoqi@0	554	c.v.a = 3; byte val3 = get1();
aoqi@0	555
aoqi@0	556	assertEquals(val1, 1);
aoqi@0	557	assertEquals(val2, (isStableEnabled ? 1 : 2));
aoqi@0	558	assertEquals(val3, (isStableEnabled ? 1 : 3));
aoqi@0	559	}
aoqi@0	560	}
aoqi@0	561	}
aoqi@0	562	/* ==================================================== */
aoqi@0	563
aoqi@0	564	static class NestedStableField2 {
aoqi@0	565	static class A {
aoqi@0	566	public @Stable byte a;
aoqi@0	567	public @Stable A left;
aoqi@0	568	public A right;
aoqi@0	569	}
aoqi@0	570
aoqi@0	571	public @Stable A v;
aoqi@0	572
aoqi@0	573	public static final NestedStableField2 c = new NestedStableField2();
aoqi@0	574	public static byte get() { return c.v.left.left.left.a; }
aoqi@0	575	public static byte get1() { return c.v.left.left.right.left.a; }
aoqi@0	576
aoqi@0	577	public static void test() throws Exception {
aoqi@0	578	{
aoqi@0	579	c.v = new A(); c.v.left = c.v.right = c.v;
aoqi@0	580	c.v.a = 1; byte val1 = get(); byte val2 = get1();
aoqi@0	581	c.v.a = 2; byte val3 = get(); byte val4 = get1();
aoqi@0	582
aoqi@0	583	assertEquals(val1, 1);
aoqi@0	584	assertEquals(val3, (isStableEnabled ? 1 : 2));
aoqi@0	585
aoqi@0	586	assertEquals(val2, 1);
aoqi@0	587	assertEquals(val4, 2);
aoqi@0	588	}
aoqi@0	589	}
aoqi@0	590	}
aoqi@0	591
aoqi@0	592	/* ==================================================== */
aoqi@0	593
aoqi@0	594	static class NestedStableField3 {
aoqi@0	595	static class A {
aoqi@0	596	public @Stable byte a;
aoqi@0	597	public @Stable A[] left;
aoqi@0	598	public A[] right;
aoqi@0	599	}
aoqi@0	600
aoqi@0	601	public @Stable A[] v;
aoqi@0	602
aoqi@0	603	public static final NestedStableField3 c = new NestedStableField3();
aoqi@0	604	public static byte get() { return c.v[0].left[1].left[0].left[1].a; }
aoqi@0	605	public static byte get1() { return c.v[1].left[0].left[1].right[0].left[1].a; }
aoqi@0	606
aoqi@0	607	public static void test() throws Exception {
aoqi@0	608	{
aoqi@0	609	A elem = new A();
aoqi@0	610	c.v = new A[] { elem, elem }; c.v[0].left = c.v[0].right = c.v;
aoqi@0	611	elem.a = 1; byte val1 = get(); byte val2 = get1();
aoqi@0	612	elem.a = 2; byte val3 = get(); byte val4 = get1();
aoqi@0	613
aoqi@0	614	assertEquals(val1, 1);
aoqi@0	615	assertEquals(val3, (isServerWithStable ? 1 : 2));
aoqi@0	616
aoqi@0	617	assertEquals(val2, 1);
aoqi@0	618	assertEquals(val4, 2);
aoqi@0	619	}
aoqi@0	620	}
aoqi@0	621	}
aoqi@0	622
aoqi@0	623	/* ==================================================== */
aoqi@0	624	// Auxiliary methods
aoqi@0	625	static void assertEquals(int i, int j) { if (i != j) throw new AssertionError(i + " != " + j); }
aoqi@0	626	static void assertTrue(boolean b) { if (!b) throw new AssertionError(); }
aoqi@0	627
aoqi@0	628	static boolean failed = false;
aoqi@0	629
aoqi@0	630	public static void run(Class<?> test) {
aoqi@0	631	Throwable ex = null;
aoqi@0	632	System.out.print(test.getName()+": ");
aoqi@0	633	try {
aoqi@0	634	test.getMethod("test").invoke(null);
aoqi@0	635	} catch (InvocationTargetException e) {
aoqi@0	636	ex = e.getCause();
aoqi@0	637	} catch (Throwable e) {
aoqi@0	638	ex = e;
aoqi@0	639	} finally {
aoqi@0	640	if (ex == null) {
aoqi@0	641	System.out.println("PASSED");
aoqi@0	642	} else {
aoqi@0	643	failed = true;
aoqi@0	644	System.out.println("FAILED");
aoqi@0	645	ex.printStackTrace(System.out);
aoqi@0	646	}
aoqi@0	647	}
aoqi@0	648	}
aoqi@0	649	}