diff options
Diffstat (limited to 'js/src/tests/test262/built-ins/Atomics/compareExchange/bigint')
5 files changed, 177 insertions, 0 deletions
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 --- /dev/null +++ b/js/src/tests/test262/built-ins/Atomics/compareExchange/bigint/browser.js 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; + } + } +} |