From f428a6d069543a4341a87bf84f7c6263f8a91f62 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Thu, 13 Aug 2015 09:49:25 -0700 Subject: Elaborate on the semantics of `page_size`. --- AstSemantics.md | 5 +++++ 1 file changed, 5 insertions(+) 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 -- cgit v1.2.3