blob: b29993a8fcc58d322fcd226fe41af1ace4910425 [file] [log] [blame]
// Copyright 2016 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: --expose-wasm
load("test/mjsunit/wasm/wasm-module-builder.js");
(function TestMultipleInstances() {
print("TestMultipleInstances");
var builder = new WasmModuleBuilder();
let g = builder.addGlobal(kWasmI32, true);
let sig_index = builder.addType(kSig_i_v);
builder.addFunction("get", sig_index)
.addBody([
kExprGetGlobal, g.index])
.exportAs("get");
builder.addFunction("set", kSig_v_i)
.addBody([
kExprGetLocal, 0,
kExprSetGlobal, g.index])
.exportAs("set");
let module = new WebAssembly.Module(builder.toBuffer());
let a = new WebAssembly.Instance(module);
let b = new WebAssembly.Instance(module);
assertEquals(0, a.exports.get());
assertEquals(0, b.exports.get());
a.exports.set(1);
assertEquals(1, a.exports.get());
assertEquals(0, b.exports.get());
b.exports.set(6);
assertEquals(1, a.exports.get());
assertEquals(6, b.exports.get());
a.exports.set(7);
assertEquals(7, a.exports.get());
assertEquals(6, b.exports.get());
})();
function TestImported(type, val, expected) {
print("TestImported " + type + "(" + val +")" + " = " + expected);
var builder = new WasmModuleBuilder();
var sig = makeSig([], [type]);
var g = builder.addImportedGlobal("uuu", "foo", type);
builder.addFunction("main", sig)
.addBody([kExprGetGlobal, g])
.exportAs("main");
builder.addGlobal(kWasmI32); // pad
var instance = builder.instantiate({uuu: {foo: val}});
assertEquals(expected, instance.exports.main());
}
TestImported(kWasmI32, 300.1, 300);
TestImported(kWasmF32, 87234.87238, Math.fround(87234.87238));
TestImported(kWasmF64, 77777.88888, 77777.88888);
(function TestImportedMultipleInstances() {
print("TestImportedMultipleInstances");
var builder = new WasmModuleBuilder();
let g = builder.addImportedGlobal("mod", "g", kWasmI32);
let sig_index = builder.addType(kSig_i_v);
builder.addFunction("main", sig_index)
.addBody([
kExprGetGlobal, g])
.exportAs("main");
let module = new WebAssembly.Module(builder.toBuffer());
print(" i 100...");
let i100 = new WebAssembly.Instance(module, {mod: {g: 100}});
assertEquals(100, i100.exports.main());
print(" i 300...");
let i300 = new WebAssembly.Instance(module, {mod: {g: 300}});
assertEquals(300, i300.exports.main());
})();
function TestExported(type, val, expected) {
print("TestExported " + type + "(" + val +")" + " = " + expected);
var builder = new WasmModuleBuilder();
var sig = makeSig([type], []);
builder.addGlobal(kWasmI32); // pad
var g = builder.addGlobal(type, false)
.exportAs("foo");
g.init = val;
builder.addGlobal(kWasmI32); // pad
var instance = builder.instantiate();
assertEquals(expected, instance.exports.foo.value);
}
TestExported(kWasmI32, 455.5, 455);
TestExported(kWasmF32, -999.34343, Math.fround(-999.34343));
TestExported(kWasmF64, 87347.66666, 87347.66666);
(function TestI64Exported() {
var builder = new WasmModuleBuilder();
var sig = makeSig([kWasmI64], []);
builder.addGlobal(kWasmI32); // pad
var g = builder.addGlobal(kWasmI64, false)
.exportAs("foo");
g.init = 1234;
builder.addGlobal(kWasmI32); // pad
var instance = builder.instantiate();
assertTrue(instance.exports.foo instanceof WebAssembly.Global);
assertThrows(() => {instance.exports.foo.value}, TypeError);
})();
function TestImportedExported(type, val, expected) {
print("TestImportedExported " + type + "(" + val +")" + " = " + expected);
var builder = new WasmModuleBuilder();
var sig = makeSig([type], []);
var i = builder.addImportedGlobal("ttt", "foo", type);
builder.addGlobal(kWasmI32); // pad
var o = builder.addGlobal(type, false)
.exportAs("bar");
o.init_index = i;
builder.addGlobal(kWasmI32); // pad
var instance = builder.instantiate({ttt: {foo: val}});
assertEquals(expected, instance.exports.bar.value);
}
TestImportedExported(kWasmI32, 415.5, 415);
TestImportedExported(kWasmF32, -979.34343, Math.fround(-979.34343));
TestImportedExported(kWasmF64, 81347.66666, 81347.66666);
function TestGlobalIndexSpace(type, val) {
print("TestGlobalIndexSpace(" + val + ") = " + val);
var builder = new WasmModuleBuilder();
var im = builder.addImportedGlobal("nnn", "foo", type);
assertEquals(0, im);
var def = builder.addGlobal(type, false);
assertEquals(1, def.index);
def.init_index = im;
var sig = makeSig([], [type]);
builder.addFunction("main", sig)
.addBody([kExprGetGlobal, def.index])
.exportAs("main");
var instance = builder.instantiate({nnn: {foo: val}});
assertEquals(val, instance.exports.main());
}
TestGlobalIndexSpace(kWasmI32, 123);
TestGlobalIndexSpace(kWasmF32, 54321.125);
TestGlobalIndexSpace(kWasmF64, 12345.678);
(function TestAccessesInBranch() {
print("TestAccessesInBranches");
var builder = new WasmModuleBuilder();
let g = builder.addGlobal(kWasmI32, true);
let h = builder.addGlobal(kWasmI32, true);
let sig_index = builder.addType(kSig_i_i);
builder.addFunction("get", sig_index)
.addBody([
kExprGetLocal, 0,
kExprIf, kWasmI32,
kExprGetGlobal, g.index,
kExprElse,
kExprGetGlobal, h.index,
kExprEnd])
.exportAs("get");
builder.addFunction("set", kSig_v_ii)
.addBody([
kExprGetLocal, 0,
kExprIf, kWasmStmt,
kExprGetLocal, 1,
kExprSetGlobal, g.index,
kExprElse,
kExprGetLocal, 1,
kExprSetGlobal, h.index,
kExprEnd])
.exportAs("set");
let module = new WebAssembly.Module(builder.toBuffer());
let a = new WebAssembly.Instance(module);
let get = a.exports.get;
let set = a.exports.set;
assertEquals(0, get(0));
assertEquals(0, get(1));
set(0, 1);
assertEquals(1, get(0));
assertEquals(0, get(1));
set(0, 7);
assertEquals(7, get(0));
assertEquals(0, get(1));
set(1, 9);
assertEquals(7, get(0));
assertEquals(9, get(1));
})();