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 |
| 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 | function assertModule(module, memsize) { |
| 11 | // Check the module exists. |
| 12 | assertFalse(module === undefined); |
| 13 | assertFalse(module === null); |
| 14 | assertFalse(module === 0); |
| 15 | assertEquals("object", typeof module); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 16 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 17 | // Check the memory is an ArrayBuffer. |
| 18 | var mem = module.exports.memory; |
| 19 | assertFalse(mem === undefined); |
| 20 | assertFalse(mem === null); |
| 21 | assertFalse(mem === 0); |
| 22 | assertEquals("object", typeof mem); |
| 23 | assertTrue(mem instanceof ArrayBuffer); |
| 24 | for (var i = 0; i < 4; i++) { |
| 25 | module.exports.memory = 0; // should be ignored |
| 26 | assertEquals(mem, module.exports.memory); |
| 27 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 28 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 29 | assertEquals(memsize, module.exports.memory.byteLength); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 30 | } |
| 31 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 32 | function assertFunction(module, func) { |
| 33 | assertEquals("object", typeof module.exports); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 34 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 35 | var exp = module.exports[func]; |
| 36 | assertFalse(exp === undefined); |
| 37 | assertFalse(exp === null); |
| 38 | assertFalse(exp === 0); |
| 39 | assertEquals("function", typeof exp); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 40 | return exp; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 43 | (function I64SubTest() { |
| 44 | |
| 45 | var builder = new WasmModuleBuilder(); |
| 46 | |
| 47 | builder.addMemory(1, 1, true); |
| 48 | builder.addFunction("sub", kSig_l_ll) |
| 49 | .addBody([ // -- |
| 50 | kExprGetLocal, 0, // -- |
| 51 | kExprGetLocal, 1, // -- |
| 52 | kExprI64Sub]) // -- |
| 53 | .exportFunc() |
| 54 | |
| 55 | var module = builder.instantiate(); |
| 56 | assertModule(module, kPageSize); |
| 57 | |
| 58 | // Check the properties of the sub function. |
| 59 | var sub = assertFunction(module, "sub"); |
| 60 | assertEquals(-55, sub(33, 88)); |
| 61 | assertEquals(-55555, sub(33333, 88888)); |
| 62 | assertEquals(-5555555, sub(3333333, 8888888)); |
| 63 | })(); |
| 64 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 65 | (function SubTest() { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 66 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 67 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 68 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 69 | builder.addMemory(1, 1, true); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 70 | builder.addFunction("sub", kSig_i_ii) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 71 | .addBody([ |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 72 | kExprGetLocal, 0, // -- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 73 | kExprGetLocal, 1, // -- |
| 74 | kExprI32Sub, // -- |
| 75 | ]) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 76 | .exportFunc() |
| 77 | |
| 78 | var module = builder.instantiate(); |
| 79 | assertModule(module, kPageSize); |
| 80 | |
| 81 | // Check the properties of the sub function. |
| 82 | var sub = assertFunction(module, "sub"); |
| 83 | assertEquals(-55, sub(33, 88)); |
| 84 | assertEquals(-55555, sub(33333, 88888)); |
| 85 | assertEquals(-5555555, sub(3333333, 8888888)); |
| 86 | })(); |
| 87 | |
| 88 | |
| 89 | (function NopTest() { |
| 90 | |
| 91 | var builder = new WasmModuleBuilder(); |
| 92 | |
| 93 | var kPages = 2; |
| 94 | builder.addMemory(kPages, kPages, true); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 95 | builder.addFunction("nop", kSig_v_v) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 96 | .addBody([kExprNop]) |
| 97 | .exportFunc(); |
| 98 | |
| 99 | var module = builder.instantiate(); |
| 100 | assertModule(module, kPageSize * kPages); |
| 101 | |
| 102 | var nop = assertFunction(module, "nop"); |
| 103 | assertEquals(undefined, nop()); |
| 104 | })(); |
| 105 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 106 | |
| 107 | (function testLt() { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 108 | var builder = new WasmModuleBuilder(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 109 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 110 | var kPages = 3; |
| 111 | builder.addMemory(kPages, kPages, true); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 112 | builder.addFunction("flt", kSig_i_dd) |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 113 | .addBody([ |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 114 | kExprGetLocal, 0, // -- |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 115 | kExprGetLocal, 1, // -- |
| 116 | kExprF64Lt // -- |
| 117 | ]) // -- |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 118 | .exportFunc(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 119 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 120 | var module = builder.instantiate(); |
| 121 | assertModule(module, kPageSize * kPages); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 123 | var flt = assertFunction(module, "flt"); |
| 124 | assertEquals(1, flt(-2, -1)); |
| 125 | assertEquals(0, flt(7.3, 7.1)); |
| 126 | assertEquals(1, flt(7.1, 7.3)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 127 | })(); |