Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| -P wasm_lazy_tiering; -P wasm_lazy_tiering_synchronous; -P wasm_lazy_tiering_level=9; -P wasm_inlining_level=9; skip-if: wasmCompileMode() != "baseline+ion" || !getPrefValue("wasm_lazy_tiering")
let {assertStackTrace} = WasmHelpers;
let exports = wasmEvalText(`(module
(func $throw3 (import "" "throw3"))
(memory 1 1)
(type $s (struct (field i32)))
(func $throw2
call $throw3
)
(func $throw1 (export "throw1")
call $throw2
)
(func $unreachable2
unreachable
)
(func $unreachable1 (export "unreachable1")
call $unreachable2
)
(func $oob2
i32.const -1
i32.load
drop
)
(func $oob1 (export "oob1")
call $oob2
)
(func $null2
ref.null $s
struct.get $s 0
drop
)
(func $null1 (export "null1")
call $null2
)
(func $div2
i32.const 1
i32.const 0
i32.div_u
drop
)
(func $div1 (export "div1")
call $div2
)
(func $mod2
i32.const 1
i32.const 0
i32.rem_u
drop
)
(func $mod1 (export "mod1")
call $mod2
)
)`, {"": {throw3: () => { throw new Error() }}}).exports;
let tests = [
{func: exports.throw1, stack: ['throw3', 'throw2', 'throw1', '']},
{func: exports.unreachable1, stack: ['unreachable2', 'unreachable1', '']},
{func: exports.oob1, stack: ['oob2', 'oob1', '']},
{func: exports.null1, stack: ['null2', 'null1', '']},
{func: exports.div1, stack: ['div2', 'div1', '']},
{func: exports.mod1, stack: ['mod2', 'mod1', '']},
];
// Run this two times. The first time should trigger a synchronous compile,
// and the second time should have inlining.
for (let i = 1; i <= 2; i++) {
for (let {func, stack} of tests) {
if (i === 2) {
assertEq(wasmFunctionTier(func), "optimized");
}
let success = false;
try {
func();
success = true;
} catch (e) {
assertStackTrace(e, stack);
}
// The above should always throw an exception
assertEq(success, false);
}
}