Add f64x2 add sub mul div neg sqrt (#246)

This passes f64x2_arith.wast

Author: ngzhian

interpreter/exec/eval_numeric.ml

@@ -133,6 +133,8 @@ struct
       | F32x4 Neg -> to_value (SXX.F32x4.neg (of_value 1 v))
       | F32x4 Sqrt -> to_value (SXX.F32x4.sqrt (of_value 1 v))
       | F64x2 Abs -> to_value (SXX.F64x2.abs (of_value 1 v))
+      | F64x2 Neg -> to_value (SXX.F64x2.neg (of_value 1 v))
+      | F64x2 Sqrt -> to_value (SXX.F64x2.sqrt (of_value 1 v))
       | _ -> failwith "TODO v128 unimplemented unop"
 
   let binop (op : binop) =
@@ -150,6 +152,10 @@ struct
       | F32x4 Div -> SXX.F32x4.div
       | F32x4 Min -> SXX.F32x4.min
       | F32x4 Max -> SXX.F32x4.max
+      | F64x2 Add -> SXX.F64x2.add
+      | F64x2 Sub -> SXX.F64x2.sub
+      | F64x2 Mul -> SXX.F64x2.mul
+      | F64x2 Div -> SXX.F64x2.div
       | F64x2 Min -> SXX.F64x2.min
       | F64x2 Max -> SXX.F64x2.max
       | _ -> failwith "TODO v128 unimplemented binop"

interpreter/syntax/operators.ml

@@ -226,6 +226,12 @@ let f32x4_div = Binary (V128 (V128Op.F32x4 V128Op.Div))
 let f32x4_min = Binary (V128 (V128Op.F32x4 V128Op.Min))
 let f32x4_max = Binary (V128 (V128Op.F32x4 V128Op.Max))
 
+let f64x2_neg = Unary (V128 (V128Op.F64x2 V128Op.Neg))
+let f64x2_sqrt = Unary (V128 (V128Op.F64x2 V128Op.Sqrt))
+let f64x2_add = Binary (V128 (V128Op.F64x2 V128Op.Add))
+let f64x2_sub = Binary (V128 (V128Op.F64x2 V128Op.Sub))
+let f64x2_mul = Binary (V128 (V128Op.F64x2 V128Op.Mul))
+let f64x2_div = Binary (V128 (V128Op.F64x2 V128Op.Div))
 let f64x2_min = Binary (V128 (V128Op.F64x2 V128Op.Min))
 let f64x2_max = Binary (V128 (V128Op.F64x2 V128Op.Max))
 let f64x2_abs = Unary (V128 (V128Op.F64x2 V128Op.Abs))

interpreter/text/lexer.mll

@@ -389,17 +389,15 @@ rule token = parse
   | "output" { OUTPUT }
 
   | (simd_shape as s)".neg"
-    { if s <> "i32x4" && s <> "f32x4" then error lexbuf "unknown operator";
-      UNARY (simdop s unreachable unreachable i32x4_neg unreachable f32x4_neg unreachable) }
-  | (simd_float_shape as s)".sqrt"
-    { if s <> "f32x4" then error lexbuf "unknown operator";
-      UNARY (simd_float_op s f32x4_sqrt unreachable) }
+    { if s <> "i32x4" && s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
+      UNARY (simdop s unreachable unreachable i32x4_neg unreachable f32x4_neg f64x2_neg) }
+  | (simd_float_shape as s)".sqrt" { UNARY (simd_float_op s f32x4_sqrt f64x2_sqrt) }
   | (simd_shape as s)".add"
-    { if s <> "i32x4" && s <> "f32x4" then error lexbuf "unknown operator";
-      BINARY (simdop s unreachable unreachable i32x4_add unreachable f32x4_add unreachable) }
+    { if s <> "i32x4" && s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
+      BINARY (simdop s unreachable unreachable i32x4_add unreachable f32x4_add f64x2_add) }
   | (simd_shape as s)".sub"
-    { if s <> "i32x4" && s <> "f32x4"  then error lexbuf "unknown operator";
-      BINARY (simdop s unreachable unreachable i32x4_sub unreachable f32x4_sub unreachable) }
+    { if s <> "i32x4" && s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
+      BINARY (simdop s unreachable unreachable i32x4_sub unreachable f32x4_sub f64x2_sub) }
   | (simd_shape as s)".min_s"
     { if s <> "i32x4" then error lexbuf "unknown operator";
       BINARY (simdop s unreachable unreachable i32x4_min_s unreachable unreachable unreachable) }
@@ -413,17 +411,11 @@ rule token = parse
     { if s <> "i32x4" then error lexbuf "unknown operator";
       BINARY (simdop s unreachable unreachable i32x4_max_u unreachable unreachable unreachable) }
   | (simd_shape as s)".mul"
-    { if s <> "i32x4" && s <> "f32x4" then error lexbuf "unknown operator";
-      BINARY (simdop s unreachable unreachable i32x4_mul unreachable f32x4_mul unreachable) }
-  | (simd_float_shape as s)".div"
-    { if s <> "f32x4" then error lexbuf "unknown operator";
-      BINARY (simd_float_op s f32x4_div unreachable) }
-  | (simd_shape as s)".min"
-    { if s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
-      BINARY (simdop s unreachable unreachable unreachable unreachable f32x4_min f64x2_min) }
-  | (simd_shape as s)".max"
-    { if s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
-      BINARY (simdop s unreachable unreachable unreachable unreachable f32x4_max f64x2_max) }
+    { if s <> "i32x4" && s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
+      BINARY (simdop s unreachable unreachable i32x4_mul unreachable f32x4_mul f64x2_mul) }
+  | (simd_float_shape as s)".div" { BINARY (simd_float_op s f32x4_div f64x2_div) }
+  | (simd_float_shape as s)".min" { BINARY (simd_float_op s f32x4_min f64x2_min) }
+  | (simd_float_shape as s)".max" { BINARY (simd_float_op s f32x4_max f64x2_max) }
   | (simd_shape as s)".abs"
     { if s <> "i32x4" && s <> "f32x4" && s <> "f64x2" then error lexbuf "unknown operator";
       UNARY (simdop s unreachable unreachable i32x4_abs unreachable f32x4_abs f64x2_abs) }