From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:33:14 +0200 Subject: Adding upstream version 115.7.0esr. Signed-off-by: Daniel Baumann --- .../built-ins/Atomics/compareExchange/bad-range.js | 25 ++++++ .../Atomics/compareExchange/bigint/bad-range.js | 23 ++++++ .../Atomics/compareExchange/bigint/browser.js | 0 .../Atomics/compareExchange/bigint/good-views.js | 94 ++++++++++++++++++++++ .../bigint/non-shared-bufferdata.js | 18 +++++ .../Atomics/compareExchange/bigint/shell.js | 42 ++++++++++ .../built-ins/Atomics/compareExchange/browser.js | 0 .../Atomics/compareExchange/descriptor.js | 18 +++++ .../compareExchange/expected-return-value.js | 43 ++++++++++ .../Atomics/compareExchange/good-views.js | 77 ++++++++++++++++++ .../built-ins/Atomics/compareExchange/length.js | 35 ++++++++ .../built-ins/Atomics/compareExchange/name.js | 21 +++++ .../compareExchange/non-shared-bufferdata.js | 21 +++++ .../compareExchange/non-shared-int-views-throws.js | 21 +++++ .../built-ins/Atomics/compareExchange/non-views.js | 19 +++++ .../Atomics/compareExchange/not-a-constructor.js | 36 +++++++++ .../built-ins/Atomics/compareExchange/shell.js | 24 ++++++ ...date-arraytype-before-expectedValue-coercion.js | 43 ++++++++++ .../validate-arraytype-before-index-coercion.js | 43 ++++++++++ ...e-arraytype-before-replacementValue-coercion.js | 43 ++++++++++ 20 files changed, 646 insertions(+) create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bad-range.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/bad-range.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/browser.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/good-views.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/non-shared-bufferdata.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/shell.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/browser.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/descriptor.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/expected-return-value.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/good-views.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/length.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/name.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/non-shared-bufferdata.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/non-shared-int-views-throws.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/non-views.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/not-a-constructor.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/shell.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-expectedValue-coercion.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-index-coercion.js create mode 100644 js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-replacementValue-coercion.js (limited to 'js/src/tests/test262/built-ins/Atomics/compareExchange') diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/bad-range.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bad-range.js new file mode 100644 index 0000000000..570a7a864d --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: > + Test range checking of Atomics.compareExchange 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.compareExchange(view, IdxGen(view), 10, 0); + }, '`Atomics.compareExchange(view, IdxGen(view), 10, 0)` throws RangeError'); + }); +}, views); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/bad-range.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/bad-range.js new file mode 100644 index 0000000000..63b286bb72 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: > + Test range checking of Atomics.compareExchange 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.compareExchange(view, IdxGen(view), 10, 0n); + }, '`Atomics.compareExchange(view, IdxGen(view), 10, 0n)` throws RangeError'); + }); +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/browser.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/browser.js new file mode 100644 index 0000000000..e69de29bb2 diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/good-views.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/good-views.js new file mode 100644 index 0000000000..1ecc88ce13 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/good-views.js @@ -0,0 +1,94 @@ +// |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.compareexchange +description: Test Atomics.compareExchange 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.compareExchange(view, 8, 0n, 10n), + 0n, + 'Atomics.compareExchange(view, 8, 0n, 10n) returns 0n' + ); + + assert.sameValue(view[8], 10n, 'The value of view[8] is 10n'); + view[8] = 0n; + + assert.sameValue( + Atomics.compareExchange(view, 8, 1n, 10n), + 0n, + 'Atomics.compareExchange(view, 8, 1n, 10n) returns 0n' + ); + + assert.sameValue(view[8], 0n, 'The value of view[8] is 0n'); + view[8] = 0n; + + assert.sameValue( + Atomics.compareExchange(view, 8, 0n, -5n), + 0n, + 'Atomics.compareExchange(view, 8, 0n, -5n) returns 0n' + ); + + 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.compareExchange(view, 3, -5n, 0n), + control[0], + 'Atomics.compareExchange(view, 3, -5n, 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.compareExchange(view, 3, 12345n, 0n), + control[0], + 'Atomics.compareExchange(view, 3, 12345n, 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.compareExchange(view, 3, 123456789n, 0n), + control[0], + 'Atomics.compareExchange(view, 3, 123456789n, 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.compareExchange(view, Idx, 37n, 0n), + 37n, + 'Atomics.compareExchange(view, Idx, 37n, 0n) returns 37n' + ); + }); +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/non-shared-bufferdata.js new file mode 100644 index 0000000000..1952abaff5 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareExchange +description: > + Atomics.compareExchange 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.compareExchange(view, 0, 0n, 1n), 0n, 'Atomics.compareExchange(view, 0, 0n, 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/compareExchange/bigint/shell.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/shell.js new file mode 100644 index 0000000000..90ee9c114d --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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/compareExchange/browser.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/browser.js new file mode 100644 index 0000000000..e69de29bb2 diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/descriptor.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/descriptor.js new file mode 100644 index 0000000000..cd273df6c4 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: Testing descriptor property of Atomics.compareExchange +includes: [propertyHelper.js] +features: [Atomics] +---*/ + +verifyProperty(Atomics, 'compareExchange', { + enumerable: false, + writable: true, + configurable: true, +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/expected-return-value.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/expected-return-value.js new file mode 100644 index 0000000000..1219bf1bae --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/expected-return-value.js @@ -0,0 +1,43 @@ +// |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.compareExchange +description: > + Atomics.compareExchange returns the value that existed at the + index prior to the operation. +info: | + Atomics.compareExchange( typedArray, index, expectedValue, replacementValue ) + + ... + 12. Let compareExchange denote a semantic function of two List of + byte values arguments that returns the second argument if the + first argument is element-wise equal to expectedBytes. + 13. Return GetModifySetValueInBuffer(buffer, indexedPosition, + elementType, replacement, compareExchange). + + + GetModifySetValueInBuffer( arrayBuffer, + byteIndex, type, value, op [ , isLittleEndian ] ) + + ... + 16. Return RawBytesToNumber(type, rawBytesRead, isLittleEndian). + +features: [Atomics, SharedArrayBuffer, TypedArray] +---*/ + +const buffer = new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4); +const i32a = new Int32Array(buffer); +const update = 0b00000001000000001000000010000001; + +i32a[0] = update; + +assert.sameValue( + Atomics.compareExchange(i32a, 0, update, 0), + update, + 'Atomics.compareExchange(i32a, 0, update, 0) returns the value of `update` (0b00000001000000001000000010000001)' +); +assert.sameValue(i32a[0], 0, 'The value of i32a[0] is 0'); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/good-views.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/good-views.js new file mode 100644 index 0000000000..a9a8afc53f --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/good-views.js @@ -0,0 +1,77 @@ +// |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.compareexchange +description: Test Atomics.compareExchange 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); + + // Performs the exchange + view[8] = 0; + assert.sameValue( + Atomics.compareExchange(view, 8, 0, 10), + 0, + 'Atomics.compareExchange(view, 8, 0, 10) returns 0' + ); + assert.sameValue(view[8], 10, 'The value of view[8] is 10'); + + view[8] = 0; + assert.sameValue(Atomics.compareExchange(view, 8, 1, 10), 0, + 'Atomics.compareExchange(view, 8, 1, 10) returns 0'); + assert.sameValue(view[8], 0, 'The value of view[8] is 0'); + + view[8] = 0; + assert.sameValue(Atomics.compareExchange(view, 8, 0, -5), 0, + 'Atomics.compareExchange(view, 8, 0, -5) returns 0'); + 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.compareExchange(view, 3, -5, 0), control[0], + 'Atomics.compareExchange(view, 3, -5, 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.compareExchange(view, 3, 12345, 0), control[0], + 'Atomics.compareExchange(view, 3, 12345, 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.compareExchange(view, 3, 123456789, 0), control[0], + 'Atomics.compareExchange(view, 3, 123456789, 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.compareExchange(view, Idx, 37, 0), + 37, + 'Atomics.compareExchange(view, Idx, 37, 0) returns 37' + ); + }); +}, views); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/length.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/length.js new file mode 100644 index 0000000000..f850703350 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: > + Atomics.compareExchange.length is 4. +info: | + Atomics.compareExchange ( ia, index, expect, replace ) + + 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.compareExchange, 'length', { + value: 4, + enumerable: false, + writable: false, + configurable: true, +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/name.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/name.js new file mode 100644 index 0000000000..df2e3f0643 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: > + Atomics.compareExchange.name is "compareExchange". +includes: [propertyHelper.js] +features: [Atomics] +---*/ + +verifyProperty(Atomics.compareExchange, 'name', { + value: 'compareExchange', + enumerable: false, + writable: false, + configurable: true, +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/non-shared-bufferdata.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/non-shared-bufferdata.js new file mode 100644 index 0000000000..a5d3058801 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareExchange +description: > + Atomics.compareExchange 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.compareExchange(view, 0, 0, 1), 0, 'Atomics.compareExchange(view, 0, 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/compareExchange/non-shared-int-views-throws.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/non-shared-int-views-throws.js new file mode 100644 index 0000000000..45df6f8cb5 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareExchange +description: > + Atomics.compareExchange 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.compareExchange(view, 0, 0, 0); + }, `Atomics.compareExchange(new ${TA.name}(buffer), 0, 0, 0) throws TypeError`); +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/non-views.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/non-views.js new file mode 100644 index 0000000000..79c1904ad2 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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.compareexchange +description: > + Test Atomics.compareExchange on view values other than TypedArrays +includes: [testAtomics.js] +features: [ArrayBuffer, Atomics, DataView, SharedArrayBuffer, Symbol, TypedArray] +---*/ + +testWithAtomicsNonViewValues(function(view) { + assert.throws(TypeError, function() { + Atomics.compareExchange(view, 0, 0, 0); + }, '`Atomics.compareExchange(view, 0, 0, 0)` throws TypeError'); +}); + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/not-a-constructor.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/not-a-constructor.js new file mode 100644 index 0000000000..7e02ac2a87 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/not-a-constructor.js @@ -0,0 +1,36 @@ +// |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.compareExchange 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.compareExchange), + false, + 'isConstructor(Atomics.compareExchange) must return false' +); + +assert.throws(TypeError, () => { + new Atomics.compareExchange(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT))); +}, '`new Atomics.compareExchange(new Int32Array(new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT)))` throws TypeError'); + + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/shell.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/shell.js new file mode 100644 index 0000000000..eda1477282 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/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/compareExchange/validate-arraytype-before-expectedValue-coercion.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-expectedValue-coercion.js new file mode 100644 index 0000000000..2db356fecc --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-expectedValue-coercion.js @@ -0,0 +1,43 @@ +// |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.compareExchange +description: > + TypedArray type is validated before `expectedValue` argument is coerced. +info: | + 24.4.4 Atomics.compareExchange ( typedArray, index, expectedValue, replacementValue ) + 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 expectedValue = { + valueOf() { + throw new Test262Error("expectedValue coerced"); + } +}; + +var badArrayTypes = [ + Uint8ClampedArray, Float32Array, Float64Array +]; + +for (var badArrayType of badArrayTypes) { + var typedArray = new badArrayType(new SharedArrayBuffer(8)); + assert.throws(TypeError, function() { + Atomics.compareExchange(typedArray, 0, expectedValue, 0); + }); +} + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-index-coercion.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-index-coercion.js new file mode 100644 index 0000000000..753cbe0f14 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-index-coercion.js @@ -0,0 +1,43 @@ +// |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.compareExchange +description: > + TypedArray type is validated before `index` argument is coerced. +info: | + 24.4.4 Atomics.compareExchange ( typedArray, index, expectedValue, replacementValue ) + 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.compareExchange(typedArray, index, 0, 0); + }); +} + +reportCompare(0, 0); diff --git a/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-replacementValue-coercion.js b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-replacementValue-coercion.js new file mode 100644 index 0000000000..09b9be7bdc --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/validate-arraytype-before-replacementValue-coercion.js @@ -0,0 +1,43 @@ +// |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.compareExchange +description: > + TypedArray type is validated before `replacementValue` argument is coerced. +info: | + 24.4.4 Atomics.compareExchange ( typedArray, index, expectedValue, replacementValue ) + 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 replacementValue = { + valueOf() { + throw new Test262Error("replacementValue coerced"); + } +}; + +var badArrayTypes = [ + Uint8ClampedArray, Float32Array, Float64Array +]; + +for (var badArrayType of badArrayTypes) { + var typedArray = new badArrayType(new SharedArrayBuffer(8)); + assert.throws(TypeError, function() { + Atomics.compareExchange(typedArray, 0, 0, replacementValue); + }); +} + +reportCompare(0, 0); -- cgit v1.2.3