annotate test/compiler/8000805/Test8000805.java @ 12986:1b422ef5288a

8025728: Missing volatile specifier for field G1AllocRegion::_alloc_region Summary: The field G1AllocRegion::_alloc_region needs to be declared volatile as it is used with that intention. Otherwise the compiler may generate the code that reloads the value which might have changed in the meantime, leading to spurious crashes. Reviewed-by: iveresov, simonis, tschatzl Contributed-by: Axel Siebenborn <axel.siebenborn@sap.com>
author tschatzl
date Wed, 23 Oct 2013 10:23:06 +0200
parents 7369298bec7e
children de6a9e811145
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6891
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
1 /*
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
4 *
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
7 * published by the Free Software Foundation.
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
8 *
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
13 * accompanied this code).
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
14 *
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
18 *
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
21 * questions.
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
22 */
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
23
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
24 /**
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
25 * @test
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
26 * @bug 8000805
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
27 * @summary JMM issue: short loads are non-atomic
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
28 *
8684
7369298bec7e 7115383: TEST_BUG: some jtreg tests fail because they explicitly specify -server option
collins
parents: 6891
diff changeset
29 * @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:-TieredCompilation -Xcomp -XX:+PrintCompilation -XX:CompileOnly=Test8000805.loadS2LmaskFF,Test8000805.loadS2Lmask16,Test8000805.loadS2Lmask13,Test8000805.loadUS_signExt,Test8000805.loadB2L_mask8 Test8000805
6891
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
30 */
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
31
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
32 public class Test8000805 {
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
33 static long loadS2LmaskFF (short[] sa) { return sa[0] & 0xFF; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
34 static long loadS2LmaskFF_1 (short[] sa) { return sa[0] & 0xFF; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
35
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
36 static long loadS2Lmask16 (short[] sa) { return sa[0] & 0xFFFE; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
37 static long loadS2Lmask16_1 (short[] sa) { return sa[0] & 0xFFFE; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
38
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
39 static long loadS2Lmask13 (short[] sa) { return sa[0] & 0x0FFF; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
40 static long loadS2Lmask13_1 (short[] sa) { return sa[0] & 0x0FFF; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
41
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
42 static int loadUS_signExt (char[] ca) { return (ca[0] << 16) >> 16; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
43 static int loadUS_signExt_1 (char[] ca) { return (ca[0] << 16) >> 16; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
44
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
45 static long loadB2L_mask8 (byte[] ba) { return ba[0] & 0x55; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
46 static long loadB2L_mask8_1 (byte[] ba) { return ba[0] & 0x55; }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
47
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
48 public static void main(String[] args) {
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
49 for (int i = Byte.MIN_VALUE; i < Byte.MAX_VALUE; i++) {
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
50 byte[] ba = new byte[] { (byte) i};
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
51
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
52 { long v1 = loadB2L_mask8(ba);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
53 long v2 = loadB2L_mask8_1(ba);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
54 if (v1 != v2)
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
55 throw new InternalError(String.format("loadB2L_mask8 failed: %x != %x", v1, v2)); }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
56 }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
57
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
58 for (int i = Short.MIN_VALUE; i < Short.MAX_VALUE; i++) {
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
59 short[] sa = new short[] { (short)i };
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
60 char[] ca = new char[] { (char)i };
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
61
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
62 { long v1 = loadS2LmaskFF(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
63 long v2 = loadS2LmaskFF_1(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
64 if (v1 != v2)
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
65 throw new InternalError(String.format("loadS2LmaskFF failed: %x != %x", v1, v2)); }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
66
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
67 { long v1 = loadS2Lmask16(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
68 long v2 = loadS2Lmask16_1(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
69 if (v1 != v2)
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
70 throw new InternalError(String.format("loadS2Lmask16 failed: %x != %x", v1, v2)); }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
71
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
72 { long v1 = loadS2Lmask13(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
73 long v2 = loadS2Lmask13_1(sa);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
74 if (v1 != v2)
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
75 throw new InternalError(String.format("loadS2Lmask13 failed: %x != %x", v1, v2)); }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
76
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
77 { int v1 = loadUS_signExt(ca);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
78 int v2 = loadUS_signExt_1(ca);
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
79 if (v1 != v2)
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
80 throw new InternalError(String.format("loadUS_signExt failed: %x != %x", v1, v2)); }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
81 }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
82
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
83 System.out.println("TEST PASSED.");
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
84 }
67f4c477c9ab 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
85 }