Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| skip-if: !wasmCustomPageSizesEnabled()
// Test access to an index from a local.
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32) (result i32)
(i32.store (local.get 0) (i32.const 42))
(i32.load (local.get 0))
)
)
`);
assertEq(instance.exports.f(5), 42);
}
// Test constant memory access.
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (result i32)
(i32.store (i32.const 5) (i32.const 42))
(i32.load (i32.const 5))
)
)
`);
assertEq(instance.exports.f(), 42);
}
// Test bounds checks with various offsets.
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 offset=1 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(8);
assertErrorMessage(() => instance.exports.f(9), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 20 20 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 offset=17 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(0);
instance.exports.f(2);
assertErrorMessage(() => instance.exports.f(3), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(19), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 20 20 (pagesize 1))
(func (export "f") (param i32)
(i32.store offset=2 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(0);
instance.exports.f(14);
assertErrorMessage(() => instance.exports.f(15), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(19), WebAssembly.RuntimeError, "index out of bounds");
}
// Test bounds checks with various access sizes.
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(3);
instance.exports.f(9);
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32)
(i32.store16 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(3);
assertErrorMessage(() => instance.exports.f(9), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32)
(i32.store (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(6);
assertErrorMessage(() => instance.exports.f(7), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(8), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(9), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 10 10 (pagesize 1))
(func (export "f") (param i32)
(i64.store (local.get 0) (i64.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(2);
assertErrorMessage(() => instance.exports.f(3), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(4), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(5), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(6), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(7), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(8), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(9), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 20 20 (pagesize 1))
(func (export "f") (param i32) (result i32)
(i32x4.extract_lane 0 (v128.load (local.get 0)))
)
)
`);
instance.exports.f(1);
instance.exports.f(4);
assertErrorMessage(() => instance.exports.f(5), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(10), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(15), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(20), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 0 0 (pagesize 1))
(func (export "f") (param i32)
(i64.store8 (local.get 0) (i64.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(0), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 0 0 (pagesize 1))
(func (export "f") (param i32)
(i64.store16 (local.get 0) (i64.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(0), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 0 0 (pagesize 1))
(func (export "f") (param i32)
(i32.store (local.get 0) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(0), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 0 0 (pagesize 1))
(func (export "f") (param i32)
(i64.store (local.get 0) (i64.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(0), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 0 0 (pagesize 1))
(func (export "f") (param i64) (result i32)
(i32x4.extract_lane 0 (v128.load (local.get 0)))
)
)
`);
assertErrorMessage(() => instance.exports.f(0n), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1n), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2n), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 1 1 (pagesize 1))
(func (export "f") (param i32)
(i64.store16 (local.get 0) (i64.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(0), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 2 2 (pagesize 1))
(func (export "f") (param i32)
(i64.store16 (local.get 0) (i64.const 42))
)
)
`);
instance.exports.f(0);
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 4 4 (pagesize 1))
(func (export "f") (param i32)
(i64.store32 (local.get 0) (i64.const 42))
)
)
`);
instance.exports.f(0);
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 8 8 (pagesize 1))
(func (export "f") (param i32)
(i64.store (local.get 0) (i64.const 42))
)
)
`);
instance.exports.f(0);
assertErrorMessage(() => instance.exports.f(1), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 16 16 (pagesize 1))
(func (export "f") (param i64) (result i32)
(i32x4.extract_lane 0 (v128.load (local.get 0)))
)
)
`);
instance.exports.f(0n);
assertErrorMessage(() => instance.exports.f(1n), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(2n), WebAssembly.RuntimeError, "index out of bounds");
}
// Test ARM-related cases
{
let instance = wasmEvalText(`(module
(memory i32 69648 69648 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(0)
instance.exports.f(69647)
assertErrorMessage(() => instance.exports.f(69648), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(69649), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 69648 69648 (pagesize 1))
(func (export "f") (param i64)
(i32.store8 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(0n)
instance.exports.f(69647n)
assertErrorMessage(() => instance.exports.f(69648n), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(69649n), WebAssembly.RuntimeError, "index out of bounds");
}
// Test bounds checking under 4GB.
{
let instance = wasmEvalText(`(module
(memory i64 5000 10000 (pagesize 1))
(func (export "f")
(i32.store (i64.const 11000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 5000 (pagesize 1))
(func (export "f")
(i32.store (i64.const 11000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 5000 128000 (pagesize 1))
(func (export "f")
(i32.store (i64.const 64000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i64 5000 10000 (pagesize 1))
(func (export "f")
(i32.store (i64.const 6000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 5000 10000 (pagesize 1))
(func (export "f")
(i32.store (i32.const 11000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 5000 128000 (pagesize 1))
(func (export "f")
(i32.store (i32.const 64000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 5000 10000 (pagesize 1))
(func (export "f")
(i32.store (i32.const 6000) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}
if (getBuildConfiguration("x86")) {
assertErrorMessage(
() => wasmEvalText(`(module
(memory i32 4294967295 4294967295 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 (local.get 0) (i32.const 42))
)
)
`),
WebAssembly.RuntimeError,
"too many memory pages"
);
} else {
{
let instance = wasmEvalText(`(module
(memory i32 4294967295 4294967295 (pagesize 1))
(func (export "f") (param i32)
(i32.store8 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(3000);
instance.exports.f(4294967292);
instance.exports.f(4294967293);
instance.exports.f(4294967294);
assertErrorMessage(() => instance.exports.f(4294967295), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 4294967295 4294967295 (pagesize 1))
(func (export "f") (param i32)
(i32.store16 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(3000);
instance.exports.f(4294967292);
instance.exports.f(4294967293);
assertErrorMessage(() => instance.exports.f(4294967294), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(4294967295), WebAssembly.RuntimeError, "index out of bounds");
}
{
let instance = wasmEvalText(`(module
(memory i32 4294967295 (pagesize 1))
(func (export "f") (param i32)
(i32.store16 (local.get 0) (i32.const 42))
)
)
`);
instance.exports.f(1);
instance.exports.f(3000);
instance.exports.f(4294967292);
instance.exports.f(4294967293);
assertErrorMessage(() => instance.exports.f(4294967294), WebAssembly.RuntimeError, "index out of bounds");
assertErrorMessage(() => instance.exports.f(4294967295), WebAssembly.RuntimeError, "index out of bounds");
}
}
// Ensure bounds checking above 4GB works as expected.
if (getBuildConfiguration("x86")) {
assertErrorMessage(
() => wasmEvalText(`(module
(memory i64 4294967299 4294967299 (pagesize 1))
(func (export "f")
(i32.store (i64.const 4294967300) (i32.const 42))
)
)
`),
WebAssembly.RuntimeError,
"too many memory pages"
);
} else {
let instance = wasmEvalText(`(module
(memory i64 4294967299 4294967299 (pagesize 1))
(func (export "f")
(i32.store (i64.const 4294967300) (i32.const 42))
)
)
`);
assertErrorMessage(() => instance.exports.f(), WebAssembly.RuntimeError, "index out of bounds");
}