From f9c6ce2bdb5560b66e5481043bdf2ca4c7b1ff69 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Mon, 6 Jul 2015 05:26:15 -0800 Subject: Note that stores return their value. --- AstSemantics.md | 3 +++ 1 file changed, 3 insertions(+) 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 -- cgit v1.2.3