2024-04-18 07:06:43 +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 --no-liftoff
|
2024-04-18 07:06:43 +02:00
|
|
|
|
|
|
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
|
|
|
|
|
|
|
|
|
const builder = new WasmModuleBuilder();
|
|
|
|
|
builder.addArray(kWasmI32, true);
|
|
|
|
|
builder.addFunction("main", makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]))
|
|
|
|
|
.addBody([
|
|
|
|
|
kExprRefNull, 0x00, // ref.null
|
|
|
|
|
kExprBlock, 0x7f, // block @7 i32
|
|
|
|
|
kExprBlock, 0x7f, // block @9 i32
|
|
|
|
|
kExprRefNull, 0x00, // ref.null
|
|
|
|
|
kExprBlock, 0x7f, // block @13 i32
|
|
|
|
|
kExprBlock, 0x7f, // block @15 i32
|
|
|
|
|
kExprBlock, 0x7f, // block @17 i32
|
|
|
|
|
kExprBlock, 0x7f, // block @19 i32
|
|
|
|
|
kExprI32Const, 0x85, 0xd8, 0xe1, 0x87, 0x78, // i32.const
|
|
|
|
|
kExprRefNull, 0x6e, // ref.null
|
|
|
|
|
kExprBrOnNull, 0x00, // br_on_null
|
|
|
|
|
kExprDrop, // drop
|
|
|
|
|
kExprDrop, // drop
|
|
|
|
|
kExprBlock, 0x7f, // block @45 i32
|
|
|
|
|
kExprI32Const, 0xbd, 0x97, 0xc2, 0x92, 0x05, // i32.const
|
|
|
|
|
kExprI32Const, 0xa5, 0xb3, 0xa0, 0xb2, 0x07, // i32.const
|
|
|
|
|
kExprBrTable, 0x01, 0x00, 0x00, // br_table entries=1
|
|
|
|
|
kExprEnd, // end @63
|
|
|
|
|
kExprEnd, // end @66
|
|
|
|
|
kExprRefNull, 0x6e, // ref.null
|
|
|
|
|
kExprBrOnNull, 0x03, // br_on_null
|
|
|
|
|
kExprDrop, // drop
|
|
|
|
|
kExprEnd, // end @111
|
|
|
|
|
kExprEnd, // end @112
|
|
|
|
|
kExprRefNull, 0x6e, // ref.null
|
|
|
|
|
kExprBrOnNull, 0x00, // br_on_null
|
|
|
|
|
kExprDrop, // drop
|
|
|
|
|
kExprEnd, // end @156
|
|
|
|
|
kExprI32Const, 0xc9, 0x9d, 0xa2, 0xd0, 0x7b, // i32.const
|
|
|
|
|
kGCPrefix, kExprArraySet, 0x00, // array.set
|
|
|
|
|
kExprI32Const, 0xad, 0xf7, 0x93, 0x95, 0x7d, // i32.const
|
|
|
|
|
kExprEnd, // end @200
|
|
|
|
|
kExprEnd, // end @201
|
|
|
|
|
kExprI32Const, 0xcd, 0xe8, 0x9f, 0x9c, 0x05, // i32.const
|
|
|
|
|
kGCPrefix, kExprArraySet, 0x00, // array.set
|
|
|
|
|
kExprI32Const, 0xa1, 0xa6, 0x81, 0xc4, 0x7e, // i32.const
|
|
|
|
|
]).exportFunc();
|
|
|
|
|
const instance = builder.instantiate();
|
|
|
|
|
assertTraps(kTrapNullDereference, () => instance.exports.main(1, 2, 3));
|
