2023-03-30 12:11:08 +02:00
|
|
|
// Copyright 2023 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: --no-liftoff
|
|
|
|
|
|
|
|
d8.file.execute("test/mjsunit/wasm/wasm-module-builder.js");
|
|
|
|
|
|
|
|
let bases = [0n, 1234n, 4294967296n, -4294967297n];
|
|
|
|
let expects = [0n, 1234n, 0n, -1n];
|
|
|
|
|
|
|
|
for (let i = 0; i < bases.length; ++i) {
|
2023-10-05 08:46:07 +02:00
|
|
|
let builder = new WasmModuleBuilder();
|
2023-03-30 12:11:08 +02:00
|
|
|
let g0 = builder.addImportedGlobal("mod", "g0", kWasmI64, true);
|
|
|
|
builder.addExportOfKind('g0', kExternalGlobal, g0);
|
|
|
|
|
|
|
|
builder.addFunction("trunci64", kSig_v_v)
|
|
|
|
.addBody([
|
|
|
|
kExprGlobalGet, g0,
|
|
|
|
kExprI32ConvertI64,
|
|
|
|
kExprI64SConvertI32,
|
|
|
|
kExprGlobalSet, g0,
|
|
|
|
]).exportAs("trunci64");
|
|
|
|
|
2023-10-05 08:46:07 +02:00
|
|
|
let to_imported =
|
|
|
|
new WebAssembly.Global({value: 'i64', mutable: true}, bases[i]);
|
|
|
|
let instance = builder.instantiate({mod: { g0: to_imported }});
|
2023-03-30 12:11:08 +02:00
|
|
|
|
|
|
|
assertEquals(bases[i], instance.exports.g0.value);
|
|
|
|
instance.exports.trunci64();
|
|
|
|
assertEquals(expects[i], instance.exports.g0.value);
|
|
|
|
}
|
2023-10-05 08:46:07 +02:00
|
|
|
|
|
|
|
for (let i = 0; i < bases.length; ++i) {
|
|
|
|
let builder = new WasmModuleBuilder();
|
|
|
|
builder.addMemory(1, 1);
|
|
|
|
builder.exportMemoryAs("memory");
|
|
|
|
|
|
|
|
builder.addFunction("trunci64", kSig_l_v).exportFunc().addBody([
|
|
|
|
kExprI32Const, 0, // address for load: 0
|
|
|
|
kExprI64LoadMem, 0, 0, // alignment 0, offset 0
|
|
|
|
kExprI32ConvertI64,
|
|
|
|
kExprI64SConvertI32,
|
|
|
|
]);
|
|
|
|
|
|
|
|
let instance = builder.instantiate();
|
|
|
|
|
|
|
|
let mem = new DataView(instance.exports.memory.buffer)
|
|
|
|
mem.setBigInt64(0, bases[i], true);
|
|
|
|
let result = instance.exports.trunci64();
|
|
|
|
assertEquals(result, expects[i]);
|
|
|
|
}
|