jdk/test/java/lang/invoke/VarHandles/X-VarHandleTestByteArrayView.java.template
author psandoz
Tue, 26 Apr 2016 18:30:00 -0700
changeset 37668 34a002e5168a
parent 37343 35a2231828a7
child 37719 add11bc0e6e2
child 38357 f18eb84a3b96
permissions -rw-r--r--
8154556: Use java.nio.ByteOrder instead of boolean value Reviewed-by: alanb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     1
/*
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     2
 * Copyright (c) 2015, 2016, Oracle and/or its affiliates. All rights reserved.
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     4
 *
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     7
 * published by the Free Software Foundation.
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     8
 *
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    13
 * accompanied this code).
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    14
 *
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    18
 *
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    21
 * questions.
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    22
 */
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    23
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    24
/*
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    25
 * @test
37668
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    26
 * @bug 8154556
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    27
 * @run testng/othervm -Diters=20000 -XX:TieredStopAtLevel=1 VarHandleTestByteArrayAs$Type$
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    28
 * @run testng/othervm -Diters=20000                         VarHandleTestByteArrayAs$Type$
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    29
 * @run testng/othervm -Diters=20000 -XX:-TieredCompilation  VarHandleTestByteArrayAs$Type$
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    30
 */
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    31
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    32
import org.testng.annotations.DataProvider;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    33
import org.testng.annotations.Test;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    34
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    35
import java.lang.invoke.MethodHandles;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    36
import java.lang.invoke.VarHandle;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    37
import java.nio.ByteBuffer;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    38
import java.nio.ByteOrder;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    39
import java.util.ArrayList;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    40
import java.util.Arrays;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    41
import java.util.EnumSet;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    42
import java.util.List;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    43
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    44
import static org.testng.Assert.*;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    45
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    46
public class VarHandleTestByteArrayAs$Type$ extends VarHandleBaseByteArrayTest {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    47
    static final int SIZE = $BoxType$.BYTES;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    48
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    49
    static final $type$ VALUE_1 = $value1$;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    50
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    51
    static final $type$ VALUE_2 = $value2$;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    52
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    53
    static final $type$ VALUE_3 = $value3$;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    54
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    55
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    56
    @Override
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    57
    public void setupVarHandleSources() {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    58
        // Combinations of VarHandle byte[] or ByteBuffer
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    59
        vhss = new ArrayList<>();
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    60
        for (MemoryMode endianess : Arrays.asList(MemoryMode.BIG_ENDIAN, MemoryMode.LITTLE_ENDIAN)) {
37668
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    61
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    62
            ByteOrder bo = endianess == MemoryMode.BIG_ENDIAN
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    63
                    ? ByteOrder.BIG_ENDIAN : ByteOrder.LITTLE_ENDIAN;
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    64
            VarHandleSource aeh = new VarHandleSource(
37668
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    65
                    MethodHandles.byteArrayViewVarHandle($type$[].class, bo),
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    66
                    endianess, MemoryMode.READ_WRITE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    67
            vhss.add(aeh);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    68
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    69
            VarHandleSource bbh = new VarHandleSource(
37668
34a002e5168a 8154556: Use java.nio.ByteOrder instead of boolean value
psandoz
parents: 37343
diff changeset
    70
                    MethodHandles.byteBufferViewVarHandle($type$[].class, bo),
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    71
                    endianess, MemoryMode.READ_WRITE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    72
            vhss.add(bbh);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    73
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    74
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    75
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    76
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    77
    @Test(dataProvider = "varHandlesProvider")
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    78
    public void testIsAccessModeSupported(VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    79
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    80
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    81
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    82
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.SET));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    83
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    84
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_VOLATILE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    85
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.SET_VOLATILE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    86
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_ACQUIRE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    87
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.SET_RELEASE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    88
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_OPAQUE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    89
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.SET_OPAQUE));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    90
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
    91
#if[CAS]
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    92
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_SET));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    93
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_VOLATILE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    94
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_ACQUIRE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    95
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_RELEASE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    96
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    97
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET_ACQUIRE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    98
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET_RELEASE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
    99
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_SET));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   100
#else[CAS]
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   101
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_SET));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   102
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_VOLATILE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   103
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_ACQUIRE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   104
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE_RELEASE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   105
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   106
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET_ACQUIRE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   107
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET_RELEASE));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   108
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_SET));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   109
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   110
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   111
#if[AtomicAdd]
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   112
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_ADD));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   113
        assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.ADD_AND_GET));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   114
#else[AtomicAdd]
37343
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   115
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_ADD));
35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style
psandoz
parents: 36934
diff changeset
   116
        assertFalse(vh.isAccessModeSupported(VarHandle.AccessMode.ADD_AND_GET));
36934
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   117
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   118
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   119
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   120
    @Test(dataProvider = "typesProvider")
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   121
    public void testTypes(VarHandle vh, List<java.lang.Class<?>> pts) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   122
        assertEquals(vh.varType(), $type$.class);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   123
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   124
        assertEquals(vh.coordinateTypes(), pts);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   125
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   126
        testTypes(vh);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   127
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   128
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   129
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   130
    @DataProvider
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   131
    public Object[][] accessTestCaseProvider() throws Exception {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   132
        List<AccessTestCase<?>> cases = new ArrayList<>();
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   133
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   134
        for (ByteArrayViewSource<?> bav : bavss) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   135
            for (VarHandleSource vh : vhss) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   136
                if (vh.matches(bav)) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   137
                    if (bav instanceof ByteArraySource) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   138
                        ByteArraySource bas = (ByteArraySource) bav;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   139
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   140
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   141
                                "read write", bav, vh, h -> testArrayReadWrite(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   142
                                true));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   143
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   144
                                "unsupported", bav, vh, h -> testArrayUnsupported(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   145
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   146
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   147
                                "index out of bounds", bav, vh, h -> testArrayIndexOutOfBounds(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   148
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   149
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   150
                                "misaligned access", bav, vh, h -> testArrayMisalignedAccess(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   151
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   152
                    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   153
                    else {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   154
                        ByteBufferSource bbs = (ByteBufferSource) bav;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   155
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   156
                        if (MemoryMode.READ_WRITE.isSet(bav.memoryModes)) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   157
                            cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   158
                                    "read write", bav, vh, h -> testArrayReadWrite(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   159
                                    true));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   160
                        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   161
                        else {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   162
                            cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   163
                                    "read only", bav, vh, h -> testArrayReadOnly(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   164
                                    true));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   165
                        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   166
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   167
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   168
                                "unsupported", bav, vh, h -> testArrayUnsupported(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   169
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   170
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   171
                                "index out of bounds", bav, vh, h -> testArrayIndexOutOfBounds(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   172
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   173
                        cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   174
                                "misaligned access", bav, vh, h -> testArrayMisalignedAccess(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   175
                                false));
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   176
                    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   177
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   178
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   179
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   180
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   181
        // Work around issue with jtreg summary reporting which truncates
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   182
        // the String result of Object.toString to 30 characters, hence
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   183
        // the first dummy argument
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   184
        return cases.stream().map(tc -> new Object[]{tc.toString(), tc}).toArray(Object[][]::new);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   185
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   186
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   187
    @Test(dataProvider = "accessTestCaseProvider")
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   188
    public <T> void testAccess(String desc, AccessTestCase<T> atc) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   189
        T t = atc.get();
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   190
        int iters = atc.requiresLoop() ? ITERS : 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   191
        for (int c = 0; c < iters; c++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   192
            atc.testAccess(t);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   193
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   194
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   195
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   196
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   197
    static void testArrayUnsupported(ByteArraySource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   198
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   199
        byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   200
        int ci = 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   201
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   202
#if[!CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   203
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   204
            boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   205
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   206
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   207
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   208
            $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   209
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   210
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   211
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   212
            $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   213
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   214
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   215
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   216
            $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   217
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   218
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   219
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   220
            boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   221
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   222
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   223
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   224
            boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   225
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   226
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   227
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   228
            boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   229
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   230
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   231
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   232
            $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   233
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   234
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   235
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   236
#if[!AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   237
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   238
            $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   239
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   240
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   241
        checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   242
            $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   243
        });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   244
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   245
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   246
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   247
    static void testArrayUnsupported(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   248
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   249
        ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   250
        int ci = 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   251
        boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   252
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   253
        if (readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   254
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   255
                vh.set(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   256
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   257
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   258
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   259
        if (readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   260
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   261
                vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   262
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   263
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   264
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   265
                vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   266
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   267
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   268
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   269
                vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   270
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   271
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   272
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   273
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   274
                boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   275
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   276
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   277
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   278
                $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   279
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   280
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   281
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   282
                $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   283
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   284
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   285
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   286
                $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   287
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   288
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   289
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   290
                boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   291
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   292
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   293
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   294
                boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   295
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   296
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   297
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   298
                boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   299
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   300
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   301
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   302
                $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   303
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   304
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   305
                boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   306
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   307
#else[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   308
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   309
                $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   310
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   311
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   312
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   313
                $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   314
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   315
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   316
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   317
                $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   318
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   319
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   320
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   321
                boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   322
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   323
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   324
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   325
                boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   326
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   327
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   328
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   329
                boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   330
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   331
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   332
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   333
                $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   334
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   335
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   336
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   337
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   338
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   339
                $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   340
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   341
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   342
            checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   343
                $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   344
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   345
#else[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   346
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   347
                $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   348
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   349
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   350
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   351
                $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   352
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   353
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   354
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   355
        else {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   356
#if[!CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   357
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   358
                boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   359
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   360
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   361
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   362
                $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   363
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   364
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   365
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   366
                $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   367
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   368
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   369
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   370
                $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   371
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   372
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   373
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   374
                boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   375
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   376
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   377
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   378
                boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   379
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   380
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   381
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   382
                boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   383
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   384
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   385
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   386
                $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   387
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   388
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   389
#if[!AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   390
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   391
                $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   392
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   393
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   394
            checkUOE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   395
                $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   396
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   397
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   398
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   399
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   400
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   401
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   402
    static void testArrayIndexOutOfBounds(ByteArraySource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   403
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   404
        byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   405
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   406
        int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   407
        for (int i : new int[]{-1, Integer.MIN_VALUE, length, length + 1, Integer.MAX_VALUE}) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   408
            final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   409
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   410
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   411
                $type$ x = ($type$) vh.get(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   412
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   413
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   414
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   415
                vh.set(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   416
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   417
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   418
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   419
                $type$ x = ($type$) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   420
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   421
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   422
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   423
                $type$ x = ($type$) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   424
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   425
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   426
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   427
                $type$ x = ($type$) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   428
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   429
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   430
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   431
                vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   432
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   433
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   434
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   435
                vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   436
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   437
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   438
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   439
                vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   440
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   441
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   442
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   443
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   444
                boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   445
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   446
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   447
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   448
                $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   449
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   450
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   451
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   452
                $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   453
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   454
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   455
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   456
                $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   457
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   458
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   459
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   460
                boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   461
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   462
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   463
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   464
                boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   465
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   466
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   467
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   468
                boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   469
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   470
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   471
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   472
                $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   473
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   474
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   475
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   476
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   477
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   478
                $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   479
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   480
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   481
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   482
                $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   483
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   484
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   485
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   486
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   487
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   488
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   489
    static void testArrayIndexOutOfBounds(ByteBufferSource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   490
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   491
        ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   492
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   493
        boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   494
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   495
        int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   496
        for (int i : new int[]{-1, Integer.MIN_VALUE, length, length + 1, Integer.MAX_VALUE}) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   497
            final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   498
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   499
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   500
                $type$ x = ($type$) vh.get(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   501
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   502
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   503
            if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   504
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   505
                    vh.set(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   506
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   507
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   508
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   509
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   510
                $type$ x = ($type$) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   511
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   512
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   513
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   514
                $type$ x = ($type$) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   515
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   516
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   517
            checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   518
                $type$ x = ($type$) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   519
            });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   520
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   521
            if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   522
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   523
                    vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   524
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   525
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   526
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   527
                    vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   528
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   529
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   530
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   531
                    vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   532
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   533
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   534
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   535
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   536
                    boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   537
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   538
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   539
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   540
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   541
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   542
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   543
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   544
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   545
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   546
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   547
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   548
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   549
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   550
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   551
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   552
                    boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   553
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   554
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   555
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   556
                    boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   557
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   558
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   559
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   560
                    boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   561
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   562
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   563
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   564
                    $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   565
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   566
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   567
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   568
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   569
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   570
                    $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   571
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   572
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   573
                checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   574
                    $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   575
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   576
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   577
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   578
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   579
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   580
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   581
    static void testArrayMisalignedAccess(ByteArraySource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   582
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   583
        byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   584
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   585
        int misalignmentAtZero = ByteBuffer.wrap(array).alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   586
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   587
        int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   588
        for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   589
            boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   590
            final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   591
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   592
            if (!iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   593
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   594
                    $type$ x = ($type$) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   595
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   596
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   597
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   598
                    $type$ x = ($type$) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   599
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   600
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   601
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   602
                    $type$ x = ($type$) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   603
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   604
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   605
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   606
                    vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   607
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   608
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   609
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   610
                    vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   611
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   612
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   613
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   614
                    vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   615
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   616
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   617
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   618
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   619
                    boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   620
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   621
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   622
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   623
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   624
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   625
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   626
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   627
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   628
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   629
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   630
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   631
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   632
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   633
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   634
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   635
                    boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   636
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   637
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   638
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   639
                    boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   640
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   641
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   642
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   643
                    boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   644
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   645
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   646
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   647
                    $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   648
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   649
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   650
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   651
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   652
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   653
                    $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   654
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   655
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   656
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   657
                    $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   658
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   659
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   660
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   661
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   662
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   663
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   664
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   665
    static void testArrayMisalignedAccess(ByteBufferSource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   666
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   667
        ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   668
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   669
        boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   670
        int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   671
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   672
        int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   673
        for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   674
            boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   675
            final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   676
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   677
            if (!iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   678
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   679
                    $type$ x = ($type$) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   680
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   681
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   682
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   683
                    $type$ x = ($type$) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   684
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   685
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   686
                checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   687
                    $type$ x = ($type$) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   688
                });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   689
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   690
                if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   691
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   692
                        vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   693
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   694
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   695
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   696
                        vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   697
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   698
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   699
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   700
                        vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   701
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   702
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   703
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   704
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   705
                        boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   706
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   707
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   708
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   709
                        $type$ r = ($type$) vh.compareAndExchangeVolatile(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   710
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   711
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   712
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   713
                        $type$ r = ($type$) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   714
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   715
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   716
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   717
                        $type$ r = ($type$) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   718
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   719
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   720
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   721
                        boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   722
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   723
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   724
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   725
                        boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   726
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   727
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   728
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   729
                        boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   730
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   731
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   732
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   733
                        $type$ o = ($type$) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   734
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   735
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   736
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   737
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   738
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   739
                        $type$ o = ($type$) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   740
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   741
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   742
                    checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   743
                        $type$ o = ($type$) vh.addAndGet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   744
                    });
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   745
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   746
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   747
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   748
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   749
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   750
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   751
    static void testArrayReadWrite(ByteArraySource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   752
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   753
        byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   754
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   755
        int misalignmentAtZero = ByteBuffer.wrap(array).alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   756
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   757
        bs.fill((byte) 0xff);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   758
        int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   759
        for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   760
            boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   761
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   762
            // Plain
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   763
            {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   764
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   765
                $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   766
                assertEquals(x, VALUE_1, "get $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   767
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   768
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   769
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   770
            if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   771
                // Volatile
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   772
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   773
                    vh.setVolatile(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   774
                    $type$ x = ($type$) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   775
                    assertEquals(x, VALUE_2, "setVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   776
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   777
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   778
                // Lazy
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   779
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   780
                    vh.setRelease(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   781
                    $type$ x = ($type$) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   782
                    assertEquals(x, VALUE_1, "setRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   783
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   784
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   785
                // Opaque
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   786
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   787
                    vh.setOpaque(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   788
                    $type$ x = ($type$) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   789
                    assertEquals(x, VALUE_2, "setOpaque $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   790
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   791
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   792
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   793
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   794
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   795
                // Compare
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   796
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   797
                    boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   798
                    assertEquals(r, true, "success compareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   799
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   800
                    assertEquals(x, VALUE_2, "success compareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   801
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   802
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   803
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   804
                    boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   805
                    assertEquals(r, false, "failing compareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   806
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   807
                    assertEquals(x, VALUE_2, "failing compareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   808
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   809
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   810
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   811
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   812
                    assertEquals(r, VALUE_2, "success compareAndExchangeVolatile $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   813
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   814
                    assertEquals(x, VALUE_1, "success compareAndExchangeVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   815
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   816
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   817
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   818
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   819
                    assertEquals(r, VALUE_1, "failing compareAndExchangeVolatile $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   820
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   821
                    assertEquals(x, VALUE_1, "failing compareAndExchangeVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   822
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   823
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   824
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   825
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   826
                    assertEquals(r, VALUE_1, "success compareAndExchangeAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   827
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   828
                    assertEquals(x, VALUE_2, "success compareAndExchangeAcquire $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   829
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   830
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   831
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   832
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   833
                    assertEquals(r, VALUE_2, "failing compareAndExchangeAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   834
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   835
                    assertEquals(x, VALUE_2, "failing compareAndExchangeAcquire $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   836
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   837
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   838
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   839
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   840
                    assertEquals(r, VALUE_2, "success compareAndExchangeRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   841
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   842
                    assertEquals(x, VALUE_1, "success compareAndExchangeRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   843
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   844
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   845
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   846
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   847
                    assertEquals(r, VALUE_1, "failing compareAndExchangeRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   848
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   849
                    assertEquals(x, VALUE_1, "failing compareAndExchangeRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   850
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   851
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   852
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   853
                    boolean r = vh.weakCompareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   854
                    assertEquals(r, true, "weakCompareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   855
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   856
                    assertEquals(x, VALUE_2, "weakCompareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   857
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   858
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   859
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   860
                    boolean r = vh.weakCompareAndSetAcquire(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   861
                    assertEquals(r, true, "weakCompareAndSetAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   862
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   863
                    assertEquals(x, VALUE_1, "weakCompareAndSetAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   864
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   865
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   866
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   867
                    boolean r = vh.weakCompareAndSetRelease(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   868
                    assertEquals(r, true, "weakCompareAndSetRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   869
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   870
                    assertEquals(x, VALUE_2, "weakCompareAndSetRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   871
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   872
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   873
                // Compare set and get
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   874
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   875
                    $type$ o = ($type$) vh.getAndSet(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   876
                    assertEquals(o, VALUE_2, "getAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   877
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   878
                    assertEquals(x, VALUE_1, "getAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   879
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   880
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   881
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   882
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   883
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   884
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   885
                // get and add, add and get
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   886
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   887
                    $type$ o = ($type$) vh.getAndAdd(array, i, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   888
                    assertEquals(o, VALUE_1, "getAndAdd $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   889
                    $type$ c = ($type$) vh.addAndGet(array, i, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   890
                    assertEquals(c, VALUE_1 + VALUE_3 + VALUE_3, "getAndAdd $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   891
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   892
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   893
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   894
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   895
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   896
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   897
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   898
    static void testArrayReadWrite(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   899
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   900
        ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   901
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   902
        int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   903
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   904
        bs.fill((byte) 0xff);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   905
        int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   906
        for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   907
            boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   908
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   909
            // Plain
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   910
            {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   911
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   912
                $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   913
                assertEquals(x, VALUE_1, "get $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   914
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   915
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   916
            if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   917
                // Volatile
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   918
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   919
                    vh.setVolatile(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   920
                    $type$ x = ($type$) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   921
                    assertEquals(x, VALUE_2, "setVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   922
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   923
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   924
                // Lazy
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   925
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   926
                    vh.setRelease(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   927
                    $type$ x = ($type$) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   928
                    assertEquals(x, VALUE_1, "setRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   929
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   930
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   931
                // Opaque
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   932
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   933
                    vh.setOpaque(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   934
                    $type$ x = ($type$) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   935
                    assertEquals(x, VALUE_2, "setOpaque $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   936
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   937
#if[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   938
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   939
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   940
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   941
                // Compare
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   942
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   943
                    boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   944
                    assertEquals(r, true, "success compareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   945
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   946
                    assertEquals(x, VALUE_2, "success compareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   947
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   948
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   949
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   950
                    boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   951
                    assertEquals(r, false, "failing compareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   952
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   953
                    assertEquals(x, VALUE_2, "failing compareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   954
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   955
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   956
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   957
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   958
                    assertEquals(r, VALUE_2, "success compareAndExchangeVolatile $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   959
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   960
                    assertEquals(x, VALUE_1, "success compareAndExchangeVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   961
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   962
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   963
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   964
                    $type$ r = ($type$) vh.compareAndExchangeVolatile(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   965
                    assertEquals(r, VALUE_1, "failing compareAndExchangeVolatile $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   966
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   967
                    assertEquals(x, VALUE_1, "failing compareAndExchangeVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   968
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   969
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   970
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   971
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   972
                    assertEquals(r, VALUE_1, "success compareAndExchangeAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   973
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   974
                    assertEquals(x, VALUE_2, "success compareAndExchangeAcquire $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   975
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   976
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   977
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   978
                    $type$ r = ($type$) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   979
                    assertEquals(r, VALUE_2, "failing compareAndExchangeAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   980
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   981
                    assertEquals(x, VALUE_2, "failing compareAndExchangeAcquire $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   982
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   983
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   984
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   985
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   986
                    assertEquals(r, VALUE_2, "success compareAndExchangeRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   987
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   988
                    assertEquals(x, VALUE_1, "success compareAndExchangeRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   989
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   990
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   991
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   992
                    $type$ r = ($type$) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   993
                    assertEquals(r, VALUE_1, "failing compareAndExchangeRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   994
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   995
                    assertEquals(x, VALUE_1, "failing compareAndExchangeRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   996
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   997
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   998
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
   999
                    boolean r = vh.weakCompareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1000
                    assertEquals(r, true, "weakCompareAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1001
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1002
                    assertEquals(x, VALUE_2, "weakCompareAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1003
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1004
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1005
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1006
                    boolean r = vh.weakCompareAndSetAcquire(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1007
                    assertEquals(r, true, "weakCompareAndSetAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1008
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1009
                    assertEquals(x, VALUE_1, "weakCompareAndSetAcquire $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1010
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1011
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1012
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1013
                    boolean r = vh.weakCompareAndSetRelease(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1014
                    assertEquals(r, true, "weakCompareAndSetRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1015
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1016
                    assertEquals(x, VALUE_2, "weakCompareAndSetRelease $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1017
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1018
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1019
                // Compare set and get
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1020
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1021
                    $type$ o = ($type$) vh.getAndSet(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1022
                    assertEquals(o, VALUE_2, "getAndSet $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1023
                    $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1024
                    assertEquals(x, VALUE_1, "getAndSet $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1025
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1026
#end[CAS]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1027
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1028
#if[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1029
                vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1030
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1031
                // get and add, add and get
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1032
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1033
                    $type$ o = ($type$) vh.getAndAdd(array, i, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1034
                    assertEquals(o, VALUE_1, "getAndAdd $type$");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1035
                    $type$ c = ($type$) vh.addAndGet(array, i, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1036
                    assertEquals(c, VALUE_1 + VALUE_3 + VALUE_3, "getAndAdd $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1037
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1038
#end[AtomicAdd]
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1039
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1040
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1041
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1042
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1043
    static void testArrayReadOnly(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1044
        VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1045
        ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1046
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1047
        int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1048
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1049
        ByteBuffer bb = ByteBuffer.allocate(SIZE);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1050
        bb.order(MemoryMode.BIG_ENDIAN.isSet(vhs.memoryModes) ? ByteOrder.BIG_ENDIAN : ByteOrder.LITTLE_ENDIAN);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1051
        bs.fill(bb.put$Type$(0, VALUE_2).array());
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1052
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1053
        int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1054
        for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1055
            boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1056
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1057
            $type$ v = MemoryMode.BIG_ENDIAN.isSet(vhs.memoryModes)
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1058
                    ? rotateLeft(VALUE_2, (i % SIZE) << 3)
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1059
                    : rotateRight(VALUE_2, (i % SIZE) << 3);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1060
            // Plain
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1061
            {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1062
                $type$ x = ($type$) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1063
                assertEquals(x, v, "get $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1064
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1065
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1066
            if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1067
                // Volatile
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1068
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1069
                    $type$ x = ($type$) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1070
                    assertEquals(x, v, "getVolatile $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1071
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1072
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1073
                // Lazy
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1074
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1075
                    $type$ x = ($type$) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1076
                    assertEquals(x, v, "getRelease $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1077
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1078
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1079
                // Opaque
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1080
                {
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1081
                    $type$ x = ($type$) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1082
                    assertEquals(x, v, "getOpaque $type$ value");
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1083
                }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1084
            }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1085
        }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1086
    }
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1087
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1088
}
590fc47a0aeb 8149644: Integrate VarHandles
psandoz
parents:
diff changeset
  1089