From fbacd0afe371d1e728024b1541c8c6213d026a17 Mon Sep 17 00:00:00 2001
From: titzer <titzer@google.com>
Date: Mon, 17 Aug 2015 18:57:34 +0200
Subject: 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.
---
 BinaryEncoding.md | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'BinaryEncoding.md')

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
 
-- 
cgit v1.2.3