From b10d3bfa3cf3edd8b1247d7fa64cdfe5f57e9bc5 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Fri, 13 Sep 2019 14:21:48 -0700 Subject: [PATCH 1/2] Update conversion op names This renaming was decided on in https://github.com/WebAssembly/spec/issues/884. --- proposals/simd/BinarySIMD.md | 16 ++++++++-------- proposals/simd/SIMD.md | 16 ++++++++-------- 2 files changed, 16 insertions(+), 16 deletions(-) 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/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 From ca63dcc3f53beb19f06516f630d1fdf6a53de7b0 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Fri, 13 Sep 2019 14:42:31 -0700 Subject: [PATCH 2/2] Update ImplementationStatus.md as well --- proposals/simd/ImplementationStatus.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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` | | | | |