Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1 | // Copyright 2015 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"); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 8 | load("test/mjsunit/wasm/wasm-module-builder.js"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 10 | var kMemSize = 65536; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 11 | |
| 12 | function genModule(memory) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 13 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 14 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 15 | builder.addMemory(1, 1, true); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 16 | builder.addFunction("main", kSig_i_i) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 17 | .addBody([ |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 18 | // main body: while(i) { if(mem[i]) return -1; i -= 4; } return 0; |
| 19 | kExprLoop, |
| 20 | kExprGetLocal,0, |
| 21 | kExprIf, |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 22 | kExprGetLocal,0, |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 23 | kExprI32LoadMem,0,0, |
| 24 | kExprIf, |
| 25 | kExprI8Const,255, |
| 26 | kExprReturn, kArity1, |
| 27 | kExprEnd, |
| 28 | kExprGetLocal,0, |
| 29 | kExprI8Const,4, |
| 30 | kExprI32Sub, |
| 31 | kExprSetLocal,0, |
| 32 | kExprBr, kArity1, 1, |
| 33 | kExprEnd, |
| 34 | kExprEnd, |
| 35 | kExprI8Const,0 |
| 36 | ]) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 37 | .exportFunc(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 38 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 39 | return builder.instantiate(null, memory); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 40 | } |
| 41 | |
| 42 | function testPokeMemory() { |
| 43 | var module = genModule(null); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 44 | var buffer = module.exports.memory; |
| 45 | var main = module.exports.main; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 46 | assertEquals(kMemSize, buffer.byteLength); |
| 47 | |
| 48 | var array = new Int8Array(buffer); |
| 49 | assertEquals(kMemSize, array.length); |
| 50 | |
| 51 | for (var i = 0; i < kMemSize; i++) { |
| 52 | assertEquals(0, array[i]); |
| 53 | } |
| 54 | |
| 55 | for (var i = 0; i < 10; i++) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 56 | assertEquals(0, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 57 | |
| 58 | array[kMemSize/2 + i] = 1; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 59 | assertEquals(0, main(kMemSize/2 - 4)); |
| 60 | assertEquals(-1, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 61 | |
| 62 | array[kMemSize/2 + i] = 0; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 63 | assertEquals(0, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 64 | } |
| 65 | } |
| 66 | |
| 67 | testPokeMemory(); |
| 68 | |
| 69 | function testSurvivalAcrossGc() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 70 | var checker = genModule(null).exports.main; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 71 | for (var i = 0; i < 5; i++) { |
| 72 | print("gc run ", i); |
| 73 | assertEquals(0, checker(kMemSize - 4)); |
| 74 | gc(); |
| 75 | } |
| 76 | } |
| 77 | |
| 78 | testSurvivalAcrossGc(); |
| 79 | testSurvivalAcrossGc(); |
| 80 | testSurvivalAcrossGc(); |
| 81 | testSurvivalAcrossGc(); |
| 82 | |
| 83 | |
| 84 | function testPokeOuterMemory() { |
| 85 | var buffer = new ArrayBuffer(kMemSize); |
| 86 | var module = genModule(buffer); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 87 | var main = module.exports.main; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 88 | assertEquals(kMemSize, buffer.byteLength); |
| 89 | |
| 90 | var array = new Int8Array(buffer); |
| 91 | assertEquals(kMemSize, array.length); |
| 92 | |
| 93 | for (var i = 0; i < kMemSize; i++) { |
| 94 | assertEquals(0, array[i]); |
| 95 | } |
| 96 | |
| 97 | for (var i = 0; i < 10; i++) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 98 | assertEquals(0, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 99 | |
| 100 | array[kMemSize/2 + i] = 1; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 101 | assertEquals(0, main(kMemSize/2 - 4)); |
| 102 | assertEquals(-1, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 103 | |
| 104 | array[kMemSize/2 + i] = 0; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 105 | assertEquals(0, main(kMemSize - 4)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 106 | } |
| 107 | } |
| 108 | |
| 109 | testPokeOuterMemory(); |
| 110 | |
| 111 | function testOuterMemorySurvivalAcrossGc() { |
| 112 | var buffer = new ArrayBuffer(kMemSize); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 113 | var checker = genModule(buffer).exports.main; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 114 | for (var i = 0; i < 5; i++) { |
| 115 | print("gc run ", i); |
| 116 | assertEquals(0, checker(kMemSize - 4)); |
| 117 | gc(); |
| 118 | } |
| 119 | } |
| 120 | |
| 121 | testOuterMemorySurvivalAcrossGc(); |
| 122 | testOuterMemorySurvivalAcrossGc(); |
| 123 | testOuterMemorySurvivalAcrossGc(); |
| 124 | testOuterMemorySurvivalAcrossGc(); |
| 125 | |
| 126 | |
| 127 | function testOOBThrows() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 128 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 129 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 130 | builder.addMemory(1, 1, true); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 131 | builder.addFunction("geti", kSig_i_ii) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 132 | .addBody([ |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 133 | kExprGetLocal, 0, |
| 134 | kExprGetLocal, 1, |
| 135 | kExprI32LoadMem, 0, 0, |
| 136 | kExprI32StoreMem, 0, 0 |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 137 | ]) |
| 138 | .exportFunc(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 139 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 140 | var module = builder.instantiate(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 141 | var offset; |
| 142 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 143 | function read() { return module.exports.geti(0, offset); } |
| 144 | function write() { return module.exports.geti(offset, 0); } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 145 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 146 | for (offset = 0; offset < 65533; offset++) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 147 | assertEquals(0, read()); |
| 148 | assertEquals(0, write()); |
| 149 | } |
| 150 | |
| 151 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 152 | for (offset = 65534; offset < 66536; offset++) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 153 | assertTraps(kTrapMemOutOfBounds, read); |
| 154 | assertTraps(kTrapMemOutOfBounds, write); |
| 155 | } |
| 156 | } |
| 157 | |
| 158 | testOOBThrows(); |