2021-07-14 11:30:07 +02: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-07-14 11:30:07 +02:00
|
|
|
|
|
|
|
const builder = new WasmModuleBuilder();
|
2023-10-05 08:46:07 +02:00
|
|
|
builder.addMemory(16, 32);
|
2021-07-14 11:30:07 +02:00
|
|
|
builder.addType(makeSig([kWasmI32, kWasmI32, kWasmI32], [kWasmI32]));
|
|
|
|
builder.addFunction(undefined, 0 /* sig */)
|
|
|
|
.addBodyWithEnd([
|
|
|
|
// signature: i_iii
|
|
|
|
// body:
|
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x01,
|
2024-03-30 09:54:35 +01:00
|
|
|
kAtomicPrefix, kExprI32AtomicCompareExchange16U, 0x01, 0x7a,
|
2021-07-14 11:30:07 +02:00
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x00,
|
|
|
|
kExprMemoryGrow, 0x00,
|
2024-03-30 09:54:35 +01:00
|
|
|
kAtomicPrefix, kExprI32AtomicCompareExchange16U, 0x01, 0x7a,
|
2021-07-14 11:30:07 +02:00
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x00,
|
2024-03-30 09:54:35 +01:00
|
|
|
kAtomicPrefix, kExprI32AtomicCompareExchange16U, 0x01, 0x7a,
|
2021-07-14 11:30:07 +02:00
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprLocalGet, 0x00,
|
2024-03-30 09:54:35 +01:00
|
|
|
kAtomicPrefix, kExprI32AtomicCompareExchange16U, 0x01, 0x7a,
|
2021-07-14 11:30:07 +02:00
|
|
|
kExprLocalGet, 0x01,
|
|
|
|
kExprReturnCall, 0x00,
|
|
|
|
kExprEnd,
|
|
|
|
]);
|
|
|
|
builder.addExport('main', 0);
|
|
|
|
const instance = builder.instantiate();
|
|
|
|
assertTraps(kTrapUnalignedAccess, () => instance.exports.main(0, 0, 0));
|