blob: ffd0294f6e78e793cec2848920d415368e19108c [file] [log] [blame]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00001// 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 "src/signature.h"
6
7#include "src/handles.h"
8#include "src/v8.h"
9#include "src/zone-containers.h"
10
11#include "src/wasm/ast-decoder.h"
12#include "src/wasm/encoder.h"
Ben Murdochc5610432016-08-08 18:44:38 +010013#include "src/wasm/leb-helper.h"
Ben Murdochda12d292016-06-02 14:46:10 +010014#include "src/wasm/wasm-macro-gen.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000015#include "src/wasm/wasm-module.h"
16#include "src/wasm/wasm-opcodes.h"
17
18#include "src/v8memory.h"
19
Ben Murdochda12d292016-06-02 14:46:10 +010020#if DEBUG
21#define TRACE(...) \
22 do { \
23 if (FLAG_trace_wasm_encoder) PrintF(__VA_ARGS__); \
24 } while (false)
25#else
26#define TRACE(...)
27#endif
28
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000029namespace v8 {
30namespace internal {
31namespace wasm {
32
Ben Murdoch61f157c2016-09-16 13:49:30 +010033// Emit a section name and the size as a padded varint that can be patched
34// later.
35size_t EmitSection(WasmSection::Code code, ZoneBuffer& buffer) {
Ben Murdochc5610432016-08-08 18:44:38 +010036 // Emit the section name.
Ben Murdochda12d292016-06-02 14:46:10 +010037 const char* name = WasmSection::getName(code);
Ben Murdochda12d292016-06-02 14:46:10 +010038 TRACE("emit section: %s\n", name);
Ben Murdochc5610432016-08-08 18:44:38 +010039 size_t length = WasmSection::getNameLength(code);
Ben Murdoch61f157c2016-09-16 13:49:30 +010040 buffer.write_size(length); // Section name string size.
41 buffer.write(reinterpret_cast<const byte*>(name), length);
Ben Murdochc5610432016-08-08 18:44:38 +010042
43 // Emit a placeholder for the length.
Ben Murdoch61f157c2016-09-16 13:49:30 +010044 return buffer.reserve_u32v();
Ben Murdochda12d292016-06-02 14:46:10 +010045}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000046
Ben Murdoch61f157c2016-09-16 13:49:30 +010047// Patch the size of a section after it's finished.
48void FixupSection(ZoneBuffer& buffer, size_t start) {
49 buffer.patch_u32v(start, static_cast<uint32_t>(buffer.offset() - start -
50 kPaddedVarInt32Size));
51}
52
53WasmFunctionBuilder::WasmFunctionBuilder(WasmModuleBuilder* builder)
54 : builder_(builder),
55 locals_(builder->zone()),
56 signature_index_(0),
57 exported_(0),
58 body_(builder->zone()),
59 name_(builder->zone()) {}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000060
Ben Murdochc5610432016-08-08 18:44:38 +010061void WasmFunctionBuilder::EmitVarInt(uint32_t val) {
62 byte buffer[8];
63 byte* ptr = buffer;
64 LEBHelper::write_u32v(&ptr, val);
65 for (byte* p = buffer; p < ptr; p++) {
66 body_.push_back(*p);
67 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000068}
69
Ben Murdochc5610432016-08-08 18:44:38 +010070void WasmFunctionBuilder::SetSignature(FunctionSig* sig) {
71 DCHECK(!locals_.has_sig());
72 locals_.set_sig(sig);
Ben Murdoch61f157c2016-09-16 13:49:30 +010073 signature_index_ = builder_->AddSignature(sig);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000074}
75
Ben Murdochc5610432016-08-08 18:44:38 +010076uint32_t WasmFunctionBuilder::AddLocal(LocalType type) {
77 DCHECK(locals_.has_sig());
78 return locals_.AddLocals(1, type);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000079}
80
Ben Murdochc5610432016-08-08 18:44:38 +010081void WasmFunctionBuilder::EmitGetLocal(uint32_t local_index) {
82 EmitWithVarInt(kExprGetLocal, local_index);
83}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000084
Ben Murdochc5610432016-08-08 18:44:38 +010085void WasmFunctionBuilder::EmitSetLocal(uint32_t local_index) {
86 EmitWithVarInt(kExprSetLocal, local_index);
87}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000088
89void WasmFunctionBuilder::EmitCode(const byte* code, uint32_t code_size) {
Ben Murdoch61f157c2016-09-16 13:49:30 +010090 for (size_t i = 0; i < code_size; ++i) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000091 body_.push_back(code[i]);
92 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000093}
94
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000095void WasmFunctionBuilder::Emit(WasmOpcode opcode) {
96 body_.push_back(static_cast<byte>(opcode));
97}
98
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000099void WasmFunctionBuilder::EmitWithU8(WasmOpcode opcode, const byte immediate) {
100 body_.push_back(static_cast<byte>(opcode));
101 body_.push_back(immediate);
102}
103
Ben Murdochda12d292016-06-02 14:46:10 +0100104void WasmFunctionBuilder::EmitWithU8U8(WasmOpcode opcode, const byte imm1,
105 const byte imm2) {
106 body_.push_back(static_cast<byte>(opcode));
107 body_.push_back(imm1);
108 body_.push_back(imm2);
109}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000110
Ben Murdochda12d292016-06-02 14:46:10 +0100111void WasmFunctionBuilder::EmitWithVarInt(WasmOpcode opcode,
112 uint32_t immediate) {
113 body_.push_back(static_cast<byte>(opcode));
Ben Murdochc5610432016-08-08 18:44:38 +0100114 EmitVarInt(immediate);
Ben Murdochda12d292016-06-02 14:46:10 +0100115}
116
Ben Murdochc5610432016-08-08 18:44:38 +0100117void WasmFunctionBuilder::EmitI32Const(int32_t value) {
118 // TODO(titzer): variable-length signed and unsigned i32 constants.
119 if (-128 <= value && value <= 127) {
120 EmitWithU8(kExprI8Const, static_cast<byte>(value));
121 } else {
122 byte code[] = {WASM_I32V_5(value)};
123 EmitCode(code, sizeof(code));
Ben Murdochda12d292016-06-02 14:46:10 +0100124 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000125}
126
Ben Murdoch61f157c2016-09-16 13:49:30 +0100127void WasmFunctionBuilder::SetExported() { exported_ = true; }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000128
Ben Murdochc5610432016-08-08 18:44:38 +0100129void WasmFunctionBuilder::SetName(const char* name, int name_length) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000130 name_.clear();
131 if (name_length > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100132 for (int i = 0; i < name_length; ++i) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000133 name_.push_back(*(name + i));
134 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000135 }
136}
137
Ben Murdoch61f157c2016-09-16 13:49:30 +0100138void WasmFunctionBuilder::WriteSignature(ZoneBuffer& buffer) const {
139 buffer.write_u32v(signature_index_);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000140}
141
Ben Murdoch61f157c2016-09-16 13:49:30 +0100142void WasmFunctionBuilder::WriteExport(ZoneBuffer& buffer,
143 uint32_t func_index) const {
144 if (exported_) {
145 buffer.write_u32v(func_index);
146 buffer.write_size(name_.size());
147 if (name_.size() > 0) {
148 buffer.write(reinterpret_cast<const byte*>(&name_[0]), name_.size());
Ben Murdochda12d292016-06-02 14:46:10 +0100149 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000150 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100151}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000152
Ben Murdoch61f157c2016-09-16 13:49:30 +0100153void WasmFunctionBuilder::WriteBody(ZoneBuffer& buffer) const {
154 size_t locals_size = locals_.Size();
155 buffer.write_size(locals_size + body_.size());
156 buffer.EnsureSpace(locals_size);
157 byte** ptr = buffer.pos_ptr();
158 locals_.Emit(*ptr);
159 (*ptr) += locals_size; // UGLY: manual bump of position pointer
Ben Murdochc5610432016-08-08 18:44:38 +0100160 if (body_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100161 buffer.write(&body_[0], body_.size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000162 }
163}
164
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000165WasmDataSegmentEncoder::WasmDataSegmentEncoder(Zone* zone, const byte* data,
166 uint32_t size, uint32_t dest)
167 : data_(zone), dest_(dest) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100168 for (size_t i = 0; i < size; ++i) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000169 data_.push_back(data[i]);
170 }
171}
172
Ben Murdoch61f157c2016-09-16 13:49:30 +0100173void WasmDataSegmentEncoder::Write(ZoneBuffer& buffer) const {
174 buffer.write_u32v(dest_);
175 buffer.write_u32v(static_cast<uint32_t>(data_.size()));
176 buffer.write(&data_[0], data_.size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000177}
178
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000179WasmModuleBuilder::WasmModuleBuilder(Zone* zone)
180 : zone_(zone),
181 signatures_(zone),
Ben Murdochc5610432016-08-08 18:44:38 +0100182 imports_(zone),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000183 functions_(zone),
184 data_segments_(zone),
185 indirect_functions_(zone),
186 globals_(zone),
Ben Murdochda12d292016-06-02 14:46:10 +0100187 signature_map_(zone),
188 start_function_index_(-1) {}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000189
Ben Murdochc5610432016-08-08 18:44:38 +0100190uint32_t WasmModuleBuilder::AddFunction() {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100191 functions_.push_back(new (zone_) WasmFunctionBuilder(this));
Ben Murdochc5610432016-08-08 18:44:38 +0100192 return static_cast<uint32_t>(functions_.size() - 1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000193}
194
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000195WasmFunctionBuilder* WasmModuleBuilder::FunctionAt(size_t index) {
196 if (functions_.size() > index) {
197 return functions_.at(index);
198 } else {
199 return nullptr;
200 }
201}
202
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000203void WasmModuleBuilder::AddDataSegment(WasmDataSegmentEncoder* data) {
204 data_segments_.push_back(data);
205}
206
Ben Murdoch097c5b22016-05-18 11:27:45 +0100207bool WasmModuleBuilder::CompareFunctionSigs::operator()(FunctionSig* a,
208 FunctionSig* b) const {
209 if (a->return_count() < b->return_count()) return true;
210 if (a->return_count() > b->return_count()) return false;
211 if (a->parameter_count() < b->parameter_count()) return true;
212 if (a->parameter_count() > b->parameter_count()) return false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000213 for (size_t r = 0; r < a->return_count(); r++) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100214 if (a->GetReturn(r) < b->GetReturn(r)) return true;
215 if (a->GetReturn(r) > b->GetReturn(r)) return false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000216 }
217 for (size_t p = 0; p < a->parameter_count(); p++) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100218 if (a->GetParam(p) < b->GetParam(p)) return true;
219 if (a->GetParam(p) > b->GetParam(p)) return false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000220 }
Ben Murdoch097c5b22016-05-18 11:27:45 +0100221 return false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000222}
223
Ben Murdochc5610432016-08-08 18:44:38 +0100224uint32_t WasmModuleBuilder::AddSignature(FunctionSig* sig) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000225 SignatureMap::iterator pos = signature_map_.find(sig);
226 if (pos != signature_map_.end()) {
227 return pos->second;
228 } else {
Ben Murdochc5610432016-08-08 18:44:38 +0100229 uint32_t index = static_cast<uint32_t>(signatures_.size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000230 signature_map_[sig] = index;
231 signatures_.push_back(sig);
232 return index;
233 }
234}
235
Ben Murdochc5610432016-08-08 18:44:38 +0100236void WasmModuleBuilder::AddIndirectFunction(uint32_t index) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000237 indirect_functions_.push_back(index);
238}
239
Ben Murdochc5610432016-08-08 18:44:38 +0100240uint32_t WasmModuleBuilder::AddImport(const char* name, int name_length,
241 FunctionSig* sig) {
242 imports_.push_back({AddSignature(sig), name, name_length});
243 return static_cast<uint32_t>(imports_.size() - 1);
244}
245
246void WasmModuleBuilder::MarkStartFunction(uint32_t index) {
Ben Murdochda12d292016-06-02 14:46:10 +0100247 start_function_index_ = index;
248}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000249
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000250uint32_t WasmModuleBuilder::AddGlobal(MachineType type, bool exported) {
251 globals_.push_back(std::make_pair(type, exported));
252 return static_cast<uint32_t>(globals_.size() - 1);
253}
254
Ben Murdoch61f157c2016-09-16 13:49:30 +0100255void WasmModuleBuilder::WriteTo(ZoneBuffer& buffer) const {
256 uint32_t exports = 0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000257
Ben Murdoch61f157c2016-09-16 13:49:30 +0100258 // == Emit magic =============================================================
Ben Murdochda12d292016-06-02 14:46:10 +0100259 TRACE("emit magic\n");
Ben Murdoch61f157c2016-09-16 13:49:30 +0100260 buffer.write_u32(kWasmMagic);
261 buffer.write_u32(kWasmVersion);
Ben Murdochda12d292016-06-02 14:46:10 +0100262
Ben Murdoch61f157c2016-09-16 13:49:30 +0100263 // == Emit signatures ========================================================
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000264 if (signatures_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100265 size_t start = EmitSection(WasmSection::Code::Signatures, buffer);
266 buffer.write_size(signatures_.size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000267
268 for (FunctionSig* sig : signatures_) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100269 buffer.write_u8(kWasmFunctionTypeForm);
270 buffer.write_size(sig->parameter_count());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000271 for (size_t j = 0; j < sig->parameter_count(); j++) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100272 buffer.write_u8(WasmOpcodes::LocalTypeCodeFor(sig->GetParam(j)));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000273 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100274 buffer.write_size(sig->return_count());
Ben Murdochc5610432016-08-08 18:44:38 +0100275 for (size_t j = 0; j < sig->return_count(); j++) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100276 buffer.write_u8(WasmOpcodes::LocalTypeCodeFor(sig->GetReturn(j)));
Ben Murdochc5610432016-08-08 18:44:38 +0100277 }
278 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100279 FixupSection(buffer, start);
Ben Murdochc5610432016-08-08 18:44:38 +0100280 }
281
Ben Murdoch61f157c2016-09-16 13:49:30 +0100282 // == Emit globals ===========================================================
283 if (globals_.size() > 0) {
284 size_t start = EmitSection(WasmSection::Code::Globals, buffer);
285 buffer.write_size(globals_.size());
286
287 for (auto global : globals_) {
288 buffer.write_u32v(0); // Length of the global name.
289 buffer.write_u8(WasmOpcodes::MemTypeCodeFor(global.first));
290 buffer.write_u8(global.second);
291 }
292 FixupSection(buffer, start);
293 }
294
295 // == Emit imports ===========================================================
Ben Murdochc5610432016-08-08 18:44:38 +0100296 if (imports_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100297 size_t start = EmitSection(WasmSection::Code::ImportTable, buffer);
298 buffer.write_size(imports_.size());
Ben Murdochc5610432016-08-08 18:44:38 +0100299 for (auto import : imports_) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100300 buffer.write_u32v(import.sig_index);
301 buffer.write_u32v(import.name_length);
302 buffer.write(reinterpret_cast<const byte*>(import.name),
303 import.name_length);
304 buffer.write_u32v(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000305 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100306 FixupSection(buffer, start);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000307 }
308
Ben Murdoch61f157c2016-09-16 13:49:30 +0100309 // == Emit function signatures ===============================================
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000310 if (functions_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100311 size_t start = EmitSection(WasmSection::Code::FunctionSignatures, buffer);
312 buffer.write_size(functions_.size());
313 for (auto function : functions_) {
314 function->WriteSignature(buffer);
315 if (function->exported()) exports++;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000316 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100317 FixupSection(buffer, start);
Ben Murdochda12d292016-06-02 14:46:10 +0100318 }
319
Ben Murdoch61f157c2016-09-16 13:49:30 +0100320 // == emit function table ====================================================
Ben Murdochc5610432016-08-08 18:44:38 +0100321 if (indirect_functions_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100322 size_t start = EmitSection(WasmSection::Code::FunctionTable, buffer);
323 buffer.write_size(indirect_functions_.size());
Ben Murdochc5610432016-08-08 18:44:38 +0100324
325 for (auto index : indirect_functions_) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100326 buffer.write_u32v(index);
Ben Murdochc5610432016-08-08 18:44:38 +0100327 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100328 FixupSection(buffer, start);
Ben Murdochc5610432016-08-08 18:44:38 +0100329 }
330
Ben Murdoch61f157c2016-09-16 13:49:30 +0100331 // == emit memory declaration ================================================
Ben Murdochc5610432016-08-08 18:44:38 +0100332 {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100333 size_t start = EmitSection(WasmSection::Code::Memory, buffer);
334 buffer.write_u32v(16); // min memory size
335 buffer.write_u32v(16); // max memory size
336 buffer.write_u8(0); // memory export
Ben Murdochc5610432016-08-08 18:44:38 +0100337 static_assert(kDeclMemorySize == 3, "memory size must match emit above");
Ben Murdoch61f157c2016-09-16 13:49:30 +0100338 FixupSection(buffer, start);
Ben Murdochc5610432016-08-08 18:44:38 +0100339 }
340
Ben Murdoch61f157c2016-09-16 13:49:30 +0100341 // == emit exports ===========================================================
342 if (exports > 0) {
343 size_t start = EmitSection(WasmSection::Code::ExportTable, buffer);
344 buffer.write_u32v(exports);
345 uint32_t index = 0;
346 for (auto function : functions_) {
347 function->WriteExport(buffer, index++);
348 }
349 FixupSection(buffer, start);
350 }
351
352 // == emit start function index ==============================================
Ben Murdochda12d292016-06-02 14:46:10 +0100353 if (start_function_index_ >= 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100354 size_t start = EmitSection(WasmSection::Code::StartFunction, buffer);
355 buffer.write_u32v(start_function_index_);
356 FixupSection(buffer, start);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000357 }
358
Ben Murdoch61f157c2016-09-16 13:49:30 +0100359 // == emit code ==============================================================
360 if (functions_.size() > 0) {
361 size_t start = EmitSection(WasmSection::Code::FunctionBodies, buffer);
362 buffer.write_size(functions_.size());
363 for (auto function : functions_) {
364 function->WriteBody(buffer);
365 }
366 FixupSection(buffer, start);
367 }
368
369 // == emit data segments =====================================================
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000370 if (data_segments_.size() > 0) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100371 size_t start = EmitSection(WasmSection::Code::DataSegments, buffer);
372 buffer.write_size(data_segments_.size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000373
374 for (auto segment : data_segments_) {
Ben Murdoch61f157c2016-09-16 13:49:30 +0100375 segment->Write(buffer);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000376 }
Ben Murdoch61f157c2016-09-16 13:49:30 +0100377 FixupSection(buffer, start);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000378 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000379}
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000380} // namespace wasm
381} // namespace internal
382} // namespace v8