Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(828)

Unified Diff: src/wasm/encoder.cc

Issue 2014533003: [wasm] Refactor encoder.h to use a proper buffer and remove OldFunctions section. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 4 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: src/wasm/encoder.cc
diff --git a/src/wasm/encoder.cc b/src/wasm/encoder.cc
index 39a2f5aeb5b47849a63a81e64a5f41f58b406451..c563e22411033400e641dd4a882d9f0882d1e017 100644
--- a/src/wasm/encoder.cc
+++ b/src/wasm/encoder.cc
@@ -30,70 +30,25 @@ namespace v8 {
namespace internal {
namespace wasm {
-/*TODO: add error cases for adding too many locals, too many functions and bad
- indices in body */
-
-namespace {
-void EmitUint8(byte** b, uint8_t x) {
- Memory::uint8_at(*b) = x;
- *b += 1;
-}
-
-void EmitUint16(byte** b, uint16_t x) {
- WriteUnalignedUInt16(*b, x);
- *b += 2;
-}
-
-void EmitUint32(byte** b, uint32_t x) {
- WriteUnalignedUInt32(*b, x);
- *b += 4;
-}
-
-void EmitVarInt(byte** b, size_t val) {
- LEBHelper::write_u32v(b, static_cast<uint32_t>(val));
-}
-
-// Sections all start with a size, but it's unknown at the start.
-// We generate a large varint which we then fixup later when the size is known.
-//
-// TODO(jfb) Not strictly necessary since sizes are calculated ahead of time.
-const size_t kPaddedVarintSize = 5;
-
-void FixupSection(byte* start, byte* end) {
- // Same as LEBHelper::write_u32v, but fixed-width with zeroes in the MSBs.
- size_t val = end - start - kPaddedVarintSize;
- TRACE(" fixup %u\n", (unsigned)val);
- for (size_t pos = 0; pos != kPaddedVarintSize; ++pos) {
- size_t next = val >> 7;
- byte out = static_cast<byte>(val & 0x7f);
- if (pos != kPaddedVarintSize - 1) {
- *(start++) = 0x80 | out;
- val = next;
- } else {
- *(start++) = out;
- // TODO(jfb) check that the pre-allocated fixup size isn't overflowed.
- }
- }
-}
-
-// Returns the start of the section, where the section VarInt size is.
-byte* EmitSection(WasmSection::Code code, byte** b) {
+// Emit a section name and the size as a padded varint that can be patched
+// later.
+size_t EmitSection(WasmSection::Code code, ZoneBuffer& buffer) {
// Emit the section name.
const char* name = WasmSection::getName(code);
TRACE("emit section: %s\n", name);
size_t length = WasmSection::getNameLength(code);
- EmitVarInt(b, length); // Section name string size.
- for (size_t i = 0; i != length; ++i) EmitUint8(b, name[i]);
+ buffer.write_size(length); // Section name string size.
+ buffer.write(reinterpret_cast<const byte*>(name), length);
// Emit a placeholder for the length.
- byte* start = *b;
- for (size_t padding = 0; padding != kPaddedVarintSize; ++padding) {
- EmitUint8(b, 0xff); // Will get fixed up later.
- }
+ return buffer.reserve_u32v();
+}
- return start;
+// 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));
}
-} // namespace
WasmFunctionBuilder::WasmFunctionBuilder(Zone* zone)
: locals_(zone), exported_(0), body_(zone), name_(zone) {}
@@ -189,45 +144,30 @@ WasmFunctionEncoder::WasmFunctionEncoder(Zone* zone, LocalDeclEncoder locals,
bool exported)
: locals_(locals), exported_(exported), body_(zone), name_(zone) {}
-uint32_t WasmFunctionEncoder::HeaderSize() const {
- uint32_t size = 3;
- size += 2;
- if (HasName()) {
- uint32_t name_size = NameSize();
- size +=
- static_cast<uint32_t>(LEBHelper::sizeof_u32v(name_size)) + name_size;
- }
- return size;
-}
-
-uint32_t WasmFunctionEncoder::BodySize(void) const {
- return static_cast<uint32_t>(body_.size() + locals_.Size());
+void WasmFunctionEncoder::WriteSignature(ZoneBuffer& buffer) const {
+ buffer.write_u32v(signature_index_);
}
-uint32_t WasmFunctionEncoder::NameSize() const {
- return HasName() ? static_cast<uint32_t>(name_.size()) : 0;
-}
-
-void WasmFunctionEncoder::Serialize(byte* buffer, byte** header,
- byte** body) const {
- uint8_t decl_bits = (exported_ ? kDeclFunctionExport : 0) |
- (HasName() ? kDeclFunctionName : 0);
-
- EmitUint8(header, decl_bits);
- EmitUint16(header, signature_index_);
-
- if (HasName()) {
- EmitVarInt(header, NameSize());
- for (size_t i = 0; i < name_.size(); ++i) {
- EmitUint8(header, name_[i]);
+void WasmFunctionEncoder::WriteExport(ZoneBuffer& buffer,
+ uint32_t func_index) const {
+ if (exported_) {
+ buffer.write_u32v(func_index);
+ buffer.write_size(name_.size());
+ if (name_.size() > 0) {
+ buffer.write(reinterpret_cast<const byte*>(&name_[0]), name_.size());
}
}
+}
- EmitUint16(header, static_cast<uint16_t>(body_.size() + locals_.Size()));
- (*header) += locals_.Emit(*header);
+void WasmFunctionEncoder::WriteBody(ZoneBuffer& buffer) const {
+ 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);
bradnelson 2016/05/25 14:51:23 Yeah, yuck.
+ (*ptr) += locals_size; // UGLY: manual bump of position pointer
if (body_.size() > 0) {
- std::memcpy(*header, &body_[0], body_.size());
- (*header) += body_.size();
+ buffer.write(&body_[0], body_.size());
}
}
@@ -239,22 +179,10 @@ WasmDataSegmentEncoder::WasmDataSegmentEncoder(Zone* zone, const byte* data,
}
}
-uint32_t WasmDataSegmentEncoder::HeaderSize() const {
- static const int kDataSegmentSize = 13;
- return kDataSegmentSize;
-}
-
-uint32_t WasmDataSegmentEncoder::BodySize() const {
- return static_cast<uint32_t>(data_.size());
-}
-
-void WasmDataSegmentEncoder::Serialize(byte* buffer, byte** header,
- byte** body) const {
- EmitVarInt(header, dest_);
- EmitVarInt(header, static_cast<uint32_t>(data_.size()));
-
- std::memcpy(*header, &data_[0], data_.size());
- (*header) += data_.size();
+void WasmDataSegmentEncoder::Write(ZoneBuffer& buffer) const {
+ buffer.write_u32v(dest_);
+ buffer.write_u32v(static_cast<uint32_t>(data_.size()));
+ buffer.write(&data_[0], data_.size());
}
WasmModuleBuilder::WasmModuleBuilder(Zone* zone)
@@ -365,223 +293,130 @@ WasmModuleWriter::WasmModuleWriter(Zone* zone)
indirect_functions_(zone),
globals_(zone) {}
-struct Sizes {
- size_t header_size;
- size_t body_size;
-
- size_t total() { return header_size + body_size; }
-
- void Add(size_t header, size_t body) {
- header_size += header;
- body_size += body;
- }
-
- void AddSection(WasmSection::Code code, size_t other_size) {
- Add(kPaddedVarintSize +
- LEBHelper::sizeof_u32v(WasmSection::getNameLength(code)) +
- WasmSection::getNameLength(code),
- 0);
- if (other_size) Add(LEBHelper::sizeof_u32v(other_size), 0);
- }
-};
-
-WasmModuleIndex* WasmModuleWriter::WriteTo(Zone* zone) const {
- Sizes sizes = {0, 0};
-
- sizes.Add(2 * sizeof(uint32_t), 0); // header
-
- if (globals_.size() > 0) {
- sizes.AddSection(WasmSection::Code::Globals, globals_.size());
- /* These globals never have names, so are always 3 bytes. */
- sizes.Add(3 * globals_.size(), 0);
- TRACE("Size after globals: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (signatures_.size() > 0) {
- sizes.AddSection(WasmSection::Code::Signatures, signatures_.size());
- for (auto sig : signatures_) {
- sizes.Add(1 + LEBHelper::sizeof_u32v(sig->parameter_count()) +
- sig->parameter_count() +
- LEBHelper::sizeof_u32v(sig->return_count()) +
- sig->return_count(),
- 0);
- }
- TRACE("Size after signatures: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (functions_.size() > 0) {
- sizes.AddSection(WasmSection::Code::OldFunctions, functions_.size());
- for (auto function : functions_) {
- sizes.Add(function->HeaderSize() + function->BodySize(),
- function->NameSize());
- }
- TRACE("Size after functions: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (imports_.size() > 0) {
- sizes.AddSection(WasmSection::Code::ImportTable, imports_.size());
- for (auto import : imports_) {
- sizes.Add(LEBHelper::sizeof_u32v(import.sig_index), 0);
- sizes.Add(LEBHelper::sizeof_u32v(import.name_length), 0);
- sizes.Add(import.name_length, 0);
- sizes.Add(1, 0);
- }
- TRACE("Size after imports: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (indirect_functions_.size() > 0) {
- sizes.AddSection(WasmSection::Code::FunctionTable,
- indirect_functions_.size());
- for (auto function_index : indirect_functions_) {
- sizes.Add(LEBHelper::sizeof_u32v(function_index), 0);
- }
- TRACE("Size after indirect functions: %u, %u\n",
- (unsigned)sizes.header_size, (unsigned)sizes.body_size);
- }
-
- sizes.AddSection(WasmSection::Code::Memory, 0);
- sizes.Add(kDeclMemorySize, 0);
- TRACE("Size after memory: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
-
- if (start_function_index_ >= 0) {
- sizes.AddSection(WasmSection::Code::StartFunction, 0);
- sizes.Add(LEBHelper::sizeof_u32v(start_function_index_), 0);
- TRACE("Size after start: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (data_segments_.size() > 0) {
- sizes.AddSection(WasmSection::Code::DataSegments, data_segments_.size());
- for (auto segment : data_segments_) {
- sizes.Add(segment->HeaderSize(), segment->BodySize());
- }
- TRACE("Size after data segments: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- if (sizes.body_size > 0) {
- sizes.AddSection(WasmSection::Code::End, 0);
- TRACE("Size after end: %u, %u\n", (unsigned)sizes.header_size,
- (unsigned)sizes.body_size);
- }
-
- ZoneVector<uint8_t> buffer_vector(sizes.total(), zone);
- byte* buffer = &buffer_vector[0];
- byte* header = buffer;
- byte* body = buffer + sizes.header_size;
+void WasmModuleWriter::WriteTo(ZoneBuffer& buffer) const {
+ uint32_t exports = 0;
- // -- emit magic -------------------------------------------------------------
+ // == Emit magic =============================================================
TRACE("emit magic\n");
- EmitUint32(&header, kWasmMagic);
- EmitUint32(&header, kWasmVersion);
+ buffer.write_u32(kWasmMagic);
+ buffer.write_u32(kWasmVersion);
- // -- emit globals -----------------------------------------------------------
- if (globals_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::Globals, &header);
- EmitVarInt(&header, globals_.size());
-
- for (auto global : globals_) {
- EmitVarInt(&header, 0); // Length of the global name.
- EmitUint8(&header, WasmOpcodes::MemTypeCodeFor(global.first));
- EmitUint8(&header, global.second);
- }
- FixupSection(section, header);
- }
-
- // -- emit signatures --------------------------------------------------------
+ // == Emit signatures ========================================================
if (signatures_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::Signatures, &header);
- EmitVarInt(&header, signatures_.size());
+ size_t start = EmitSection(WasmSection::Code::Signatures, buffer);
+ buffer.write_size(signatures_.size());
for (FunctionSig* sig : signatures_) {
- EmitUint8(&header, kWasmFunctionTypeForm);
- EmitVarInt(&header, sig->parameter_count());
+ buffer.write_u8(kWasmFunctionTypeForm);
+ buffer.write_size(sig->parameter_count());
for (size_t j = 0; j < sig->parameter_count(); j++) {
- EmitUint8(&header, WasmOpcodes::LocalTypeCodeFor(sig->GetParam(j)));
+ buffer.write_u8(WasmOpcodes::LocalTypeCodeFor(sig->GetParam(j)));
}
- EmitVarInt(&header, sig->return_count());
+ buffer.write_size(sig->return_count());
for (size_t j = 0; j < sig->return_count(); j++) {
- EmitUint8(&header, WasmOpcodes::LocalTypeCodeFor(sig->GetReturn(j)));
+ buffer.write_u8(WasmOpcodes::LocalTypeCodeFor(sig->GetReturn(j)));
}
}
- FixupSection(section, header);
+ FixupSection(buffer, start);
+ }
+
+ // == Emit globals ===========================================================
+ if (globals_.size() > 0) {
+ size_t start = EmitSection(WasmSection::Code::Globals, buffer);
+ buffer.write_size(globals_.size());
+
+ for (auto global : globals_) {
+ buffer.write_u32v(0); // Length of the global name.
+ buffer.write_u8(WasmOpcodes::MemTypeCodeFor(global.first));
+ buffer.write_u8(global.second);
+ }
+ FixupSection(buffer, start);
}
- // -- emit imports -----------------------------------------------------------
+ // == Emit imports ===========================================================
if (imports_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::ImportTable, &header);
- EmitVarInt(&header, imports_.size());
+ size_t start = EmitSection(WasmSection::Code::ImportTable, buffer);
+ buffer.write_size(imports_.size());
for (auto import : imports_) {
- EmitVarInt(&header, import.sig_index);
- EmitVarInt(&header, import.name_length);
- std::memcpy(header, import.name, import.name_length);
- header += import.name_length;
- EmitVarInt(&header, 0);
+ buffer.write_u32v(import.sig_index);
+ buffer.write_u32v(import.name_length);
+ buffer.write(reinterpret_cast<const byte*>(import.name),
+ import.name_length);
+ buffer.write_u32v(0);
}
- FixupSection(section, header);
+ FixupSection(buffer, start);
}
- // -- emit functions ---------------------------------------------------------
+ // == Emit function signatures ===============================================
if (functions_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::OldFunctions, &header);
- EmitVarInt(&header, functions_.size());
-
- for (auto func : functions_) {
- func->Serialize(buffer, &header, &body);
+ size_t start = EmitSection(WasmSection::Code::FunctionSignatures, buffer);
+ buffer.write_size(functions_.size());
+ for (auto function : functions_) {
+ function->WriteSignature(buffer);
+ if (function->exported()) exports++;
}
- FixupSection(section, header);
+ FixupSection(buffer, start);
}
- // -- emit function table ----------------------------------------------------
+ // == emit function table ====================================================
if (indirect_functions_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::FunctionTable, &header);
- EmitVarInt(&header, indirect_functions_.size());
+ size_t start = EmitSection(WasmSection::Code::FunctionTable, buffer);
+ buffer.write_size(indirect_functions_.size());
for (auto index : indirect_functions_) {
- EmitVarInt(&header, index);
+ buffer.write_u32v(index);
}
- FixupSection(section, header);
+ FixupSection(buffer, start);
}
- // -- emit memory declaration ------------------------------------------------
+ // == emit memory declaration ================================================
{
- byte* section = EmitSection(WasmSection::Code::Memory, &header);
- EmitVarInt(&header, 16); // min memory size
- EmitVarInt(&header, 16); // max memory size
- EmitUint8(&header, 0); // memory export
+ size_t start = EmitSection(WasmSection::Code::Memory, buffer);
+ buffer.write_u32v(16); // min memory size
+ buffer.write_u32v(16); // max memory size
+ buffer.write_u8(0); // memory export
static_assert(kDeclMemorySize == 3, "memory size must match emit above");
- FixupSection(section, header);
+ FixupSection(buffer, start);
}
- // -- emit start function index ----------------------------------------------
+ // == emit exports ===========================================================
+ if (exports > 0) {
+ size_t start = EmitSection(WasmSection::Code::ExportTable, buffer);
+ buffer.write_u32v(exports);
+ uint32_t index = 0;
+ for (auto function : functions_) {
+ function->WriteExport(buffer, index++);
+ }
+ FixupSection(buffer, start);
+ }
+
+ // == emit start function index ==============================================
if (start_function_index_ >= 0) {
- byte* section = EmitSection(WasmSection::Code::StartFunction, &header);
- EmitVarInt(&header, start_function_index_);
- FixupSection(section, header);
+ size_t start = EmitSection(WasmSection::Code::StartFunction, buffer);
+ buffer.write_u32v(start_function_index_);
+ FixupSection(buffer, start);
}
- // -- emit data segments -----------------------------------------------------
+ // == emit code ==============================================================
+ if (functions_.size() > 0) {
+ size_t start = EmitSection(WasmSection::Code::FunctionBodies, buffer);
+ buffer.write_size(functions_.size());
+ for (auto function : functions_) {
+ function->WriteBody(buffer);
+ }
+ FixupSection(buffer, start);
+ }
+
+ // == emit data segments =====================================================
if (data_segments_.size() > 0) {
- byte* section = EmitSection(WasmSection::Code::DataSegments, &header);
- EmitVarInt(&header, data_segments_.size());
+ size_t start = EmitSection(WasmSection::Code::DataSegments, buffer);
+ buffer.write_size(data_segments_.size());
for (auto segment : data_segments_) {
- segment->Serialize(buffer, &header, &body);
+ segment->Write(buffer);
}
- FixupSection(section, header);
+ FixupSection(buffer, start);
}
-
- if (sizes.body_size > 0) {
- byte* section = EmitSection(WasmSection::Code::End, &header);
- FixupSection(section, header);
- }
-
- return new (zone) WasmModuleIndex(buffer, buffer + sizes.total());
}
} // namespace wasm
} // namespace internal

Powered by Google App Engine
This is Rietveld 408576698