aecbdd1e9b
This adds basic support and tests for having global variables of type "except_ref" that are default initialized to "null". The functionality is part of the exception handling proposal and solely enabled by the corresponding feature flag. R=ahaas@chromium.org TEST=mjsunit/wasm/exceptions-global BUG=v8:8091 Change-Id: I581bc942fbe6688a5c58790a842fb024de22d924 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1528439 Commit-Queue: Michael Achenbach <machenbach@chromium.org> Reviewed-by: Andreas Haas <ahaas@chromium.org> Cr-Commit-Position: refs/heads/master@{#60317}
45 lines
1.7 KiB
JavaScript
45 lines
1.7 KiB
JavaScript
// Copyright 2019 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 --allow-natives-syntax
|
|
|
|
// Note that this test does not pass --experimental-wasm-anyref on purpose so
|
|
// that we make sure the two flags can be controlled separately/independently.
|
|
|
|
load("test/mjsunit/wasm/wasm-module-builder.js");
|
|
|
|
// First we just test that "except_ref" global variables are allowed.
|
|
(function TestGlobalExceptRefSupported() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
let g = builder.addGlobal(kWasmExceptRef);
|
|
builder.addFunction("push_and_drop_except_ref", kSig_v_v)
|
|
.addBody([
|
|
kExprGetGlobal, g.index,
|
|
kExprDrop,
|
|
]).exportFunc();
|
|
let instance = builder.instantiate();
|
|
|
|
assertDoesNotThrow(instance.exports.push_and_drop_except_ref);
|
|
})();
|
|
|
|
// Test default value that global "except_ref" variables are initialized with.
|
|
(function TestGlobalExceptRefDefaultValue() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
let g = builder.addGlobal(kWasmExceptRef);
|
|
builder.addFunction('push_and_return_except_ref', kSig_e_v)
|
|
.addBody([kExprGetGlobal, g.index])
|
|
.exportFunc();
|
|
let instance = builder.instantiate();
|
|
|
|
assertEquals(null, instance.exports.push_and_return_except_ref());
|
|
})();
|
|
|
|
// TODO(mstarzinger): Add test coverage for the following:
|
|
// - Catching exception in wasm and storing into global.
|
|
// - Taking "except_ref" parameter and storing into global.
|
|
// - Rethrowing "except_ref" from global (or parameter).
|
|
// - Importing a global "except_ref" during instantiation.
|