Rename opcodes.

See WebAssembly/spec#884 (comment).

Author: sunfishcode

BinaryEncoding.md

@@ -810,14 +810,14 @@ for [future :unicorn:][future multiple tables] use and must be 0 in the MVP.
 | `f64.convert_s/i64` | `0xb9` | | |
 | `f64.convert_u/i64` | `0xba` | | |
 | `f64.promote/f32` | `0xbb` | | |
-| `i32.trunc_s:sat/f32` | `0xfc` `0x00` | | :bowling: saturating form of `i32.trunc_s/f32` |
-| `i32.trunc_u:sat/f32` | `0xfc` `0x01` | | :bowling: saturating form of `i32.trunc_u/f32` |
-| `i32.trunc_s:sat/f64` | `0xfc` `0x02` | | :bowling: saturating form of `i32.trunc_s/f64` |
-| `i32.trunc_u:sat/f64` | `0xfc` `0x03` | | :bowling: saturating form of `i32.trunc_u/f64` |
-| `i64.trunc_s:sat/f32` | `0xfc` `0x04` | | :bowling: saturating form of `i64.trunc_s/f32` |
-| `i64.trunc_u:sat/f32` | `0xfc` `0x05` | | :bowling: saturating form of `i64.trunc_u/f32` |
-| `i64.trunc_s:sat/f64` | `0xfc` `0x06` | | :bowling: saturating form of `i64.trunc_s/f64` |
-| `i64.trunc_u:sat/f64` | `0xfc` `0x07` | | :bowling: saturating form of `i64.trunc_u/f64` |
+| `i32.trunc_sat_f32_s` | `0xfc` `0x00` | | :bowling: saturating form of `i32.trunc_f32_s` |
+| `i32.trunc_sat_f32_u` | `0xfc` `0x01` | | :bowling: saturating form of `i32.trunc_f32_u` |
+| `i32.trunc_sat_f64_s` | `0xfc` `0x02` | | :bowling: saturating form of `i32.trunc_f64_s` |
+| `i32.trunc_sat_f64_u` | `0xfc` `0x03` | | :bowling: saturating form of `i32.trunc_f64_u` |
+| `i64.trunc_sat_f32_s` | `0xfc` `0x04` | | :bowling: saturating form of `i64.trunc_f32_s` |
+| `i64.trunc_sat_f32_u` | `0xfc` `0x05` | | :bowling: saturating form of `i64.trunc_f32_u` |
+| `i64.trunc_sat_f64_s` | `0xfc` `0x06` | | :bowling: saturating form of `i64.trunc_f64_s` |
+| `i64.trunc_sat_f64_u` | `0xfc` `0x07` | | :bowling: saturating form of `i64.trunc_f64_u` |
 
 ## Reinterpretations ([described here](Semantics.md#datatype-conversions-truncations-reinterpretations-promotions-and-demotions))
 

Semantics.md

@@ -648,14 +648,14 @@ is NaN, and *ordered* otherwise.
   * `f64.convert_u/i32`: convert an unsigned 32-bit integer to a 64-bit float
   * `f64.convert_u/i64`: convert an unsigned 64-bit integer to a 64-bit float
   * `f64.reinterpret/i64`: reinterpret the bits of a 64-bit integer as a 64-bit float
-  * `i32.trunc_s:sat/f32`: :bowling: truncate a 32-bit float to a signed 32-bit integer with saturation
-  * `i32.trunc_s:sat/f64`: :bowling: truncate a 64-bit float to a signed 32-bit integer with saturation
-  * `i32.trunc_u:sat/f32`: :bowling: truncate a 32-bit float to an unsigned 32-bit integer with saturation
-  * `i32.trunc_u:sat/f64`: :bowling: truncate a 64-bit float to an unsigned 32-bit integer with saturation
-  * `i64.trunc_s:sat/f32`: :bowling: truncate a 32-bit float to a signed 64-bit integer with saturation
-  * `i64.trunc_s:sat/f64`: :bowling: truncate a 64-bit float to a signed 64-bit integer with saturation
-  * `i64.trunc_u:sat/f32`: :bowling: truncate a 32-bit float to an unsigned 64-bit integer with saturation
-  * `i64.trunc_u:sat/f64`: :bowling: truncate a 64-bit float to an unsigned 64-bit integer with saturation
+  * `i32.trunc_sat_f32_s`: :bowling: truncate a 32-bit float to a signed 32-bit integer with saturation
+  * `i32.trunc_sat_f64_s`: :bowling: truncate a 64-bit float to a signed 32-bit integer with saturation
+  * `i32.trunc_sat_f32_u`: :bowling: truncate a 32-bit float to an unsigned 32-bit integer with saturation
+  * `i32.trunc_sat_f64_u`: :bowling: truncate a 64-bit float to an unsigned 32-bit integer with saturation
+  * `i64.trunc_sat_f32_s`: :bowling: truncate a 32-bit float to a signed 64-bit integer with saturation
+  * `i64.trunc_sat_f64_s`: :bowling: truncate a 64-bit float to a signed 64-bit integer with saturation
+  * `i64.trunc_sat_f32_u`: :bowling: truncate a 32-bit float to an unsigned 64-bit integer with saturation
+  * `i64.trunc_sat_f64_u`: :bowling: truncate a 64-bit float to an unsigned 64-bit integer with saturation
 
 Wrapping and extension of integer values always succeed.
 Promotion and demotion of floating point values always succeed.
@@ -683,7 +683,7 @@ Truncation from floating point to integer where IEEE 754-2008 would specify an
 invalid operator exception (e.g. when the floating point value is NaN or
 outside the range which rounds to an integer in range) is handled as follows:
  - For instructions with no exceptional behavior specified, a trap is produced.
- - :bowling: For instructions with the `:sat` modifier, no trap is produced, and:
+ - :bowling: For instructions containing `_sat`, no trap is produced, and:
     - If the floating-point value is positive, the maximum integer value is returned.
     - If the floating-point value is negative, the minimum integer value is returned.
     - If the floating-point value is NaN, zero is returned.