Sign Select instructions

WebAssembly · Dec 18, 2020 · 15223e7 · 15223e7
1 parent 20e914b
commit 15223e7
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 0 deletions.
diff --git a/proposals/simd/BinarySIMD.md b/proposals/simd/BinarySIMD.md
@@ -237,3 +237,7 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `i64x2.extmul_high_i32x4_s` |   `0x119`| -                  |
 | `i64x2.extmul_low_i32x4_u`  |   `0x11a`| -                  |
 | `i64x2.extmul_high_i32x4_u` |   `0x11b`| -                  |
+| `v8x16.signselect`          |  `0xfd7d`| -                  |
+| `v16x8.signselect`          |  `0xfd7e`| -                  |
+| `v32x4.signselect`          |  `0xfd7f`| -                  |
+| `v64x2.signselect`          |  `0xfd94`| -                  |
diff --git a/proposals/simd/ImplementationStatus.md b/proposals/simd/ImplementationStatus.md
@@ -205,6 +205,10 @@
 | `i64x2.extmul_high_i32x4_s` |                           |                    |                    |                    |                    |
 | `i64x2.extmul_low_i32x4_u`  |                           |                    |                    |                    |                    |
 | `i64x2.extmul_high_i32x4_u` |                           |                    |                    |                    |                    |
+| `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
@@ -649,6 +649,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