jdk-sandbox: test/jdk/java/lang/invoke/VarHandles/VarHandleTestByteArrayAsInt.java@38872bed90e0 (annotated)

36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1	/*
48710 38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	2	* Copyright (c) 2015, 2018, Oracle and/or its affiliates. All rights reserved.
36934 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 VarHandleTestByteArrayAsInt
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	28	* @run testng/othervm -Diters=20000 VarHandleTestByteArrayAsInt
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	29	* @run testng/othervm -Diters=20000 -XX:-TieredCompilation VarHandleTestByteArrayAsInt
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;
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	41	import java.util.EnumSet;
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	42	import java.util.List;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	43
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	44	import static org.testng.Assert.*;
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	45
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	46	public class VarHandleTestByteArrayAsInt extends VarHandleBaseByteArrayTest {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	47	static final int SIZE = Integer.BYTES;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	48
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	49	static final int VALUE_1 = 0x01020304;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	50
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	51	static final int VALUE_2 = 0x11121314;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	52
38382 98d5a441bc2f 8157152: Atomic add for VarHandle byte[]/ByteBuffer views is incorrect for endian conversion psandoz parents: 38368 diff changeset	53	static final int VALUE_3 = 0xFFFEFDFC;
36934 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(int[].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(int[].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
37343 35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style psandoz parents: 36934 diff changeset	91	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_SET));
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	92	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.COMPARE_AND_EXCHANGE));
37343 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_ACQUIRE));
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_RELEASE));
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	95	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.WEAK_COMPARE_AND_SET_PLAIN));
37343 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));
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	100	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_SET_ACQUIRE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	101	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_SET_RELEASE));
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	102
37343 35a2231828a7 8151705: VarHandle.AccessMode enum names should conform to code style psandoz parents: 36934 diff changeset	103	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_ADD));
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	104	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_ADD_ACQUIRE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	105	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_ADD_RELEASE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	106
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	107	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_OR));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	108	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_OR_ACQUIRE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	109	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_OR_RELEASE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	110	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_AND));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	111	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_AND_ACQUIRE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	112	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_AND_RELEASE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	113	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_XOR));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	114	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_XOR_ACQUIRE));
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	115	assertTrue(vh.isAccessModeSupported(VarHandle.AccessMode.GET_AND_BITWISE_XOR_RELEASE));
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	116	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	117
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	118	@Test(dataProvider = "typesProvider")
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	119	public void testTypes(VarHandle vh, List<java.lang.Class<?>> pts) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	120	assertEquals(vh.varType(), int.class);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	121
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	122	assertEquals(vh.coordinateTypes(), pts);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	123
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	124	testTypes(vh);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	125	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	126
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	127
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	128	@DataProvider
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	129	public Object[][] accessTestCaseProvider() throws Exception {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	130	List<AccessTestCase<?>> cases = new ArrayList<>();
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	131
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	132	for (ByteArrayViewSource<?> bav : bavss) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	133	for (VarHandleSource vh : vhss) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	134	if (vh.matches(bav)) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	135	if (bav instanceof ByteArraySource) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	136	ByteArraySource bas = (ByteArraySource) bav;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	137
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	138	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	139	"read write", bav, vh, h -> testArrayReadWrite(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	140	true));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	141	cases.add(new VarHandleSourceAccessTestCase(
48710 38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	142	"null array", bav, vh, h -> testArrayNPE(bas, h),
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	143	false));
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	144	cases.add(new VarHandleSourceAccessTestCase(
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	145	"unsupported", bav, vh, h -> testArrayUnsupported(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	146	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	147	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	148	"index out of bounds", bav, vh, h -> testArrayIndexOutOfBounds(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	149	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	150	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	151	"misaligned access", bav, vh, h -> testArrayMisalignedAccess(bas, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	152	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	153	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	154	else {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	155	ByteBufferSource bbs = (ByteBufferSource) bav;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	156
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	157	if (MemoryMode.READ_WRITE.isSet(bav.memoryModes)) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	158	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	159	"read write", bav, vh, h -> testArrayReadWrite(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	160	true));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	161	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	162	else {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	163	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	164	"read only", bav, vh, h -> testArrayReadOnly(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	165	true));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	166	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	167
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	168	cases.add(new VarHandleSourceAccessTestCase(
48710 38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	169	"null buffer", bav, vh, h -> testArrayNPE(bbs, h),
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	170	false));
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	171	cases.add(new VarHandleSourceAccessTestCase(
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	172	"unsupported", bav, vh, h -> testArrayUnsupported(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	173	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	174	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	175	"index out of bounds", bav, vh, h -> testArrayIndexOutOfBounds(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	176	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	177	cases.add(new VarHandleSourceAccessTestCase(
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	178	"misaligned access", bav, vh, h -> testArrayMisalignedAccess(bbs, h),
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	179	false));
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	180	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	181	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	182	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	183	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	184
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	185	// Work around issue with jtreg summary reporting which truncates
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	186	// the String result of Object.toString to 30 characters, hence
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	187	// the first dummy argument
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	188	return cases.stream().map(tc -> new Object[]{tc.toString(), tc}).toArray(Object[][]::new);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	189	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	190
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	191	@Test(dataProvider = "accessTestCaseProvider")
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	192	public <T> void testAccess(String desc, AccessTestCase<T> atc) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	193	T t = atc.get();
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	194	int iters = atc.requiresLoop() ? ITERS : 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	195	for (int c = 0; c < iters; c++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	196	atc.testAccess(t);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	197	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	198	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	199
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	200
48710 38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	201	static void testArrayNPE(ByteArraySource bs, VarHandleSource vhs) {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	202	VarHandle vh = vhs.s;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	203	byte[] array = null;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	204	int ci = 1;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	205
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	206	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	207	int x = (int) vh.get(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	208	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	209
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	210	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	211	vh.set(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	212	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	213
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	214	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	215	int x = (int) vh.getVolatile(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	216	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	217
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	218	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	219	int x = (int) vh.getAcquire(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	220	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	221
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	222	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	223	int x = (int) vh.getOpaque(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	224	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	225
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	226	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	227	vh.setVolatile(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	228	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	229
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	230	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	231	vh.setRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	232	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	233
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	234	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	235	vh.setOpaque(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	236	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	237
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	238	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	239	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	240	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	241
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	242	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	243	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	244	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	245
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	246	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	247	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	248	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	249
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	250	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	251	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	252	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	253
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	254	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	255	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	256	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	257
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	258	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	259	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	260	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	261
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	262	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	263	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	264	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	265
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	266	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	267	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	268	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	269
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	270	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	271	int o = (int) vh.getAndSet(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	272	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	273
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	274	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	275	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	276	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	277
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	278	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	279	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	280	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	281
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	282	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	283	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	284	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	285
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	286	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	287	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	288	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	289
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	290	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	291	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	292	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	293
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	294	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	295	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	296	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	297
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	298	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	299	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	300	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	301
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	302	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	303	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	304	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	305
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	306	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	307	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	308	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	309
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	310	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	311	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	312	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	313
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	314	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	315	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	316	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	317
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	318	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	319	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	320	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	321
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	322	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	323	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	324	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	325
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	326	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	327	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	328	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	329	}
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	330
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	331	static void testArrayNPE(ByteBufferSource bs, VarHandleSource vhs) {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	332	VarHandle vh = vhs.s;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	333	ByteBuffer array = null;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	334	int ci = 1;
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	335
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	336	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	337	int x = (int) vh.get(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	338	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	339
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	340	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	341	vh.set(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	342	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	343
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	344	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	345	int x = (int) vh.getVolatile(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	346	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	347
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	348	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	349	int x = (int) vh.getAcquire(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	350	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	351
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	352	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	353	int x = (int) vh.getOpaque(array, ci);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	354	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	355
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	356	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	357	vh.setVolatile(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	358	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	359
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	360	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	361	vh.setRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	362	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	363
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	364	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	365	vh.setOpaque(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	366	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	367
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	368	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	369	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	370	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	371
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	372	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	373	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	374	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	375
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	376	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	377	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	378	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	379
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	380	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	381	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	382	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	383
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	384	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	385	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	386	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	387
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	388	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	389	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	390	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	391
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	392	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	393	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	394	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	395
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	396	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	397	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	398	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	399
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	400	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	401	int o = (int) vh.getAndSet(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	402	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	403
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	404	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	405	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	406	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	407
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	408	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	409	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	410	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	411
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	412	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	413	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	414	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	415
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	416	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	417	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	418	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	419
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	420	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	421	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	422	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	423
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	424	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	425	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	426	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	427
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	428	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	429	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	430	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	431
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	432	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	433	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	434	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	435
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	436	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	437	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	438	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	439
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	440	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	441	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	442	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	443
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	444	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	445	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	446	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	447
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	448	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	449	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	450	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	451
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	452	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	453	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	454	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	455
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	456	checkNPE(() -> {
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	457	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	458	});
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	459	}
38872bed90e0 8195970: Crash passing null to a VarHandle psandoz parents: 47216 diff changeset	460
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	461	static void testArrayUnsupported(ByteArraySource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	462	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	463	byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	464	int ci = 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	465
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	466
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	467
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	468	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	469
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	470	static void testArrayUnsupported(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	471	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	472	ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	473	int ci = 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	474	boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	475
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	476	if (readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	477	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	478	vh.set(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
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	482	if (readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	483	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	484	vh.setVolatile(array, ci, VALUE_1);
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	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	488	vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	489	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	490
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	491	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	492	vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	493	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	494
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	495	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	496	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	497	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	498
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	499	checkROBE(() -> {
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	500	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
36934 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	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	504	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	505	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	506
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	507	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	508	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	509	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	510
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	511	checkROBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	512	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	513	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	514
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	515	checkROBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	516	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	517	});
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	518
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	519	checkROBE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	520	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	521	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	522
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	523	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	524	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	525	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	526
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	527	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	528	int o = (int) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	529	});
38328 40435a469d25 8156485: MethodHandles.varHandleExactInvoker should perform exact checks psandoz parents: 37719 diff changeset	530
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	531	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	532	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	533	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	534
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	535	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	536	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	537	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	538
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	539
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	540	checkROBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	541	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	542	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	543
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	544	checkROBE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	545	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	546	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	547
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	548	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	549	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	550	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	551
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	552	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	553	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	554	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	555
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	556	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	557	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	558	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	559
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	560	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	561	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	562	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	563
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	564	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	565	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	566	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	567
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	568	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	569	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	570	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	571
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	572	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	573	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	574	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	575
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	576	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	577	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	578	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	579
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	580	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	581	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	582	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	583
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	584	checkROBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	585	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	586	});
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	587	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	588	else {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	589	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	590	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	591
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	592
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	593	static void testArrayIndexOutOfBounds(ByteArraySource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	594	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	595	byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	596
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	597	int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	598	for (int i : new int[]{-1, Integer.MIN_VALUE, length, length + 1, Integer.MAX_VALUE}) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	599	final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	600
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	601	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	602	int x = (int) vh.get(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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	606	vh.set(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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	610	int x = (int) vh.getVolatile(array, ci);
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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	614	int x = (int) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	615	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	616
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	617	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	618	int x = (int) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	619	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	620
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	621	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	622	vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	623	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	624
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	625	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	626	vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	627	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	628
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	629	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	630	vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	631	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	632
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	633	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	634	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	635	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	636
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	637	checkIOOBE(() -> {
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	638	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	639	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	640
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	641	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	642	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	643	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	644
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	645	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	646	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	647	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	648
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	649	checkIOOBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	650	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	651	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	652
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	653	checkIOOBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	654	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	655	});
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	656
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	657	checkIOOBE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	658	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	659	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	660
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	661	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	662	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	666	int o = (int) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	667	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	668
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	669	checkIOOBE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	670	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	671	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	672
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	673	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	674	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	675	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	676
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	677	checkIOOBE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	678	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	679	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	680
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	681	checkIOOBE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	682	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	683	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	684
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	685	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	686	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	687	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	688
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	689	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	690	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	691	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	692
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	693	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	694	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	695	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	696
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	697	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	698	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	699	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	700
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	701	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	702	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	703	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	704
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	705	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	706	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	707	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	708
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	709	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	710	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	711	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	712
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	713	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	714	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	715	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	716
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	717	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	718	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	719	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	720
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	721	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	722	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	723	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	724
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	725	}
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	static void testArrayIndexOutOfBounds(ByteBufferSource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	729	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	730	ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	731
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	732	boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	733
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	734	int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	735	for (int i : new int[]{-1, Integer.MIN_VALUE, length, length + 1, Integer.MAX_VALUE}) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	736	final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	737
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	738	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	739	int x = (int) vh.get(array, ci);
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	if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	743	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	744	vh.set(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	745	});
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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	749	int x = (int) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	750	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	751
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	752	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	753	int x = (int) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	754	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	755
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	756	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	757	int x = (int) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	758	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	759
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	760	if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	761	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	762	vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	763	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	764
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	765	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	766	vh.setRelease(array, ci, VALUE_1);
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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	770	vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	771	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	772
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	773	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	774	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	775	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	776
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	777	checkIOOBE(() -> {
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	778	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	779	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	780
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	781	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	782	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
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	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	786	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	787	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	788
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	789	checkIOOBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	790	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	791	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	792
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	793	checkIOOBE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	794	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	795	});
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	796
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	797	checkIOOBE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	798	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	799	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	800
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	801	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	802	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	803	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	804
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	805	checkIOOBE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	806	int o = (int) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	807	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	808
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	809	checkIOOBE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	810	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	811	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	812
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	813	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	814	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	815	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	816
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	817	checkIOOBE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	818	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	819	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	820
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	821	checkIOOBE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	822	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	823	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	824
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	825	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	826	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	827	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	828
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	829	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	830	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	831	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	832
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	833	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	834	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	835	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	836
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	837	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	838	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	839	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	840
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	841	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	842	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	843	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	844
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	845	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	846	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	847	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	848
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	849	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	850	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	851	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	852
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	853	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	854	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	855	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	856
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	857	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	858	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	859	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	860
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	861	checkIOOBE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	862	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	863	});
36934 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
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	868	static void testArrayMisalignedAccess(ByteArraySource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	869	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	870	byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	871
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	872	int misalignmentAtZero = ByteBuffer.wrap(array).alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	873
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	874	int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	875	for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	876	boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	877	final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	878
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	879	if (!iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	880	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	881	int x = (int) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	882	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	883
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	884	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	885	int x = (int) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	886	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	887
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	888	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	889	int x = (int) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	890	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	891
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	892	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	893	vh.setVolatile(array, ci, VALUE_1);
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	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	897	vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	898	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	899
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	900	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	901	vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	902	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	903
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	904	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	905	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	906	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	907
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	908	checkISE(() -> {
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	909	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	910	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	911
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	912	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	913	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
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	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	917	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	918	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	919
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	920	checkISE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	921	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
36934 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	checkISE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	925	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	926	});
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	927
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	928	checkISE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	929	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	930	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	931
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	932	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	933	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	934	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	935
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	936	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	937	int o = (int) vh.getAndSet(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	938	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	939
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	940	checkISE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	941	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	942	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	943
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	944	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	945	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	946	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	947
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	948	checkISE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	949	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	950	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	951
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	952	checkISE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	953	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	954	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	955
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	956	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	957	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	958	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	959
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	960	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	961	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	962	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	963
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	964	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	965	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	966	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	967
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	968	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	969	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	970	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	971
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	972	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	973	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	974	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	975
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	976	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	977	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	978	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	979
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	980	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	981	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	982	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	983
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	984	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	985	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	986	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	987
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	988	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	989	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	990	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	991
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	992	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	993	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	994	});
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	995	}
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	static void testArrayMisalignedAccess(ByteBufferSource bs, VarHandleSource vhs) throws Throwable {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1000	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1001	ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1002
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1003	boolean readOnly = MemoryMode.READ_ONLY.isSet(bs.memoryModes);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1004	int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1005
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1006	int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1007	for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1008	boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1009	final int ci = i;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1010
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1011	if (!iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1012	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1013	int x = (int) vh.getVolatile(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1014	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1015
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1016	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1017	int x = (int) vh.getAcquire(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1018	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1019
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1020	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1021	int x = (int) vh.getOpaque(array, ci);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1022	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1023
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1024	if (!readOnly) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1025	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1026	vh.setVolatile(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1027	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1028
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1029	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1030	vh.setRelease(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1031	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1032
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1033	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1034	vh.setOpaque(array, ci, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1035	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1036
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1037	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1038	boolean r = vh.compareAndSet(array, ci, VALUE_1, VALUE_2);
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	checkISE(() -> {
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1042	int r = (int) vh.compareAndExchange(array, ci, VALUE_2, VALUE_1);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1043	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1044
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1045	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1046	int r = (int) vh.compareAndExchangeAcquire(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1047	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1048
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1049	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1050	int r = (int) vh.compareAndExchangeRelease(array, ci, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1051	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1052
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1053	checkISE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1054	boolean r = vh.weakCompareAndSetPlain(array, ci, VALUE_1, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1055	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1056
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1057	checkISE(() -> {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1058	boolean r = vh.weakCompareAndSet(array, ci, VALUE_1, VALUE_2);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1059	});
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1060
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1061	checkISE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1062	boolean r = vh.weakCompareAndSetAcquire(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1063	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1064
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1065	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1066	boolean r = vh.weakCompareAndSetRelease(array, ci, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1067	});
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1068
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1069	checkISE(() -> {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1070	int o = (int) vh.getAndSet(array, ci, VALUE_1);
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	checkISE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1074	int o = (int) vh.getAndSetAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1075	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1076
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1077	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1078	int o = (int) vh.getAndSetRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1079	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1080
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1081	checkISE(() -> {
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1082	int o = (int) vh.getAndAdd(array, ci, VALUE_1);
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	checkISE(() -> {
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1086	int o = (int) vh.getAndAddAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1087	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1088
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1089	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1090	int o = (int) vh.getAndAddRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1091	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1092
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1093	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1094	int o = (int) vh.getAndBitwiseOr(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1095	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1096
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1097	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1098	int o = (int) vh.getAndBitwiseOrAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1099	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1100
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1101	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1102	int o = (int) vh.getAndBitwiseOrRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1103	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1104
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1105	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1106	int o = (int) vh.getAndBitwiseAnd(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1107	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1108
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1109	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1110	int o = (int) vh.getAndBitwiseAndAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1111	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1112
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1113	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1114	int o = (int) vh.getAndBitwiseAndRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1115	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1116
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1117	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1118	int o = (int) vh.getAndBitwiseXor(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1119	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1120
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1121	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1122	int o = (int) vh.getAndBitwiseXorAcquire(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1123	});
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1124
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1125	checkISE(() -> {
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1126	int o = (int) vh.getAndBitwiseXorRelease(array, ci, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1127	});
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1128	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1129	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1130	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1131	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1132
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1133	static void testArrayReadWrite(ByteArraySource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1134	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1135	byte[] array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1136
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1137	int misalignmentAtZero = ByteBuffer.wrap(array).alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1138
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1139	bs.fill((byte) 0xff);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1140	int length = array.length - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1141	for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1142	boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1143
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1144	// Plain
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1145	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1146	vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1147	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1148	assertEquals(x, VALUE_1, "get int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1149	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1150
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1151
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1152	if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1153	// Volatile
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1154	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1155	vh.setVolatile(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1156	int x = (int) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1157	assertEquals(x, VALUE_2, "setVolatile int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1158	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1159
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1160	// Lazy
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1161	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1162	vh.setRelease(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1163	int x = (int) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1164	assertEquals(x, VALUE_1, "setRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1165	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1166
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1167	// Opaque
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1168	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1169	vh.setOpaque(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1170	int x = (int) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1171	assertEquals(x, VALUE_2, "setOpaque int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1172	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1173
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1174	vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1175
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1176	// Compare
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1177	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1178	boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1179	assertEquals(r, true, "success compareAndSet int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1180	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1181	assertEquals(x, VALUE_2, "success compareAndSet int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1182	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1183
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1184	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1185	boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1186	assertEquals(r, false, "failing compareAndSet int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1187	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1188	assertEquals(x, VALUE_2, "failing compareAndSet int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1189	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1190
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1191	{
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1192	int r = (int) vh.compareAndExchange(array, i, VALUE_2, VALUE_1);
6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1193	assertEquals(r, VALUE_2, "success compareAndExchange int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1194	int x = (int) vh.get(array, i);
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1195	assertEquals(x, VALUE_1, "success compareAndExchange int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1196	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1197
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1198	{
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1199	int r = (int) vh.compareAndExchange(array, i, VALUE_2, VALUE_3);
6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1200	assertEquals(r, VALUE_1, "failing compareAndExchange int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1201	int x = (int) vh.get(array, i);
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1202	assertEquals(x, VALUE_1, "failing compareAndExchange int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1203	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1204
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1205	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1206	int r = (int) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1207	assertEquals(r, VALUE_1, "success compareAndExchangeAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1208	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1209	assertEquals(x, VALUE_2, "success compareAndExchangeAcquire int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1210	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1211
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1212	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1213	int r = (int) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1214	assertEquals(r, VALUE_2, "failing compareAndExchangeAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1215	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1216	assertEquals(x, VALUE_2, "failing compareAndExchangeAcquire int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1217	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1218
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1219	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1220	int r = (int) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1221	assertEquals(r, VALUE_2, "success compareAndExchangeRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1222	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1223	assertEquals(x, VALUE_1, "success compareAndExchangeRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1224	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1225
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1226	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1227	int r = (int) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1228	assertEquals(r, VALUE_1, "failing compareAndExchangeRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1229	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1230	assertEquals(x, VALUE_1, "failing compareAndExchangeRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1231	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1232
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1233	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1234	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1235	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1236	success = vh.weakCompareAndSetPlain(array, i, VALUE_1, VALUE_2);
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1237	}
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1238	assertEquals(success, true, "weakCompareAndSetPlain int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1239	int x = (int) vh.get(array, i);
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1240	assertEquals(x, VALUE_2, "weakCompareAndSetPlain int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1241	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1242
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1243	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1244	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1245	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1246	success = vh.weakCompareAndSetAcquire(array, i, VALUE_2, VALUE_1);
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1247	}
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1248	assertEquals(success, true, "weakCompareAndSetAcquire int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1249	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1250	assertEquals(x, VALUE_1, "weakCompareAndSetAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1251	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1252
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1253	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1254	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1255	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1256	success = vh.weakCompareAndSetRelease(array, i, VALUE_1, VALUE_2);
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1257	}
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1258	assertEquals(success, true, "weakCompareAndSetRelease int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1259	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1260	assertEquals(x, VALUE_2, "weakCompareAndSetRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1261	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1262
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1263	{
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1264	boolean success = false;
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1265	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1266	success = vh.weakCompareAndSet(array, i, VALUE_2, VALUE_1);
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1267	}
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1268	assertEquals(success, true, "weakCompareAndSet int");
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1269	int x = (int) vh.get(array, i);
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1270	assertEquals(x, VALUE_1, "weakCompareAndSet int");
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1271	}
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1272
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1273	// Compare set and get
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1274	{
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1275	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1276
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1277	int o = (int) vh.getAndSet(array, i, VALUE_2);
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1278	assertEquals(o, VALUE_1, "getAndSet int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1279	int x = (int) vh.get(array, i);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1280	assertEquals(x, VALUE_2, "getAndSet int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1281	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1282
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1283	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1284	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1285
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1286	int o = (int) vh.getAndSetAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1287	assertEquals(o, VALUE_1, "getAndSetAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1288	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1289	assertEquals(x, VALUE_2, "getAndSetAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1290	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1291
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1292	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1293	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1294
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1295	int o = (int) vh.getAndSetRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1296	assertEquals(o, VALUE_1, "getAndSetRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1297	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1298	assertEquals(x, VALUE_2, "getAndSetRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1299	}
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1300
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1301	// get and add, add and get
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1302	{
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1303	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1304
40733 8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1305	int o = (int) vh.getAndAdd(array, i, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1306	assertEquals(o, VALUE_1, "getAndAdd int");
40733 8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1307	int x = (int) vh.get(array, i);
8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1308	assertEquals(x, VALUE_1 + VALUE_2, "getAndAdd int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1309	}
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1310
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1311	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1312	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1313
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1314	int o = (int) vh.getAndAddAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1315	assertEquals(o, VALUE_1, "getAndAddAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1316	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1317	assertEquals(x, VALUE_1 + VALUE_2, "getAndAddAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1318	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1319
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1320	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1321	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1322
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1323	int o = (int) vh.getAndAddRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1324	assertEquals(o, VALUE_1, "getAndAddRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1325	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1326	assertEquals(x, VALUE_1 + VALUE_2, "getAndAddRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1327	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1328
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1329	// get and bitwise or
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1330	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1331	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1332
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1333	int o = (int) vh.getAndBitwiseOr(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1334	assertEquals(o, VALUE_1, "getAndBitwiseOr int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1335	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1336	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOr int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1337	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1338
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1339	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1340	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1341
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1342	int o = (int) vh.getAndBitwiseOrAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1343	assertEquals(o, VALUE_1, "getAndBitwiseOrAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1344	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1345	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOrAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1346	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1347
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1348	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1349	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1350
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1351	int o = (int) vh.getAndBitwiseOrRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1352	assertEquals(o, VALUE_1, "getAndBitwiseOrRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1353	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1354	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOrRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1355	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1356
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1357	// get and bitwise and
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1358	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1359	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1360
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1361	int o = (int) vh.getAndBitwiseAnd(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1362	assertEquals(o, VALUE_1, "getAndBitwiseAnd int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1363	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1364	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAnd int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1365	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1366
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1367	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1368	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1369
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1370	int o = (int) vh.getAndBitwiseAndAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1371	assertEquals(o, VALUE_1, "getAndBitwiseAndAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1372	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1373	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAndAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1374	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1375
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1376	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1377	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1378
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1379	int o = (int) vh.getAndBitwiseAndRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1380	assertEquals(o, VALUE_1, "getAndBitwiseAndRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1381	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1382	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAndRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1383	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1384
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1385	// get and bitwise xor
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1386	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1387	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1388
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1389	int o = (int) vh.getAndBitwiseXor(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1390	assertEquals(o, VALUE_1, "getAndBitwiseXor int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1391	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1392	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXor int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1393	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1394
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1395	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1396	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1397
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1398	int o = (int) vh.getAndBitwiseXorAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1399	assertEquals(o, VALUE_1, "getAndBitwiseXorAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1400	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1401	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXorAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1402	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1403
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1404	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1405	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1406
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1407	int o = (int) vh.getAndBitwiseXorRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1408	assertEquals(o, VALUE_1, "getAndBitwiseXorRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1409	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1410	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXorRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1411	}
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1412	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1413	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1414	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1415
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1416
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1417	static void testArrayReadWrite(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1418	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1419	ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1420
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1421	int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1422
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1423	bs.fill((byte) 0xff);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1424	int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1425	for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1426	boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1427
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1428	// Plain
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1429	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1430	vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1431	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1432	assertEquals(x, VALUE_1, "get int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1433	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1434
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1435	if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1436	// Volatile
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1437	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1438	vh.setVolatile(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1439	int x = (int) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1440	assertEquals(x, VALUE_2, "setVolatile int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1441	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1442
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1443	// Lazy
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1444	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1445	vh.setRelease(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1446	int x = (int) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1447	assertEquals(x, VALUE_1, "setRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1448	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1449
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1450	// Opaque
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1451	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1452	vh.setOpaque(array, i, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1453	int x = (int) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1454	assertEquals(x, VALUE_2, "setOpaque int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1455	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1456
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1457	vh.set(array, i, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1458
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1459	// Compare
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1460	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1461	boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1462	assertEquals(r, true, "success compareAndSet int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1463	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1464	assertEquals(x, VALUE_2, "success compareAndSet int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1465	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1466
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1467	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1468	boolean r = vh.compareAndSet(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1469	assertEquals(r, false, "failing compareAndSet int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1470	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1471	assertEquals(x, VALUE_2, "failing compareAndSet int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1472	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1473
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1474	{
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1475	int r = (int) vh.compareAndExchange(array, i, VALUE_2, VALUE_1);
6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1476	assertEquals(r, VALUE_2, "success compareAndExchange int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1477	int x = (int) vh.get(array, i);
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1478	assertEquals(x, VALUE_1, "success compareAndExchange int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1479	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1480
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1481	{
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1482	int r = (int) vh.compareAndExchange(array, i, VALUE_2, VALUE_3);
6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1483	assertEquals(r, VALUE_1, "failing compareAndExchange int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1484	int x = (int) vh.get(array, i);
39472 6df82f4c63ac 8154737: Rename VarHandle.compareAndExchangeVolatile to VarHandle.compareAndExchange psandoz parents: 38429 diff changeset	1485	assertEquals(x, VALUE_1, "failing compareAndExchange int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1486	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1487
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1488	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1489	int r = (int) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_2);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1490	assertEquals(r, VALUE_1, "success compareAndExchangeAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1491	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1492	assertEquals(x, VALUE_2, "success compareAndExchangeAcquire int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1493	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1494
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1495	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1496	int r = (int) vh.compareAndExchangeAcquire(array, i, VALUE_1, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1497	assertEquals(r, VALUE_2, "failing compareAndExchangeAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1498	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1499	assertEquals(x, VALUE_2, "failing compareAndExchangeAcquire int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1500	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1501
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1502	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1503	int r = (int) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_1);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1504	assertEquals(r, VALUE_2, "success compareAndExchangeRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1505	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1506	assertEquals(x, VALUE_1, "success compareAndExchangeRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1507	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1508
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1509	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1510	int r = (int) vh.compareAndExchangeRelease(array, i, VALUE_2, VALUE_3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1511	assertEquals(r, VALUE_1, "failing compareAndExchangeRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1512	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1513	assertEquals(x, VALUE_1, "failing compareAndExchangeRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1514	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1515
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1516	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1517	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1518	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1519	success = vh.weakCompareAndSetPlain(array, i, VALUE_1, VALUE_2);
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1520	}
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1521	assertEquals(success, true, "weakCompareAndSetPlain int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1522	int x = (int) vh.get(array, i);
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1523	assertEquals(x, VALUE_2, "weakCompareAndSetPlain int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1524	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1525
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1526	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1527	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1528	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1529	success = vh.weakCompareAndSetAcquire(array, i, VALUE_2, VALUE_1);
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1530	}
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1531	assertEquals(success, true, "weakCompareAndSetAcquire int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1532	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1533	assertEquals(x, VALUE_1, "weakCompareAndSetAcquire int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1534	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1535
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1536	{
38355 674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1537	boolean success = false;
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1538	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1539	success = vh.weakCompareAndSetRelease(array, i, VALUE_1, VALUE_2);
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1540	}
674cfd9b90cf 8155739: [TESTBUG] VarHandles/Unsafe tests for weakCAS should allow spurious failures shade parents: 37343 diff changeset	1541	assertEquals(success, true, "weakCompareAndSetRelease int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1542	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1543	assertEquals(x, VALUE_2, "weakCompareAndSetRelease int");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1544	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1545
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1546	{
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1547	boolean success = false;
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1548	for (int c = 0; c < WEAK_ATTEMPTS && !success; c++) {
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1549	success = vh.weakCompareAndSet(array, i, VALUE_2, VALUE_1);
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1550	}
48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1551	assertEquals(success, true, "weakCompareAndSet int");
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1552	int x = (int) vh.get(array, i);
40734 48879ea67e2a 8162108: Rename weakCompareAndSetVolatile to weakCompareAndSet psandoz parents: 40733 diff changeset	1553	assertEquals(x, VALUE_1, "weakCompareAndSet int");
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1554	}
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1555
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1556	// Compare set and get
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1557	{
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1558	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1559
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1560	int o = (int) vh.getAndSet(array, i, VALUE_2);
add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1561	assertEquals(o, VALUE_1, "getAndSet int");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1562	int x = (int) vh.get(array, i);
37719 add11bc0e6e2 8154755: Add a VarHandle weakCompareAndSet with volatile semantics psandoz parents: 37668 diff changeset	1563	assertEquals(x, VALUE_2, "getAndSet int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1564	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1565
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1566	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1567	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1568
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1569	int o = (int) vh.getAndSetAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1570	assertEquals(o, VALUE_1, "getAndSetAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1571	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1572	assertEquals(x, VALUE_2, "getAndSetAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1573	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1574
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1575	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1576	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1577
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1578	int o = (int) vh.getAndSetRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1579	assertEquals(o, VALUE_1, "getAndSetRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1580	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1581	assertEquals(x, VALUE_2, "getAndSetRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1582	}
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1583
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1584	// get and add, add and get
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1585	{
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1586	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1587
40733 8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1588	int o = (int) vh.getAndAdd(array, i, VALUE_2);
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1589	assertEquals(o, VALUE_1, "getAndAdd int");
40733 8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1590	int x = (int) vh.get(array, i);
8d1263354d62 8162106: Remove VarHandle.addAndGet psandoz parents: 40732 diff changeset	1591	assertEquals(x, VALUE_1 + VALUE_2, "getAndAdd int value");
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1592	}
40732 2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1593
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1594	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1595	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1596
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1597	int o = (int) vh.getAndAddAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1598	assertEquals(o, VALUE_1, "getAndAddAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1599	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1600	assertEquals(x, VALUE_1 + VALUE_2, "getAndAddAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1601	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1602
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1603	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1604	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1605
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1606	int o = (int) vh.getAndAddRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1607	assertEquals(o, VALUE_1, "getAndAddRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1608	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1609	assertEquals(x, VALUE_1 + VALUE_2, "getAndAddRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1610	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1611
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1612	// get and bitwise or
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1613	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1614	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1615
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1616	int o = (int) vh.getAndBitwiseOr(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1617	assertEquals(o, VALUE_1, "getAndBitwiseOr int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1618	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1619	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOr int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1620	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1621
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1622	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1623	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1624
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1625	int o = (int) vh.getAndBitwiseOrAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1626	assertEquals(o, VALUE_1, "getAndBitwiseOrAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1627	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1628	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOrAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1629	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1630
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1631	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1632	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1633
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1634	int o = (int) vh.getAndBitwiseOrRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1635	assertEquals(o, VALUE_1, "getAndBitwiseOrRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1636	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1637	assertEquals(x, VALUE_1 \| VALUE_2, "getAndBitwiseOrRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1638	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1639
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1640	// get and bitwise and
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1641	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1642	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1643
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1644	int o = (int) vh.getAndBitwiseAnd(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1645	assertEquals(o, VALUE_1, "getAndBitwiseAnd int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1646	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1647	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAnd int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1648	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1649
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1650	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1651	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1652
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1653	int o = (int) vh.getAndBitwiseAndAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1654	assertEquals(o, VALUE_1, "getAndBitwiseAndAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1655	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1656	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAndAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1657	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1658
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1659	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1660	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1661
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1662	int o = (int) vh.getAndBitwiseAndRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1663	assertEquals(o, VALUE_1, "getAndBitwiseAndRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1664	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1665	assertEquals(x, VALUE_1 & VALUE_2, "getAndBitwiseAndRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1666	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1667
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1668	// get and bitwise xor
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1669	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1670	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1671
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1672	int o = (int) vh.getAndBitwiseXor(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1673	assertEquals(o, VALUE_1, "getAndBitwiseXor int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1674	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1675	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXor int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1676	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1677
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1678	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1679	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1680
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1681	int o = (int) vh.getAndBitwiseXorAcquire(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1682	assertEquals(o, VALUE_1, "getAndBitwiseXorAcquire int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1683	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1684	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXorAcquire int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1685	}
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1686
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1687	{
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1688	vh.set(array, i, VALUE_1);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1689
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1690	int o = (int) vh.getAndBitwiseXorRelease(array, i, VALUE_2);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1691	assertEquals(o, VALUE_1, "getAndBitwiseXorRelease int");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1692	int x = (int) vh.get(array, i);
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1693	assertEquals(x, VALUE_1 ^ VALUE_2, "getAndBitwiseXorRelease int value");
2fd9cf42bb3c 8161444: VarHandles should provide access bitwise atomics psandoz parents: 39472 diff changeset	1694	}
36934 590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1695	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1696	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1697	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1698
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1699	static void testArrayReadOnly(ByteBufferSource bs, VarHandleSource vhs) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1700	VarHandle vh = vhs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1701	ByteBuffer array = bs.s;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1702
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1703	int misalignmentAtZero = array.alignmentOffset(0, SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1704
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1705	ByteBuffer bb = ByteBuffer.allocate(SIZE);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1706	bb.order(MemoryMode.BIG_ENDIAN.isSet(vhs.memoryModes) ? ByteOrder.BIG_ENDIAN : ByteOrder.LITTLE_ENDIAN);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1707	bs.fill(bb.putInt(0, VALUE_2).array());
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1708
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1709	int length = array.limit() - SIZE + 1;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1710	for (int i = 0; i < length; i++) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1711	boolean iAligned = ((i + misalignmentAtZero) & (SIZE - 1)) == 0;
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1712
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1713	int v = MemoryMode.BIG_ENDIAN.isSet(vhs.memoryModes)
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1714	? rotateLeft(VALUE_2, (i % SIZE) << 3)
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1715	: rotateRight(VALUE_2, (i % SIZE) << 3);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1716	// Plain
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1717	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1718	int x = (int) vh.get(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1719	assertEquals(x, v, "get int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1720	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1721
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1722	if (iAligned) {
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1723	// Volatile
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1724	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1725	int x = (int) vh.getVolatile(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1726	assertEquals(x, v, "getVolatile int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1727	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1728
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1729	// Lazy
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1730	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1731	int x = (int) vh.getAcquire(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1732	assertEquals(x, v, "getRelease int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1733	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1734
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1735	// Opaque
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1736	{
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1737	int x = (int) vh.getOpaque(array, i);
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1738	assertEquals(x, v, "getOpaque int value");
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1739	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1740	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1741	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1742	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1743
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1744	}
590fc47a0aeb 8149644: Integrate VarHandles psandoz parents: diff changeset	1745

author	psandoz
	Fri, 26 Jan 2018 09:35:15 -0800
changeset 48710	38872bed90e0
parent 47216	71c04702a3d5
child 52914	4fa75d8ad418
permissions	-rw-r--r--