Update conversion op names

This renaming was decided on in
WebAssembly/spec#884.

Author: tlively

proposals/simd/BinarySIMD.md

@@ -157,14 +157,14 @@ The `v8x16.shuffle` instruction has 16 bytes after `simdop`.
 | `f64x2.div`                |    `0xa8`| -                  |
 | `f64x2.min`                |    `0xa9`| -                  |
 | `f64x2.max`                |    `0xaa`| -                  |
-| `i32x4.trunc_s/f32x4:sat`  |    `0xab`| -                  |
-| `i32x4.trunc_u/f32x4:sat`  |    `0xac`| -                  |
-| `i64x2.trunc_s/f64x2:sat`  |    `0xad`| -                  |
-| `i64x2.trunc_u/f64x2:sat`  |    `0xae`| -                  |
-| `f32x4.convert_s/i32x4`    |    `0xaf`| -                  |
-| `f32x4.convert_u/i32x4`    |    `0xb0`| -                  |
-| `f64x2.convert_s/i64x2`    |    `0xb1`| -                  |
-| `f64x2.convert_u/i64x2`    |    `0xb2`| -                  |
+| `i32x4.trunc_sat_f32x4_s`  |    `0xab`| -                  |
+| `i32x4.trunc_sat_f32x4_u`  |    `0xac`| -                  |
+| `i64x2.trunc_sat_f64x2_s`  |    `0xad`| -                  |
+| `i64x2.trunc_sat_f64x2_u`  |    `0xae`| -                  |
+| `f32x4.convert_i32x4_s`    |    `0xaf`| -                  |
+| `f32x4.convert_i32x4_u`    |    `0xb0`| -                  |
+| `f64x2.convert_i64x2_s`    |    `0xb1`| -                  |
+| `f64x2.convert_i64x2_u`    |    `0xb2`| -                  |
 | `v8x16.swizzle`            |    `0xc0`| -                  |
 | `v8x16.shuffle`            |    `0xc1`| s:LaneIdx32[16]    |
 | `v8x16.load_splat`         |    `0xc2`| -                  |

proposals/simd/SIMD.md

@@ -775,19 +775,19 @@ Lane-wise IEEE `squareRoot`.
 
 ## Conversions
 ### Integer to floating point
-* `f32x4.convert_s/i32x4(a: v128) -> v128`
-* `f32x4.convert_u/i32x4(a: v128) -> v128`
-* `f64x2.convert_s/i64x2(a: v128) -> v128`
-* `f64x2.convert_u/i64x2(a: v128) -> v128`
+* `f32x4.convert_i32x4_s(a: v128) -> v128`
+* `f32x4.convert_i32x4_u(a: v128) -> v128`
+* `f64x2.convert_i64x2_s(a: v128) -> v128`
+* `f64x2.convert_i64x2_u(a: v128) -> v128`
 
 Lane-wise conversion from integer to floating point. Some integer values will be
 rounded.
 
 ### Floating point to integer with saturation
-* `i32x4.trunc_s/f32x4:sat(a: v128) -> v128`
-* `i32x4.trunc_u/f32x4:sat(a: v128) -> v128`
-* `i64x2.trunc_s/f64x2:sat(a: v128) -> v128`
-* `i64x2.trunc_u/f64x2:sat(a: v128) -> v128`
+* `i32x4.trunc_sat_f32x4_s(a: v128) -> v128`
+* `i32x4.trunc_sat_f32x4_u(a: v128) -> v128`
+* `i64x2.trunc_sat_f64x2_s(a: v128) -> v128`
+* `i64x2.trunc_sat_f64x2_u(a: v128) -> v128`
 
 Lane-wise saturating conversion from floating point to integer using the IEEE
 `convertToIntegerTowardZero` function. If any input lane is a NaN, the