2015-12-11 12:26:16 +00:00
|
|
|
// Copyright 2015 the V8 project authors. All rights reserved.
|
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file.
|
|
|
|
|
|
|
|
#include "src/signature.h"
|
|
|
|
|
|
|
|
#include "src/handles.h"
|
2017-02-13 09:52:26 +00:00
|
|
|
#include "src/objects-inl.h"
|
2015-12-11 12:26:16 +00:00
|
|
|
#include "src/v8.h"
|
2016-09-20 16:07:25 +00:00
|
|
|
#include "src/zone/zone-containers.h"
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-12-21 12:42:06 +00:00
|
|
|
#include "src/wasm/function-body-decoder.h"
|
2016-04-21 10:14:34 +00:00
|
|
|
#include "src/wasm/leb-helper.h"
|
2017-02-20 17:42:02 +00:00
|
|
|
#include "src/wasm/module-decoder.h"
|
2016-03-07 21:04:07 +00:00
|
|
|
#include "src/wasm/wasm-macro-gen.h"
|
2016-09-29 11:29:05 +00:00
|
|
|
#include "src/wasm/wasm-module-builder.h"
|
2015-12-11 12:26:16 +00:00
|
|
|
#include "src/wasm/wasm-module.h"
|
|
|
|
#include "src/wasm/wasm-opcodes.h"
|
|
|
|
|
|
|
|
#include "src/v8memory.h"
|
|
|
|
|
2016-03-10 12:36:42 +00:00
|
|
|
#if DEBUG
|
|
|
|
#define TRACE(...) \
|
|
|
|
do { \
|
2016-03-10 17:04:44 +00:00
|
|
|
if (FLAG_trace_wasm_encoder) PrintF(__VA_ARGS__); \
|
2016-03-10 12:36:42 +00:00
|
|
|
} while (false)
|
|
|
|
#else
|
|
|
|
#define TRACE(...)
|
|
|
|
#endif
|
|
|
|
|
2015-12-11 12:26:16 +00:00
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace wasm {
|
|
|
|
|
2016-09-27 20:46:10 +00:00
|
|
|
// Emit a section code and the size as a padded varint that can be patched
|
2016-05-25 16:12:09 +00:00
|
|
|
// later.
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t EmitSection(WasmSectionCode code, ZoneBuffer& buffer) {
|
|
|
|
// Emit the section code.
|
|
|
|
buffer.write_u8(code);
|
2016-04-21 11:18:41 +00:00
|
|
|
|
2016-04-29 09:39:26 +00:00
|
|
|
// Emit a placeholder for the length.
|
2016-05-25 16:12:09 +00:00
|
|
|
return buffer.reserve_u32v();
|
|
|
|
}
|
2016-04-29 09:39:26 +00:00
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// Patch the size of a section after it's finished.
|
|
|
|
void FixupSection(ZoneBuffer& buffer, size_t start) {
|
|
|
|
buffer.patch_u32v(start, static_cast<uint32_t>(buffer.offset() - start -
|
|
|
|
kPaddedVarInt32Size));
|
2016-03-10 12:36:42 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-05-27 12:15:23 +00:00
|
|
|
WasmFunctionBuilder::WasmFunctionBuilder(WasmModuleBuilder* builder)
|
|
|
|
: builder_(builder),
|
|
|
|
locals_(builder->zone()),
|
|
|
|
signature_index_(0),
|
2016-10-03 21:04:29 +00:00
|
|
|
func_index_(static_cast<uint32_t>(builder->functions_.size())),
|
2016-05-27 12:15:23 +00:00
|
|
|
body_(builder->zone()),
|
2016-08-30 09:42:34 +00:00
|
|
|
name_(builder->zone()),
|
2016-12-01 10:12:39 +00:00
|
|
|
exported_names_(builder->zone()),
|
2016-08-30 09:42:34 +00:00
|
|
|
i32_temps_(builder->zone()),
|
|
|
|
i64_temps_(builder->zone()),
|
|
|
|
f32_temps_(builder->zone()),
|
2016-10-03 21:04:29 +00:00
|
|
|
f64_temps_(builder->zone()),
|
2016-10-12 09:17:12 +00:00
|
|
|
direct_calls_(builder->zone()),
|
|
|
|
asm_offsets_(builder->zone(), 8) {}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2017-02-14 18:15:31 +00:00
|
|
|
void WasmFunctionBuilder::EmitVarInt(int32_t val) {
|
|
|
|
byte buffer[5];
|
|
|
|
byte* ptr = buffer;
|
|
|
|
LEBHelper::write_i32v(&ptr, val);
|
|
|
|
DCHECK_GE(5, ptr - buffer);
|
|
|
|
body_.insert(body_.end(), buffer, ptr);
|
|
|
|
}
|
|
|
|
|
2017-02-14 17:23:44 +00:00
|
|
|
void WasmFunctionBuilder::EmitVarUint(uint32_t val) {
|
2017-02-14 18:15:31 +00:00
|
|
|
byte buffer[5];
|
2016-04-21 10:14:34 +00:00
|
|
|
byte* ptr = buffer;
|
|
|
|
LEBHelper::write_u32v(&ptr, val);
|
2017-02-14 18:15:31 +00:00
|
|
|
DCHECK_GE(5, ptr - buffer);
|
|
|
|
body_.insert(body_.end(), buffer, ptr);
|
2016-04-21 10:14:34 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-05-17 17:53:46 +00:00
|
|
|
void WasmFunctionBuilder::SetSignature(FunctionSig* sig) {
|
|
|
|
DCHECK(!locals_.has_sig());
|
|
|
|
locals_.set_sig(sig);
|
2016-05-27 12:15:23 +00:00
|
|
|
signature_index_ = builder_->AddSignature(sig);
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-12-21 13:43:00 +00:00
|
|
|
uint32_t WasmFunctionBuilder::AddLocal(ValueType type) {
|
2016-05-17 17:53:46 +00:00
|
|
|
DCHECK(locals_.has_sig());
|
|
|
|
return locals_.AddLocals(1, type);
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-04-18 20:57:05 +00:00
|
|
|
void WasmFunctionBuilder::EmitGetLocal(uint32_t local_index) {
|
2017-02-14 17:23:44 +00:00
|
|
|
EmitWithVarUint(kExprGetLocal, local_index);
|
2016-04-18 20:57:05 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void WasmFunctionBuilder::EmitSetLocal(uint32_t local_index) {
|
2017-02-14 17:23:44 +00:00
|
|
|
EmitWithVarUint(kExprSetLocal, local_index);
|
2016-04-18 20:57:05 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-09-27 20:46:10 +00:00
|
|
|
void WasmFunctionBuilder::EmitTeeLocal(uint32_t local_index) {
|
2017-02-14 17:23:44 +00:00
|
|
|
EmitWithVarUint(kExprTeeLocal, local_index);
|
2016-09-27 20:46:10 +00:00
|
|
|
}
|
|
|
|
|
2016-05-17 17:53:46 +00:00
|
|
|
void WasmFunctionBuilder::EmitCode(const byte* code, uint32_t code_size) {
|
2016-06-23 22:26:06 +00:00
|
|
|
for (size_t i = 0; i < code_size; ++i) {
|
2015-12-11 12:26:16 +00:00
|
|
|
body_.push_back(code[i]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void WasmFunctionBuilder::Emit(WasmOpcode opcode) {
|
|
|
|
body_.push_back(static_cast<byte>(opcode));
|
|
|
|
}
|
|
|
|
|
|
|
|
void WasmFunctionBuilder::EmitWithU8(WasmOpcode opcode, const byte immediate) {
|
|
|
|
body_.push_back(static_cast<byte>(opcode));
|
|
|
|
body_.push_back(immediate);
|
|
|
|
}
|
|
|
|
|
2016-03-09 18:51:28 +00:00
|
|
|
void WasmFunctionBuilder::EmitWithU8U8(WasmOpcode opcode, const byte imm1,
|
|
|
|
const byte imm2) {
|
|
|
|
body_.push_back(static_cast<byte>(opcode));
|
|
|
|
body_.push_back(imm1);
|
|
|
|
body_.push_back(imm2);
|
|
|
|
}
|
|
|
|
|
2017-02-14 18:15:31 +00:00
|
|
|
void WasmFunctionBuilder::EmitWithVarInt(WasmOpcode opcode, int32_t immediate) {
|
|
|
|
body_.push_back(static_cast<byte>(opcode));
|
|
|
|
EmitVarInt(immediate);
|
|
|
|
}
|
|
|
|
|
2017-02-14 17:23:44 +00:00
|
|
|
void WasmFunctionBuilder::EmitWithVarUint(WasmOpcode opcode,
|
|
|
|
uint32_t immediate) {
|
2016-03-08 22:54:43 +00:00
|
|
|
body_.push_back(static_cast<byte>(opcode));
|
2017-02-14 17:23:44 +00:00
|
|
|
EmitVarUint(immediate);
|
2016-03-08 22:54:43 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-04-29 09:15:26 +00:00
|
|
|
void WasmFunctionBuilder::EmitI32Const(int32_t value) {
|
2017-02-14 18:15:31 +00:00
|
|
|
EmitWithVarInt(kExprI32Const, value);
|
2016-04-29 09:15:26 +00:00
|
|
|
}
|
|
|
|
|
2016-10-03 21:04:29 +00:00
|
|
|
void WasmFunctionBuilder::EmitDirectCallIndex(uint32_t index) {
|
|
|
|
DirectCallIndex call;
|
|
|
|
call.offset = body_.size();
|
|
|
|
call.direct_index = index;
|
|
|
|
direct_calls_.push_back(call);
|
|
|
|
byte code[] = {U32V_5(0)};
|
|
|
|
EmitCode(code, sizeof(code));
|
|
|
|
}
|
|
|
|
|
2016-10-11 10:35:49 +00:00
|
|
|
void WasmFunctionBuilder::ExportAs(Vector<const char> name) {
|
2016-12-01 10:12:39 +00:00
|
|
|
exported_names_.push_back(ZoneVector<char>(
|
|
|
|
name.start(), name.start() + name.length(), builder_->zone()));
|
2016-10-11 10:35:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void WasmFunctionBuilder::SetName(Vector<const char> name) {
|
|
|
|
name_.resize(name.length());
|
|
|
|
memcpy(name_.data(), name.start(), name.length());
|
2016-01-13 01:23:43 +00:00
|
|
|
}
|
|
|
|
|
2016-12-09 10:29:53 +00:00
|
|
|
void WasmFunctionBuilder::AddAsmWasmOffset(int call_position,
|
|
|
|
int to_number_position) {
|
2017-01-09 09:43:04 +00:00
|
|
|
// We only want to emit one mapping per byte offset.
|
2016-10-12 09:17:12 +00:00
|
|
|
DCHECK(asm_offsets_.size() == 0 || body_.size() > last_asm_byte_offset_);
|
|
|
|
|
|
|
|
DCHECK_LE(body_.size(), kMaxUInt32);
|
|
|
|
uint32_t byte_offset = static_cast<uint32_t>(body_.size());
|
|
|
|
asm_offsets_.write_u32v(byte_offset - last_asm_byte_offset_);
|
|
|
|
last_asm_byte_offset_ = byte_offset;
|
|
|
|
|
2016-12-09 10:29:53 +00:00
|
|
|
DCHECK_GE(call_position, 0);
|
|
|
|
asm_offsets_.write_i32v(call_position - last_asm_source_position_);
|
|
|
|
|
|
|
|
DCHECK_GE(to_number_position, 0);
|
|
|
|
asm_offsets_.write_i32v(to_number_position - call_position);
|
|
|
|
last_asm_source_position_ = to_number_position;
|
2016-10-12 09:17:12 +00:00
|
|
|
}
|
|
|
|
|
2017-01-09 09:43:04 +00:00
|
|
|
void WasmFunctionBuilder::SetAsmFunctionStartPosition(int position) {
|
|
|
|
DCHECK_EQ(0, asm_func_start_source_position_);
|
|
|
|
DCHECK_LE(0, position);
|
|
|
|
// Must be called before emitting any asm.js source position.
|
|
|
|
DCHECK_EQ(0, asm_offsets_.size());
|
|
|
|
asm_func_start_source_position_ = position;
|
|
|
|
last_asm_source_position_ = position;
|
|
|
|
}
|
|
|
|
|
2016-05-27 12:15:23 +00:00
|
|
|
void WasmFunctionBuilder::WriteSignature(ZoneBuffer& buffer) const {
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_u32v(signature_index_);
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-12-01 10:12:39 +00:00
|
|
|
void WasmFunctionBuilder::WriteExports(ZoneBuffer& buffer) const {
|
|
|
|
for (auto name : exported_names_) {
|
|
|
|
buffer.write_size(name.size());
|
|
|
|
buffer.write(reinterpret_cast<const byte*>(name.data()), name.size());
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write_u8(kExternalFunction);
|
2016-10-03 21:04:29 +00:00
|
|
|
buffer.write_u32v(func_index_ +
|
|
|
|
static_cast<uint32_t>(builder_->imports_.size()));
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-05-27 12:15:23 +00:00
|
|
|
void WasmFunctionBuilder::WriteBody(ZoneBuffer& buffer) const {
|
2016-05-25 16:12:09 +00:00
|
|
|
size_t locals_size = locals_.Size();
|
|
|
|
buffer.write_size(locals_size + body_.size());
|
|
|
|
buffer.EnsureSpace(locals_size);
|
|
|
|
byte** ptr = buffer.pos_ptr();
|
|
|
|
locals_.Emit(*ptr);
|
|
|
|
(*ptr) += locals_size; // UGLY: manual bump of position pointer
|
2016-05-13 08:44:28 +00:00
|
|
|
if (body_.size() > 0) {
|
2016-10-03 21:04:29 +00:00
|
|
|
size_t base = buffer.offset();
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write(&body_[0], body_.size());
|
2016-10-03 21:04:29 +00:00
|
|
|
for (DirectCallIndex call : direct_calls_) {
|
|
|
|
buffer.patch_u32v(
|
|
|
|
base + call.offset,
|
|
|
|
call.direct_index + static_cast<uint32_t>(builder_->imports_.size()));
|
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-10-12 09:17:12 +00:00
|
|
|
void WasmFunctionBuilder::WriteAsmWasmOffsetTable(ZoneBuffer& buffer) const {
|
2017-01-09 09:43:04 +00:00
|
|
|
if (asm_func_start_source_position_ == 0 && asm_offsets_.size() == 0) {
|
2016-10-12 09:17:12 +00:00
|
|
|
buffer.write_size(0);
|
|
|
|
return;
|
|
|
|
}
|
2017-01-09 09:43:04 +00:00
|
|
|
size_t locals_enc_size = LEBHelper::sizeof_u32v(locals_.Size());
|
|
|
|
size_t func_start_size =
|
|
|
|
LEBHelper::sizeof_u32v(asm_func_start_source_position_);
|
|
|
|
buffer.write_size(asm_offsets_.size() + locals_enc_size + func_start_size);
|
2016-10-12 09:17:12 +00:00
|
|
|
// Offset of the recorded byte offsets.
|
|
|
|
DCHECK_GE(kMaxUInt32, locals_.Size());
|
2017-01-09 09:43:04 +00:00
|
|
|
buffer.write_u32v(static_cast<uint32_t>(locals_.Size()));
|
|
|
|
// Start position of the function.
|
|
|
|
buffer.write_u32v(asm_func_start_source_position_);
|
2016-10-12 09:17:12 +00:00
|
|
|
buffer.write(asm_offsets_.begin(), asm_offsets_.size());
|
|
|
|
}
|
|
|
|
|
2015-12-11 12:26:16 +00:00
|
|
|
WasmModuleBuilder::WasmModuleBuilder(Zone* zone)
|
|
|
|
: zone_(zone),
|
|
|
|
signatures_(zone),
|
2016-05-13 08:44:28 +00:00
|
|
|
imports_(zone),
|
2015-12-11 12:26:16 +00:00
|
|
|
functions_(zone),
|
|
|
|
data_segments_(zone),
|
|
|
|
indirect_functions_(zone),
|
|
|
|
globals_(zone),
|
2016-03-01 05:49:51 +00:00
|
|
|
signature_map_(zone),
|
|
|
|
start_function_index_(-1) {}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-09-27 20:46:10 +00:00
|
|
|
WasmFunctionBuilder* WasmModuleBuilder::AddFunction(FunctionSig* sig) {
|
2016-05-27 12:15:23 +00:00
|
|
|
functions_.push_back(new (zone_) WasmFunctionBuilder(this));
|
2016-09-27 20:46:10 +00:00
|
|
|
// Add the signature if one was provided here.
|
|
|
|
if (sig) functions_.back()->SetSignature(sig);
|
|
|
|
return functions_.back();
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-09-29 18:12:45 +00:00
|
|
|
void WasmModuleBuilder::AddDataSegment(const byte* data, uint32_t size,
|
|
|
|
uint32_t dest) {
|
|
|
|
data_segments_.push_back({ZoneVector<byte>(zone()), dest});
|
|
|
|
ZoneVector<byte>& vec = data_segments_.back().data;
|
|
|
|
for (uint32_t i = 0; i < size; i++) {
|
|
|
|
vec.push_back(data[i]);
|
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-01-20 23:36:42 +00:00
|
|
|
bool WasmModuleBuilder::CompareFunctionSigs::operator()(FunctionSig* a,
|
|
|
|
FunctionSig* b) const {
|
|
|
|
if (a->return_count() < b->return_count()) return true;
|
|
|
|
if (a->return_count() > b->return_count()) return false;
|
|
|
|
if (a->parameter_count() < b->parameter_count()) return true;
|
|
|
|
if (a->parameter_count() > b->parameter_count()) return false;
|
2015-12-11 12:26:16 +00:00
|
|
|
for (size_t r = 0; r < a->return_count(); r++) {
|
2016-01-20 23:36:42 +00:00
|
|
|
if (a->GetReturn(r) < b->GetReturn(r)) return true;
|
|
|
|
if (a->GetReturn(r) > b->GetReturn(r)) return false;
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
for (size_t p = 0; p < a->parameter_count(); p++) {
|
2016-01-20 23:36:42 +00:00
|
|
|
if (a->GetParam(p) < b->GetParam(p)) return true;
|
|
|
|
if (a->GetParam(p) > b->GetParam(p)) return false;
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-01-20 23:36:42 +00:00
|
|
|
return false;
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-05-13 08:44:28 +00:00
|
|
|
uint32_t WasmModuleBuilder::AddSignature(FunctionSig* sig) {
|
2015-12-11 12:26:16 +00:00
|
|
|
SignatureMap::iterator pos = signature_map_.find(sig);
|
|
|
|
if (pos != signature_map_.end()) {
|
|
|
|
return pos->second;
|
|
|
|
} else {
|
2016-05-17 17:53:46 +00:00
|
|
|
uint32_t index = static_cast<uint32_t>(signatures_.size());
|
2015-12-11 12:26:16 +00:00
|
|
|
signature_map_[sig] = index;
|
|
|
|
signatures_.push_back(sig);
|
|
|
|
return index;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-30 00:25:21 +00:00
|
|
|
uint32_t WasmModuleBuilder::AllocateIndirectFunctions(uint32_t count) {
|
|
|
|
uint32_t ret = static_cast<uint32_t>(indirect_functions_.size());
|
|
|
|
indirect_functions_.resize(indirect_functions_.size() + count);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
void WasmModuleBuilder::SetIndirectFunction(uint32_t indirect,
|
|
|
|
uint32_t direct) {
|
|
|
|
indirect_functions_[indirect] = direct;
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-05-13 08:44:28 +00:00
|
|
|
uint32_t WasmModuleBuilder::AddImport(const char* name, int name_length,
|
|
|
|
FunctionSig* sig) {
|
|
|
|
imports_.push_back({AddSignature(sig), name, name_length});
|
|
|
|
return static_cast<uint32_t>(imports_.size() - 1);
|
|
|
|
}
|
|
|
|
|
2016-09-27 20:46:10 +00:00
|
|
|
void WasmModuleBuilder::MarkStartFunction(WasmFunctionBuilder* function) {
|
|
|
|
start_function_index_ = function->func_index();
|
2016-03-01 05:49:51 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-12-21 13:43:00 +00:00
|
|
|
uint32_t WasmModuleBuilder::AddGlobal(ValueType type, bool exported,
|
2016-10-06 15:43:10 +00:00
|
|
|
bool mutability,
|
|
|
|
const WasmInitExpr& init) {
|
|
|
|
globals_.push_back({type, exported, mutability, init});
|
2015-12-11 12:26:16 +00:00
|
|
|
return static_cast<uint32_t>(globals_.size() - 1);
|
|
|
|
}
|
|
|
|
|
2016-05-27 12:15:23 +00:00
|
|
|
void WasmModuleBuilder::WriteTo(ZoneBuffer& buffer) const {
|
2016-05-25 16:12:09 +00:00
|
|
|
uint32_t exports = 0;
|
2015-12-11 12:26:16 +00:00
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == Emit magic =============================================================
|
2016-03-10 12:36:42 +00:00
|
|
|
TRACE("emit magic\n");
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_u32(kWasmMagic);
|
|
|
|
buffer.write_u32(kWasmVersion);
|
2016-02-28 00:37:11 +00:00
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == Emit signatures ========================================================
|
2015-12-11 12:26:16 +00:00
|
|
|
if (signatures_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kTypeSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(signatures_.size());
|
2015-12-11 12:26:16 +00:00
|
|
|
|
|
|
|
for (FunctionSig* sig : signatures_) {
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_u8(kWasmFunctionTypeForm);
|
|
|
|
buffer.write_size(sig->parameter_count());
|
2017-03-16 10:23:59 +00:00
|
|
|
for (auto param : sig->parameters()) {
|
|
|
|
buffer.write_u8(WasmOpcodes::ValueTypeCodeFor(param));
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(sig->return_count());
|
2017-03-16 10:23:59 +00:00
|
|
|
for (auto ret : sig->returns()) {
|
|
|
|
buffer.write_u8(WasmOpcodes::ValueTypeCodeFor(ret));
|
2016-04-29 09:39:26 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
|
|
|
|
|
|
|
// == Emit imports ===========================================================
|
2016-05-13 08:44:28 +00:00
|
|
|
if (imports_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kImportSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(imports_.size());
|
2016-05-13 08:44:28 +00:00
|
|
|
for (auto import : imports_) {
|
2016-12-20 15:32:56 +00:00
|
|
|
buffer.write_u32v(0); // module name length
|
|
|
|
buffer.write_u32v(import.name_length); // field name length
|
|
|
|
buffer.write(reinterpret_cast<const byte*>(import.name), // field name
|
2016-09-23 17:58:07 +00:00
|
|
|
import.name_length);
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write_u8(kExternalFunction);
|
|
|
|
buffer.write_u32v(import.sig_index);
|
2016-05-13 08:44:28 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
2016-05-13 08:44:28 +00:00
|
|
|
}
|
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == Emit function signatures ===============================================
|
2016-09-27 20:46:10 +00:00
|
|
|
bool has_names = false;
|
2015-12-11 12:26:16 +00:00
|
|
|
if (functions_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kFunctionSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(functions_.size());
|
|
|
|
for (auto function : functions_) {
|
|
|
|
function->WriteSignature(buffer);
|
2017-03-17 15:18:18 +00:00
|
|
|
exports += static_cast<uint32_t>(function->exported_names_.size());
|
2016-09-27 20:46:10 +00:00
|
|
|
if (function->name_.size() > 0) has_names = true;
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == emit function table ====================================================
|
2016-04-21 11:18:41 +00:00
|
|
|
if (indirect_functions_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kTableSectionCode, buffer);
|
|
|
|
buffer.write_u8(1); // table count
|
|
|
|
buffer.write_u8(kWasmAnyFunctionTypeForm);
|
|
|
|
buffer.write_u8(kResizableMaximumFlag);
|
|
|
|
buffer.write_size(indirect_functions_.size());
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(indirect_functions_.size());
|
|
|
|
FixupSection(buffer, start);
|
2016-04-21 11:18:41 +00:00
|
|
|
}
|
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == emit memory declaration ================================================
|
2016-04-21 11:18:41 +00:00
|
|
|
{
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kMemorySectionCode, buffer);
|
|
|
|
buffer.write_u8(1); // memory count
|
|
|
|
buffer.write_u32v(kResizableMaximumFlag);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_u32v(16); // min memory size
|
2016-11-08 09:55:05 +00:00
|
|
|
buffer.write_u32v(32); // max memory size
|
2016-09-27 20:46:10 +00:00
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
|
|
|
|
|
|
|
// == Emit globals ===========================================================
|
|
|
|
if (globals_.size() > 0) {
|
|
|
|
size_t start = EmitSection(kGlobalSectionCode, buffer);
|
|
|
|
buffer.write_size(globals_.size());
|
|
|
|
|
|
|
|
for (auto global : globals_) {
|
2016-12-21 13:43:00 +00:00
|
|
|
buffer.write_u8(WasmOpcodes::ValueTypeCodeFor(global.type));
|
2016-09-29 18:12:45 +00:00
|
|
|
buffer.write_u8(global.mutability ? 1 : 0);
|
2016-10-06 15:43:10 +00:00
|
|
|
switch (global.init.kind) {
|
|
|
|
case WasmInitExpr::kI32Const: {
|
2016-12-21 13:43:00 +00:00
|
|
|
DCHECK_EQ(kWasmI32, global.type);
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_I32V_5(global.init.val.i32_const)};
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-10-06 15:43:10 +00:00
|
|
|
case WasmInitExpr::kI64Const: {
|
2016-12-21 13:43:00 +00:00
|
|
|
DCHECK_EQ(kWasmI64, global.type);
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_I64V_10(global.init.val.i64_const)};
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-10-06 15:43:10 +00:00
|
|
|
case WasmInitExpr::kF32Const: {
|
2016-12-21 13:43:00 +00:00
|
|
|
DCHECK_EQ(kWasmF32, global.type);
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_F32(global.init.val.f32_const)};
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-10-06 15:43:10 +00:00
|
|
|
case WasmInitExpr::kF64Const: {
|
2016-12-21 13:43:00 +00:00
|
|
|
DCHECK_EQ(kWasmF64, global.type);
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_F64(global.init.val.f64_const)};
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-10-06 15:43:10 +00:00
|
|
|
case WasmInitExpr::kGlobalIndex: {
|
|
|
|
const byte code[] = {kExprGetGlobal,
|
|
|
|
U32V_5(global.init.val.global_index)};
|
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default: {
|
|
|
|
// No initializer, emit a default value.
|
|
|
|
switch (global.type) {
|
2016-12-21 13:43:00 +00:00
|
|
|
case kWasmI32: {
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_I32V_1(0)};
|
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-12-21 13:43:00 +00:00
|
|
|
case kWasmI64: {
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_I64V_1(0)};
|
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-12-21 13:43:00 +00:00
|
|
|
case kWasmF32: {
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_F32(0.0)};
|
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
2016-12-21 13:43:00 +00:00
|
|
|
case kWasmF64: {
|
2016-10-06 15:43:10 +00:00
|
|
|
const byte code[] = {WASM_F64(0.0)};
|
|
|
|
buffer.write(code, sizeof(code));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
}
|
2016-09-27 20:46:10 +00:00
|
|
|
}
|
|
|
|
buffer.write_u8(kExprEnd);
|
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
2016-04-21 11:18:41 +00:00
|
|
|
}
|
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == emit exports ===========================================================
|
|
|
|
if (exports > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kExportSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_u32v(exports);
|
2016-12-01 10:12:39 +00:00
|
|
|
for (auto function : functions_) function->WriteExports(buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
|
|
|
|
|
|
|
// == emit start function index ==============================================
|
2016-03-01 05:49:51 +00:00
|
|
|
if (start_function_index_ >= 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kStartSectionCode, buffer);
|
2016-10-03 21:04:29 +00:00
|
|
|
buffer.write_u32v(start_function_index_ +
|
|
|
|
static_cast<uint32_t>(imports_.size()));
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
2016-03-01 05:49:51 +00:00
|
|
|
}
|
|
|
|
|
2016-09-27 20:46:10 +00:00
|
|
|
// == emit function table elements ===========================================
|
|
|
|
if (indirect_functions_.size() > 0) {
|
|
|
|
size_t start = EmitSection(kElementSectionCode, buffer);
|
|
|
|
buffer.write_u8(1); // count of entries
|
|
|
|
buffer.write_u8(0); // table index
|
|
|
|
buffer.write_u8(kExprI32Const); // offset
|
|
|
|
buffer.write_u32v(0);
|
|
|
|
buffer.write_u8(kExprEnd);
|
|
|
|
buffer.write_size(indirect_functions_.size()); // element count
|
|
|
|
|
|
|
|
for (auto index : indirect_functions_) {
|
2016-10-03 21:04:29 +00:00
|
|
|
buffer.write_u32v(index + static_cast<uint32_t>(imports_.size()));
|
2016-09-27 20:46:10 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
|
|
|
|
2016-05-25 16:12:09 +00:00
|
|
|
// == emit code ==============================================================
|
|
|
|
if (functions_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kCodeSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(functions_.size());
|
|
|
|
for (auto function : functions_) {
|
|
|
|
function->WriteBody(buffer);
|
|
|
|
}
|
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
|
|
|
|
|
|
|
// == emit data segments =====================================================
|
2015-12-11 12:26:16 +00:00
|
|
|
if (data_segments_.size() > 0) {
|
2016-09-27 20:46:10 +00:00
|
|
|
size_t start = EmitSection(kDataSectionCode, buffer);
|
2016-05-25 16:12:09 +00:00
|
|
|
buffer.write_size(data_segments_.size());
|
2015-12-11 12:26:16 +00:00
|
|
|
|
|
|
|
for (auto segment : data_segments_) {
|
2016-09-29 18:12:45 +00:00
|
|
|
buffer.write_u8(0); // linear memory segment
|
|
|
|
buffer.write_u8(kExprI32Const); // initializer expression for dest
|
|
|
|
buffer.write_u32v(segment.dest);
|
|
|
|
buffer.write_u8(kExprEnd);
|
|
|
|
buffer.write_u32v(static_cast<uint32_t>(segment.data.size()));
|
|
|
|
buffer.write(&segment.data[0], segment.data.size());
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-05-25 16:12:09 +00:00
|
|
|
FixupSection(buffer, start);
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-09-27 20:46:10 +00:00
|
|
|
|
|
|
|
// == Emit names =============================================================
|
|
|
|
if (has_names) {
|
|
|
|
// Emit the section code.
|
|
|
|
buffer.write_u8(kUnknownSectionCode);
|
|
|
|
// Emit a placeholder for the length.
|
|
|
|
size_t start = buffer.reserve_u32v();
|
|
|
|
// Emit the section string.
|
|
|
|
buffer.write_size(4);
|
|
|
|
buffer.write(reinterpret_cast<const byte*>("name"), 4);
|
|
|
|
// Emit the names.
|
2016-11-15 20:55:33 +00:00
|
|
|
size_t count = functions_.size() + imports_.size();
|
|
|
|
buffer.write_size(count);
|
|
|
|
for (size_t i = 0; i < imports_.size(); i++) {
|
|
|
|
buffer.write_u8(0); // empty name for import
|
|
|
|
buffer.write_u8(0); // no local variables
|
|
|
|
}
|
2016-09-27 20:46:10 +00:00
|
|
|
for (auto function : functions_) {
|
|
|
|
buffer.write_size(function->name_.size());
|
2016-12-01 10:12:39 +00:00
|
|
|
buffer.write(reinterpret_cast<const byte*>(function->name_.data()),
|
|
|
|
function->name_.size());
|
2016-09-27 20:46:10 +00:00
|
|
|
buffer.write_u8(0);
|
|
|
|
}
|
|
|
|
FixupSection(buffer, start);
|
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
}
|
2016-10-12 09:17:12 +00:00
|
|
|
|
|
|
|
void WasmModuleBuilder::WriteAsmJsOffsetTable(ZoneBuffer& buffer) const {
|
|
|
|
// == Emit asm.js offset table ===============================================
|
|
|
|
buffer.write_size(functions_.size());
|
|
|
|
// Emit the offset table per function.
|
|
|
|
for (auto function : functions_) {
|
|
|
|
function->WriteAsmWasmOffsetTable(buffer);
|
|
|
|
}
|
2016-11-28 13:04:58 +00:00
|
|
|
// Append a 0 to indicate that this is an encoded table.
|
|
|
|
buffer.write_u8(0);
|
2016-10-12 09:17:12 +00:00
|
|
|
}
|
2015-12-11 12:26:16 +00:00
|
|
|
} // namespace wasm
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|