diff options
Diffstat (limited to 'AstSemantics.md')
| -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 |