Add min and max operators.

WebAssembly · Sep 2, 2015 · d072c59 · rossberg · Sep 3, 2015 · sunfishcode
1 parent 02668bb
commit d072c59
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/ml-proto/src/arithmetic.ml b/ml-proto/src/arithmetic.ml
@@ -196,6 +196,8 @@ struct
       | Mul -> ( *.)
       | Div -> (/.)
       | CopySign -> copysign
+      | Min -> fun _ _ -> 0.0 (* TODO *)
+      | Max -> fun _ _ -> 0.0 (* TODO *)
     in
     fun v1 v2 -> Float.to_value (f (Float.of_value 1 v1) (Float.of_value 2 v2))
 

diff --git a/ml-proto/src/ast.ml b/ml-proto/src/ast.ml
@@ -44,7 +44,7 @@ end
 module FloatOp () =
 struct
   type unop = Neg | Abs | Ceil | Floor | Trunc | Nearest | Sqrt
-  type binop = Add | Sub | Mul | Div | CopySign
+  type binop = Add | Sub | Mul | Div | CopySign | Min | Max
   type relop = Eq | Neq | Lt | Le | Gt | Ge
   type cvt = ToInt32S | ToInt32U | ToInt64S | ToInt64U | ToIntCast
            | ToFloat32 | ToFloat64

diff --git a/ml-proto/src/lexer.mll b/ml-proto/src/lexer.mll
@@ -193,6 +193,8 @@ rule token = parse
   | "mul."(fxx as t) { BINARY (floatop t F32.Mul F64.Mul) }
   | "div."(fxx as t) { BINARY (floatop t F32.Div F64.Div) }
   | "copysign."(fxx as t) { BINARY (floatop t F32.CopySign F64.CopySign) }
+  | "min."(fxx as t) { BINARY (floatop t F32.Min F64.Min) }
+  | "max."(fxx as t) { BINARY (floatop t F32.Max F64.Max) }
 
   | "eq."(ixx as t) { COMPARE (intop t I32.Eq I64.Eq) }
   | "neq."(ixx as t) { COMPARE (intop t I32.Neq I64.Neq) }