90 lines
2.9 KiB
JavaScript
90 lines
2.9 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.
|
||
|
|
|
||
|
|
// Flags: --allow-natives-syntax --wasm-staging
|
||
|
|
|
||
|
|
d8.file.execute("test/mjsunit/wasm/wasm-module-builder.js");
|
||
|
|
|
||
|
|
let builder = new WasmModuleBuilder();
|
||
|
|
|
||
|
|
let $glob0 =
|
||
|
|
builder.addImportedGlobal('imports', 'glob0', wasmRefNullType(kWasmExnRef));
|
||
|
|
let $glob1 = builder.addGlobal(kWasmExnRef);
|
||
|
|
let $glob2 = builder.addGlobal(kWasmNullExnRef);
|
||
|
|
let $tab1 = builder.addTable(kWasmExnRef, 0, 1).exportAs("tab1");
|
||
|
|
let $tab2 = builder.addTable(kWasmNullExnRef, 0, 1).exportAs("tab2");
|
||
|
|
|
||
|
|
// To allow the tierup-triggering loop below to handle all exported functions
|
||
|
|
// the same way, they all stick to the contract that they trap with
|
||
|
|
// "unreachable" on success (!). If they terminate without trapping, the
|
||
|
|
// test fails.
|
||
|
|
|
||
|
|
builder.addFunction("test_glob0", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprGlobalGet, $glob0,
|
||
|
|
kExprBrOnNonNull, 0,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
builder.addFunction("test_glob1", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprGlobalGet, $glob1.index,
|
||
|
|
kExprBrOnNonNull, 0,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
builder.addFunction("test_glob2", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprGlobalGet, $glob2.index,
|
||
|
|
kExprBrOnNonNull, 0,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
builder.addFunction("test_tab1", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprI32Const, 0,
|
||
|
|
kExprTableGet, $tab1.index,
|
||
|
|
kExprBrOnNonNull, 0,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
builder.addFunction("test_tab2", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprI32Const, 0,
|
||
|
|
kExprTableGet, $tab2.index,
|
||
|
|
kExprBrOnNonNull, 0,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
|
||
|
|
// This signature isn't JS-compatible, so we have to call the function
|
||
|
|
// from another Wasm function.
|
||
|
|
let sig_uninhabitable = makeSig([], [wasmRefType(kWasmNullExnRef)]);
|
||
|
|
let crash_callee = builder.addFunction("crash_callee", sig_uninhabitable)
|
||
|
|
.addBody([
|
||
|
|
kExprBlock, kWasmVoid,
|
||
|
|
kExprI32Const, 0,
|
||
|
|
kExprTableGet, $tab2.index,
|
||
|
|
kExprBrOnNull, 0,
|
||
|
|
kExprReturn,
|
||
|
|
kExprEnd,
|
||
|
|
kExprUnreachable,
|
||
|
|
]);
|
||
|
|
builder.addFunction("crash", kSig_v_v).exportFunc().addBody([
|
||
|
|
kExprCallFunction, crash_callee.index,
|
||
|
|
kExprDrop,
|
||
|
|
])
|
||
|
|
|
||
|
|
let glob0 = new WebAssembly.Global({value: 'exnref'});
|
||
|
|
// Not (yet?) supported.
|
||
|
|
// TODO(thibaudm): Figure out whether this should be supported, and either
|
||
|
|
// drop it or add it to the set of cases being tested.
|
||
|
|
assertThrows(() => {
|
||
|
|
let tab0 = new WebAssembly.Table({element: 'exnref', initial: 1, maximum: 2});
|
||
|
|
}, TypeError);
|
||
|
|
|
||
|
|
let imports = { glob0 };
|
||
|
|
let instance = builder.instantiate({ imports });
|
||
|
|
let wasm = instance.exports;
|
||
|
|
wasm.tab1.grow(1);
|
||
|
|
wasm.tab2.grow(1);
|
||
|
|
for (let funcname in wasm) {
|
||
|
|
let func = wasm[funcname];
|
||
|
|
if (typeof func !== "function") continue;
|
||
|
|
console.log(funcname);
|
||
|
|
assertThrows(func, WebAssembly.RuntimeError, "unreachable");
|
||
|
|
%WasmTierUpFunction(func);
|
||
|
|
assertThrows(func, WebAssembly.RuntimeError, "unreachable");
|
||
|
|
}
|