i64x2.gt_u, i64x2.lt_u, i64x2.ge_u, and i64x2.le_u instructions

Author: Maratyszcza

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`| -                        |
+| `i64x2.lt_u`                |     `TBD`| -                        |
+| `i64x2.gt_u`                |     `TBD`| -                        |
+| `i64x2.le_u`                |     `TBD`| -                        |
+| `i64x2.ge_u`                |     `TBD`| -                        |

proposals/simd/ImplementationStatus.md

@@ -220,6 +220,10 @@
 | `v128.store32_lane`         |                           |                    |                    |                    |                    |
 | `v128.store64_lane`         |                           |                    |                    |                    |                    |
 | `i64x2.ne`                  |                           |                    |                    |                    |                    |
+| `i64x2.lt_u`                |                           |                    |                    |                    |                    |
+| `i64x2.gt_u`                |                           |                    |                    |                    |                    |
+| `i64x2.le_u`                |                           |                    |                    |                    |                    |
+| `i64x2.ge_u`                |                           |                    |                    |                    |                    |
 
 [1] Tip of tree LLVM as of May 20, 2020
 

proposals/simd/SIMD.md

@@ -757,6 +757,7 @@ def S.ne(a, b):
 * `i16x8.lt_u(a: v128, b: v128) -> v128`
 * `i32x4.lt_s(a: v128, b: v128) -> v128`
 * `i32x4.lt_u(a: v128, b: v128) -> v128`
+* `i64x2.lt_u(a: v128, b: v128) -> v128`
 * `f32x4.lt(a: v128, b: v128) -> v128`
 * `f64x2.lt(a: v128, b: v128) -> v128`
 
@@ -767,6 +768,7 @@ def S.ne(a, b):
 * `i16x8.le_u(a: v128, b: v128) -> v128`
 * `i32x4.le_s(a: v128, b: v128) -> v128`
 * `i32x4.le_u(a: v128, b: v128) -> v128`
+* `i64x2.le_u(a: v128, b: v128) -> v128`
 * `f32x4.le(a: v128, b: v128) -> v128`
 * `f64x2.le(a: v128, b: v128) -> v128`
 
@@ -777,6 +779,7 @@ def S.ne(a, b):
 * `i16x8.gt_u(a: v128, b: v128) -> v128`
 * `i32x4.gt_s(a: v128, b: v128) -> v128`
 * `i32x4.gt_u(a: v128, b: v128) -> v128`
+* `i64x2.gt_u(a: v128, b: v128) -> v128`
 * `f32x4.gt(a: v128, b: v128) -> v128`
 * `f64x2.gt(a: v128, b: v128) -> v128`
 
@@ -787,6 +790,7 @@ def S.ne(a, b):
 * `i16x8.ge_u(a: v128, b: v128) -> v128`
 * `i32x4.ge_s(a: v128, b: v128) -> v128`
 * `i32x4.ge_u(a: v128, b: v128) -> v128`
+* `i64x2.ge_u(a: v128, b: v128) -> v128`
 * `f32x4.ge(a: v128, b: v128) -> v128`
 * `f64x2.ge(a: v128, b: v128) -> v128`