test/hotspot/jtreg/compiler/c2/Test8000805.java
author iignatyev
Mon, 18 Feb 2019 09:31:07 -0800
changeset 53791 bec6c8739833
parent 47216 71c04702a3d5
permissions -rw-r--r--
8219157: vm/mlvm/mixed/stress/java/findDeadlock should be problem-listed only on mac Reviewed-by: thartmann
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
     1
/*
22234
da823d78ad65 8029233: Update copyright year to match last edit in jdk8 hotspot repository for 2013
mikael
parents: 15864
diff changeset
     2
 * Copyright (c) 2012, 2013, Oracle and/or its affiliates. All rights reserved.
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
     4
 *
291ac612f0c6 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
291ac612f0c6 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
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
     7
 * published by the Free Software Foundation.
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
     8
 *
291ac612f0c6 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
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
291ac612f0c6 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
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    13
 * accompanied this code).
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    14
 *
291ac612f0c6 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
291ac612f0c6 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,
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    18
 *
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
291ac612f0c6 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
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    21
 * questions.
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    22
 */
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    23
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    24
/**
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    25
 * @test
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    26
 * @bug 8000805
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    27
 * @summary JMM issue: short loads are non-atomic
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    28
 *
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    29
 * @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:-TieredCompilation -Xcomp
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    30
 *      -XX:+PrintCompilation
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    31
 *      -XX:CompileCommand=compileonly,compiler.c2.Test8000805::load*
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    32
 *      compiler.c2.Test8000805
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    33
 */
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    34
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    35
package compiler.c2;
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    36
public class Test8000805 {
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    37
    static long  loadS2LmaskFF (short[] sa) { return sa[0] & 0xFF; }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    38
    static long _loadS2LmaskFF (short[] sa) { return sa[0] & 0xFF; }
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    39
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    40
    static long  loadS2Lmask16 (short[] sa) { return sa[0] & 0xFFFE; }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    41
    static long _loadS2Lmask16 (short[] sa) { return sa[0] & 0xFFFE; }
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    42
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    43
    static long  loadS2Lmask13 (short[] sa) { return sa[0] & 0x0FFF; }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    44
    static long _loadS2Lmask13 (short[] sa) { return sa[0] & 0x0FFF; }
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    45
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    46
    static int  loadUS_signExt (char[] ca) { return (ca[0] << 16) >> 16; }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    47
    static int _loadUS_signExt (char[] ca) { return (ca[0] << 16) >> 16; }
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    48
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    49
    static long  loadB2L_mask8 (byte[] ba) { return ba[0] & 0x55; }
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    50
    static long _loadB2L_mask8 (byte[] ba) { return ba[0] & 0x55; }
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    51
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    52
    public static void main(String[] args) {
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    53
        for (int i = Byte.MIN_VALUE; i < Byte.MAX_VALUE; i++) {
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    54
            byte[] ba = new byte[]  { (byte) i};
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    55
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    56
            { long v1 =  loadB2L_mask8(ba);
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    57
              long v2 = _loadB2L_mask8(ba);
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    58
              if (v1 != v2)
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    59
              throw new InternalError(String.format("loadB2L_mask8 failed: %x != %x", v1, v2)); }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    60
        }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    61
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    62
        for (int i = Short.MIN_VALUE; i < Short.MAX_VALUE; i++) {
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    63
            short[] sa = new short[] { (short)i };
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    64
            char[] ca = new char[] { (char)i };
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    65
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    66
            { long v1 =  loadS2LmaskFF(sa);
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    67
              long v2 = _loadS2LmaskFF(sa);
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    68
              if (v1 != v2)
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    69
              throw new InternalError(String.format("loadS2LmaskFF failed: %x != %x", v1, v2)); }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    70
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    71
            { long v1 =  loadS2Lmask16(sa);
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    72
              long v2 = _loadS2Lmask16(sa);
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    73
              if (v1 != v2)
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    74
              throw new InternalError(String.format("loadS2Lmask16 failed: %x != %x", v1, v2)); }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    75
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    76
            { long v1 =  loadS2Lmask13(sa);
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    77
              long v2 = _loadS2Lmask13(sa);
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    78
              if (v1 != v2)
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    79
              throw new InternalError(String.format("loadS2Lmask13 failed: %x != %x", v1, v2)); }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    80
40059
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    81
            { int v1 =  loadUS_signExt(ca);
c2304140ed64 8132919: Put compiler tests in packages
tpivovarova
parents: 27699
diff changeset
    82
              int v2 = _loadUS_signExt(ca);
14129
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    83
              if (v1 != v2)
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    84
                throw new InternalError(String.format("loadUS_signExt failed: %x != %x", v1, v2)); }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    85
        }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    86
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    87
        System.out.println("TEST PASSED.");
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    88
    }
291ac612f0c6 8000805: JMM issue: short loads are non-atomic
vlivanov
parents:
diff changeset
    89
}