test/compiler/stable/TestStableBoolean.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

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

mercurial