summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Atomics/exchange
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /js/src/tests/test262/built-ins/Atomics/exchange
parentInitial commit. (diff)
downloadfirefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz
firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/tests/test262/built-ins/Atomics/exchange')
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bad-range.js25
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bigint/bad-range.js23
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bigint/browser.js0
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bigint/good-views.js74
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bigint/non-shared-bufferdata.js18
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/bigint/shell.js42
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/browser.js0
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/descriptor.js18
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/expected-return-value.js47
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/good-views.js58
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/length.js35
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/name.js21
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/non-shared-bufferdata.js21
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/non-shared-int-views-throws.js20
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/non-views.js19
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/nonshared-int-views.js22
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/not-a-constructor.js32
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/shell.js24
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-index-coercion.js46
-rw-r--r--js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-value-coercion.js46
20 files changed, 591 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bad-range.js b/js/src/tests/test262/built-ins/Atomics/exchange/bad-range.js
new file mode 100644
index 0000000000..a308ea18ec
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bad-range.js
@@ -0,0 +1,25 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Test range checking of Atomics.exchange on arrays that allow atomic operations
+includes: [testAtomics.js, testTypedArray.js]
+features: [ArrayBuffer, Atomics, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+
+const buffer = new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 2);
+const views = intArrayConstructors.slice();
+
+testWithTypedArrayConstructors(function(TA) {
+ const view = new TA(buffer);
+ testWithAtomicsOutOfBoundsIndices(function(IdxGen) {
+ assert.throws(RangeError, function() {
+ Atomics.exchange(view, IdxGen(view), 10, 0);
+ }, '`Atomics.exchange(view, IdxGen(view), 10, 0)` throws RangeError');
+ });
+}, views);
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bigint/bad-range.js b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/bad-range.js
new file mode 100644
index 0000000000..61b2a8472d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/bad-range.js
@@ -0,0 +1,23 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-atomics.exchange
+description: >
+ Test range checking of Atomics.exchange on arrays that allow atomic operations
+includes: [testAtomics.js, testBigIntTypedArray.js]
+features: [ArrayBuffer, Atomics, BigInt, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+var buffer = new SharedArrayBuffer(BigInt64Array.BYTES_PER_ELEMENT * 2);
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ let view = new TA(buffer);
+
+ testWithAtomicsOutOfBoundsIndices(function(IdxGen) {
+ assert.throws(RangeError, function() {
+ Atomics.exchange(view, IdxGen(view), 10n, 0n);
+ }, '`Atomics.exchange(view, IdxGen(view), 10n, 0n)` throws RangeError');
+ });
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bigint/browser.js b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/browser.js
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/browser.js
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bigint/good-views.js b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/good-views.js
new file mode 100644
index 0000000000..e291f35780
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/good-views.js
@@ -0,0 +1,74 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-atomics.exchange
+description: Test Atomics.exchange on arrays that allow atomic operations.
+includes: [testAtomics.js, testBigIntTypedArray.js]
+features: [ArrayBuffer, Atomics, BigInt, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+const sab = new SharedArrayBuffer(1024);
+const ab = new ArrayBuffer(BigInt64Array.BYTES_PER_ELEMENT * 2);
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ const view = new TA(sab, 32, 20);
+ const control = new TA(ab, 0, 2);
+ view[8] = 0n;
+ assert.sameValue(Atomics.exchange(view, 8, 10n), 0n, 'Atomics.exchange(view, 8, 10n) returns 0n');
+ assert.sameValue(view[8], 10n, 'The value of view[8] is 10n');
+
+ assert.sameValue(
+ Atomics.exchange(view, 8, -5n),
+ 10n,
+ 'Atomics.exchange(view, 8, -5n) returns 10n'
+ );
+
+ control[0] = -5n;
+
+ assert.sameValue(
+ view[8],
+ control[0],
+ 'The value of view[8] equals the value of `control[0]` (-5n)'
+ );
+
+ view[3] = -5n;
+ control[0] = -5n;
+
+ assert.sameValue(
+ Atomics.exchange(view, 3, 0n),
+ control[0],
+ 'Atomics.exchange(view, 3, 0n) returns the value of `control[0]` (-5n)'
+ );
+
+ control[0] = 12345n;
+ view[3] = 12345n;
+
+ assert.sameValue(
+ Atomics.exchange(view, 3, 0n),
+ control[0],
+ 'Atomics.exchange(view, 3, 0n) returns the value of `control[0]` (12345n)'
+ );
+
+ control[0] = 123456789n;
+ view[3] = 123456789n;
+
+ assert.sameValue(
+ Atomics.exchange(view, 3, 0n),
+ control[0],
+ 'Atomics.exchange(view, 3, 0n) returns the value of `control[0]` (123456789n)'
+ );
+
+ testWithAtomicsInBoundsIndices(function(IdxGen) {
+ let Idx = IdxGen(view);
+ view.fill(0n);
+ Atomics.store(view, Idx, 37n);
+
+ assert.sameValue(
+ Atomics.exchange(view, Idx, 0n),
+ 37n,
+ 'Atomics.exchange(view, Idx, 0n) returns 37n'
+ );
+ });
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bigint/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/non-shared-bufferdata.js
new file mode 100644
index 0000000000..8bf7f7a22c
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/non-shared-bufferdata.js
@@ -0,0 +1,18 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.exchange will operate on TA when TA.buffer is not a SharedArrayBuffer
+includes: [testBigIntTypedArray.js]
+features: [ArrayBuffer, Atomics, BigInt, TypedArray]
+---*/
+testWithBigIntTypedArrayConstructors(TA => {
+ const buffer = new ArrayBuffer(TA.BYTES_PER_ELEMENT * 4);
+ const view = new TA(buffer);
+ assert.sameValue(Atomics.exchange(view, 0, 1n), 0n, 'Atomics.exchange(view, 0, 1n) returns 0n');
+ assert.sameValue(Atomics.load(view, 0), 1n, 'Atomics.load(view, 0) returns 1n');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/bigint/shell.js b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/shell.js
new file mode 100644
index 0000000000..90ee9c114d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/bigint/shell.js
@@ -0,0 +1,42 @@
+// GENERATED, DO NOT EDIT
+// file: testBigIntTypedArray.js
+// Copyright (C) 2015 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+description: |
+ Collection of functions used to assert the correctness of BigInt TypedArray objects.
+defines:
+ - TypedArray
+ - testWithBigIntTypedArrayConstructors
+---*/
+
+/**
+ * The %TypedArray% intrinsic constructor function.
+ */
+var TypedArray = Object.getPrototypeOf(Int8Array);
+
+/**
+ * Calls the provided function for every typed array constructor.
+ *
+ * @param {typedArrayConstructorCallback} f - the function to call for each typed array constructor.
+ * @param {Array} selected - An optional Array with filtered typed arrays
+ */
+function testWithBigIntTypedArrayConstructors(f, selected) {
+ /**
+ * Array containing every BigInt typed array constructor.
+ */
+ var constructors = selected || [
+ BigInt64Array,
+ BigUint64Array
+ ];
+
+ for (var i = 0; i < constructors.length; ++i) {
+ var constructor = constructors[i];
+ try {
+ f(constructor);
+ } catch (e) {
+ e.message += " (Testing with " + constructor.name + ".)";
+ throw e;
+ }
+ }
+}
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/browser.js b/js/src/tests/test262/built-ins/Atomics/exchange/browser.js
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/browser.js
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/descriptor.js b/js/src/tests/test262/built-ins/Atomics/exchange/descriptor.js
new file mode 100644
index 0000000000..dbe420715d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/descriptor.js
@@ -0,0 +1,18 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: Testing descriptor property of Atomics.exchange
+includes: [propertyHelper.js]
+features: [Atomics]
+---*/
+
+verifyProperty(Atomics, 'exchange', {
+ enumerable: false,
+ writable: true,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/expected-return-value.js b/js/src/tests/test262/built-ins/Atomics/exchange/expected-return-value.js
new file mode 100644
index 0000000000..be86e9bb75
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/expected-return-value.js
@@ -0,0 +1,47 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2018 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.and returns the value that existed at the
+ index prior to the operation.
+info: |
+ Atomics.exchange( typedArray, index, value )
+
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, second).
+
+ AtomicReadModifyWrite( typedArray, index, value, op )
+
+ ...
+ 9. Return GetModifySetValueInBuffer(buffer, indexedPosition,
+ elementType, v, op).
+
+
+ GetModifySetValueInBuffer( arrayBuffer,
+ byteIndex, type, value, op [ , isLittleEndian ] )
+
+ ...
+ 16. Return RawBytesToNumber(type, rawBytesRead, isLittleEndian).
+
+features: [Atomics, SharedArrayBuffer, TypedArray]
+---*/
+
+const i32a = new Int32Array(
+ new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
+);
+const update = 0b00000001000000001000000010000001;
+
+assert.sameValue(
+ Atomics.exchange(i32a, 0, update),
+ 0,
+ 'Atomics.exchange(i32a, 0, update) returns 0'
+);
+assert.sameValue(
+ i32a[0],
+ update,
+ 'The value of i32a[0] equals the value of `update` (0b00000001000000001000000010000001)'
+);
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/good-views.js b/js/src/tests/test262/built-ins/Atomics/exchange/good-views.js
new file mode 100644
index 0000000000..99de503ada
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/good-views.js
@@ -0,0 +1,58 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: Test Atomics.exchange on arrays that allow atomic operations.
+includes: [testAtomics.js, testTypedArray.js]
+features: [ArrayBuffer, Atomics, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+
+const sab = new SharedArrayBuffer(1024);
+const ab = new ArrayBuffer(16);
+const views = intArrayConstructors.slice();
+
+testWithTypedArrayConstructors(function(TA) {
+ // Make it interesting - use non-zero byteOffsets and non-zero indexes.
+
+ const view = new TA(sab, 32, 20);
+ const control = new TA(ab, 0, 2);
+
+ view[8] = 0;
+ assert.sameValue(Atomics.exchange(view, 8, 10), 0,
+ 'Atomics.exchange(view, 8, 10) returns 0');
+ assert.sameValue(view[8], 10, 'The value of view[8] is 10');
+
+ assert.sameValue(Atomics.exchange(view, 8, -5), 10,
+ 'Atomics.exchange(view, 8, -5) returns 10');
+ control[0] = -5;
+ assert.sameValue(view[8], control[0], 'The value of view[8] equals the value of `control[0]` (-5)');
+
+ view[3] = -5;
+ control[0] = -5;
+ assert.sameValue(Atomics.exchange(view, 3, 0), control[0],
+ 'Atomics.exchange(view, 3, 0) returns the value of `control[0]` (-5)');
+
+ control[0] = 12345;
+ view[3] = 12345;
+ assert.sameValue(Atomics.exchange(view, 3, 0), control[0],
+ 'Atomics.exchange(view, 3, 0) returns the value of `control[0]` (12345)');
+
+ control[0] = 123456789;
+ view[3] = 123456789;
+ assert.sameValue(Atomics.exchange(view, 3, 0), control[0],
+ 'Atomics.exchange(view, 3, 0) returns the value of `control[0]` (123456789)');
+
+ // In-bounds boundary cases for indexing
+ testWithAtomicsInBoundsIndices(function(IdxGen) {
+ let Idx = IdxGen(view);
+ view.fill(0);
+ // Atomics.store() computes an index from Idx in the same way as other
+ // Atomics operations, not quite like view[Idx].
+ Atomics.store(view, Idx, 37);
+ assert.sameValue(Atomics.exchange(view, Idx, 0), 37, 'Atomics.exchange(view, Idx, 0) returns 37');
+ });
+}, views);
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/length.js b/js/src/tests/test262/built-ins/Atomics/exchange/length.js
new file mode 100644
index 0000000000..4a7bb32ed5
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/length.js
@@ -0,0 +1,35 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2015 André Bargull. All rights reserved.
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.exchange.length is 3.
+info: |
+ Atomics.exchange ( ia, index, val )
+
+ 17 ECMAScript Standard Built-in Objects:
+ Every built-in Function object, including constructors, has a length
+ property whose value is an integer. Unless otherwise specified, this
+ value is equal to the largest number of named arguments shown in the
+ subclause headings for the function description, including optional
+ parameters. However, rest parameters shown using the form “...name”
+ are not included in the default argument count.
+
+ Unless otherwise specified, the length property of a built-in Function
+ object has the attributes { [[Writable]]: false, [[Enumerable]]: false,
+ [[Configurable]]: true }.
+includes: [propertyHelper.js]
+features: [Atomics]
+---*/
+
+verifyProperty(Atomics.exchange, 'length', {
+ value: 3,
+ enumerable: false,
+ writable: false,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/name.js b/js/src/tests/test262/built-ins/Atomics/exchange/name.js
new file mode 100644
index 0000000000..127840b85f
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/name.js
@@ -0,0 +1,21 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2015 André Bargull. All rights reserved.
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.exchange.name is "exchange".
+includes: [propertyHelper.js]
+features: [Atomics]
+---*/
+
+verifyProperty(Atomics.exchange, 'name', {
+ value: 'exchange',
+ enumerable: false,
+ writable: false,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-bufferdata.js
new file mode 100644
index 0000000000..463ae4ebb6
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-bufferdata.js
@@ -0,0 +1,21 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.exchange will operate on TA when TA.buffer is not a SharedArrayBuffer
+includes: [testTypedArray.js]
+features: [ArrayBuffer, Atomics, TypedArray]
+---*/
+testWithAtomicsFriendlyTypedArrayConstructors(TA => {
+ const view = new TA(
+ new ArrayBuffer(TA.BYTES_PER_ELEMENT * 4)
+ );
+
+ assert.sameValue(Atomics.exchange(view, 0, 1), 0, 'Atomics.exchange(view, 0, 1) returns 0');
+ assert.sameValue(Atomics.load(view, 0), 1, 'Atomics.load(view, 0) returns 1');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-int-views-throws.js b/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-int-views-throws.js
new file mode 100644
index 0000000000..e3b53900aa
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/non-shared-int-views-throws.js
@@ -0,0 +1,20 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.add
+description: >
+ Atomics.add throws when operating on non-sharable integer TypedArrays
+includes: [testTypedArray.js]
+features: [ArrayBuffer, Atomics, TypedArray]
+---*/
+testWithNonAtomicsFriendlyTypedArrayConstructors(TA => {
+ const buffer = new ArrayBuffer(TA.BYTES_PER_ELEMENT * 4);
+ const view = new TA(buffer);
+ assert.throws(TypeError, function() {
+ Atomics.add(view, 0, 1);
+ }, `Atomics.add(new ${TA.name}(buffer), 0, 1) throws TypeError`);
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/non-views.js b/js/src/tests/test262/built-ins/Atomics/exchange/non-views.js
new file mode 100644
index 0000000000..fd4fe97c8a
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/non-views.js
@@ -0,0 +1,19 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Test Atomics.exchange on view values other than TypedArrays
+includes: [testAtomics.js]
+features: [ArrayBuffer, Atomics, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+
+testWithAtomicsNonViewValues(function(view) {
+ assert.throws(TypeError, function() {
+ Atomics.exchange(view, 0, 0);
+ }, '`Atomics.exchange(view, 0, 0)` throws TypeError');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/nonshared-int-views.js b/js/src/tests/test262/built-ins/Atomics/exchange/nonshared-int-views.js
new file mode 100644
index 0000000000..5a45151e87
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/nonshared-int-views.js
@@ -0,0 +1,22 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2017 Mozilla Corporation. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ Atomics.exchange throws when operating on non-sharable integer TypedArrays
+includes: [testTypedArray.js]
+features: [ArrayBuffer, Atomics, TypedArray]
+---*/
+
+testWithNonAtomicsFriendlyTypedArrayConstructors(TA => {
+ const buffer = new ArrayBuffer(TA.BYTES_PER_ELEMENT * 4);
+ const view = new TA(buffer);
+
+ assert.throws(TypeError, function() {
+ Atomics.exchange(view, 0, 0);
+ }, `Atomics.exchange(new ${TA.name}(buffer), 0, 0) throws TypeError`);
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/not-a-constructor.js b/js/src/tests/test262/built-ins/Atomics/exchange/not-a-constructor.js
new file mode 100644
index 0000000000..44ef0a7d3d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/not-a-constructor.js
@@ -0,0 +1,32 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')||!this.hasOwnProperty('SharedArrayBuffer')||(this.hasOwnProperty('getBuildConfiguration')&&getBuildConfiguration()['arm64-simulator'])) -- Atomics,SharedArrayBuffer is not enabled unconditionally, ARM64 Simulator cannot emulate atomics
+// Copyright (C) 2020 Rick Waldron. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-ecmascript-standard-built-in-objects
+description: >
+ Atomics.exchange does not implement [[Construct]], is not new-able
+info: |
+ ECMAScript Function Objects
+
+ Built-in function objects that are not identified as constructors do not
+ implement the [[Construct]] internal method unless otherwise specified in
+ the description of a particular function.
+
+ sec-evaluatenew
+
+ ...
+ 7. If IsConstructor(constructor) is false, throw a TypeError exception.
+ ...
+includes: [isConstructor.js]
+features: [Reflect.construct, Atomics, arrow-function, TypedArray, SharedArrayBuffer]
+---*/
+
+assert.sameValue(isConstructor(Atomics.exchange), false, 'isConstructor(Atomics.exchange) must return false');
+
+assert.throws(TypeError, () => {
+ new Atomics.exchange(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT)));
+}, '`new Atomics.exchange(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT)))` throws TypeError');
+
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/shell.js b/js/src/tests/test262/built-ins/Atomics/exchange/shell.js
new file mode 100644
index 0000000000..eda1477282
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/shell.js
@@ -0,0 +1,24 @@
+// GENERATED, DO NOT EDIT
+// file: isConstructor.js
+// Copyright (C) 2017 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: |
+ Test if a given function is a constructor function.
+defines: [isConstructor]
+features: [Reflect.construct]
+---*/
+
+function isConstructor(f) {
+ if (typeof f !== "function") {
+ throw new Test262Error("isConstructor invoked with a non-function value");
+ }
+
+ try {
+ Reflect.construct(function(){}, [], f);
+ } catch (e) {
+ return false;
+ }
+ return true;
+}
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-index-coercion.js b/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-index-coercion.js
new file mode 100644
index 0000000000..8d7287617b
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-index-coercion.js
@@ -0,0 +1,46 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2019 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ TypedArray type is validated before `index` argument is coerced.
+info: |
+ 24.4.5 Atomics.exchange ( typedArray, index, value )
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, second).
+
+ 24.4.1.11 AtomicReadModifyWrite ( typedArray, index, value, op )
+ 1. Let buffer be ? ValidateSharedIntegerTypedArray(typedArray).
+ ...
+
+ 24.4.1.1 ValidateSharedIntegerTypedArray ( typedArray [ , onlyInt32 ] )
+ ...
+ 4. Let typeName be typedArray.[[TypedArrayName]].
+ 5. If onlyInt32 is true, then
+ a. If typeName is not "Int32Array", throw a TypeError exception.
+ 6. Else,
+ a. If typeName is not "Int8Array", "Uint8Array", "Int16Array", "Uint16Array", "Int32Array",
+ or "Uint32Array", throw a TypeError exception.
+ ...
+features: [Atomics]
+---*/
+
+var index = {
+ valueOf() {
+ throw new Test262Error("index coerced");
+ }
+};
+
+var badArrayTypes = [
+ Uint8ClampedArray, Float32Array, Float64Array
+];
+
+for (var badArrayType of badArrayTypes) {
+ var typedArray = new badArrayType(new SharedArrayBuffer(8));
+ assert.throws(TypeError, function() {
+ Atomics.exchange(typedArray, index, 0);
+ });
+}
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-value-coercion.js b/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-value-coercion.js
new file mode 100644
index 0000000000..7e09e04684
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/exchange/validate-arraytype-before-value-coercion.js
@@ -0,0 +1,46 @@
+// |reftest| skip-if(!this.hasOwnProperty('Atomics')) -- Atomics is not enabled unconditionally
+// Copyright (C) 2019 André Bargull. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-atomics.exchange
+description: >
+ TypedArray type is validated before `value` argument is coerced.
+info: |
+ 24.4.5 Atomics.exchange ( typedArray, index, value )
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, second).
+
+ 24.4.1.11 AtomicReadModifyWrite ( typedArray, index, value, op )
+ 1. Let buffer be ? ValidateSharedIntegerTypedArray(typedArray).
+ ...
+
+ 24.4.1.1 ValidateSharedIntegerTypedArray ( typedArray [ , onlyInt32 ] )
+ ...
+ 4. Let typeName be typedArray.[[TypedArrayName]].
+ 5. If onlyInt32 is true, then
+ a. If typeName is not "Int32Array", throw a TypeError exception.
+ 6. Else,
+ a. If typeName is not "Int8Array", "Uint8Array", "Int16Array", "Uint16Array", "Int32Array",
+ or "Uint32Array", throw a TypeError exception.
+ ...
+features: [Atomics]
+---*/
+
+var value = {
+ valueOf() {
+ throw new Test262Error("value coerced");
+ }
+};
+
+var badArrayTypes = [
+ Uint8ClampedArray, Float32Array, Float64Array
+];
+
+for (var badArrayType of badArrayTypes) {
+ var typedArray = new badArrayType(new SharedArrayBuffer(8));
+ assert.throws(TypeError, function() {
+ Atomics.exchange(typedArray, 0, value);
+ });
+}
+
+reportCompare(0, 0);