From cdd89839f530eacec89adf9b0a0286d494846878 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Mon, 6 Jul 2015 05:26:06 -0800 Subject: Reorganize the sections on types, linear memory, and variables. Put all the type information together in one consice section, and all the linear memory information together in one section. The following changes are notable: - rename *local types* to *basic types*. - introduce *expression types* - add `void` as an expression type - make *memory types* an explicit superset of basic types - drop the `load_mem` and `store_mem` operators, which are obsolete now that we have the new typed load and store operators. - drop the `load_mem_with_offset` and `store_mem_with_offset` operators too, and make the typed load and store operators have offsets now. - define *natural alignment*, *misaligned* access, and *aligned* access. - define the *effective address* of an access --- BinaryEncoding.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index 093b9cf..f360d62 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -79,7 +79,7 @@ Yes: * A `definitions` section contains (in this order): - The generic section header - A table (sorted by offset) containing, for each type which has opcodes: - + A standardized string literal [type name](AstSemantics.md#local-and-memory-types). + + A standardized string literal [type name](AstSemantics.md#expression-types). The index of a type name in this table is referred to as a type ID + 64-bit offset of its opcode table within the section - A sequence of opcode tables @@ -94,7 +94,7 @@ Yes: + 64-bit offset within the section - A sequence of functions - A function contains: - + A table containing, for each type ID that has [locals](AstSemantics.md#addressing-local-variables): + + A table containing, for each type ID that has [locals](AstSemantics.md#local-variables): * Type ID * Count of locals + The serialized AST -- cgit v1.2.3