WIP

Author: vouillon

compiler/lib-wasm/generate.ml

@@ -1168,7 +1168,10 @@ end
 
 let init () =
   let l =
-    [ "caml_ensure_stack_capacity", "%identity"; "caml_callback", "caml_trampoline"; "caml_array_of_uniform_array", "caml_make_array" ]
+    [ "caml_ensure_stack_capacity", "%identity"
+    ; "caml_callback", "caml_trampoline"
+    ; "caml_array_of_uniform_array", "caml_make_array"
+    ]
   in
   Primitive.register "caml_make_array" `Mutable None None;
   let l =

ppx/ppx_js/tests/dune

@@ -7,7 +7,9 @@
 (rule
  (targets ppx.mlt.corrected)
  (enabled_if
-  (>= %{ocaml_version} 5.2))
+  (and
+   (>= %{ocaml_version} 5.2)
+   (< %{ocaml_version} 5.3)))
  (action
   (run %{exe:main.bc} %{dep:ppx.mlt})))
 

runtime/wasm/array.wat

@@ -146,6 +146,21 @@
          (local.get $len))
       (local.get $fa2))
 
+   (func (export "caml_floatarray_sub")
+      (param $a (ref eq)) (param $i (ref eq)) (param $vlen (ref eq))
+      (result (ref eq))
+      (local $len i32)
+      (local $fa1 (ref $float_array)) (local $fa2 (ref $float_array))
+      (local.set $len (i31.get_u (ref.cast (ref i31) (local.get $vlen))))
+      (if (i32.eqz (local.get $len)) (then (return (global.get $empty_array))))
+      (local.set $fa1 (ref.cast (ref $float_array) (local.get $a)))
+      (local.set $fa2 (array.new $float_array (f64.const 0) (local.get $len)))
+      (array.copy $float_array $float_array
+         (local.get $fa2) (i32.const 0) (local.get $fa1)
+         (i31.get_u (ref.cast (ref i31) (local.get $i)))
+         (local.get $len))
+      (local.get $fa2))
+
    (func $caml_floatarray_dup (param $a (ref $float_array)) (result (ref eq))
       (local $a' (ref $float_array))
       (local $len i32)