diff --git a/proposals/simd/BinarySIMD.md b/proposals/simd/BinarySIMD.md index 871063b30..aebc549cd 100644 --- a/proposals/simd/BinarySIMD.md +++ b/proposals/simd/BinarySIMD.md @@ -252,3 +252,7 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive). | `i64x2.eq` | `TBD`| - | | `i64x2.ne` | `TBD`| - | | `i64x2.all_true` | `TBD`| - | +| `v8x16.signselect` | `TBD`| - | +| `v16x8.signselect` | `TBD`| - | +| `v32x4.signselect` | `TBD`| - | +| `v64x2.signselect` | `TBD`| - | diff --git a/proposals/simd/ImplementationStatus.md b/proposals/simd/ImplementationStatus.md index 37a68e690..d3af039cc 100644 --- a/proposals/simd/ImplementationStatus.md +++ b/proposals/simd/ImplementationStatus.md @@ -220,6 +220,10 @@ | `v128.store32_lane` | | | | | | | `v128.store64_lane` | | | | | | | `i64x2.ne` | | | | | | +| `v8x16.signselect` | | | | | | +| `v16x8.signselect` | | | | | | +| `v32x4.signselect` | | | | | | +| `v64x2.signselect` | | | | | | [1] Tip of tree LLVM as of May 20, 2020 diff --git a/proposals/simd/SIMD.md b/proposals/simd/SIMD.md index ed43dadd0..19ecfa93a 100644 --- a/proposals/simd/SIMD.md +++ b/proposals/simd/SIMD.md @@ -662,6 +662,17 @@ Note that the normal WebAssembly `select` instruction also works with vector types. It selects between two whole vectors controlled by a single scalar value, rather than selecting bits controlled by a control mask vector. +### Sign select +* `v8x16.signselect(v1: v128, v2: v128, c: v128) -> v128` +* `v16x8.signselect(v1: v128, v2: v128, c: v128) -> v128` +* `v32x4.signselect(v1: v128, v2: v128, c: v128) -> v128` +* `v64x2.signselect(v1: v128, v2: v128, c: v128) -> v128` + +Use the sign bits in the control mask `c` to select the corresponding element +from `v1` when 1 (negative sign) and `v2` when 0 (positive sign). + +Note that these instructions work for both signed integer and floating-point +control masks. ## Boolean horizontal reductions