Files
Kmake/deps/v8/test/mjsunit/wasm/table64-limits.js
2026-05-26 23:36:42 -07:00

103 lines
3.2 KiB
JavaScript

// Copyright 2024 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
const max_size = 10000000
const oob_size = max_size + 1;
const oob_size_b = BigInt(oob_size);
(function TestTable64OOBInitialSize() {
print(arguments.callee.name);
const builder = new WasmModuleBuilder();
builder.addTable64(kWasmAnyFunc, oob_size).exportAs('table').index;
const err_msg = `WebAssembly.Module(): initial table size \
(${oob_size} elements) is larger than implementation limit \
(10000000 elements) @+13`;
assertThrows(
() => builder.instantiate().exports, WebAssembly.CompileError, err_msg);
})();
(function TestTable64OOBMaxSize() {
print(arguments.callee.name);
const builder = new WasmModuleBuilder();
// We should not throw an error if the declared maximum size is oob.
builder.addTable64(kWasmAnyFunc, 1, oob_size).exportAs('table').index;
builder.instantiate().exports;
})();
(function TestJSTable64OOBInitialSize() {
print(arguments.callee.name);
assertThrows(
() => new WebAssembly.Table(
{element: 'anyfunc', initial: oob_size_b, address: 'i64'}),
RangeError, /above the upper bound/);
})();
(function TestJSTable64OOBMaxSize() {
print(arguments.callee.name);
new WebAssembly.Table(
{element: 'anyfunc', initial: 1n, maximum: oob_size_b, address: 'i64'});
})();
(function TestJSTable64OOBGrowSize() {
print(arguments.callee.name);
let table = new WebAssembly.Table({
initial: 1n,
maximum: oob_size_b + 10n,
element: 'anyfunc',
address: 'i64'
});
assertThrows(
() => table.grow(oob_size_b - 1n), RangeError, /failed to grow table/);
})();
function exportTable64Grow(builder, table) {
let kSig_l_rl = makeSig([kWasmExternRef, kWasmI64], [kWasmI64]);
builder.addFunction('table64_grow', kSig_l_rl)
.addBody([
kExprLocalGet, 0,
kExprLocalGet, 1,
kNumericPrefix, kExprTableGrow, table.index])
.exportFunc();
}
(function TestTable64OOBGrowSize() {
print(arguments.callee.name);
const builder = new WasmModuleBuilder();
const initial_size = 1;
const table = builder.addTable64(kWasmExternRef, initial_size, oob_size + 10)
.exportAs('table');
exportTable64Grow(builder, table);
let exports = builder.instantiate().exports;
assertEquals(-1n, exports.table64_grow('64 bit', oob_size_b - 1n));
})();
(function TestJSTable64MaxUint64() {
print(arguments.callee.name);
let max_uint64 = (1n << 64n) - 1n;
let table = new WebAssembly.Table(
{initial: 0n, maximum: max_uint64, element: 'anyfunc', address: 'i64'});
table.grow(oob_size_b - 1n);
assertThrows(() => table.grow(1n), RangeError, /failed to grow table/);
})();
(function TestJSTable64MaxUint64PlusOne() {
print(arguments.callee.name);
let max_uint64 = (1n << 64n) - 1n;
assertThrows(
() => new WebAssembly.Table({
initial: 1n,
maximum: max_uint64 + 1n,
element: 'anyfunc',
address: 'i64'
}),
TypeError,
'WebAssembly.Table(): Property \'maximum\' must be in u64 range');
})();