diff options
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 19 |
1 files changed, 3 insertions, 16 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index f735b8a..bd27f6e 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -71,9 +71,8 @@ extending for `memory_size` bytes which can be dynamically adjusted by be an untyped array of bytes, and it is unspecified how embedders map this array into their process' own [virtual memory][]. The linear memory is sandboxed; it does not alias the execution engine's internal data structures, the execution -stack, local variables, global variables, or other process memory. The initial -state of linear memory is specified by the -[module](Modules.md#initial-state-of-linear-memory). +stack, local variables, or other process memory. The initial state of linear +memory is specified by the [module](Modules.md#initial-state-of-linear-memory). [virtual memory]: https://en.wikipedia.org/wiki/Virtual_memory @@ -233,7 +232,7 @@ contiguous linear memory. Each function has a fixed, pre-declared number of local variables which occupy a single index space local to the function. Parameters are addressed as local variables. Local -variables do not have addresses and are not aliased in the globals or memory. Local +variables do not have addresses and are not aliased by linear memory. Local variables have local types and are initialized to the appropriate zero value for their type at the beginning of the function, except parameters which are initialized to the values of the arguments passed to the function. @@ -245,18 +244,6 @@ The details of index space for local variables and their types will be further c e.g. whether locals with type `int32` and `int64` must be contiguous and separate from others, etc. -## Global variables - -Global variables are storage locations outside the linear memory. -Every global has exactly one memory type. -Accesses to global variables specify the index as an integer literal. - - * `load_global`: load the value of a given global variable - * `store_global`: store a given value to a given global variable - -The specification will add atomicity annotations in the future. Currently -all global accesses can be considered "non-atomic". - ## Control flow structures WebAssembly offers basic structured control flow. All control flow structures |