51 lines
2.0 KiB
JavaScript
51 lines
2.0 KiB
JavaScript
|
// Copyright 2025 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");
|
||
|
|
|
||
|
|
let {tag, thrower} = (()=>{
|
||
|
|
let builder = new WasmModuleBuilder();
|
||
|
|
let $s0 = builder.addStruct([makeField(kWasmI64, true)]);
|
||
|
|
let $s1 = builder.addStruct([makeField(kWasmI64, true),
|
||
|
|
makeField(kWasmI64, true),
|
||
|
|
makeField(kWasmI64, true)],
|
||
|
|
$s0);
|
||
|
|
// sig_v_s0 <: sig_v_s1
|
||
|
|
let $sig_v_s1 = builder.addType(makeSig([wasmRefType($s1)], []), kNoSuperType,
|
||
|
|
false);
|
||
|
|
let $sig_v_s0 = builder.addType(makeSig([wasmRefType($s0)], []), $sig_v_s1);
|
||
|
|
let $tag = builder.addTag($sig_v_s0);
|
||
|
|
builder.addExportOfKind('tag', kExternalTag, $tag);
|
||
|
|
builder.addFunction('thrower', kSig_v_l).addBody([
|
||
|
|
kExprLocalGet, 0,
|
||
|
|
kGCPrefix, kExprStructNew, $s0,
|
||
|
|
kExprThrow, $tag,
|
||
|
|
]).exportFunc();
|
||
|
|
return builder.instantiate().exports;
|
||
|
|
})();
|
||
|
|
|
||
|
|
let builder = new WasmModuleBuilder();
|
||
|
|
let $s0 = builder.addStruct([makeField(kWasmI64, true)]);
|
||
|
|
let $s1 = builder.addStruct([makeField(kWasmI64, true),
|
||
|
|
makeField(kWasmI64, true),
|
||
|
|
makeField(kWasmI64, true)], $s0);
|
||
|
|
let $sig_v_s1 = builder.addType(makeSig([wasmRefType($s1)], []), kNoSuperType,
|
||
|
|
false);
|
||
|
|
let $sig_v_s0 = builder.addType(makeSig([wasmRefType($s0)], []), $sig_v_s1);
|
||
|
|
let $tag = builder.addImportedTag('import', 'tag', $sig_v_s1);
|
||
|
|
let $thrower = builder.addImport('import', 'thrower', kSig_v_l);
|
||
|
|
let $f = builder.addFunction('f', kSig_l_l).addBody([
|
||
|
|
kExprTry, kWasmI64,
|
||
|
|
kExprLocalGet, 0,
|
||
|
|
kExprCallFunction, $thrower,
|
||
|
|
kExprUnreachable,
|
||
|
|
kExprCatch, $tag,
|
||
|
|
kGCPrefix, kExprStructGet, $s1, 1,
|
||
|
|
kExprEnd,
|
||
|
|
]).exportFunc();
|
||
|
|
|
||
|
|
assertThrows(() => builder.instantiate({import: {thrower, tag}}),
|
||
|
|
WebAssembly.LinkError,
|
||
|
|
/imported tag does not match the expected type/)
|