diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-07-06 05:26:15 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-07-06 06:26:15 -0700 |
| commit | f9c6ce2bdb5560b66e5481043bdf2ca4c7b1ff69 (patch) | |
| tree | a18cfd3e966f395b311260bfcc1ddb4a468c07a0 | |
| parent | cdd89839f530eacec89adf9b0a0286d494846878 (diff) | |
| download | nanowasm-design-f9c6ce2bdb5560b66e5481043bdf2ca4c7b1ff69.tar.gz | |
Note that stores return their value.
| -rw-r--r-- | AstSemantics.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index c060628..25bf674 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -120,6 +120,9 @@ basic type to their memory type, and write the resulting value to linear memory: Wrapping of integers simply discards any upper bits; i.e. wrapping does not perform saturation, trap on overflow, etc. +In addition to storing a value to linear memory, store instructions also return +their value operand, with no conversion applied. + ### Addressing Each linear memory access operation also has an address operand and an immediate |