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

test/compiler/stable/TestStableInt.java@710a3c8b516e (annotated)

test/compiler/stable/TestStableInt.java

Tue, 08 Aug 2017 15:57:29 +0800

author

aoqi

date

Tue, 08 Aug 2017 15:57:29 +0800

changeset 6876

710a3c8b516e

parent 6747

ee1c924763d2

parent 0

f90c822e73f8

child 7994

04ff2f6cd0eb

permissions

-rw-r--r--

merge

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