2024-04-19 12:51:52 +02:00
|
|
|
// 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.
|
|
|
|
|
|
2025-04-29 08:03:15 +02:00
|
|
|
// Flags: --wasm-staging
|
2024-04-19 12:51:52 +02:00
|
|
|
|
|
|
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
|
|
|
|
|
|
|
|
|
const builder = new WasmModuleBuilder();
|
|
|
|
|
builder.startRecGroup();
|
|
|
|
|
let i8array = builder.addArray(kWasmI8, true, kNoSuperType, true);
|
|
|
|
|
builder.endRecGroup();
|
|
|
|
|
|
|
|
|
|
let kSig_e_aii = builder.addType(
|
|
|
|
|
makeSig([wasmRefNullType(i8array), kWasmI32, kWasmI32], [wasmRefType(kWasmExternRef)]));
|
|
|
|
|
|
|
|
|
|
let kStringFromUtf8Array = builder.addImport(
|
|
|
|
|
'wasm:text-decoder', 'decodeStringFromUTF8Array', kSig_e_aii);
|
|
|
|
|
|
|
|
|
|
let $data0 = builder.addPassiveDataSegment([97, 98, 99]);
|
|
|
|
|
|
|
|
|
|
builder.addFunction("main", makeSig([], [kWasmExternRef])).exportFunc()
|
|
|
|
|
.addBody([
|
|
|
|
|
kExprI32Const, 0, // offset.
|
|
|
|
|
kExprI32Const, 3, // length.
|
|
|
|
|
kGCPrefix, kExprArrayNewData, i8array, $data0,
|
|
|
|
|
kExprI32Const, 0x5, // start (OOB)
|
|
|
|
|
kExprI32Const, 0x7, // length
|
|
|
|
|
kExprCallFunction, kStringFromUtf8Array,
|
|
|
|
|
kExprDrop, // Despite the string being unused, we have to trap.
|
|
|
|
|
kExprRefNull, kExternRefCode,
|
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
let kBuiltins = { builtins: ['text-decoder'] };
|
|
|
|
|
const instance = builder.instantiate({}, kBuiltins);
|
|
|
|
|
assertThrows(() => instance.exports.main(), WebAssembly.RuntimeError,
|
|
|
|
|
"array element access out of bounds");
|
