diff options
| author | Andreas Rossberg <rossberg@chromium.org> | 2016-02-23 16:03:27 +0100 |
|---|---|---|
| committer | Andreas Rossberg <rossberg@chromium.org> | 2016-02-23 16:03:27 +0100 |
| commit | edd010eac01d735e17c91752afc29ed91765bd23 (patch) | |
| tree | e039d18ba374bff300df5e5b14ad164f210b0392 /BinaryEncoding.md | |
| parent | 01e8ac76a5d12c8308c3db92242c042ee59f668b (diff) | |
| download | nanowasm-design-edd010eac01d735e17c91752afc29ed91765bd23.tar.gz | |
Binary: Condense format of local declarations
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md index bfdbe30..0f4f4f5 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -123,13 +123,21 @@ must contain a function body. Imported and exported functions must have a name. | flags | `uint8` | always | flags indicating attributes of a function <br>bit `0` : a name is present<br>bit `1` : the function is an import<br>bit `2` : the function has local variables<br>bit `3` : the function is an export | | signature | `uint16` | always | index into the Signature section | | name | `uint32` | `flags[0] == 1` | name of the function as an offset within the module | -| i32 count | `uint16` | `flags[2] == 1` | number of `i32` local variables | -| i64 count | `uint16` | `flags[2] == 1` | number of `i64` local variables | -| f32 count | `uint16` | `flags[2] == 1` | number of `f32` local variables | -| f64 count | `uint16` | `flags[2] == 1` | number of `f64` local variables | +| local count | `varuint32` | always | number of local entries | +| locals | `local_entry*` | always | local variables | | body size | `uint16` | `flags[0] == 0` | size of function body to follow, in bytes | | body | `bytes` | `flags[0] == 0` | function body | +#### Local Entry + +Each local entry declares a number of local variables of one type. +It is legal to have several entries with the same type. + +| Field | Type | Description | +| ----- | ----- | ----- | ----- | +| count | `varuint32` | number of local variables of the following type | +| type | `value_type` | type of the variables | + ### Data Segments section The data segemnts section declares the initialized data that should be loaded into the linear memory. A module may only contain one data segments section. |