Source code
Revision control
Copy as Markdown
Other Tools
var ins0 = wasmEvalText(`(module
(func $fac-acc (export "fac-acc") (param i64 i64) (result i64)
(if (result i64) (i64.eqz (local.get 0))
(then (local.get 1))
(else
(return_call $fac-acc
(i64.sub (local.get 0) (i64.const 1))
(i64.mul (local.get 0) (local.get 1))
)
)
)
)
)`);
var ins = wasmEvalText(`(module
(import "" "fac-acc" (func $fac-acc (param i64 i64) (result i64)))
(type $ty (func (param i64 i64) (result i64)))
(table $t 1 1 funcref)
(func $f (export "fac") (param i64) (result i64)
local.get 0
i64.const 1
i32.const 0
return_call_indirect $t (type $ty)
)
(elem $t (i32.const 0) $fac-acc)
(func (export "main") (result i64)
i64.const 5
call $f
)
)`, {"": {"fac-acc": ins0.exports["fac-acc"]}});
// Check return call via wasm function
assertEq(ins.exports.main(5n), 120n);
// Check return call directly via interpreter stub
const fac = ins.exports["fac"];
assertEq(fac(4n, 1n), 24n);
// Check return call directly via jit stub
check_stub1: {
let options = getJitCompilerOptions();
if (!options["baseline.enable"]) break check_stub1;
const check = function() {
fac(4n, 1n);
};
for (let i = options["baseline.warmup.trigger"] + 1; i--;)
check();
}
// Invalid func type
var ins = wasmEvalText(`(module
(import "" "fac-acc" (func $fac-acc (param i64 i64) (result i64)))
(type $ty (func (param i64 i64) (result i64)))
(type $tz (func (param i64) (result i64)))
(table $t 1 1 funcref)
(func $f (export "fac") (param i64) (result i64)
local.get 0
i64.const 1
i32.const 0
return_call_indirect $t (type $tz)
)
(elem $t (i32.const 0) $fac-acc)
(func (export "main") (result i64)
i64.const 5
call $f
)
)`, {"": {"fac-acc": ins0.exports["fac-acc"]}});
assertErrorMessage(() => ins.exports.main(), WebAssembly.RuntimeError, /indirect call signature mismatch/);
assertErrorMessage(() => ins.exports.fac(6n), WebAssembly.RuntimeError, /indirect call signature mismatch/);
// Invalid func type, but testing when entry directly does invalid return_call_indirect.
var wasm = wasmTextToBinary(`(module
(global $g (export "g") (mut i32) (i32.const 0))
(table 1 1 funcref)
(type $ft (func (param f64)))
(func $f (export "f")
unreachable
)
(func $test (export "test")
global.get $g
br_if 0
f64.const 0.0
i32.const 0
return_call_indirect (type $ft)
)
(elem (i32.const 0) $f)
)`);
var ins = new WebAssembly.Instance(new WebAssembly.Module(wasm));
function check_err() { ins.exports.test(); }
assertErrorMessage(check_err, WebAssembly.RuntimeError, /indirect call signature mismatch/);
var ins = new WebAssembly.Instance(new WebAssembly.Module(wasm));
check_stub2: {
let options = getJitCompilerOptions();
if (!options["baseline.enable"]) break check_stub2;
ins.exports.g.value = 1;
for (let i = options["baseline.warmup.trigger"] + 1; i--;)
check_err();
ins.exports.g.value = 0;
assertErrorMessage(check_err, WebAssembly.RuntimeError, /indirect call signature mismatch/);
}
var ins = new WebAssembly.Instance(new WebAssembly.Module(wasm));
check_stub3: {
let options = getJitCompilerOptions();
if (!options["ion.enable"]) break check_stub3;
ins.exports.g.value = 1;
var check_err2 = function() { for (var i = 0; i < 5; i++) ins.exports.test(); };
for (let i = options["ion.warmup.trigger"]+2; i--;)
check_err2();
ins.exports.g.value = 0;
assertErrorMessage(() => check_err2(), WebAssembly.RuntimeError, /indirect call signature mismatch/);
}
// Performance and stack growth: calculating sum of numbers 1..40000000
var ins = wasmEvalText(`(module
(table 1 1 funcref)
(type $rec (func (param i32 i64) (result i64)))
(func $sum (param i32 i64) (result i64)
local.get 0
i32.eqz
if
local.get 1
return
else
local.get 0
i32.const 1
i32.sub
local.get 1
local.get 0
i64.extend_i32_s
i64.add
i32.const 0
return_call_indirect (type $rec)
end
unreachable
)
(elem (i32.const 0) $sum)
(func (export "main") (param i32) (result i64)
local.get 0
i64.const 0
i32.const 0
return_call_indirect (type $rec)
)
)`);
if (getBuildConfiguration("simulator")) {
assertEq(ins.exports.main(400000), 80000200000n);
} else {
assertEq(ins.exports.main(40000000), 800000020000000n);
}