aboutsummaryrefslogtreecommitdiff
path: root/BinaryEncoding.md
diff options
context:
space:
mode:
authortitzer <titzer@google.com>2015-08-17 18:57:34 +0200
committertitzer <titzer@google.com>2015-08-17 18:57:34 +0200
commitfbacd0afe371d1e728024b1541c8c6213d026a17 (patch)
tree58c2f78331119bdbc08951c0adaa35200bff49d2 /BinaryEncoding.md
parent21e8edcc945c4b7d9e961780606e647ff0e5f31b (diff)
downloadnanowasm-design-fbacd0afe371d1e728024b1541c8c6213d026a17.tar.gz
Add data segments to binary format
Add a description of data segments, which are a way that the binary module can load initialized data into memory, similar to a .data section.
Diffstat (limited to 'BinaryEncoding.md')
-rw-r--r--BinaryEncoding.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md
index f360d62..5b99321 100644
--- a/BinaryEncoding.md
+++ b/BinaryEncoding.md
@@ -98,8 +98,12 @@ Yes:
* Type ID
* Count of locals
+ The serialized AST
+ * A `data` section contains
+ - A sequence of byte ranges within the binary and corresponding addresses in the linear memory
+
All strings are encoded as null-terminated UTF8.
+Data segments represent initialized data that is loaded directly from the binary into the linear memory when the program starts.
## Serialized AST