| 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 | 5 // Flags: --expose-wasm |
| 6 | 6 |
| 7 'use strict'; | 7 'use strict'; |
| 8 | 8 |
| 9 load("test/mjsunit/wasm/wasm-constants.js"); | 9 load("test/mjsunit/wasm/wasm-constants.js"); |
| 10 load("test/mjsunit/wasm/wasm-module-builder.js"); | 10 load("test/mjsunit/wasm/wasm-module-builder.js"); |
| 11 | 11 |
| 12 function module(bytes) { | 12 function module(bytes) { |
| 13 let buffer = bytes; | 13 let buffer = bytes; |
| 14 if (typeof buffer === 'string') { | 14 if (typeof buffer === 'string') { |
| 15 buffer = new ArrayBuffer(bytes.length); | 15 buffer = new ArrayBuffer(bytes.length); |
| 16 let view = new Uint8Array(buffer); | 16 let view = new Uint8Array(buffer); |
| 17 for (let i = 0; i < bytes.length; ++i) { | 17 for (let i = 0; i < bytes.length; ++i) { |
| 18 view[i] = bytes.charCodeAt(i); | 18 view[i] = bytes.charCodeAt(i); |
| 19 } | 19 } |
| 20 } | 20 } |
| 21 return new WebAssembly.Module(buffer); | 21 return new WebAssembly.Module(buffer); |
| 22 } | 22 } |
| 23 | 23 |
| 24 function instance(bytes, imports = {}) { | 24 function instance(bytes, imports = {}) { |
| 25 return new WebAssembly.Instance(module(bytes), imports); | 25 return new WebAssembly.Instance(module(bytes), imports); |
| 26 } | 26 } |
| 27 | 27 |
| 28 // instantiate should succeed but run should fail. |
| 29 function instantiateAndFailAtRuntime(bytes, imports = {}) { |
| 30 var instance = undefined; |
| 31 try { |
| 32 instance = new WebAssembly.Instance(module(bytes), imports); |
| 33 } catch(e) { |
| 34 // If we fail at startup. |
| 35 if (e instanceof WebAssembly.RuntimeError) { |
| 36 throw e; |
| 37 } |
| 38 // Swallow other instantiation errors because we expect instantiation |
| 39 // to succeed but runtime to fail. |
| 40 return; |
| 41 } |
| 42 instance.exports.run(); |
| 43 } |
| 44 |
| 28 function builder() { | 45 function builder() { |
| 29 return new WasmModuleBuilder; | 46 return new WasmModuleBuilder; |
| 30 } | 47 } |
| 31 | 48 |
| 32 function assertCompileError(bytes) { | 49 function assertCompileError(bytes) { |
| 33 assertThrows(() => module(bytes), WebAssembly.CompileError); | 50 assertThrows(() => module(bytes), WebAssembly.CompileError); |
| 34 } | 51 } |
| 35 | 52 |
| 53 // default imports to {} so we get LinkError by default, thus allowing us to |
| 54 // distinguish the TypeError we want to catch |
| 36 function assertTypeError(bytes, imports = {}) { | 55 function assertTypeError(bytes, imports = {}) { |
| 37 assertThrows(() => instance(bytes, imports), TypeError); | 56 assertThrows(() => instance(bytes, imports), TypeError); |
| 38 } | 57 } |
| 39 | 58 |
| 40 function assertLinkError(bytes, imports = {}) { | 59 function assertLinkError(bytes, imports) { |
| 41 assertThrows(() => instance(bytes, imports), WebAssembly.LinkError); | 60 assertThrows(() => instance(bytes, imports), WebAssembly.LinkError); |
| 42 } | 61 } |
| 43 | 62 |
| 44 function assertRuntimeError(bytes, imports = {}) { | 63 function assertRuntimeError(bytes, imports) { |
| 45 assertThrows(() => instance(bytes, imports).exports.run(), | 64 assertThrows(() => instantiateAndFailAtRuntime(bytes, imports), |
| 46 WebAssembly.RuntimeError); | 65 WebAssembly.RuntimeError); |
| 47 } | 66 } |
| 48 | 67 |
| 49 function assertConversionError(bytes, imports = {}) { | 68 function assertConversionError(bytes, imports) { |
| 50 assertThrows(() => instance(bytes, imports).exports.run(), TypeError); | 69 assertThrows(() => instantiateAndFailAtRuntime(bytes, imports), TypeError); |
| 51 } | 70 } |
| 52 | 71 |
| 53 (function TestDecodingError() { | 72 (function TestDecodingError() { |
| 54 assertCompileError(""); | 73 assertCompileError(""); |
| 55 assertCompileError("X"); | 74 assertCompileError("X"); |
| 56 assertCompileError("\0x00asm"); | 75 assertCompileError("\0x00asm"); |
| 57 })(); | 76 })(); |
| 58 | 77 |
| 59 (function TestValidationError() { | 78 (function TestValidationError() { |
| 60 assertCompileError(builder().addFunction("f", kSig_i_v).end().toBuffer()); | 79 assertCompileError(builder().addFunction("f", kSig_i_v).end().toBuffer()); |
| 61 assertCompileError(builder().addFunction("f", kSig_i_v).addBody([ | 80 assertCompileError(builder().addFunction("f", kSig_i_v).addBody([ |
| 62 kExprReturn | 81 kExprReturn |
| 63 ]).end().toBuffer()); | 82 ]).end().toBuffer()); |
| 64 assertCompileError(builder().addFunction("f", kSig_v_v).addBody([ | 83 assertCompileError(builder().addFunction("f", kSig_v_v).addBody([ |
| 65 kExprGetLocal, 0 | 84 kExprGetLocal, 0 |
| 66 ]).end().toBuffer()); | 85 ]).end().toBuffer()); |
| 67 assertCompileError(builder().addStart(0).toBuffer()); | 86 assertCompileError(builder().addStart(0).toBuffer()); |
| 68 })(); | 87 })(); |
| 69 | 88 |
| 70 (function TestLinkingError() { | 89 (function TestLinkingError() { |
| 71 let b; | 90 let b; |
| 72 | 91 |
| 73 b = builder(); | 92 b = builder(); |
| 74 b.addImport("foo", "bar", kSig_v_v); | 93 b.addImport("foo", "bar", kSig_v_v); |
| 75 assertTypeError(b.toBuffer(), {}); | 94 assertLinkError(b.toBuffer(), {}); |
| 76 b = builder(); | 95 b = builder(); |
| 77 b.addImport("foo", "bar", kSig_v_v); | 96 b.addImport("foo", "bar", kSig_v_v); |
| 78 assertLinkError(b.toBuffer(), {foo: {}}); | 97 assertLinkError(b.toBuffer(), {foo: {}}); |
| 79 b = builder(); | 98 b = builder(); |
| 80 b.addImport("foo", "bar", kSig_v_v); | 99 b.addImport("foo", "bar", kSig_v_v); |
| 81 assertLinkError(b.toBuffer(), {foo: {bar: 9}}); | 100 assertLinkError(b.toBuffer(), {foo: {bar: 9}}); |
| 82 | 101 |
| 83 b = builder(); | 102 b = builder(); |
| 84 b.addImportedGlobal("foo", "bar", kWasmI32); | 103 b.addImportedGlobal("foo", "bar", kWasmI32); |
| 85 assertTypeError(b.toBuffer(), {}); | 104 assertLinkError(b.toBuffer(), {}); |
| 86 b = builder(); | 105 b = builder(); |
| 87 b.addImportedGlobal("foo", "bar", kWasmI32); | 106 b.addImportedGlobal("foo", "bar", kWasmI32); |
| 88 assertLinkError(b.toBuffer(), {foo: {}}); | 107 assertLinkError(b.toBuffer(), {foo: {}}); |
| 89 b = builder(); | 108 b = builder(); |
| 90 b.addImportedGlobal("foo", "bar", kWasmI32); | 109 b.addImportedGlobal("foo", "bar", kWasmI32); |
| 91 assertLinkError(b.toBuffer(), {foo: {bar: ""}}); | 110 assertLinkError(b.toBuffer(), {foo: {bar: ""}}); |
| 92 b = builder(); | 111 b = builder(); |
| 93 b.addImportedGlobal("foo", "bar", kWasmI32); | 112 b.addImportedGlobal("foo", "bar", kWasmI32); |
| 94 assertLinkError(b.toBuffer(), {foo: {bar: () => 9}}); | 113 assertLinkError(b.toBuffer(), {foo: {bar: () => 9}}); |
| 95 | 114 |
| 96 b = builder(); | 115 b = builder(); |
| 97 b.addImportedMemory("foo", "bar"); | 116 b.addImportedMemory("foo", "bar"); |
| 98 assertTypeError(b.toBuffer(), {}); | 117 assertLinkError(b.toBuffer(), {}); |
| 99 b = builder(); | 118 b = builder(); |
| 100 b.addImportedMemory("foo", "bar"); | 119 b.addImportedMemory("foo", "bar"); |
| 101 assertLinkError(b.toBuffer(), {foo: {}}); | 120 assertLinkError(b.toBuffer(), {foo: {}}); |
| 102 b = builder(); | 121 b = builder(); |
| 103 b.addImportedMemory("foo", "bar", 1); | 122 b.addImportedMemory("foo", "bar", 1); |
| 104 assertLinkError(b.toBuffer(), | 123 assertLinkError(b.toBuffer(), |
| 105 {foo: {bar: () => new WebAssembly.Memory({initial: 0})}}); | 124 {foo: {bar: () => new WebAssembly.Memory({initial: 0})}}); |
| 106 | 125 |
| 107 b = builder(); | 126 b = builder(); |
| 108 b.addFunction("f", kSig_v_v).addBody([ | 127 b.addFunction("startup", kSig_v_v).addBody([ |
| 109 kExprUnreachable, | 128 kExprUnreachable, |
| 110 ]).end().addStart(0); | 129 ]).end().addStart(0); |
| 111 assertRuntimeError(b.toBuffer()); | 130 assertRuntimeError(b.toBuffer()); |
| 112 })(); | 131 })(); |
| 113 | 132 |
| 114 (function TestTrapError() { | 133 (function TestTrapError() { |
| 115 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ | 134 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ |
| 116 kExprUnreachable | 135 kExprUnreachable |
| 117 ]).exportFunc().end().toBuffer()); | 136 ]).exportFunc().end().toBuffer()); |
| 118 | 137 |
| 119 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ | 138 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ |
| 120 kExprI32Const, 1, | 139 kExprI32Const, 1, |
| 121 kExprI32Const, 0, | 140 kExprI32Const, 0, |
| 122 kExprI32DivS, | 141 kExprI32DivS, |
| 123 kExprDrop | 142 kExprDrop |
| 124 ]).exportFunc().end().toBuffer()); | 143 ]).exportFunc().end().toBuffer()); |
| 125 | 144 |
| 126 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ | 145 assertRuntimeError(builder().addFunction("run", kSig_v_v).addBody([ |
| 127 ]).exportFunc().end(). | 146 ]).exportFunc().end(). |
| 128 addFunction("start", kSig_v_v).addBody([ | 147 addFunction("start", kSig_v_v).addBody([ |
| 129 kExprUnreachable | 148 kExprUnreachable |
| 130 ]).end().addStart(1).toBuffer()); | 149 ]).end().addStart(1).toBuffer()); |
| 131 })(); | 150 })(); |
| 132 | 151 |
| 133 (function TestConversionError() { | 152 (function TestConversionError() { |
| 134 let b = builder(); | 153 let b = builder(); |
| 135 b.addImport("foo", "bar", kSig_v_l); | 154 b.addImport("foo", "bar", kSig_v_l); |
| 136 assertConversionError(b.addFunction("run", kSig_v_v).addBody([ | 155 assertConversionError(b.addFunction("run", kSig_v_v).addBody([ |
| 137 kExprI64Const, 0, kExprCallFunction, 0 | 156 kExprI64Const, 0, kExprCallFunction, 0 |
| 138 ]).exportFunc().end().toBuffer()); | 157 ]).exportFunc().end().toBuffer(), {foo:{bar: (l)=>{}}}); |
| 139 | 158 |
| 159 b = builder() |
| 140 assertConversionError(builder().addFunction("run", kSig_l_v).addBody([ | 160 assertConversionError(builder().addFunction("run", kSig_l_v).addBody([ |
| 141 kExprI64Const, 0 | 161 kExprI64Const, 0 |
| 142 ]).exportFunc().end().toBuffer()); | 162 ]).exportFunc().end().toBuffer()); |
| 143 })(); | 163 })(); |
| OLD | NEW |