Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 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 |
| 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 | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 9 | |
| 10 | function instantiate(sig, body) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 11 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 12 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 13 | var func = builder.addFunction("", sig) |
| 14 | .addBody(body); |
| 15 | |
| 16 | builder.addStart(func.index); |
| 17 | |
| 18 | return builder.instantiate(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 19 | } |
| 20 | |
| 21 | function assertFails(sig, body) { |
| 22 | try { |
| 23 | var module = instantiate(sig, body); |
| 24 | print("expected failure, but passes"); |
| 25 | assertFalse(true); |
| 26 | } catch (expected) { |
| 27 | print("ok: " + expected); |
| 28 | } |
| 29 | } |
| 30 | |
| 31 | function assertVerifies(sig, body) { |
| 32 | var module = instantiate(sig, body); |
| 33 | assertFalse(module === undefined); |
| 34 | assertFalse(module === null); |
| 35 | assertFalse(module === 0); |
| 36 | assertEquals("object", typeof module); |
| 37 | return module; |
| 38 | } |
| 39 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 40 | assertVerifies(kSig_v_v, [kExprNop]); |
| 41 | assertVerifies(kSig_i, [kExprI8Const, 0]); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 42 | |
| 43 | // Arguments aren't allow to start functions. |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 44 | assertFails(kSig_i_i, [kExprGetLocal, 0]); |
| 45 | assertFails(kSig_i_ii, [kExprGetLocal, 0]); |
| 46 | assertFails(kSig_i_dd, [kExprGetLocal, 0]); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 47 | |
| 48 | (function testInvalidIndex() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 49 | print("testInvalidIndex"); |
| 50 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 51 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 52 | var func = builder.addFunction("", kSig_v_v) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 53 | .addBody([kExprNop]); |
| 54 | |
| 55 | builder.addStart(func.index + 1); |
| 56 | |
| 57 | assertThrows(builder.instantiate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 58 | })(); |
| 59 | |
| 60 | |
| 61 | (function testTwoStartFuncs() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 62 | print("testTwoStartFuncs"); |
| 63 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 64 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 65 | var func = builder.addFunction("", kSig_v_v) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 66 | .addBody([kExprNop]); |
| 67 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 68 | builder.addExplicitSection([kDeclStart, 0]); |
| 69 | builder.addExplicitSection([kDeclStart, 0]); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 70 | |
| 71 | assertThrows(builder.instantiate); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 72 | })(); |
| 73 | |
| 74 | |
| 75 | (function testRun() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 76 | print("testRun"); |
| 77 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 78 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 79 | builder.addMemory(12, 12, true); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 80 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 81 | var func = builder.addFunction("", kSig_v_v) |
| 82 | .addBody([kExprI8Const, 0, kExprI8Const, 77, kExprI32StoreMem, 0, 0]); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 83 | |
| 84 | builder.addStart(func.index); |
| 85 | |
| 86 | var module = builder.instantiate(); |
| 87 | var memory = module.exports.memory; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 88 | var view = new Int8Array(memory); |
| 89 | assertEquals(77, view[0]); |
| 90 | })(); |
| 91 | |
| 92 | (function testStartFFI() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 93 | print("testStartFFI"); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 94 | var ranned = false; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 95 | var ffi = { foo : function() { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 96 | print("we ranned at stert!"); |
| 97 | ranned = true; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 98 | }}; |
| 99 | |
| 100 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 101 | var sig_index = builder.addType(kSig_v_v); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 102 | |
| 103 | builder.addImport("foo", sig_index); |
| 104 | var func = builder.addFunction("", sig_index) |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 105 | .addBody([kExprCallImport, kArity0, 0]); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 106 | |
| 107 | builder.addStart(func.index); |
| 108 | |
| 109 | var module = builder.instantiate(ffi); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 110 | assertTrue(ranned); |
| 111 | })(); |