diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-08-13 09:49:25 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-08-13 09:55:49 -0700 |
| commit | f428a6d069543a4341a87bf84f7c6263f8a91f62 (patch) | |
| tree | 0adb1bc8ada022d4892c8c696ff893bab2710c6d | |
| parent | 9563c50a91ed3a33242930133c42ac5014434052 (diff) | |
| download | nanowasm-design-f428a6d069543a4341a87bf84f7c6263f8a91f62.tar.gz | |
Elaborate on the semantics of `page_size`.
| -rw-r--r-- | AstSemantics.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index bc21c3d..2b47ec2 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -227,6 +227,11 @@ MVP, there are [future features](FutureFeatures.md#finer-grained-control-over-me proposed to allow setting protection and creating mappings within the contiguous linear memory. +In the MVP, the result type of `page_size` is `int32`; in the future, support +support for page sizes requiring a type of `int64` may be added. The page size +is an unsigned integer which is a power of 2 and at least 1024. `page_size` +traps if the actual page size cannot be represented under these constraints. + ## Local variables Each function has a fixed, pre-declared number of local variables which occupy a single |