e43a5f0ee2
Bug: v8:7748 Change-Id: Ib8fadc272178fb0d49f7d5fab7d1953e2328a1ad Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3770107 Auto-Submit: Matthias Liedtke <mliedtke@google.com> Commit-Queue: Matthias Liedtke <mliedtke@google.com> Reviewed-by: Jakob Kummerow <jkummerow@chromium.org> Cr-Commit-Position: refs/heads/main@{#81787}
170 lines
5.4 KiB
JavaScript
170 lines
5.4 KiB
JavaScript
// Copyright 2021 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: --experimental-wasm-gc
|
|
|
|
d8.file.execute("test/mjsunit/wasm/wasm-module-builder.js");
|
|
|
|
(function TestNominalTypesBasic() {
|
|
print(arguments.callee.name);
|
|
var builder = new WasmModuleBuilder();
|
|
builder.setNominal();
|
|
let struct1 = builder.addStruct([makeField(kWasmI32, true)]);
|
|
let struct2 = builder.addStruct(
|
|
[makeField(kWasmI32, true), makeField(kWasmI32, true)], struct1);
|
|
|
|
let array1 = builder.addArray(kWasmI32, true);
|
|
let array2 = builder.addArray(kWasmI32, true, array1);
|
|
|
|
builder.addFunction("main", kSig_v_v)
|
|
.addLocals(wasmRefNullType(struct1), 1)
|
|
.addLocals(wasmRefNullType(array1), 1)
|
|
.addBody([
|
|
// Check that we can create a struct with implicit RTT.
|
|
kGCPrefix, kExprStructNewDefault, struct2,
|
|
// ...and upcast it.
|
|
kExprLocalSet, 0,
|
|
// Check that we can create an array with implicit RTT.
|
|
kExprI32Const, 10, // length
|
|
kGCPrefix, kExprArrayNewDefault, array2,
|
|
// ...and upcast it.
|
|
kExprLocalSet, 1])
|
|
.exportFunc();
|
|
|
|
// This test is only interested in type checking.
|
|
builder.instantiate();
|
|
})();
|
|
|
|
(function TestSubtypingDepthTooLarge() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
builder.setNominal();
|
|
builder.addStruct([]);
|
|
for (let i = 0; i < 32; i++) builder.addStruct([], i);
|
|
assertThrows(
|
|
() => builder.instantiate(), WebAssembly.CompileError,
|
|
/subtyping depth is greater than allowed/);
|
|
})();
|
|
|
|
(function TestArrayNewDataStatic() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
builder.setNominal();
|
|
builder.setEarlyDataCountSection();
|
|
let array_type_index = builder.addArray(kWasmI16, true);
|
|
|
|
let dummy_byte = 0xff;
|
|
let element_0 = 1000;
|
|
let element_1 = -2222;
|
|
|
|
let data_segment = builder.addPassiveDataSegment(
|
|
[dummy_byte, element_0 & 0xff, (element_0 >> 8) & 0xff,
|
|
element_1 & 0xff, (element_1 >> 8) & 0xff]);
|
|
|
|
let global = builder.addGlobal(
|
|
wasmRefType(array_type_index), true,
|
|
[...wasmI32Const(1), ...wasmI32Const(2),
|
|
kGCPrefix, kExprArrayNewDataStatic, array_type_index, data_segment],
|
|
builder);
|
|
|
|
builder.addFunction("global_get", kSig_i_i)
|
|
.addBody([
|
|
kExprGlobalGet, global.index,
|
|
kExprLocalGet, 0,
|
|
kGCPrefix, kExprArrayGetS, array_type_index])
|
|
.exportFunc();
|
|
|
|
// parameters: (segment offset, array length, array index)
|
|
builder.addFunction("init_from_data", kSig_i_iii)
|
|
.addBody([
|
|
kExprLocalGet, 0, kExprLocalGet, 1,
|
|
kGCPrefix, kExprArrayNewDataStatic,
|
|
array_type_index, data_segment,
|
|
kExprLocalGet, 2,
|
|
kGCPrefix, kExprArrayGetS, array_type_index])
|
|
.exportFunc();
|
|
|
|
builder.addFunction("drop_segment", kSig_v_v)
|
|
.addBody([kNumericPrefix, kExprDataDrop, data_segment])
|
|
.exportFunc();
|
|
|
|
let instance = builder.instantiate();
|
|
|
|
assertEquals(element_0, instance.exports.global_get(0));
|
|
assertEquals(element_1, instance.exports.global_get(1));
|
|
|
|
let init = instance.exports.init_from_data;
|
|
|
|
assertEquals(element_0, init(1, 2, 0));
|
|
assertEquals(element_1, init(1, 2, 1));
|
|
|
|
assertTraps(kTrapArrayTooLarge, () => init(1, 1000000000, 0));
|
|
assertTraps(kTrapDataSegmentOutOfBounds, () => init(2, 2, 0));
|
|
|
|
instance.exports.drop_segment();
|
|
|
|
assertTraps(kTrapDataSegmentOutOfBounds, () => init(1, 2, 0));
|
|
})();
|
|
|
|
(function TestArrayNewData() {
|
|
print(arguments.callee.name);
|
|
let builder = new WasmModuleBuilder();
|
|
builder.setNominal();
|
|
builder.setEarlyDataCountSection();
|
|
let array_type_index = builder.addArray(kWasmI16, true);
|
|
|
|
let dummy_byte = 0xff;
|
|
let element_0 = 1000;
|
|
let element_1 = -2222;
|
|
|
|
let data_segment = builder.addPassiveDataSegment(
|
|
[dummy_byte, element_0 & 0xff, (element_0 >> 8) & 0xff,
|
|
element_1 & 0xff, (element_1 >> 8) & 0xff]);
|
|
|
|
let global = builder.addGlobal(
|
|
wasmRefType(array_type_index), true,
|
|
[...wasmI32Const(1), ...wasmI32Const(2),
|
|
kGCPrefix, kExprRttCanon, array_type_index,
|
|
kGCPrefix, kExprArrayNewData, array_type_index, data_segment],
|
|
builder);
|
|
|
|
builder.addFunction("global_get", kSig_i_i)
|
|
.addBody([
|
|
kExprGlobalGet, global.index,
|
|
kExprLocalGet, 0,
|
|
kGCPrefix, kExprArrayGetS, array_type_index])
|
|
.exportFunc();
|
|
|
|
// parameters: (segment offset, array length, array index)
|
|
builder.addFunction("init_from_data", kSig_i_iii)
|
|
.addBody([
|
|
kExprLocalGet, 0, kExprLocalGet, 1,
|
|
kGCPrefix, kExprRttCanon, array_type_index,
|
|
kGCPrefix, kExprArrayNewData, array_type_index, data_segment,
|
|
kExprLocalGet, 2,
|
|
kGCPrefix, kExprArrayGetS, array_type_index])
|
|
.exportFunc();
|
|
|
|
builder.addFunction("drop_segment", kSig_v_v)
|
|
.addBody([kNumericPrefix, kExprDataDrop, data_segment])
|
|
.exportFunc();
|
|
|
|
let instance = builder.instantiate();
|
|
|
|
assertEquals(element_0, instance.exports.global_get(0));
|
|
assertEquals(element_1, instance.exports.global_get(1));
|
|
|
|
let init = instance.exports.init_from_data;
|
|
|
|
assertEquals(element_0, init(1, 2, 0));
|
|
assertEquals(element_1, init(1, 2, 1));
|
|
|
|
assertTraps(kTrapArrayTooLarge, () => init(1, 1000000000, 0));
|
|
assertTraps(kTrapDataSegmentOutOfBounds, () => init(2, 2, 0));
|
|
|
|
instance.exports.drop_segment();
|
|
|
|
assertTraps(kTrapDataSegmentOutOfBounds, () => init(1, 2, 0));
|
|
})();
|