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 | #include <stdlib.h> |
| 6 | #include <string.h> |
| 7 | |
| 8 | #include "src/wasm/encoder.h" |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 9 | #include "src/wasm/wasm-js.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 10 | #include "src/wasm/wasm-macro-gen.h" |
| 11 | #include "src/wasm/wasm-module.h" |
| 12 | #include "src/wasm/wasm-opcodes.h" |
| 13 | |
| 14 | #include "test/cctest/cctest.h" |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 15 | #include "test/cctest/wasm/test-signatures.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 16 | |
| 17 | using namespace v8::base; |
| 18 | using namespace v8::internal; |
| 19 | using namespace v8::internal::compiler; |
| 20 | using namespace v8::internal::wasm; |
| 21 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 22 | namespace { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 23 | void TestModule(Zone* zone, WasmModuleBuilder* builder, |
| 24 | int32_t expected_result) { |
| 25 | ZoneBuffer buffer(zone); |
| 26 | builder->WriteTo(buffer); |
| 27 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 28 | Isolate* isolate = CcTest::InitIsolateOnce(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 29 | HandleScope scope(isolate); |
| 30 | WasmJs::InstallWasmFunctionMap(isolate, isolate->native_context()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 31 | int32_t result = |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 32 | testing::CompileAndRunWasmModule(isolate, buffer.begin(), buffer.end()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 33 | CHECK_EQ(expected_result, result); |
| 34 | } |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 35 | |
| 36 | void ExportAsMain(WasmFunctionBuilder* f) { |
| 37 | static const char kMainName[] = "main"; |
| 38 | f->SetExported(); |
| 39 | f->SetName(kMainName, arraysize(kMainName) - 1); |
| 40 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 41 | } // namespace |
| 42 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 43 | TEST(Run_WasmModule_Return114) { |
| 44 | static const int32_t kReturnValue = 114; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 45 | TestSignatures sigs; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 46 | v8::base::AccountingAllocator allocator; |
| 47 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 48 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 49 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
| 50 | uint16_t f_index = builder->AddFunction(); |
| 51 | WasmFunctionBuilder* f = builder->FunctionAt(f_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 52 | f->SetSignature(sigs.i_v()); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 53 | ExportAsMain(f); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 54 | byte code[] = {WASM_I8(kReturnValue)}; |
| 55 | f->EmitCode(code, sizeof(code)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 56 | TestModule(&zone, builder, kReturnValue); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 57 | } |
| 58 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 59 | TEST(Run_WasmModule_CallAdd) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 60 | v8::base::AccountingAllocator allocator; |
| 61 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 62 | TestSignatures sigs; |
| 63 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 64 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 65 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 66 | uint16_t f1_index = builder->AddFunction(); |
| 67 | WasmFunctionBuilder* f = builder->FunctionAt(f1_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 68 | f->SetSignature(sigs.i_ii()); |
| 69 | uint16_t param1 = 0; |
| 70 | uint16_t param2 = 1; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 71 | byte code1[] = {WASM_I32_ADD(WASM_GET_LOCAL(param1), WASM_GET_LOCAL(param2))}; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 72 | f->EmitCode(code1, sizeof(code1)); |
| 73 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 74 | uint16_t f2_index = builder->AddFunction(); |
| 75 | f = builder->FunctionAt(f2_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 76 | f->SetSignature(sigs.i_v()); |
| 77 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 78 | ExportAsMain(f); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 79 | byte code2[] = {WASM_CALL_FUNCTION2(f1_index, WASM_I8(77), WASM_I8(22))}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 80 | f->EmitCode(code2, sizeof(code2)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 81 | TestModule(&zone, builder, 99); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 82 | } |
| 83 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 84 | TEST(Run_WasmModule_ReadLoadedDataSegment) { |
| 85 | static const byte kDataSegmentDest0 = 12; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 86 | v8::base::AccountingAllocator allocator; |
| 87 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 88 | TestSignatures sigs; |
| 89 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 90 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
| 91 | uint16_t f_index = builder->AddFunction(); |
| 92 | WasmFunctionBuilder* f = builder->FunctionAt(f_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 93 | f->SetSignature(sigs.i_v()); |
| 94 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 95 | ExportAsMain(f); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 96 | byte code[] = { |
| 97 | WASM_LOAD_MEM(MachineType::Int32(), WASM_I8(kDataSegmentDest0))}; |
| 98 | f->EmitCode(code, sizeof(code)); |
| 99 | byte data[] = {0xaa, 0xbb, 0xcc, 0xdd}; |
| 100 | builder->AddDataSegment(new (&zone) WasmDataSegmentEncoder( |
| 101 | &zone, data, sizeof(data), kDataSegmentDest0)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 102 | TestModule(&zone, builder, 0xddccbbaa); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 105 | TEST(Run_WasmModule_CheckMemoryIsZero) { |
| 106 | static const int kCheckSize = 16 * 1024; |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 107 | v8::base::AccountingAllocator allocator; |
| 108 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 109 | TestSignatures sigs; |
| 110 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 111 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
| 112 | uint16_t f_index = builder->AddFunction(); |
| 113 | WasmFunctionBuilder* f = builder->FunctionAt(f_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 114 | f->SetSignature(sigs.i_v()); |
| 115 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 116 | uint16_t localIndex = f->AddLocal(kAstI32); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 117 | ExportAsMain(f); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 118 | byte code[] = {WASM_BLOCK( |
| 119 | 2, |
| 120 | WASM_WHILE( |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 121 | WASM_I32_LTS(WASM_GET_LOCAL(localIndex), WASM_I32V_3(kCheckSize)), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | WASM_IF_ELSE( |
| 123 | WASM_LOAD_MEM(MachineType::Int32(), WASM_GET_LOCAL(localIndex)), |
| 124 | WASM_BRV(2, WASM_I8(-1)), WASM_INC_LOCAL_BY(localIndex, 4))), |
| 125 | WASM_I8(11))}; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 126 | f->EmitCode(code, sizeof(code)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 127 | TestModule(&zone, builder, 11); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 128 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 129 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 130 | TEST(Run_WasmModule_CallMain_recursive) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 131 | v8::base::AccountingAllocator allocator; |
| 132 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 133 | TestSignatures sigs; |
| 134 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 135 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
| 136 | uint16_t f_index = builder->AddFunction(); |
| 137 | WasmFunctionBuilder* f = builder->FunctionAt(f_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 138 | f->SetSignature(sigs.i_v()); |
| 139 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 140 | uint16_t localIndex = f->AddLocal(kAstI32); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 141 | ExportAsMain(f); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 142 | byte code[] = {WASM_BLOCK( |
| 143 | 2, WASM_SET_LOCAL(localIndex, |
| 144 | WASM_LOAD_MEM(MachineType::Int32(), WASM_ZERO)), |
| 145 | WASM_IF_ELSE(WASM_I32_LTS(WASM_GET_LOCAL(localIndex), WASM_I8(5)), |
| 146 | WASM_BLOCK(2, WASM_STORE_MEM(MachineType::Int32(), WASM_ZERO, |
| 147 | WASM_INC_LOCAL(localIndex)), |
| 148 | WASM_BRV(1, WASM_CALL_FUNCTION0(0))), |
| 149 | WASM_BRV(0, WASM_I8(55))))}; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 150 | f->EmitCode(code, sizeof(code)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 151 | TestModule(&zone, builder, 55); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 152 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 153 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 154 | TEST(Run_WasmModule_Global) { |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 155 | v8::base::AccountingAllocator allocator; |
| 156 | Zone zone(&allocator); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 157 | TestSignatures sigs; |
| 158 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 159 | WasmModuleBuilder* builder = new (&zone) WasmModuleBuilder(&zone); |
| 160 | uint32_t global1 = builder->AddGlobal(MachineType::Int32(), 0); |
| 161 | uint32_t global2 = builder->AddGlobal(MachineType::Int32(), 0); |
| 162 | uint16_t f1_index = builder->AddFunction(); |
| 163 | WasmFunctionBuilder* f = builder->FunctionAt(f1_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 164 | f->SetSignature(sigs.i_v()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 165 | byte code1[] = { |
| 166 | WASM_I32_ADD(WASM_LOAD_GLOBAL(global1), WASM_LOAD_GLOBAL(global2))}; |
| 167 | f->EmitCode(code1, sizeof(code1)); |
| 168 | uint16_t f2_index = builder->AddFunction(); |
| 169 | f = builder->FunctionAt(f2_index); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 170 | f->SetSignature(sigs.i_v()); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 171 | ExportAsMain(f); |
Ben Murdoch | da12d29 | 2016-06-02 14:46:10 +0100 | [diff] [blame] | 172 | byte code2[] = {WASM_STORE_GLOBAL(global1, WASM_I32V_1(56)), |
| 173 | WASM_STORE_GLOBAL(global2, WASM_I32V_1(41)), |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 174 | WASM_RETURN1(WASM_CALL_FUNCTION0(f1_index))}; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 175 | f->EmitCode(code2, sizeof(code2)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 176 | TestModule(&zone, builder, 97); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 177 | } |