| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 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 | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 // Flags: --expose-wasm --expose-gc --stress-compaction | 5 // Flags: --expose-wasm --expose-gc --stress-compaction |
| 6 | 6 |
| 7 load("test/mjsunit/wasm/wasm-constants.js"); | 7 load("test/mjsunit/wasm/wasm-constants.js"); |
| 8 | 8 |
| 9 var kMemSize = 4096; | 9 var kMemSize = 65536; |
| 10 | 10 |
| 11 function genModule(memory) { | 11 function genModule(memory) { |
| 12 var kBodySize = 27; | 12 var kBodySize = 27; |
| 13 var kNameMainOffset = kHeaderSize + 28 + kBodySize + 1; | 13 var kNameMainOffset = kHeaderSize + 28 + kBodySize + 1; |
| 14 | 14 |
| 15 var data = bytesWithHeader( | 15 var data = bytesWithHeader( |
| 16 kDeclMemory, | 16 kDeclMemory, |
| 17 12, 12, 1, // memory | 17 1, 1, 1, // memory |
| 18 // -- signatures | 18 // -- signatures |
| 19 kDeclSignatures, 1, | 19 kDeclSignatures, 1, |
| 20 1, kAstI32, kAstI32, // int->int | 20 1, kAstI32, kAstI32, // int->int |
| 21 // -- main function | 21 // -- main function |
| 22 kDeclFunctions, 1, | 22 kDeclFunctions, 1, |
| 23 kDeclFunctionLocals | kDeclFunctionName | kDeclFunctionExport, | 23 kDeclFunctionLocals | kDeclFunctionName | kDeclFunctionExport, |
| 24 0, 0, | 24 0, 0, |
| 25 kNameMainOffset, 0, 0, 0, // name offset | 25 kNameMainOffset, 0, 0, 0, // name offset |
| 26 1, 0, // local int32 count | 26 1, 0, // local int32 count |
| 27 0, 0, // local int64 count | 27 0, 0, // local int64 count |
| (...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 130 testOuterMemorySurvivalAcrossGc(); | 130 testOuterMemorySurvivalAcrossGc(); |
| 131 testOuterMemorySurvivalAcrossGc(); | 131 testOuterMemorySurvivalAcrossGc(); |
| 132 | 132 |
| 133 | 133 |
| 134 function testOOBThrows() { | 134 function testOOBThrows() { |
| 135 var kBodySize = 8; | 135 var kBodySize = 8; |
| 136 var kNameMainOffset = kHeaderSize + 29 + kBodySize + 1; | 136 var kNameMainOffset = kHeaderSize + 29 + kBodySize + 1; |
| 137 | 137 |
| 138 var data = bytesWithHeader( | 138 var data = bytesWithHeader( |
| 139 kDeclMemory, | 139 kDeclMemory, |
| 140 12, 12, 1, // memory = 4KB | 140 1, 1, 1, // memory = 64KB |
| 141 // -- signatures | 141 // -- signatures |
| 142 kDeclSignatures, 1, | 142 kDeclSignatures, 1, |
| 143 2, kAstI32, kAstI32, kAstI32, // int->int | 143 2, kAstI32, kAstI32, kAstI32, // int->int |
| 144 // -- main function | 144 // -- main function |
| 145 kDeclFunctions, 1, | 145 kDeclFunctions, 1, |
| 146 kDeclFunctionLocals | kDeclFunctionName | kDeclFunctionExport, | 146 kDeclFunctionLocals | kDeclFunctionName | kDeclFunctionExport, |
| 147 0, 0, | 147 0, 0, |
| 148 kNameMainOffset, 0, 0, 0, // name offset | 148 kNameMainOffset, 0, 0, 0, // name offset |
| 149 1, 0, // local int32 count | 149 1, 0, // local int32 count |
| 150 0, 0, // local int64 count | 150 0, 0, // local int64 count |
| 151 0, 0, // local float32 count | 151 0, 0, // local float32 count |
| 152 0, 0, // local float64 count | 152 0, 0, // local float64 count |
| 153 kBodySize, 0, // code size | 153 kBodySize, 0, // code size |
| 154 // geti: return mem[a] = mem[b] | 154 // geti: return mem[a] = mem[b] |
| 155 kExprI32StoreMem, 0, kExprGetLocal, 0, kExprI32LoadMem, 0, kExprGetLocal, 1, | 155 kExprI32StoreMem, 0, kExprGetLocal, 0, kExprI32LoadMem, 0, kExprGetLocal, 1, |
| 156 // names | 156 // names |
| 157 kDeclEnd, | 157 kDeclEnd, |
| 158 'g','e','t','i', 0 // -- | 158 'g','e','t','i', 0 // -- |
| 159 ); | 159 ); |
| 160 | 160 |
| 161 var memory = null; | 161 var memory = null; |
| 162 var module = _WASMEXP_.instantiateModule(data, null, memory); | 162 var module = _WASMEXP_.instantiateModule(data, null, memory); |
| 163 | 163 |
| 164 var offset; | 164 var offset; |
| 165 | 165 |
| 166 function read() { return module.geti(0, offset); } | 166 function read() { return module.geti(0, offset); } |
| 167 function write() { return module.geti(offset, 0); } | 167 function write() { return module.geti(offset, 0); } |
| 168 | 168 |
| 169 for (offset = 0; offset < 4092; offset++) { | 169 for (offset = 0; offset < 65533; offset++) { |
| 170 assertEquals(0, read()); | 170 assertEquals(0, read()); |
| 171 assertEquals(0, write()); | 171 assertEquals(0, write()); |
| 172 } | 172 } |
| 173 | 173 |
| 174 | 174 |
| 175 for (offset = 4093; offset < 4124; offset++) { | 175 for (offset = 65534; offset < 66536; offset++) { |
| 176 assertTraps(kTrapMemOutOfBounds, read); | 176 assertTraps(kTrapMemOutOfBounds, read); |
| 177 assertTraps(kTrapMemOutOfBounds, write); | 177 assertTraps(kTrapMemOutOfBounds, write); |
| 178 } | 178 } |
| 179 } | 179 } |
| 180 | 180 |
| 181 testOOBThrows(); | 181 testOOBThrows(); |
| OLD | NEW |