i64x2.all_true instructions

Author: Maratyszcza

proposals/simd/BinarySIMD.md

@@ -183,6 +183,7 @@ For example, `ImmLaneIdx16` is a byte with values in the range 0-15 (inclusive).
 | `i32x4.max_u`               |    `0xb9`| -                  |
 | `i32x4.dot_i16x8_s`         |    `0xba`| -                  |
 | `i64x2.neg`                 |    `0xc1`| -                  |
+| `i64x2.all_true`            |    `0xc3`| -                  |
 | `i64x2.bitmask`             |    `0xc4`| -                  |
 | `i64x2.widen_low_i32x4_s`   |    `0xc7`| -                  |
 | `i64x2.widen_high_i32x4_s`  |    `0xc8`| -                  |

proposals/simd/ImplementationStatus.md

@@ -152,6 +152,7 @@
 | `i32x4.max_u`               |               `-msimd128` | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `i32x4.dot_i16x8_s`         |                           | :heavy_check_mark: |                    |                    | :heavy_check_mark: |
 | `i64x2.neg`                 |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
+| `i64x2.all_true`            |                           |                    |                    |                    |                    |
 | `i64x2.bitmask`             |                           |                    |                    |                    |                    |
 | `i64x2.shl`                 |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |
 | `i64x2.shr_s`               |               `-msimd128` | :heavy_check_mark: |                    | :heavy_check_mark: | :heavy_check_mark: |

proposals/simd/NewOpcodes.md

@@ -83,7 +83,7 @@
 | 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.all_true       | 0x63   | i16x8.all_true           | 0x83   | i32x4.all_true           | 0xa3   | i64x2.all_true           | 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   |
 | i8x16.narrow_i16x8_u | 0x66   | i16x8.narrow_i32x4_u     | 0x86   | ---- narrow ----         | 0xa6   | ----                     | 0xc6   |

proposals/simd/SIMD.md

@@ -687,6 +687,7 @@ def S.any_true(a):
 * `i8x16.all_true(a: v128) -> i32`
 * `i16x8.all_true(a: v128) -> i32`
 * `i32x4.all_true(a: v128) -> i32`
+* `i64x2.all_true(a: v128) -> i32`
 
 These functions return 1 if all lanes in `a` are non-zero, 0 otherwise.