From fbacd0afe371d1e728024b1541c8c6213d026a17 Mon Sep 17 00:00:00 2001 From: titzer 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 From e9bee501b78442225667276c49d6fe370af18205 Mon Sep 17 00:00:00 2001 From: titzer Date: Tue, 18 Aug 2015 18:31:19 +0200 Subject: Update BinaryEncoding.md --- BinaryEncoding.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index 5b99321..70ec478 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -103,7 +103,7 @@ Yes: 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. +Data segments represent initialized data that is loaded directly from the binary into the linear memory when the program starts (see [modules](Modules.md#initial-state-of-linear-memory)). ## Serialized AST -- cgit v1.2.3