diff options
Diffstat (limited to 'deps/v8/test/mjsunit/wasm/bounds-check-turbofan.js')
-rw-r--r-- | deps/v8/test/mjsunit/wasm/bounds-check-turbofan.js | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/deps/v8/test/mjsunit/wasm/bounds-check-turbofan.js b/deps/v8/test/mjsunit/wasm/bounds-check-turbofan.js new file mode 100644 index 0000000000..7e260eab08 --- /dev/null +++ b/deps/v8/test/mjsunit/wasm/bounds-check-turbofan.js @@ -0,0 +1,24 @@ +// Copyright 2018 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: --allow-natives-syntax + +load("test/mjsunit/wasm/wasm-constants.js"); +load("test/mjsunit/wasm/wasm-module-builder.js"); + +const builder = new WasmModuleBuilder(); +builder.addMemory(1, undefined, false); +builder.addFunction('load', kSig_i_i) + .addBody([ + kExprGetLocal, 0, + kExprI32LoadMem, 0, 100]) + .exportFunc(); + +const module = builder.instantiate(); +%WasmTierUpFunction(module, 0); +// 100 is added as part of the load instruction above +// Last valid address (64k - 100 - 4) +assertEquals(0, module.exports.load(0x10000 - 100 - 4)); +// First invalid address (64k - 100) +assertTraps(kTrapMemOutOfBounds, _ => { module.exports.load(0x10000 - 100);}); |