test/compiler/stable/TestStableInt.java

Mon, 28 Jul 2014 15:06:38 -0700

author
fzhinkin
date
Mon, 28 Jul 2014 15:06:38 -0700
changeset 6997
dbb05f6d93c4
parent 6747
ee1c924763d2
child 6876
710a3c8b516e
child 7787
1ec24746bb40
permissions
-rw-r--r--

8051344: JVM crashed in Compile::start() during method parsing w/ UseRTMDeopt turned on
Summary: call rtm_deopt() only if there were no compilation bailouts before.
Reviewed-by: kvn

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

mercurial