diff options
| author | JF Bastien <jfb@chromium.org> | 2015-06-10 18:48:36 +0200 |
|---|---|---|
| committer | JF Bastien <jfb@chromium.org> | 2015-06-10 18:48:36 +0200 |
| commit | 90ce54fd91e14864b4aafcf0c2f2ecf2b28ceea2 (patch) | |
| tree | 071de6f8c2cd99519f18f7aab8a269536da90404 | |
| parent | d545dcfe9cba788e189569721a746e3047e57def (diff) | |
| download | nanowasm-design-90ce54fd91e14864b4aafcf0c2f2ecf2b28ceea2.tar.gz | |
32/64 int trunc, sext, zext.
| -rw-r--r-- | AstSemantics.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 259508d..1560df8 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -405,6 +405,9 @@ Min, Max, MinNum, and MaxNum operations would treat -0 as being effectively less ## Datatype conversions, truncations, reinterpretations, promotions, and demotions + * Int32FromInt64 - truncate a 64-bit signed integer to a 32-bit signed integer + * Int64FromInt32 - sign-extend a 32-bit signed integer to a 64-bit signed integer + * Uint64FromuInt32 - zero-extend a 32-bit unsigned integer to a 64-bit unsigned integer * Int32FromFloat64 - truncate a 64-bit float to a 32-bit signed integer * Int32FromFloat32 - truncate a 32-bit float to a 32-bit signed integer * Int64FromFloat64 - truncate a 64-bit float to a 64-bit signed integer |