98 lines
4.0 KiB
JavaScript
98 lines
4.0 KiB
JavaScript
|
// 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.
|
||
|
|
|
||
|
|
|
||
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
||
|
|
|
||
|
|
const builder = new WasmModuleBuilder();
|
||
|
|
builder.startRecGroup();
|
||
|
|
builder.addArray(kWasmI8, true, kNoSuperType, true);
|
||
|
|
builder.endRecGroup();
|
||
|
|
builder.startRecGroup();
|
||
|
|
builder.addArray(kWasmI16, true, kNoSuperType, true);
|
||
|
|
builder.endRecGroup();
|
||
|
|
builder.addStruct([], kNoSuperType, false);
|
||
|
|
builder.addStruct([], 2, false);
|
||
|
|
builder.addMemory(16, 32);
|
||
|
|
builder.addPassiveDataSegment([1, 2, 3]);
|
||
|
|
builder.addTable(kWasmFuncRef, 2, 2, undefined)
|
||
|
|
builder.addTag(makeSig([], []));
|
||
|
|
builder.addFunction('main', makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]))
|
||
|
|
.addLocals(kWasmI64, 1)
|
||
|
|
.addLocals(kWasmEqRef, 1)
|
||
|
|
.addLocals(wasmRefNullType(5), 1)
|
||
|
|
.addLocals(kWasmI32, 16)
|
||
|
|
.addBody([
|
||
|
|
kExprLoop, 0x40, // loop @92
|
||
|
|
kExprI32Const, 0x01, // i32.const
|
||
|
|
kExprLocalSet, 0x07, // local.set
|
||
|
|
kExprLoop, 0x40, // loop @98
|
||
|
|
kExprI32Const, 0x02, // i32.const
|
||
|
|
kExprLocalSet, 0x08, // local.set
|
||
|
|
kExprLoop, 0x40, // loop @104
|
||
|
|
kExprI32Const, 0,
|
||
|
|
kExprLocalSet, 0x01, // local.set
|
||
|
|
kExprLocalGet, 0x08, // local.get
|
||
|
|
kExprI32Const, 0x01, // i32.const
|
||
|
|
kExprI32Sub, // i32.sub
|
||
|
|
kExprLocalTee, 0x08, // local.tee
|
||
|
|
kExprIf, 0x40, // if @183
|
||
|
|
kExprRefNull, 0x01, // ref.null
|
||
|
|
kExprI32Const, 0xb0, 0xe6, 0xb5, 0xda, 0x01, // i32.const
|
||
|
|
kExprI32Const, 0x93, 0x97, 0xcd, 0x0a, // i32.const
|
||
|
|
kExprI32Const, 0xde, 0xe9, 0xab, 0x05, // i32.const
|
||
|
|
kGCPrefix, kExprArrayInitData, 0x01, 0x00, // array.init_data
|
||
|
|
kExprRefNull, 0x70, // ref.null
|
||
|
|
kExprBrOnNull, 0x03, // br_on_null
|
||
|
|
kExprDrop, // drop
|
||
|
|
kExprBr, 0x01, // br depth=1
|
||
|
|
kExprEnd, // end @219
|
||
|
|
kExprEnd, // end @220
|
||
|
|
kExprLocalGet, 0x07, // local.get
|
||
|
|
kExprI32Const, 0x01, // i32.const
|
||
|
|
kExprI32Sub, // i32.sub
|
||
|
|
kExprIf, 0x40, // if @228
|
||
|
|
kExprBr, 0x01, // br depth=1
|
||
|
|
kExprEnd, // end @232
|
||
|
|
kExprEnd, // end @233
|
||
|
|
kExprI32Const, 0,
|
||
|
|
kExprDrop,
|
||
|
|
kExprEnd, // end @246
|
||
|
|
kExprLoop, 0x7f, // loop @445 i32
|
||
|
|
kExprLoop, 0x7f, // loop @447 i32
|
||
|
|
// TODO: Why is the i32AtomicOr needed?
|
||
|
|
kExprI32Const, 0xc7, 0xe3, 0xbe, 0x05, // i32.const
|
||
|
|
kExprI32Const, 0x04, // i32.const
|
||
|
|
kAtomicPrefix, kExprI32AtomicOr, 0x02, 0xfb, 0xa5, 0x01, // i32.atomic.rmw.or
|
||
|
|
kExprI32Const, 0xc7, 0xa3, 0xc4, 0x07, // i32.const
|
||
|
|
kExprI32Xor, // i32.xor
|
||
|
|
kSimdPrefix, kExprS128Const, 0x46, 0x49, 0x42, 0x3c, 0xa9, 0xa0, 0x8c, 0x89, 0x37, 0x99, 0x5c, 0xde, 0xbb, 0xc9, 0x8a, 0x40, // v128.const
|
||
|
|
kSimdPrefix, kExprF32x4Ceil, // f32x4.ceil
|
||
|
|
kExprI32Const, 0x00, // i32.const
|
||
|
|
kSimdPrefix, kExprI8x16Splat, // i8x16.splat
|
||
|
|
kSimdPrefix, kExprI8x16LeS, // i8x16.le_s
|
||
|
|
kSimdPrefix, kExprF32x4NearestInt, // f32x4.nearest
|
||
|
|
kSimdPrefix, kExprF32x4NearestInt, // f32x4.nearest
|
||
|
|
kSimdPrefix, kExprI8x16BitMask, // i8x16.bitmask
|
||
|
|
kAtomicPrefix, kExprI32AtomicXor16U, 0x01, 0x83, 0xb1, 0x01, // i32.atomic.rmw16.xor_u
|
||
|
|
kExprEnd, // end @524
|
||
|
|
kExprI32Const, 0x0b, // i32.const
|
||
|
|
kExprI32Const, 0xd1, 0xcb, 0xd7, 0xe7, 0x00, // i32.const
|
||
|
|
kAtomicPrefix, kExprI32AtomicSub, 0x02, 0x85, 0xd9, 0x02, // i32.atomic.rmw.sub
|
||
|
|
kExprI64Const, 1,
|
||
|
|
kAtomicPrefix, kExprI64AtomicSub16U, 0x01, 0xe8, 0x8e, 0x03, // i64.atomic.rmw16.sub_u
|
||
|
|
kExprI32Const, 0xde, 0xd5, 0xb0, 0x02, // i32.const
|
||
|
|
kExprI64Const, 0x9f, 0x93, 0xe5, 0xf3, 0xea, 0x92, 0xd5, 0xa6, 0x1d, // i64.const
|
||
|
|
kAtomicPrefix, kExprI64AtomicExchange, 0x03, 0xed, 0xd7, 0x02, // i64.atomic.rmw.xchg
|
||
|
|
kExprI64ShrU, // i64.shr_u
|
||
|
|
kAtomicPrefix, kExprI64AtomicStore, 0x03, 0xaf, 0x2e, // i64.atomic.store
|
||
|
|
kExprI32Const, 0x0f, // i32.const
|
||
|
|
kExprBrIf, 0x00, // br_if depth=0
|
||
|
|
kExprI32Const, 0x00, // i32.const
|
||
|
|
kExprReturn,
|
||
|
|
kExprEnd, // end @1016
|
||
|
|
]).exportFunc();
|
||
|
|
const instance = builder.instantiate();
|
||
|
|
assertTraps(kTrapNullDereference, () => instance.exports.main(1, 2, 3));
|