added %modfloat primitive, added Pervasives.mod_float compat

Author: cometkim

jscomp/core/lam_analysis.ml

@@ -65,7 +65,7 @@ let rec no_side_effects (lam : Lam.t) : bool =
       | Pintorder | Pintmin | Pintmax
       (* float primitives *)
       | Pintoffloat | Pfloatofint | Pnegfloat
-      | Paddfloat | Psubfloat | Pmulfloat | Pdivfloat
+      | Paddfloat | Psubfloat | Pmulfloat | Pdivfloat | Pmodfloat
       | Pfloatcomp _ | Pjscomp _ | Pfloatorder | Pfloatmin | Pfloatmax
       (* bigint primitives *)
       | Pnegbigint | Paddbigint | Psubbigint | Pmulbigint | Ppowbigint

jscomp/core/lam_compile_primitive.ml

@@ -204,6 +204,8 @@ let translate output_prefix loc (cxt : Lam_compile_context.t)
       match args with [ e1; e2 ] -> E.bigint_op Mul e1 e2 | _ -> assert false)
   | Pdivfloat -> (
       match args with [ e1; e2 ] -> E.float_div e1 e2 | _ -> assert false)
+  | Pmodfloat -> (
+      match args with [ e1; e2 ] -> E.float_mod e1 e2 | _ -> assert false)
   | Pdivint -> (
       match args with
       | [ e1; e2 ] -> E.int32_div ~checked:!Js_config.check_div_by_zero e1 e2

jscomp/core/lam_convert.ml

@@ -287,6 +287,7 @@ let lam_prim ~primitive:(p : Lambda.primitive) ~args loc : Lam.t =
   | Psubfloat -> prim ~primitive:Psubfloat ~args loc
   | Pmulfloat -> prim ~primitive:Pmulfloat ~args loc
   | Pdivfloat -> prim ~primitive:Pdivfloat ~args loc
+  | Pmodfloat -> prim ~primitive:Pmodfloat ~args loc
   | Pfloatorder -> prim ~primitive:Pfloatorder ~args loc
   | Pfloatmin -> prim ~primitive:Pfloatmin ~args loc
   | Pfloatmax -> prim ~primitive:Pfloatmax ~args loc

jscomp/core/lam_primitive.ml

@@ -102,6 +102,7 @@ type t =
   | Psubfloat
   | Pmulfloat
   | Pdivfloat
+  | Pmodfloat
   | Pfloatcomp of Lam_compat.comparison
   | Pfloatorder
   | Pfloatmin
@@ -246,6 +247,7 @@ let eq_primitive_approx (lhs : t) (rhs : t) =
   | Psubfloat
   | Pmulfloat
   | Pdivfloat
+  | Pmodfloat
   | Pfloatorder
   | Pfloatmin
   | Pfloatmax

jscomp/core/lam_primitive.mli

@@ -92,6 +92,7 @@ type t =
   | Psubfloat
   | Pmulfloat
   | Pdivfloat
+  | Pmodfloat
   | Pfloatcomp of Lam_compat.comparison
   | Pfloatorder
   | Pfloatmin

jscomp/core/lam_print.ml

@@ -140,6 +140,7 @@ let primitive ppf (prim : Lam_primitive.t) =
   | Psubfloat -> fprintf ppf "-."
   | Pmulfloat -> fprintf ppf "*."
   | Pdivfloat -> fprintf ppf "/."
+  | Pmodfloat -> fprintf ppf "mod"
   | Pfloatcomp Ceq -> fprintf ppf "==."
   | Pfloatcomp Cneq -> fprintf ppf "!=."
   | Pfloatcomp Clt -> fprintf ppf "<."

jscomp/ml/lambda.ml

@@ -221,7 +221,7 @@ type primitive =
   | Poffsetref of int
   (* Float operations *)
   | Pintoffloat | Pfloatofint
-  | Pnegfloat | Pabsfloat
+  | Pnegfloat | Pabsfloat | Pmodfloat
   | Paddfloat | Psubfloat | Pmulfloat | Pdivfloat
   | Pfloatcomp of comparison
   | Pfloatorder | Pfloatmin | Pfloatmax

jscomp/ml/lambda.mli

@@ -196,7 +196,7 @@ type primitive =
   | Poffsetref of int
   (* Float operations *)
   | Pintoffloat | Pfloatofint
-  | Pnegfloat | Pabsfloat
+  | Pnegfloat | Pabsfloat | Pmodfloat
   | Paddfloat | Psubfloat | Pmulfloat | Pdivfloat
   | Pfloatcomp of comparison
   | Pfloatorder | Pfloatmin | Pfloatmax

jscomp/ml/printlambda.ml

@@ -179,6 +179,7 @@ let primitive ppf = function
   | Psubfloat -> fprintf ppf "-."
   | Pmulfloat -> fprintf ppf "*."
   | Pdivfloat -> fprintf ppf "/."
+  | Pmodfloat -> fprintf ppf "mod"
   | Pfloatcomp(Ceq) -> fprintf ppf "==."
   | Pfloatcomp(Cneq) -> fprintf ppf "!=."
   | Pfloatcomp(Clt) -> fprintf ppf "<."

jscomp/ml/translcore.ml

@@ -280,6 +280,7 @@ let primitives_table =
       ("%subfloat", Psubfloat);
       ("%mulfloat", Pmulfloat);
       ("%divfloat", Pdivfloat);
+      ("%modfloat", Pmodfloat);
       ("%eqfloat", Pfloatcomp Ceq);
       ("%noteqfloat", Pfloatcomp Cneq);
       ("%ltfloat", Pfloatcomp Clt);

jscomp/runtime/pervasives.res

@@ -165,6 +165,9 @@ module Pervasives = {
   @deprecated("Use Core or Js instead. This will be removed in v13") @val @scope("Math")
   external abs_float: float => float = "abs"
 
+  @deprecated("Use Core instead. This will be removed in v13")
+  external mod_float: float => float = "%modfloat"
+
   @deprecated("Use Core instead. This will be removed in v13")
   external float: int => float = "%floatofint"
 

jscomp/runtime/release.ninja

@@ -10,31 +10,31 @@ rule cc_cmi
 
 o runtime/pervasives.cmj runtime/pervasives.cmi : cc runtime/pervasives.res
     bsc_flags = $bsc_flags -nopervasives
-o runtime/array.cmj : cc_cmi runtime/array.res | runtime/array.cmi runtime/list.cmj
+o runtime/array.cmj : cc_cmi runtime/array.res | runtime/array.cmi runtime/list.cmj runtime/primitive_array.cmj runtime/primitive_exceptions.cmj
 o runtime/array.cmi : cc runtime/array.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/char.cmj : cc_cmi runtime/char.res | runtime/char.cmi runtime/primitive_array_extern.cmj
 o runtime/char.cmi : cc runtime/char.resi | runtime/pervasives.cmi runtime/pervasives.cmj
-o runtime/hashtbl.cmj : cc_cmi runtime/hashtbl.res | runtime/hashtbl.cmi
+o runtime/hashtbl.cmj : cc_cmi runtime/hashtbl.res | runtime/hashtbl.cmi runtime/primitive_hash.cmj
 o runtime/hashtbl.cmi : cc runtime/hashtbl.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/lazy.cmj : cc_cmi runtime/lazy.res | runtime/lazy.cmi runtime/primitive_lazy.cmj
 o runtime/lazy.cmi : cc runtime/lazy.resi | runtime/pervasives.cmi runtime/pervasives.cmj
-o runtime/list.cmj : cc_cmi runtime/list.res | runtime/list.cmi
+o runtime/list.cmj : cc_cmi runtime/list.res | runtime/list.cmi runtime/pervasives.cmj runtime/primitive_option.cmj
 o runtime/list.cmi : cc runtime/list.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/primitive_curry.cmj : cc_cmi runtime/primitive_curry.res | runtime/array.cmj runtime/obj.cmj runtime/primitive_array_extern.cmj runtime/primitive_curry.cmi runtime/primitive_js_extern.cmj runtime/primitive_object_extern.cmj
 o runtime/primitive_curry.cmi : cc runtime/primitive_curry.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/primitive_exceptions.cmj : cc_cmi runtime/primitive_exceptions.res | runtime/obj.cmj runtime/primitive_exceptions.cmi runtime/primitive_js_extern.cmj runtime/primitive_object_extern.cmj
 o runtime/primitive_exceptions.cmi : cc runtime/primitive_exceptions.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/primitive_hash.cmj : cc_cmi runtime/primitive_hash.res | runtime/obj.cmj runtime/primitive_float_extern.cmj runtime/primitive_hash.cmi runtime/primitive_js_extern.cmj runtime/primitive_object_extern.cmj runtime/primitive_string_extern.cmj runtime/string.cmj
 o runtime/primitive_hash.cmi : cc runtime/primitive_hash.resi | runtime/pervasives.cmi runtime/pervasives.cmj runtime/primitive_object.cmi
-o runtime/primitive_lazy.cmj : cc_cmi runtime/primitive_lazy.res | runtime/primitive_lazy.cmi
+o runtime/primitive_lazy.cmj : cc_cmi runtime/primitive_lazy.res | runtime/primitive_exceptions.cmj runtime/primitive_lazy.cmi
 o runtime/primitive_lazy.cmi : cc runtime/primitive_lazy.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/primitive_module.cmj : cc_cmi runtime/primitive_module.res | runtime/array.cmj runtime/lazy.cmj runtime/obj.cmj runtime/primitive_array_extern.cmj runtime/primitive_module.cmi runtime/primitive_object_extern.cmj
 o runtime/primitive_module.cmi : cc runtime/primitive_module.resi | runtime/pervasives.cmi runtime/pervasives.cmj runtime/primitive_object.cmi
-o runtime/primitive_object.cmj : cc_cmi runtime/primitive_object.res | runtime/array.cmj runtime/primitive_array_extern.cmj runtime/primitive_js_extern.cmj runtime/primitive_object.cmi runtime/primitive_object_extern.cmj runtime/primitive_option.cmj
+o runtime/primitive_object.cmj : cc_cmi runtime/primitive_object.res | runtime/array.cmj runtime/primitive_array_extern.cmj runtime/primitive_bool.cmj runtime/primitive_float.cmj runtime/primitive_int.cmj runtime/primitive_js_extern.cmj runtime/primitive_object.cmi runtime/primitive_object_extern.cmj runtime/primitive_option.cmj runtime/primitive_string.cmj
 o runtime/primitive_object.cmi : cc runtime/primitive_object.resi | runtime/pervasives.cmi runtime/pervasives.cmj runtime/primitive_object_extern.cmj
 o runtime/primitive_option.cmj : cc_cmi runtime/primitive_option.res | runtime/primitive_js_extern.cmj runtime/primitive_object_extern.cmj runtime/primitive_option.cmi
 o runtime/primitive_option.cmi : cc runtime/primitive_option.resi | runtime/pervasives.cmi runtime/pervasives.cmj runtime/primitive_js_extern.cmj runtime/primitive_object_extern.cmj
-o runtime/string.cmj : cc_cmi runtime/string.res | runtime/array.cmj runtime/char.cmj runtime/primitive_string_extern.cmj runtime/string.cmi
+o runtime/string.cmj : cc_cmi runtime/string.res | runtime/array.cmj runtime/char.cmj runtime/primitive_exceptions.cmj runtime/primitive_string_extern.cmj runtime/string.cmi
 o runtime/string.cmi : cc runtime/string.resi | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/map.cmi runtime/map.cmj : cc runtime/map.res | runtime/pervasives.cmi runtime/pervasives.cmj
 o runtime/obj.cmi runtime/obj.cmj : cc runtime/obj.res | runtime/pervasives.cmi runtime/pervasives.cmj runtime/primitive_object_extern.cmj

jscomp/test/test_per.res

@@ -121,7 +121,7 @@ external ceil: float => float = "?ceil_float"
 external floor: float => float = "?floor_float"
 external abs_float: float => float = "%absfloat"
 external copysign: (float, float) => float = "?copysign_float"
-external mod_float: (float, float) => float = "?fmod_float"
+external mod_float: (float, float) => float = "%modfloat"
 external frexp: float => (float, int) = "?frexp_float"
 external ldexp: (float, int) => float = "?ldexp_float"
 external modf: float => (float, float) = "?modf_float"