Replace i8x16/i16x8/i32x4.any_true with v128.any_true

Author: Maratyszcza

proposals/simd/BinarySIMD.md

@@ -117,7 +117,6 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `v128.bitselect`            |    `0x52`| -                  |
 | `i8x16.abs`                 |    `0x60`| -                  |
 | `i8x16.neg`                 |    `0x61`| -                  |
-| `i8x16.any_true`            |    `0x62`| -                  |
 | `i8x16.all_true`            |    `0x63`| -                  |
 | `i8x16.bitmask`             |    `0x64`| -                  |
 | `i8x16.narrow_i16x8_s`      |    `0x65`| -                  |
@@ -138,7 +137,6 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `i8x16.avgr_u`              |    `0x7b`| -                  |
 | `i16x8.abs`                 |    `0x80`| -                  |
 | `i16x8.neg`                 |    `0x81`| -                  |
-| `i16x8.any_true`            |    `0x82`| -                  |
 | `i16x8.all_true`            |    `0x83`| -                  |
 | `i16x8.bitmask`             |    `0x84`| -                  |
 | `i16x8.narrow_i32x4_s`      |    `0x85`| -                  |
@@ -164,7 +162,6 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `i16x8.avgr_u`              |    `0x9b`| -                  |
 | `i32x4.abs`                 |    `0xa0`| -                  |
 | `i32x4.neg`                 |    `0xa1`| -                  |
-| `i32x4.any_true`            |    `0xa2`| -                  |
 | `i32x4.all_true`            |    `0xa3`| -                  |
 | `i32x4.bitmask`             |    `0xa4`| -                  |
 | `i32x4.widen_low_i16x8_s`   |    `0xa7`| -                  |
@@ -239,3 +236,4 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `i64x2.extmul_low_i32x4_u`  |   `0x11a`| -                  |
 | `i64x2.extmul_high_i32x4_u` |   `0x11b`| -                  |
 | `i16x8.q15mulr_sat_s`       |     `TBD`| -                  |
+| `v128.any_true`             |     `TBD`| -                  |

proposals/simd/ImplementationStatus.md

@@ -85,7 +85,6 @@
 | `v128.bitselect`            |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `i8x16.abs`                 |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `i8x16.neg`                 |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
-| `i8x16.any_true`            |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `i8x16.all_true`            |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `i8x16.bitmask`             | `-munimplemented-simd128` | :heavy_check_mark: [6] |                |                    | :heavy_check_mark: |
 | `i8x16.narrow_i16x8_s`      |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
@@ -106,7 +105,6 @@
 | `i8x16.avgr_u`              |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `i16x8.abs`                 |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `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: |
 | `i16x8.bitmask`             | `-munimplemented-simd128` | :heavy_check_mark: [6] |                |                    | :heavy_check_mark: |
 | `i16x8.narrow_i32x4_s`      |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
@@ -133,7 +131,6 @@
 | `i16x8.q15mulr_sat_s`       |                           |                    |                    |                    |                    |
 | `i32x4.abs`                 |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `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: |
 | `i32x4.bitmask`             | `-munimplemented-simd128` | :heavy_check_mark: [6] |                |                    | :heavy_check_mark: |
 | `i32x4.widen_low_i16x8_s`   |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
@@ -207,6 +204,7 @@
 | `i64x2.extmul_high_i32x4_s` |                           |                    |                    |                    |                    |
 | `i64x2.extmul_low_i32x4_u`  |                           |                    |                    |                    |                    |
 | `i64x2.extmul_high_i32x4_u` |                           |                    |                    |                    |                    |
+| `v128.any_true`             |                           |                    |                    |                    |                    |
 
 [1] Tip of tree LLVM as of May 20, 2020
 

proposals/simd/NewOpcodes.md

@@ -82,7 +82,6 @@
 | -------------------- | ------ | ------------------------ | ------ | ------------------------ | ------ | ------------- | ------ |
 | i8x16.abs            | 0x60   | i16x8.abs                | 0x80   | i32x4.abs                | 0xa0   | ----          | 0xc0   |
 | i8x16.neg            | 0x61   | i16x8.neg                | 0x81   | i32x4.neg                | 0xa1   | i64x2.neg     | 0xc1   |
-| i8x16.any_true       | 0x62   | i16x8.any_true           | 0x82   | i32x4.any_true           | 0xa2   | ----          | 0xc2   |
 | i8x16.all_true       | 0x63   | i16x8.all_true           | 0x83   | i32x4.all_true           | 0xa3   | ----          | 0xc3   |
 | i8x16.bitmask        | 0x64   | i16x8.bitmask            | 0x84   | i32x4.bitmask            | 0xa4   | i64x2.bitmask | 0xc4   |
 | i8x16.narrow_i16x8_s | 0x65   | i16x8.narrow_i32x4_s     | 0x85   | ---- narrow ----         | 0xa5   | ----          | 0xc5   |

proposals/simd/SIMD.md

@@ -668,20 +668,10 @@ rather than selecting bits controlled by a control mask vector.
 These operations reduce all the lanes of an integer vector to a single scalar
 0 or 1 value. A lane is considered "true" if it is non-zero.
 
-### Any lane true
-* `i8x16.any_true(a: v128) -> i32`
-* `i16x8.any_true(a: v128) -> i32`
-* `i32x4.any_true(a: v128) -> i32`
+### Any bit true
+* `v128.any_true(a: v128) -> i32`
 
-These functions return 1 if any lane in `a` is non-zero, 0 otherwise.
-
-```python
-def S.any_true(a):
-    for i in range(S.Lanes):
-        if a[i] != 0:
-            return 1
-    return 0
-```
+These functions return 1 if any bit in `a` is non-zero, 0 otherwise.
 
 ### All lanes true
 * `i8x16.all_true(a: v128) -> i32`