More refined type for caml_ldexp_float

Author: vouillon

compiler/lib-wasm/generate.ml

@@ -111,7 +111,7 @@ module Generate (Target : Target_sig.S) = struct
       ; "caml_ba_uint8_set64", (`Mutator, [ Value; Int; Int64 ], Value)
       ; "caml_nextafter_float", (`Pure, [ Float; Float ], Float)
       ; "caml_classify_float", (`Pure, [ Float ], Value)
-      ; "caml_ldexp_float", (`Pure, [ Float; Value ], Float)
+      ; "caml_ldexp_float", (`Pure, [ Float; Int ], Float)
       ; "caml_erf_float", (`Pure, [ Float ], Float)
       ; "caml_erfc_float", (`Pure, [ Float ], Float)
       ; "caml_float_compare", (`Pure, [ Float; Float ], Int)

runtime/wasm/float.wat

@@ -717,7 +717,8 @@
       (array.new_fixed $block 3 (ref.i31 (i32.const 0))
          (struct.new $float (local.get $f)) (struct.new $float (local.get $i))))
 
-   (func $ldexp (param $x f64) (param $n i32) (result f64)
+   (func $ldexp (export "caml_ldexp_float")
+      (param $x f64) (param $n i32) (result f64)
       (if (i32.gt_s (local.get $n) (i32.const 1023))
          (then
             (local.set $x (f64.mul (local.get $x) (f64.const 0x1p1023)))
@@ -747,12 +748,6 @@
                               (i64.const 0x3ff))
                      (i64.const 52)))))
 
-   (func (export "caml_ldexp_float")
-      (param $x f64) (param $i (ref eq)) (result f64)
-      (call $ldexp
-         (local.get $x)
-         (i31.get_s (ref.cast (ref i31) (local.get $i)))))
-
    (func $frexp (param $x f64) (result f64 i32)
       (local $y i64)
       (local $e i32)