0074125486
This is a reland of a4105a437d
Original change's description:
> [wasm] Implement handling of exported/imported exceptions.
>
> This implements the proper semantics for matching exported/imported
> exceptions by using the notion of an "exception tag" that is global to
> the system. It can be used to match exceptions in one module against
> exceptions declared and/or thrown in another module (or instance).
>
> R=clemensh@chromium.org
> TEST=mjsunit/wasm/exceptions-shared
> BUG=v8:8091
>
> Change-Id: I37586d7be5d5e6169b3418dfbc415b26dd4750dd
> Reviewed-on: https://chromium-review.googlesource.com/1226976
> Commit-Queue: Michael Starzinger <mstarzinger@chromium.org>
> Reviewed-by: Clemens Hammacher <clemensh@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#55940}
Bug: v8:8091
Change-Id: Ib85f099b26a8323a8a00299b5aaeb05aaff3c3c6
Reviewed-on: https://chromium-review.googlesource.com/1227975
Reviewed-by: Clemens Hammacher <clemensh@chromium.org>
Commit-Queue: Michael Starzinger <mstarzinger@chromium.org>
Cr-Commit-Position: refs/heads/master@{#55959}
97 lines
3.6 KiB
JavaScript
97 lines
3.6 KiB
JavaScript
// Copyright 2018 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: --expose-wasm --experimental-wasm-eh
|
|
|
|
load("test/mjsunit/wasm/wasm-constants.js");
|
|
load("test/mjsunit/wasm/wasm-module-builder.js");
|
|
|
|
// Helper function to return a new exported exception with the {kSig_v_v} type
|
|
// signature from an anonymous module. The underlying module is thrown away.
|
|
// This allows tests to reason solely about importing exceptions.
|
|
function NewExportedException() {
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addException(kSig_v_v);
|
|
builder.addExportOfKind("ex", kExternalException, except);
|
|
let instance = builder.instantiate();
|
|
return instance.exports.ex;
|
|
}
|
|
|
|
(function TestImportSimple() {
|
|
print(arguments.callee.name);
|
|
let exported = NewExportedException();
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addImportedException("m", "ex", kSig_v_v);
|
|
|
|
assertDoesNotThrow(() => builder.instantiate({ m: { ex: exported }}));
|
|
})();
|
|
|
|
(function TestImportMultiple() {
|
|
print(arguments.callee.name);
|
|
let exported = NewExportedException();
|
|
let builder = new WasmModuleBuilder();
|
|
let except1 = builder.addImportedException("m", "ex1", kSig_v_v);
|
|
let except2 = builder.addImportedException("m", "ex2", kSig_v_v);
|
|
let except3 = builder.addException(kSig_v_v);
|
|
builder.addExportOfKind("ex2", kExternalException, except2);
|
|
builder.addExportOfKind("ex3", kExternalException, except3);
|
|
let instance = builder.instantiate({ m: { ex1: exported, ex2: exported }});
|
|
|
|
assertTrue(except1 < except3 && except2 < except3);
|
|
assertEquals(undefined, instance.exports.ex1);
|
|
assertSame(exported, instance.exports.ex2);
|
|
assertNotSame(exported, instance.exports.ex3);
|
|
})();
|
|
|
|
(function TestImportMissing() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addImportedException("m", "ex", kSig_v_v);
|
|
|
|
assertThrows(
|
|
() => builder.instantiate({}), TypeError,
|
|
/module is not an object or function/);
|
|
assertThrows(
|
|
() => builder.instantiate({ m: {}}), WebAssembly.LinkError,
|
|
/exception import requires a WebAssembly.Exception/);
|
|
})();
|
|
|
|
(function TestImportValueMismatch() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addImportedException("m", "ex", kSig_v_v);
|
|
|
|
assertThrows(
|
|
() => builder.instantiate({ m: { ex: 23 }}), WebAssembly.LinkError,
|
|
/exception import requires a WebAssembly.Exception/);
|
|
assertThrows(
|
|
() => builder.instantiate({ m: { ex: {} }}), WebAssembly.LinkError,
|
|
/exception import requires a WebAssembly.Exception/);
|
|
var monkey = Object.create(NewExportedException());
|
|
assertThrows(
|
|
() => builder.instantiate({ m: { ex: monkey }}), WebAssembly.LinkError,
|
|
/exception import requires a WebAssembly.Exception/);
|
|
})();
|
|
|
|
(function TestImportSignatureMismatch() {
|
|
print(arguments.callee.name);
|
|
let exported = NewExportedException();
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addImportedException("m", "ex", kSig_v_i);
|
|
|
|
assertThrows(
|
|
() => builder.instantiate({ m: { ex: exported }}), WebAssembly.LinkError,
|
|
/imported exception does not match the expected type/);
|
|
})();
|
|
|
|
(function TestImportModuleGetImports() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
let except = builder.addImportedException("m", "ex", kSig_v_v);
|
|
let module = new WebAssembly.Module(builder.toBuffer());
|
|
|
|
let imports = WebAssembly.Module.imports(module);
|
|
assertArrayEquals([{ module: "m", name: "ex", kind: "exception" }], imports);
|
|
})();
|