Atomics.waitAsync: symbol for timeout throws

This commit is contained in:
Rick Waldron 2020-04-08 16:54:21 -04:00
parent eeb75f60dd
commit bd5b37e51e
2 changed files with 126 additions and 0 deletions

View File

@ -0,0 +1,75 @@
// Copyright (C) 2020 Rick Waldron. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-atomics.waitasync
description: >
Throws a TypeError if index arg can not be converted to an Integer
info: |
Atomics.waitAsync( typedArray, index, value, timeout )
1. Return DoWait(async, typedArray, index, value, timeout).
DoWait ( mode, typedArray, index, value, timeout )
6. Let q be ? ToNumber(timeout).
Symbol --> Throw a TypeError exception.
flags: [async]
includes: [atomicsHelper.js]
features: [Atomics.waitAsync, SharedArrayBuffer, Symbol, Symbol.toPrimitive, TypedArray, Atomics]
---*/
const RUNNING = 1;
$262.agent.start(`
$262.agent.receiveBroadcast(function(sab) {
const i32a = new Int32Array(sab);
Atomics.add(i32a, ${RUNNING}, 1);
let status1 = "";
let status2 = "";
try {
Atomics.wait(i32a, 0, 0, Symbol("1"));
} catch (error) {
status1 = 'Symbol("1")';
}
try {
Atomics.wait(i32a, 0, 0, Symbol("2"));
} catch (error) {
status2 = 'Symbol("2")';
}
$262.agent.report(status1);
$262.agent.report(status2);
$262.agent.leaving();
});
`);
const i32a = new Int32Array(
new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
);
$262.agent.safeBroadcastAsync(i32a, RUNNING, 1).then(async (agentCount) => {
assert.sameValue(agentCount, 1);
assert.sameValue(
await $262.agent.getReportAsync(),
'Symbol("1")',
'Atomics.wait(i32a, 0, 0, Symbol("1")) throws'
);
assert.sameValue(
await $262.agent.getReportAsync(),
'Symbol("2")',
'Atomics.wait(i32a, 0, 0, Symbol("2")) throws'
);
assert.sameValue(Atomics.notify(i32a, 0), 0, 'Atomics.notify(i32a, 0) returns 0');
}).then($DONE, $DONE);

View File

@ -0,0 +1,51 @@
// Copyright (C) 2020 Rick Waldron. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
esid: sec-atomics.waitasync
description: >
Throws a TypeError if index arg can not be converted to an Integer
info: |
Atomics.waitAsync( typedArray, index, value, timeout )
1. Return DoWait(async, typedArray, index, value, timeout).
DoWait ( mode, typedArray, index, value, timeout )
6. Let q be ? ToNumber(timeout).
Symbol --> Throw a TypeError exception.
features: [Atomics.waitAsync, SharedArrayBuffer, Symbol, Symbol.toPrimitive, TypedArray, computed-property-names, Atomics]
---*/
const i32a = new Int32Array(
new SharedArrayBuffer(Int32Array.BYTES_PER_ELEMENT * 4)
);
const poisonedValueOf = {
valueOf() {
throw new Test262Error('should not evaluate this code');
}
};
const poisonedToPrimitive = {
[Symbol.toPrimitive]() {
throw new Test262Error('passing a poisoned object using @@ToPrimitive');
}
};
assert.throws(Test262Error, function() {
Atomics.wait(i32a, 0, 0, poisonedValueOf);
}, '`Atomics.wait(i32a, 0, 0, poisonedValueOf)` throws Test262Error');
assert.throws(Test262Error, function() {
Atomics.wait(i32a, 0, 0, poisonedToPrimitive);
}, '`Atomics.wait(i32a, 0, 0, poisonedToPrimitive)` throws Test262Error');
assert.throws(TypeError, function() {
Atomics.wait(i32a, 0, 0, Symbol("foo"));
}, '`Atomics.wait(i32a, 0, 0, Symbol("foo"))` throws TypeError');
assert.throws(TypeError, function() {
Atomics.wait(i32a, 0, 0, Symbol("foo"));
}, '`Atomics.wait(i32a, 0, 0, Symbol("foo"))` throws TypeError');