OLD | NEW |
(Empty) | |
| 1 // Copyright 2016 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. |
| 4 |
| 5 // Flags: --expose-wasm --expose-gc --stress-compaction |
| 6 |
| 7 load("test/mjsunit/wasm/wasm-constants.js"); |
| 8 load("test/mjsunit/wasm/wasm-module-builder.js"); |
| 9 |
| 10 var kPageSize = 0x10000; |
| 11 |
| 12 function genGrowMemoryBuilder() { |
| 13 var builder = new WasmModuleBuilder(); |
| 14 builder.addFunction("grow_memory", kSig_i_i) |
| 15 .addBody([kExprGetLocal, 0, kExprGrowMemory]) |
| 16 .exportFunc(); |
| 17 builder.addFunction("load", kSig_i_i) |
| 18 .addBody([kExprGetLocal, 0, kExprI32LoadMem, 0, 0]) |
| 19 .exportFunc(); |
| 20 builder.addFunction("store", kSig_i_ii) |
| 21 .addBody([kExprGetLocal, 0, kExprGetLocal, 1, kExprI32StoreMem, 0, 0]) |
| 22 .exportFunc(); |
| 23 return builder; |
| 24 } |
| 25 |
| 26 function testGrowMemoryReadWrite() { |
| 27 var builder = genGrowMemoryBuilder(); |
| 28 builder.addMemory(1, 1, false); |
| 29 var module = builder.instantiate(); |
| 30 var offset; |
| 31 function peek() { return module.exports.load(offset); } |
| 32 function poke(value) { return module.exports.store(offset, value); } |
| 33 function growMem(pages) { return module.exports.grow_memory(pages); } |
| 34 |
| 35 for(offset = 0; offset <= (kPageSize - 4); offset++) { |
| 36 poke(20); |
| 37 assertEquals(peek(), 20); |
| 38 } |
| 39 for (offset = kPageSize - 3; offset < kPageSize + 4; offset++) { |
| 40 assertTraps(kTrapMemOutOfBounds, poke); |
| 41 assertTraps(kTrapMemOutOfBounds, peek); |
| 42 } |
| 43 |
| 44 try { |
| 45 assertEquals(growMem(3), 1); |
| 46 } catch (e) { |
| 47 assertEquals("object", typeof e); |
| 48 assertEquals(e.message, "failed to allocate memory"); |
| 49 return; |
| 50 } |
| 51 |
| 52 for (offset = kPageSize; offset <= 4*kPageSize -4; offset++) { |
| 53 poke(20); |
| 54 assertEquals(peek(), 20); |
| 55 } |
| 56 for (offset = 4*kPageSize - 3; offset < 4*kPageSize + 4; offset++) { |
| 57 assertTraps(kTrapMemOutOfBounds, poke); |
| 58 assertTraps(kTrapMemOutOfBounds, peek); |
| 59 } |
| 60 |
| 61 try { |
| 62 assertEquals(growMem(15), 4); |
| 63 } catch (e) { |
| 64 assertEquals("object", typeof e); |
| 65 assertEquals(e.message, "failed to allocate memory"); |
| 66 return; |
| 67 } |
| 68 |
| 69 for (offset = 4*kPageSize - 3; offset <= 4*kPageSize + 4; offset++) { |
| 70 poke(20); |
| 71 assertEquals(peek(), 20); |
| 72 } |
| 73 for (offset = 19*kPageSize - 10; offset <= 19*kPageSize - 4; offset++) { |
| 74 poke(20); |
| 75 assertEquals(peek(), 20); |
| 76 } |
| 77 for (offset = 19*kPageSize - 3; offset < 19*kPageSize + 5; offset++) { |
| 78 assertTraps(kTrapMemOutOfBounds, poke); |
| 79 assertTraps(kTrapMemOutOfBounds, peek); |
| 80 } |
| 81 } |
| 82 |
| 83 testGrowMemoryReadWrite(); |
| 84 |
| 85 function testGrowMemoryZeroInitialSize() { |
| 86 var builder = genGrowMemoryBuilder(); |
| 87 var module = builder.instantiate(); |
| 88 var offset; |
| 89 function peek() { return module.exports.load(offset); } |
| 90 function poke(value) { return module.exports.store(offset, value); } |
| 91 function growMem(pages) { return module.exports.grow_memory(pages); } |
| 92 |
| 93 assertTraps(kTrapMemOutOfBounds, peek); |
| 94 assertTraps(kTrapMemOutOfBounds, poke); |
| 95 |
| 96 try { |
| 97 assertEquals(growMem(1), 0); |
| 98 } catch (e) { |
| 99 assertEquals("object", typeof e); |
| 100 assertEquals(e.message, "failed to allocate memory"); |
| 101 return; |
| 102 } |
| 103 |
| 104 for(offset = 0; offset <= kPageSize - 4; offset++) { |
| 105 poke(20); |
| 106 assertEquals(peek(), 20); |
| 107 } |
| 108 |
| 109 //TODO(gdeepti): Fix tests with correct write boundaries |
| 110 //when runtime function is fixed. |
| 111 for(offset = kPageSize; offset <= kPageSize + 5; offset++) { |
| 112 assertTraps(kTrapMemOutOfBounds, peek); |
| 113 } |
| 114 } |
| 115 |
| 116 testGrowMemoryZeroInitialSize(); |
| 117 |
| 118 function testGrowMemoryTrapMaxPagesZeroInitialMemory() { |
| 119 var builder = genGrowMemoryBuilder(); |
| 120 var module = builder.instantiate(); |
| 121 var maxPages = 16385; |
| 122 function growMem() { return module.exports.grow_memory(maxPages); } |
| 123 assertTraps(kTrapMemOutOfBounds, growMem); |
| 124 } |
| 125 |
| 126 testGrowMemoryTrapMaxPagesZeroInitialMemory(); |
| 127 |
| 128 function testGrowMemoryTrapMaxPages() { |
| 129 var builder = genGrowMemoryBuilder(); |
| 130 builder.addMemory(1, 1, false); |
| 131 var module = builder.instantiate(); |
| 132 var maxPages = 16384; |
| 133 function growMem() { return module.exports.grow_memory(maxPages); } |
| 134 assertTraps(kTrapMemOutOfBounds, growMem); |
| 135 } |
| 136 |
| 137 testGrowMemoryTrapMaxPages(); |
OLD | NEW |