summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-01-11 16:08:24 -0800
committerAlon Zakai <alonzakai@gmail.com>2016-01-11 16:08:24 -0800
commitc64a73ae12fdbc39176c8d94ffaa21840606e516 (patch)
treed60bb623945fd7bb74a73bc93188ad1fcd4a6f89
parent4037b2886731c2ff6f6d18da3cb03c89f5f974e0 (diff)
downloadbinaryen-c64a73ae12fdbc39176c8d94ffaa21840606e516.tar.gz
binaryen-c64a73ae12fdbc39176c8d94ffaa21840606e516.tar.bz2
binaryen-c64a73ae12fdbc39176c8d94ffaa21840606e516.zip
implement LEB128 writing in binary format support #13
-rw-r--r--src/wasm-binary.h70
1 files changed, 60 insertions, 10 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h
index 76a9b62be..22ad33c28 100644
--- a/src/wasm-binary.h
+++ b/src/wasm-binary.h
@@ -30,13 +30,40 @@
namespace wasm {
struct LEB128 {
- int32_t value;
- LEB128(int32_t value) : value(value) {}
+ uint32_t value;
+
+ LEB128(uint32_t value) : value(value) {}
+
+ void write(std::vector<uint8_t>* out) {
+ uint32_t temp = value;
+ do {
+ uint8_t byte = value & 127;
+ temp >>= 7;
+ if (temp) {
+ byte = byte | 128;
+ }
+ out.push_back(byte);
+ } while (temp);
+ }
+
+ void read(std::function<uint8_t ()> get) {
+ value = 0;
+ uint32_t shift = 0;
+ while (1) {
+ uint8_t byte = get();
+ value |= ((byte & 127) << shift);
+ if (byte & 128) break;
+ shift += 7;
+ }
+ }
};
+//
// We mostly stream into a buffer as we create the binary format, however,
-// sometimes we need to backtrack and write to a location behind us.
-class BufferWithRandomAccess : public std::vector<unsigned char> {
+// sometimes we need to backtrack and write to a location behind us - wasm
+// is optimized for reading, not writing.
+//
+class BufferWithRandomAccess : public std::vector<uint8_t> {
public:
BufferWithRandomAccess& operator<<(int8_t x) {
push_back(x);
@@ -66,8 +93,7 @@ public:
return *this;
}
BufferWithRandomAccess& operator<<(LEB128 x) {
- // XXX TODO
- magic
+ x.write(this);
return *this;
}
@@ -285,6 +311,7 @@ public:
writeDataSegments();
writeFunctionTable();
writeEnd();
+ finishUp();
}
writeMemory() {
@@ -367,10 +394,10 @@ public:
}
o << getFunctionTypeIndex(type);
o << int8_t(FunctionEntry::Named |
- (FunctionEntry::Import * !!import) |
- (FunctionEntry::Locals * (function && function->locals.size() > 0) |
- (FunctionEntry::Export) * (wasm.exportsMap[name].count(name) > 0)));
- // TODO: name. how can we do an offset? into what section? and how do we know it now?
+ (FunctionEntry::Import * !!import) |
+ (FunctionEntry::Locals * (function && function->locals.size() > 0) |
+ (FunctionEntry::Export) * (wasm.exportsMap[name].count(name) > 0)));
+ emitString(Name.str);
if (function && function->locals.size() > 0) {
mapLocals(function);
o << uint16_t(numLocalsByType[i32])
@@ -418,6 +445,29 @@ public:
o << Section::End;
}
+ // helpers
+
+ std::vector<std::pair<const char* str, size_t>> stringsToWrite;
+
+ void emitString(const char* str) {
+ stringsToWrite.emplace_back(str, o.size());
+ o << uint32_t(0); // placeholder
+ }
+
+ void finishUp() {
+ // finish strings
+ for (auto& stringToWrite : stringsToWrite) {
+ const char* str = stringToWrite.first;
+ size_t pos = stringToWrite.second;
+ o.writeAt(pos, (uint32_t)o.size());
+ while (*str) {
+ o << *str;
+ str++;
+ }
+ o << '\0';
+ }
+ }
+
// AST writing via visitors
std::vector<Name> breakStack;