Integer absolute value instructions

Author: Maratyszcza

proposals/simd/BinarySIMD.md

@@ -201,3 +201,6 @@ The `v8x16.shuffle` instruction has 16 bytes after `simdop`.
 | `i64x2.load32x2_s`         |    `0xd6`| m:memarg           |
 | `i64x2.load32x2_u`         |    `0xd7`| m:memarg           |
 | `v128.andnot`              |    `0xd8`| -                  |
+| `i8x16.abs`                |    `0xd9`| -                  |
+| `i16x8.abs`                |    `0xda`| -                  |
+| `i32x4.abs`                |    `0xdb`| -                  |

proposals/simd/ImplementationStatus.md

@@ -91,6 +91,7 @@
 | `i8x16.min_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i8x16.max_s`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i8x16.max_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
+| `i8x16.abs`                |                           |                       |                    |                    |
 | `i16x8.neg`                |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
 | `i16x8.any_true`           |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
 | `i16x8.all_true`           |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
@@ -108,6 +109,7 @@
 | `i16x8.min_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i16x8.max_s`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i16x8.max_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
+| `i16x8.abs`                |                           |                       |                    |                    |
 | `i32x4.neg`                |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
 | `i32x4.any_true`           |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
 | `i32x4.all_true`           |               `-msimd128` |    :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: |
@@ -121,6 +123,7 @@
 | `i32x4.min_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i32x4.max_s`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
 | `i32x4.max_u`              | `-munimplemented-simd128` |    :heavy_check_mark: |                    |                    |
+| `i32x4.abs`                |                           |                       |                    |                    |
 | `i64x2.neg`                | `-munimplemented-simd128` |                       | :heavy_check_mark: | :heavy_check_mark: |
 | `i64x2.shl`                | `-munimplemented-simd128` |                       | :heavy_check_mark: | :heavy_check_mark: |
 | `i64x2.shr_s`              | `-munimplemented-simd128` |                       | :heavy_check_mark: | :heavy_check_mark: |

proposals/simd/SIMD.md

@@ -488,6 +488,18 @@ each pair.
 def S.max(a, b):
     return S.lanewise_binary(max, a, b)
 ```
+### Lane-wise integer absolute value
+* `i8x16.abs(a: v128) -> v128`
+* `i16x8.abs(a: v128) -> v128`
+* `i32x4.abs(a: v128) -> v128`
+
+Lane-wise wrapping absolute value.
+
+```python
+def S.abs(a):
+    return S.lanewise_unary(abs, S.AsSigned(a))
+```
+
 ## Bit shifts
 
 ### Left shift by scalar
@@ -776,7 +788,7 @@ def S.neg(a):
     return S.lanewise_unary(ieee.negate, a)
 ```
 
-### Absolute value
+### Floating-point absolute value
 * `f32x4.abs(a: v128) -> v128`
 * `f64x2.abs(a: v128) -> v128`