2021-02-24 14:47:06 +01:00
|
|
|
// 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: --wasm-staging
|
|
|
|
|
|
2021-08-29 14:20:49 +02:00
|
|
|
d8.file.execute('test/mjsunit/wasm/wasm-module-builder.js');
|
2021-02-24 14:47:06 +01:00
|
|
|
|
|
|
|
|
const builder = new WasmModuleBuilder();
|
2023-10-05 08:46:07 +02:00
|
|
|
builder.addMemory(1, 1, true);
|
2024-04-18 07:06:43 +02:00
|
|
|
builder.addGlobal(kWasmI32, true, false);
|
2021-02-24 14:47:06 +01:00
|
|
|
builder.addFunction(undefined, kSig_v_i)
|
|
|
|
|
.addLocals(kWasmI32, 5)
|
|
|
|
|
.addBody([
|
|
|
|
|
// signature: v_i
|
|
|
|
|
// body:
|
|
|
|
|
kExprGlobalGet, 0x00, // global.get
|
|
|
|
|
kExprI32Const, 0x10, // i32.const
|
|
|
|
|
kExprI32Sub, // i32.sub
|
|
|
|
|
kExprLocalTee, 0x02, // local.tee
|
|
|
|
|
kExprGlobalSet, 0x00, // global.set
|
2021-06-08 14:04:59 +02:00
|
|
|
kExprBlock, kWasmVoid, // block @12
|
2021-02-24 14:47:06 +01:00
|
|
|
kExprLocalGet, 0x00, // local.get
|
|
|
|
|
kExprI32LoadMem, 0x02, 0x00, // i32.load
|
|
|
|
|
kExprI32Eqz, // i32.eqz
|
2021-06-08 14:04:59 +02:00
|
|
|
kExprIf, kWasmVoid, // if @20
|
2021-02-24 14:47:06 +01:00
|
|
|
kExprLocalGet, 0x02, // local.get
|
|
|
|
|
kExprI32Const, 0x00, // i32.const
|
|
|
|
|
kExprI32StoreMem, 0x02, 0x0c, // i32.store
|
|
|
|
|
kExprLocalGet, 0x00, // local.get
|
|
|
|
|
kExprI32Const, 0x20, // i32.const
|
|
|
|
|
kExprI32Add, // i32.add
|
|
|
|
|
kExprLocalSet, 0x05, // local.set
|
|
|
|
|
kExprLocalGet, 0x00, // local.get
|
|
|
|
|
kExprI32Const, 0x00, // i32.const
|
|
|
|
|
kExprI32Const, 0x01, // i32.const
|
|
|
|
|
kAtomicPrefix, kExprI32AtomicCompareExchange, 0x02, 0x20, // i32.atomic.cmpxchng32
|
|
|
|
|
]);
|
|
|
|
|
assertThrows(() => builder.toModule(), WebAssembly.CompileError);
|
