OLD | NEW |
1 // Copyright 2016 the V8 project authors. All rights reserved. | 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 | 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 load("test/mjsunit/wasm/wasm-module-builder.js"); | 8 load("test/mjsunit/wasm/wasm-module-builder.js"); |
9 | 9 |
10 var kPageSize = 0x10000; | 10 var kPageSize = 0x10000; |
(...skipping 16 matching lines...) Expand all Loading... |
27 var builder = genGrowMemoryBuilder(); | 27 var builder = genGrowMemoryBuilder(); |
28 builder.addMemory(1, 1, false); | 28 builder.addMemory(1, 1, false); |
29 var module = builder.instantiate(); | 29 var module = builder.instantiate(); |
30 var offset; | 30 var offset; |
31 function peek() { return module.exports.load(offset); } | 31 function peek() { return module.exports.load(offset); } |
32 function poke(value) { return module.exports.store(offset, value); } | 32 function poke(value) { return module.exports.store(offset, value); } |
33 function growMem(pages) { return module.exports.grow_memory(pages); } | 33 function growMem(pages) { return module.exports.grow_memory(pages); } |
34 | 34 |
35 for(offset = 0; offset <= (kPageSize - 4); offset++) { | 35 for(offset = 0; offset <= (kPageSize - 4); offset++) { |
36 poke(20); | 36 poke(20); |
37 assertEquals(peek(), 20); | 37 assertEquals(20, peek()); |
38 } | 38 } |
39 for (offset = kPageSize - 3; offset < kPageSize + 4; offset++) { | 39 for (offset = kPageSize - 3; offset < kPageSize + 4; offset++) { |
40 assertTraps(kTrapMemOutOfBounds, poke); | 40 assertTraps(kTrapMemOutOfBounds, poke); |
41 assertTraps(kTrapMemOutOfBounds, peek); | 41 assertTraps(kTrapMemOutOfBounds, peek); |
42 } | 42 } |
43 | 43 |
44 try { | 44 assertEquals(1, growMem(3)); |
45 assertEquals(growMem(3), 1); | |
46 } catch (e) { | |
47 assertEquals("object", typeof e); | |
48 assertEquals(e.message, kTrapMsgs[kTrapMemAllocationFail]); | |
49 return; | |
50 } | |
51 | 45 |
52 for (offset = kPageSize; offset <= 4*kPageSize -4; offset++) { | 46 for (offset = kPageSize; offset <= 4*kPageSize -4; offset++) { |
53 poke(20); | 47 poke(20); |
54 assertEquals(peek(), 20); | 48 assertEquals(20, peek()); |
55 } | 49 } |
56 for (offset = 4*kPageSize - 3; offset < 4*kPageSize + 4; offset++) { | 50 for (offset = 4*kPageSize - 3; offset < 4*kPageSize + 4; offset++) { |
57 assertTraps(kTrapMemOutOfBounds, poke); | 51 assertTraps(kTrapMemOutOfBounds, poke); |
58 assertTraps(kTrapMemOutOfBounds, peek); | 52 assertTraps(kTrapMemOutOfBounds, peek); |
59 } | 53 } |
60 | 54 |
61 try { | 55 assertEquals(4, growMem(15)); |
62 assertEquals(growMem(15), 4); | |
63 } catch (e) { | |
64 assertEquals("object", typeof e); | |
65 assertEquals(e.message, kTrapMsgs[kTrapMemAllocationFail]); | |
66 return; | |
67 } | |
68 | 56 |
69 for (offset = 4*kPageSize - 3; offset <= 4*kPageSize + 4; offset++) { | 57 for (offset = 4*kPageSize - 3; offset <= 4*kPageSize + 4; offset++) { |
70 poke(20); | 58 poke(20); |
71 assertEquals(peek(), 20); | 59 assertEquals(20, peek()); |
72 } | 60 } |
73 for (offset = 19*kPageSize - 10; offset <= 19*kPageSize - 4; offset++) { | 61 for (offset = 19*kPageSize - 10; offset <= 19*kPageSize - 4; offset++) { |
74 poke(20); | 62 poke(20); |
75 assertEquals(peek(), 20); | 63 assertEquals(20, peek()); |
76 } | 64 } |
77 for (offset = 19*kPageSize - 3; offset < 19*kPageSize + 5; offset++) { | 65 for (offset = 19*kPageSize - 3; offset < 19*kPageSize + 5; offset++) { |
78 assertTraps(kTrapMemOutOfBounds, poke); | 66 assertTraps(kTrapMemOutOfBounds, poke); |
79 assertTraps(kTrapMemOutOfBounds, peek); | 67 assertTraps(kTrapMemOutOfBounds, peek); |
80 } | 68 } |
81 } | 69 } |
82 | 70 |
83 testGrowMemoryReadWrite(); | 71 testGrowMemoryReadWrite(); |
84 | 72 |
85 function testGrowMemoryZeroInitialSize() { | 73 function testGrowMemoryZeroInitialSize() { |
86 var builder = genGrowMemoryBuilder(); | 74 var builder = genGrowMemoryBuilder(); |
87 var module = builder.instantiate(); | 75 var module = builder.instantiate(); |
88 var offset; | 76 var offset; |
89 function peek() { return module.exports.load(offset); } | 77 function peek() { return module.exports.load(offset); } |
90 function poke(value) { return module.exports.store(offset, value); } | 78 function poke(value) { return module.exports.store(offset, value); } |
91 function growMem(pages) { return module.exports.grow_memory(pages); } | 79 function growMem(pages) { return module.exports.grow_memory(pages); } |
92 | 80 |
93 assertTraps(kTrapMemOutOfBounds, peek); | 81 assertTraps(kTrapMemOutOfBounds, peek); |
94 assertTraps(kTrapMemOutOfBounds, poke); | 82 assertTraps(kTrapMemOutOfBounds, poke); |
95 | 83 |
96 try { | 84 assertEquals(0, growMem(1)); |
97 assertEquals(growMem(1), 0); | |
98 } catch (e) { | |
99 assertEquals("object", typeof e); | |
100 assertEquals(e.message, kTrapMsgs[kTrapMemAllocationFail]); | |
101 return; | |
102 } | |
103 | 85 |
104 for(offset = 0; offset <= kPageSize - 4; offset++) { | 86 for(offset = 0; offset <= kPageSize - 4; offset++) { |
105 poke(20); | 87 poke(20); |
106 assertEquals(peek(), 20); | 88 assertEquals(20, peek()); |
107 } | 89 } |
108 | 90 |
109 //TODO(gdeepti): Fix tests with correct write boundaries | 91 //TODO(gdeepti): Fix tests with correct write boundaries |
110 //when runtime function is fixed. | 92 //when runtime function is fixed. |
111 for(offset = kPageSize; offset <= kPageSize + 5; offset++) { | 93 for(offset = kPageSize; offset <= kPageSize + 5; offset++) { |
112 assertTraps(kTrapMemOutOfBounds, peek); | 94 assertTraps(kTrapMemOutOfBounds, peek); |
113 } | 95 } |
114 } | 96 } |
115 | 97 |
116 testGrowMemoryZeroInitialSize(); | 98 testGrowMemoryZeroInitialSize(); |
117 | 99 |
118 function testGrowMemoryTrapMaxPagesZeroInitialMemory() { | 100 function testGrowMemoryTrapMaxPagesZeroInitialMemory() { |
119 var builder = genGrowMemoryBuilder(); | 101 var builder = genGrowMemoryBuilder(); |
120 var module = builder.instantiate(); | 102 var module = builder.instantiate(); |
121 var maxPages = 16385; | 103 var maxPages = 16385; |
122 function growMem() { return module.exports.grow_memory(maxPages); } | 104 function growMem(pages) { return module.exports.grow_memory(pages); } |
123 assertTraps(kTrapMemOutOfBounds, growMem); | 105 assertEquals(-1, growMem(maxPages)); |
124 } | 106 } |
125 | 107 |
126 testGrowMemoryTrapMaxPagesZeroInitialMemory(); | 108 testGrowMemoryTrapMaxPagesZeroInitialMemory(); |
127 | 109 |
128 function testGrowMemoryTrapMaxPages() { | 110 function testGrowMemoryTrapMaxPages() { |
129 var builder = genGrowMemoryBuilder(); | 111 var builder = genGrowMemoryBuilder(); |
130 builder.addMemory(1, 1, false); | 112 builder.addMemory(1, 1, false); |
131 var module = builder.instantiate(); | 113 var module = builder.instantiate(); |
132 var maxPages = 16384; | 114 var maxPages = 16384; |
133 function growMem() { return module.exports.grow_memory(maxPages); } | 115 function growMem(pages) { return module.exports.grow_memory(pages); } |
134 assertTraps(kTrapMemOutOfBounds, growMem); | 116 assertEquals(-1, growMem(maxPages)); |
135 } | 117 } |
136 | 118 |
137 testGrowMemoryTrapMaxPages(); | 119 testGrowMemoryTrapMaxPages(); |
OLD | NEW |