diff --git a/proposals/simd/BinarySIMD.md b/proposals/simd/BinarySIMD.md
index a9a589720..77cfa1820 100644
--- a/proposals/simd/BinarySIMD.md
+++ b/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`| -                  |
diff --git a/proposals/simd/ImplementationStatus.md b/proposals/simd/ImplementationStatus.md
index 3ced5d861..4409fc35a 100644
--- a/proposals/simd/ImplementationStatus.md
+++ b/proposals/simd/ImplementationStatus.md
@@ -134,14 +134,14 @@
 | `f64x2.div`                | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `f64x2.min`                | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `f64x2.max`                | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
-| `i32x4.trunc_s/f32x4:sat`  |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
-| `i32x4.trunc_u/f32x4:sat`  |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
-| `i64x2.trunc_s/f64x2:sat`  | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
-| `i64x2.trunc_u/f64x2:sat`  | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
-| `f32x4.convert_s/i32x4`    |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
-| `f32x4.convert_u/i32x4`    |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
-| `f64x2.convert_s/i64x2`    | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
-| `f64x2.convert_u/i64x2`    | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
+| `i32x4.trunc_sat_f32x4_s`  |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
+| `i32x4.trunc_sat_f32x4_u`  |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
+| `i64x2.trunc_sat_f64x2_s`  | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
+| `i64x2.trunc_sat_f64x2_u`  | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
+| `f32x4.convert_i32x4_s`    |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
+| `f32x4.convert_i32x4_u`    |               `-msimd128` | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
+| `f64x2.convert_i64x2_s`    | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
+| `f64x2.convert_i64x2_u`    | `-munimplemented-simd128` |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `v8x16.swizzle`            |                           |                    | :heavy_check_mark: |                    |
 | `v8x16.shuffle`            |                           |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `i16x8.load8x8_u`          |                           |                    |                    |                    |
diff --git a/proposals/simd/SIMD.md b/proposals/simd/SIMD.md
index 16277829d..c7239b7aa 100644
--- a/proposals/simd/SIMD.md
+++ b/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