blob: 750e76905a0c2626851e284c3f8f424917dccad0 [file] [log] [blame]
// Copyright 2017 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 --stress-compaction
load('test/mjsunit/wasm/wasm-constants.js');
load('test/mjsunit/wasm/wasm-module-builder.js');
var initialMemoryPages = 1;
var maximumMemoryPages = 5;
// Grow memory in directly called functions.
print('=== grow_memory in direct calls ===');
// This test verifies that the current_memory instruction returns the correct
// value after returning from a function (direct call) that grew memory.
(function TestGrowMemoryInFunction() {
print('TestGrowMemoryInFunction ...');
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_i)
.addBody([
kExprGetLocal, 0, // get number of new pages
kExprCallFunction, kGrowFunction, // call the grow function
kExprDrop, // drop the result of grow
kExprMemorySize, kMemoryZero // get the memory size
])
.exportFunc();
var instance = builder.instantiate();
// The caller should be aware that the memory was grown by the callee.
var deltaPages = 1;
assertEquals(
initialMemoryPages + deltaPages, instance.exports.main(deltaPages));
})();
// This test verifies that accessing a memory page that has been created inside
// a function (direct call) does not trap in the caller.
(function TestGrowMemoryAndAccessInFunction() {
print('TestGrowMemoryAndAccessInFunction ...');
let index = 2 * kPageSize - 4;
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('load', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprI32LoadMem, 0, 0])
.exportFunc();
builder.addFunction('main', kSig_v_iii)
.addBody([
kExprGetLocal, 0, // get number of new pages
kExprCallFunction, kGrowFunction, // call the grow function
kExprDrop, // drop the result of grow
kExprGetLocal, 1, // get index
kExprGetLocal, 2, // get value
kExprI32StoreMem, 0, 0 // store
])
.exportFunc();
var instance = builder.instantiate();
assertTraps(kTrapMemOutOfBounds, () => instance.exports.load(index));
var deltaPages = 1;
instance.exports.main(deltaPages, index, 1234);
// The caller should be able to access memory that was grown by the callee.
assertEquals(1234, instance.exports.load(index));
})();
// This test verifies that when a function (direct call) grows and store
// something in the grown memory, the caller always reads from the grown
// memory. This checks that the memory start address gets updated in the caller.
(function TestGrowMemoryAndStoreInFunction() {
print('TestGrowMemoryAndStoreInFunction ...');
let index = 0;
let oldValue = 21;
let newValue = 42;
let deltaPages = 1;
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_v_v)
.addBody([
kExprI32Const, deltaPages, // always grow memory by deltaPages
kExprGrowMemory, kMemoryZero, // grow memory
kExprDrop, // drop the result of grow
kExprI32Const, index, // put index on stack
kExprI32Const, newValue, // put new value on stack
kExprI32StoreMem, 0, 0 // store
])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_i)
.addBody([
kExprI32Const, index, // put index on stack
kExprI32Const, oldValue, // put old value on stack
kExprI32StoreMem, 0, 0, // store
kExprCallFunction, kGrowFunction, // call grow_and_store
kExprI32Const, index, // put index on stack
kExprI32LoadMem, 0, 0 // load from grown memory
])
.exportFunc();
var instance = builder.instantiate();
// The caller should always read from grown memory.
assertEquals(newValue, instance.exports.main());
})();
// This test verifies that the effects of growing memory in an directly
// called function inside a loop affect the result of current_memory when
// the loop is over.
(function TestGrowMemoryInFunctionInsideLoop() {
print('TestGrowMemoryInFunctionInsideLoop ...');
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_ii)
.addBody([
// clang-format off
kExprLoop, kWasmStmt, // while
kExprGetLocal, 0, // -
kExprIf, kWasmStmt, // if <param0> != 0
// Grow memory.
kExprGetLocal, 1, // get number of new pages
kExprCallFunction, kGrowFunction, // call the grow function
kExprDrop, // drop the result of grow
// Decrease loop variable.
kExprGetLocal, 0, // -
kExprI32Const, 1, // -
kExprI32Sub, // -
kExprSetLocal, 0, // decrease <param0>
kExprBr, 1, // continue
kExprEnd, // end if
kExprEnd, // end loop
// Return the memory size.
kExprMemorySize, kMemoryZero // put memory size on stack
// clang-format on
])
.exportFunc();
// The caller should be aware that the memory was grown by the callee.
let instance = builder.instantiate();
let iterations = 4;
let deltaPages = 1;
assertEquals(
initialMemoryPages + iterations * deltaPages,
instance.exports.main(iterations, deltaPages));
})();
// This test verifies that the effects of writing to memory grown in an
// directly called function inside a loop are retained when the loop is over.
(function TestGrowMemoryAndStoreInFunctionInsideLoop() {
print('TestGrowMemoryAndStoreInFunctionInsideLoop ...');
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
builder.addFunction('store', kSig_i_ii)
.addBody([
kExprGetLocal, 0, kExprGetLocal, 1, kExprI32StoreMem, 0, 0,
kExprGetLocal, 1
])
.exportFunc();
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
// parameters: iterations, deltaPages, index
builder.addFunction('main', kSig_i_iii)
.addBody([
// clang-format off
kExprLoop, kWasmStmt, // while
kExprGetLocal, 0, // -
kExprIf, kWasmStmt, // if <param0> != 0
// Grow memory.
kExprGetLocal, 1, // get number of new pages
kExprCallFunction, kGrowFunction, // call the grow function
kExprDrop, // drop the result of grow
// Increase counter in memory.
kExprGetLocal, 2, // put index (for store)
kExprGetLocal, 2, // put index (for load)
kExprI32LoadMem, 0, 0, // load from grown memory
kExprI32Const, 1, // -
kExprI32Add, // increase counter
kExprI32StoreMem, 0, 0, // store counter in memory
// Decrease loop variable.
kExprGetLocal, 0, // -
kExprI32Const, 1, // -
kExprI32Sub, // -
kExprSetLocal, 0, // decrease <param0>
kExprBr, 1, // continue
kExprEnd, // end if
kExprEnd, // end loop
// Return the value
kExprGetLocal, 2, // -
kExprI32LoadMem, 0, 0 // load from grown memory
// clang-format on
])
.exportFunc();
// The caller should always read the correct memory
let instance = builder.instantiate();
let iterations = 4;
let deltaPages = 1;
let index = 0;
let initialValue = 1;
let expectedValue = initialValue + iterations;
instance.exports.store(index, initialValue);
assertEquals(
expectedValue, instance.exports.main(iterations, deltaPages, index));
})();
// Grow memory in indirectly called functions.
print('\n=== grow_memory in indirect calls ===');
// This test verifies that the current_memory instruction returns the correct
// value after returning from a function (indirect call) that grew memory.
(function TestGrowMemoryInIndirectCall() {
print('TestGrowMemoryInIndirectCall ...');
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_ii)
.addBody([
kExprGetLocal, 1, // get number of new pages
kExprGetLocal, 0, // get index of the function
kExprCallIndirect, 0, kTableZero, // call the function
kExprDrop, // drop the result of grow
kExprMemorySize, kMemoryZero // get the memory size
])
.exportFunc();
builder.appendToTable([kGrowFunction]);
var instance = builder.instantiate();
// The caller should be aware that the memory was grown by the callee.
var deltaPages = 1;
assertEquals(
initialMemoryPages + deltaPages,
instance.exports.main(kGrowFunction, deltaPages));
})();
// This test verifies that accessing a memory page that has been created inside
// a function (indirect call) does not trap in the caller.
(function TestGrowMemoryAndAccessInIndirectCall() {
print('TestGrowMemoryAndAccessInIndirectCall ...');
let index = 2 * kPageSize - 4;
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('load', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprI32LoadMem, 0, 0])
.exportFunc();
let sig = makeSig([kWasmI32, kWasmI32, kWasmI32, kWasmI32], []);
builder.addFunction('main', sig)
.addBody([
kExprGetLocal, 1, // get number of new pages
kExprGetLocal, 0, // get index of the function
kExprCallIndirect, 0, kTableZero, // call the function
kExprDrop, // drop the result of grow
kExprGetLocal, 2, // get index
kExprGetLocal, 3, // get value
kExprI32StoreMem, 0, 0 // store
])
.exportFunc();
builder.appendToTable([kGrowFunction]);
var instance = builder.instantiate();
assertTraps(kTrapMemOutOfBounds, () => instance.exports.load(index));
let deltaPages = 1;
let value = 1234;
instance.exports.main(kGrowFunction, deltaPages, index, value);
// The caller should be able to access memory that was grown by the callee.
assertEquals(value, instance.exports.load(index));
})();
// This test verifies that when a function (indirect call) grows and store
// something in the grown memory, the caller always reads from the grown
// memory. This checks that the memory start address gets updated in the caller.
(function TestGrowMemoryAndStoreInIndirectCall() {
print('TestGrowMemoryAndStoreInIndirectCall ...');
let index = 0;
let oldValue = 21;
let newValue = 42;
let deltaPages = 1;
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_v_v)
.addBody([
kExprI32Const, deltaPages, // always grow memory by deltaPages
kExprGrowMemory, kMemoryZero, // grow memory
kExprDrop, // drop the result of grow
kExprI32Const, index, // put index on stack
kExprI32Const, newValue, // put new value on stack
kExprI32StoreMem, 0, 0 // store
])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_i)
.addBody([
kExprI32Const, index, // put index on stack
kExprI32Const, oldValue, // put old value on stack
kExprI32StoreMem, 0, 0, // store
kExprGetLocal, 0, // get index of the function
kExprCallIndirect, 0, kTableZero, // call the function
kExprI32Const, index, // put index on stack
kExprI32LoadMem, 0, 0 // load from grown memory
])
.exportFunc();
builder.appendToTable([kGrowFunction]);
var instance = builder.instantiate();
// The caller should always read from grown memory.
assertEquals(42, instance.exports.main(kGrowFunction));
})();
// This test verifies that the effects of growing memory in an indirectly
// called function inside a loop affect the result of current_memory when
// the loop is over.
(function TestGrowMemoryInIndirectCallInsideLoop() {
print('TestGrowMemoryInIndirectCallInsideLoop ...');
let builder = new WasmModuleBuilder();
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('main', kSig_i_iii)
.addBody([
// clang-format off
kExprLoop, kWasmStmt, // while
kExprGetLocal, 1, // -
kExprIf, kWasmStmt, // if <param1> != 0
// Grow memory.
kExprGetLocal, 2, // get number of new pages
kExprGetLocal, 0, // get index of the function
kExprCallIndirect, 0, kTableZero, // call the function
kExprDrop, // drop the result of grow
// Decrease loop variable.
kExprGetLocal, 1, // -
kExprI32Const, 1, // -
kExprI32Sub, // -
kExprSetLocal, 1, // decrease <param1>
kExprBr, 1, // continue
kExprEnd, // end if
kExprEnd, // end loop
// Return the memory size.
kExprMemorySize, kMemoryZero // put memory size on stack
// clang-format on
])
.exportFunc();
builder.appendToTable([kGrowFunction]);
// The caller should be aware that the memory was grown by the callee.
let instance = builder.instantiate();
let deltaPages = 1;
let iterations = 4;
assertEquals(
initialMemoryPages + iterations * deltaPages,
instance.exports.main(kGrowFunction, iterations, deltaPages));
})();
// This test verifies that the effects of writing to memory grown in an
// indirectly called function inside a loop are retained when the loop is over.
(function TestGrowMemoryAndStoreInIndirectCallInsideLoop() {
print('TestGrowMemoryAndStoreInIndirectCallInsideLoop ...');
let builder = new WasmModuleBuilder();
let deltaPages = 1;
builder.addMemory(initialMemoryPages, maximumMemoryPages, true);
let kGrowFunction =
builder.addFunction('grow', kSig_i_i)
.addBody([kExprGetLocal, 0, kExprGrowMemory, kMemoryZero])
.exportFunc()
.index;
builder.addFunction('store', kSig_i_ii)
.addBody([
kExprGetLocal, 0, kExprGetLocal, 1, kExprI32StoreMem, 0, 0,
kExprGetLocal, 1
])
.exportFunc();
builder
.addFunction(
// parameters: function_index, iterations, deltaPages, index
'main', makeSig([kWasmI32, kWasmI32, kWasmI32, kWasmI32], [kWasmI32]))
.addBody([
// clang-format off
kExprLoop, kWasmStmt, // while
kExprGetLocal, 1, // -
kExprIf, kWasmStmt, // if <param1> != 0
// Grow memory.
kExprGetLocal, 2, // get number of new pages
kExprGetLocal, 0, // get index of the function
kExprCallIndirect, 0, kTableZero, // call the function
kExprDrop, // drop the result of grow
// Increase counter in memory.
kExprGetLocal, 3, // put index (for store)
kExprGetLocal, 3, // put index (for load)
kExprI32LoadMem, 0, 0, // load from grown memory
kExprI32Const, 1, // -
kExprI32Add, // increase counter
kExprI32StoreMem, 0, 0, // store counter in memory
// Decrease loop variable.
kExprGetLocal, 1, // -
kExprI32Const, 1, // -
kExprI32Sub, // -
kExprSetLocal, 1, // decrease <param1>
kExprBr, 1, // continue
kExprEnd, // end if
kExprEnd, // end loop
// Return the value
kExprGetLocal, 3, // -
kExprI32LoadMem, 0, 0 // load from grown memory
// clang-format on
])
.exportFunc();
builder.appendToTable([kGrowFunction]);
// The caller should be aware that the memory was grown by the callee.
let instance = builder.instantiate();
let iterations = 4;
let index = 0;
let initialValue = 1;
let expectedValue = initialValue + iterations;
instance.exports.store(index, initialValue);
assertEquals(
expectedValue,
instance.exports.main(kGrowFunction, iterations, deltaPages, index));
})();