summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Atomics/and
diff options
context:
space:
mode:
Diffstat (limited to 'js/src/tests/test262/built-ins/Atomics/and')
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bad-range.js25
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bigint/bad-range.js23
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bigint/browser.js0
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bigint/good-views.js86
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bigint/non-shared-bufferdata.js18
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/bigint/shell.js42
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/browser.js0
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/descriptor.js18
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/expected-return-value.js48
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/good-views.js72
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/length.js35
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/name.js21
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/non-shared-bufferdata.js21
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/non-shared-int-views-throws.js21
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/non-views.js19
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/not-a-constructor.js32
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/shell.js24
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/validate-arraytype-before-index-coercion.js46
-rw-r--r--js/src/tests/test262/built-ins/Atomics/and/validate-arraytype-before-value-coercion.js46
19 files changed, 597 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bad-range.js b/js/src/tests/test262/built-ins/Atomics/and/bad-range.js
new file mode 100644
index 0000000000..056db7b036
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Test range checking of Atomics.and 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.and(view, IdxGen(view), 10);
+ }, '`Atomics.and(view, IdxGen(view), 10)` throws RangeError');
+ });
+}, views);
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bigint/bad-range.js b/js/src/tests/test262/built-ins/Atomics/and/bigint/bad-range.js
new file mode 100644
index 0000000000..3876238ead
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Test range checking of Atomics.and on arrays that allow atomic operations
+includes: [testAtomics.js, testBigIntTypedArray.js]
+features: [ArrayBuffer, Atomics, BigInt, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+const buffer = new SharedArrayBuffer(BigInt64Array.BYTES_PER_ELEMENT * 2);
+
+testWithBigIntTypedArrayConstructors(function(TA) {
+ const view = new TA(buffer);
+
+ testWithAtomicsOutOfBoundsIndices(function(IdxGen) {
+ assert.throws(RangeError, function() {
+ Atomics.and(view, IdxGen(view), 10n);
+ }, '`Atomics.and(view, IdxGen(view), 10n)` throws RangeError');
+ });
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bigint/browser.js b/js/src/tests/test262/built-ins/Atomics/and/bigint/browser.js
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/bigint/browser.js
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bigint/good-views.js b/js/src/tests/test262/built-ins/Atomics/and/bigint/good-views.js
new file mode 100644
index 0000000000..2f94f23de3
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/bigint/good-views.js
@@ -0,0 +1,86 @@
+// |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.and
+description: Test Atomics.and 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] = 0x33333333n;
+ control[0] = 0x33333333n;
+
+ assert.sameValue(
+ Atomics.and(view, 8, 0x55555555n),
+ control[0],
+ 'Atomics.and(view, 8, 0x55555555n) returns the value of `control[0]` (0x33333333n)'
+ );
+
+ control[0] = 0x11111111n;
+
+ assert.sameValue(
+ view[8],
+ control[0],
+ 'The value of view[8] equals the value of `control[0]` (0x11111111n)'
+ );
+
+ assert.sameValue(
+ Atomics.and(view, 8, 0xF0F0F0F0n),
+ control[0],
+ 'Atomics.and(view, 8, 0xF0F0F0F0n) returns the value of `control[0]` (0x11111111n)'
+ );
+
+ control[0] = 0x10101010n;
+
+ assert.sameValue(
+ view[8],
+ control[0],
+ 'The value of view[8] equals the value of `control[0]` (0x10101010n)'
+ );
+
+ view[3] = -5n;
+ control[0] = -5n;
+
+ assert.sameValue(
+ Atomics.and(view, 3, 0n),
+ control[0],
+ 'Atomics.and(view, 3, 0n) returns the value of `control[0]` (-5n)'
+ );
+
+ assert.sameValue(view[3], 0n, 'The value of view[3] is 0n');
+ control[0] = 12345n;
+ view[3] = 12345n;
+
+ assert.sameValue(
+ Atomics.and(view, 3, 0n),
+ control[0],
+ 'Atomics.and(view, 3, 0n) returns the value of `control[0]` (12345n)'
+ );
+
+ assert.sameValue(view[3], 0n, 'The value of view[3] is 0n');
+ control[0] = 123456789n;
+ view[3] = 123456789n;
+
+ assert.sameValue(
+ Atomics.and(view, 3, 0n),
+ control[0],
+ 'Atomics.and(view, 3, 0n) returns the value of `control[0]` (123456789n)'
+ );
+
+ assert.sameValue(view[3], 0n, 'The value of view[3] is 0n');
+
+ testWithAtomicsInBoundsIndices(function(IdxGen) {
+ let Idx = IdxGen(view);
+ view.fill(0n);
+ Atomics.store(view, Idx, 37n);
+ assert.sameValue(Atomics.and(view, Idx, 0n), 37n, 'Atomics.and(view, Idx, 0n) returns 37n');
+ });
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bigint/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/and/bigint/non-shared-bufferdata.js
new file mode 100644
index 0000000000..92f02253d2
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Atomics.and 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.and(view, 0, 1n), 0n, 'Atomics.and(view, 0, 1n) returns 0n');
+ assert.sameValue(Atomics.load(view, 0), 0n, 'Atomics.load(view, 0) returns 0n');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/bigint/shell.js b/js/src/tests/test262/built-ins/Atomics/and/bigint/shell.js
new file mode 100644
index 0000000000..90ee9c114d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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/and/browser.js b/js/src/tests/test262/built-ins/Atomics/and/browser.js
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/browser.js
diff --git a/js/src/tests/test262/built-ins/Atomics/and/descriptor.js b/js/src/tests/test262/built-ins/Atomics/and/descriptor.js
new file mode 100644
index 0000000000..14a0240a83
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: Testing descriptor property of Atomics.and
+includes: [propertyHelper.js]
+features: [Atomics]
+---*/
+
+verifyProperty(Atomics, 'and', {
+ enumerable: false,
+ writable: true,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/expected-return-value.js b/js/src/tests/test262/built-ins/Atomics/and/expected-return-value.js
new file mode 100644
index 0000000000..737b262f3d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/expected-return-value.js
@@ -0,0 +1,48 @@
+// |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.and
+description: >
+ Atomics.and returns the value that existed at the
+ index prior to the operation.
+info: |
+ Atomics.and( typedArray, index, value )
+
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, and).
+
+ 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 a = 0b00000001000000001000000010000001;
+const b = 0b00000001111111111000000011111111;
+const c = 0b00000001000000001000000010000001;
+
+i32a[0] = a;
+
+assert.sameValue(
+ Atomics.and(i32a, 0, b),
+ a,
+ 'Atomics.and(i32a, 0, b) returns the value of `a` (0b00000001000000001000000010000001)'
+);
+
+assert.sameValue(i32a[0], c, 'The value of i32a[0] equals the value of `c` (0b00000001000000001000000010000001)');
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/good-views.js b/js/src/tests/test262/built-ins/Atomics/and/good-views.js
new file mode 100644
index 0000000000..f242b8d271
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/good-views.js
@@ -0,0 +1,72 @@
+// |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.and
+description: Test Atomics.and 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] = 0x33333333;
+ control[0] = 0x33333333;
+ assert.sameValue(Atomics.and(view, 8, 0x55555555), control[0],
+ 'Atomics.and(view, 8, 0x55555555) returns the value of `control[0]` (0x33333333)');
+
+ control[0] = 0x11111111;
+ assert.sameValue(
+ view[8],
+ control[0],
+ 'The value of view[8] equals the value of `control[0]` (0x11111111)'
+ );
+ assert.sameValue(Atomics.and(view, 8, 0xF0F0F0F0), control[0],
+ 'Atomics.and(view, 8, 0xF0F0F0F0) returns the value of `control[0]` (0x11111111)');
+
+ control[0] = 0x10101010;
+ assert.sameValue(
+ view[8],
+ control[0],
+ 'The value of view[8] equals the value of `control[0]` (0x10101010)'
+ );
+
+ view[3] = -5;
+ control[0] = -5;
+ assert.sameValue(Atomics.and(view, 3, 0), control[0],
+ 'Atomics.and(view, 3, 0) returns the value of `control[0]` (-5)');
+ assert.sameValue(view[3], 0, 'The value of view[3] is 0');
+
+ control[0] = 12345;
+ view[3] = 12345;
+ assert.sameValue(Atomics.and(view, 3, 0), control[0],
+ 'Atomics.and(view, 3, 0) returns the value of `control[0]` (12345)');
+ assert.sameValue(view[3], 0, 'The value of view[3] is 0');
+
+ control[0] = 123456789;
+ view[3] = 123456789;
+ assert.sameValue(Atomics.and(view, 3, 0), control[0],
+ 'Atomics.and(view, 3, 0) returns the value of `control[0]` (123456789)');
+ assert.sameValue(view[3], 0, 'The value of view[3] is 0');
+
+ // 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.and(view, Idx, 0), 37, 'Atomics.and(view, Idx, 0) returns 37');
+ });
+}, views);
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/length.js b/js/src/tests/test262/built-ins/Atomics/and/length.js
new file mode 100644
index 0000000000..ef93eed764
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Atomics.and.length is 3.
+info: |
+ Atomics.and ( 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.and, 'length', {
+ value: 3,
+ enumerable: false,
+ writable: false,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/name.js b/js/src/tests/test262/built-ins/Atomics/and/name.js
new file mode 100644
index 0000000000..db8dc05d8c
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Atomics.and.name is "and".
+includes: [propertyHelper.js]
+features: [Atomics]
+---*/
+
+verifyProperty(Atomics.and, 'name', {
+ value: 'and',
+ enumerable: false,
+ writable: false,
+ configurable: true,
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/and/non-shared-bufferdata.js
new file mode 100644
index 0000000000..be959d353d
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Atomics.and 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.and(view, 0, 1), 0, 'Atomics.and(view, 0, 1) returns 0');
+ assert.sameValue(Atomics.load(view, 0), 0, 'Atomics.load(view, 0) returns 0');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/non-shared-int-views-throws.js b/js/src/tests/test262/built-ins/Atomics/and/non-shared-int-views-throws.js
new file mode 100644
index 0000000000..90987ae1ce
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/non-shared-int-views-throws.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.and
+description: >
+ Atomics.and 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.and(view, 0, 1);
+ }, `Atomics.and(new ${TA.name}(buffer), 0, 1) throws TypeError`);
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/non-views.js b/js/src/tests/test262/built-ins/Atomics/and/non-views.js
new file mode 100644
index 0000000000..9ffc1e5b9e
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and
+description: >
+ Test Atomics.and on view values other than TypedArrays
+includes: [testAtomics.js]
+features: [ArrayBuffer, Atomics, DataView, SharedArrayBuffer, Symbol, TypedArray]
+---*/
+
+testWithAtomicsNonViewValues(function(view) {
+ assert.throws(TypeError, function() {
+ Atomics.and(view, 0, 0);
+ }, '`Atomics.and(view, 0, 0)` throws TypeError');
+});
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/not-a-constructor.js b/js/src/tests/test262/built-ins/Atomics/and/not-a-constructor.js
new file mode 100644
index 0000000000..5a2df7e008
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.and 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.and), false, 'isConstructor(Atomics.and) must return false');
+
+assert.throws(TypeError, () => {
+ new Atomics.and(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT)));
+}, '`new Atomics.and(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT)))` throws TypeError');
+
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/shell.js b/js/src/tests/test262/built-ins/Atomics/and/shell.js
new file mode 100644
index 0000000000..eda1477282
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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/and/validate-arraytype-before-index-coercion.js b/js/src/tests/test262/built-ins/Atomics/and/validate-arraytype-before-index-coercion.js
new file mode 100644
index 0000000000..1cf082f8f6
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.add
+description: >
+ TypedArray type is validated before `index` argument is coerced.
+info: |
+ 24.4.3 Atomics.and ( typedArray, index, value )
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, and).
+
+ 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.and(typedArray, index, 0);
+ });
+}
+
+reportCompare(0, 0);
diff --git a/js/src/tests/test262/built-ins/Atomics/and/validate-arraytype-before-value-coercion.js b/js/src/tests/test262/built-ins/Atomics/and/validate-arraytype-before-value-coercion.js
new file mode 100644
index 0000000000..c84bea0800
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Atomics/and/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.add
+description: >
+ TypedArray type is validated before `value` argument is coerced.
+info: |
+ 24.4.3 Atomics.and ( typedArray, index, value )
+ 1. Return ? AtomicReadModifyWrite(typedArray, index, value, and).
+
+ 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.and(typedArray, 0, value);
+ });
+}
+
+reportCompare(0, 0);