diff options
| author | titzer <titzer@google.com> | 2016-02-08 19:17:38 +0100 |
|---|---|---|
| committer | titzer <titzer@google.com> | 2016-02-08 19:17:38 +0100 |
| commit | 685111b3b7a1bf05938d5c55bc8358d483de400a (patch) | |
| tree | 9463b416f6538163bab9d2c21ad21aa4ba37be9a /BinaryEncoding.md | |
| parent | 889483aefd4a1df55373191e82e1c26ea0a5104e (diff) | |
| download | nanowasm-design-685111b3b7a1bf05938d5c55bc8358d483de400a.tar.gz | |
Add links.
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md index 50afc0f..72f44e5 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -194,7 +194,7 @@ Each node in the abstract syntax tree corresponds to an operator, such as `i32.a Most operators encode as a single `uint8`, but some require *immediates* which immediately follow the first byte, before the child nodes. -## Control flow operators +## Control flow operators ([described here](AstSemantics.md#control-flow-structures)) | Name | Opcode | Immediate | Description | | ---- | ---- | ---- | ---- | @@ -220,7 +220,7 @@ The `tableswitch` operator has as complex immediate operand which is encoded as The table switch operator is then immediately followed by `case_count` case expressions which by default fall through to each other. -## Basic operators +## Basic operators ([described here](AstSemantics.md#constants)) | Name | Opcode | Immediate | Description | | ---- | ---- | ---- | ---- | | `i8.const` | `0x09` | value = `uint8` | a constant value, signed extended to type `i32` | @@ -235,7 +235,7 @@ The table switch operator is then immediately followed by `case_count` case expr | `call_function` | `0x12` | function_index = `varuint32` | call a function by its index | | `call_indirect` | `0x13` | signature_index = `varuint32` | call a function indirect with an expected signature | -## Memory-related operators +## Memory-related operators ([described here](AstSemantics.md#linear-memory-accesses)) | Name | Opcode | Immediate | Description | | ---- | ---- | ---- | ---- | @@ -272,7 +272,7 @@ The `memory_immediate` type is encoded as follows: | flags | `uint8` | always | a bitfield where<br>bit `4` indicates an offset follows<br>bit `7` indicates natural alignment | | offset | `varuint32` | `flags[4] == 1` | the value of the offset | -## Simple operators +## Simple operators ([described here](AstSemantics#32-bit-integer-operators)) | Name | Opcode | Immediate | Description | | ---- | ---- | ---- | ---- | |