Wasm implementation

Author: vouillon

compiler/lib-wasm/gc_target.ml

@@ -1932,6 +1932,22 @@ let internal_primitives =
       in
       let l = List.map ~f:transl_prim_arg vl in
       JavaScript.invoke_fragment name l);
+  register "caml_jsoo_runtime" (fun _ l ->
+      match l with
+      | [ Pc (String name) ] when J.is_ident name ->
+          let* x =
+            register_import
+              ~import_module:"js"
+              ~name
+              (Global { mut = false; typ = JavaScript.anyref })
+          in
+          let* wrap =
+            register_import
+              ~name:"wrap"
+              (Fun { params = [ JavaScript.anyref ]; result = [ Type.value ] })
+          in
+          return (W.Call (wrap, [ GlobalGet x ]))
+      | _ -> failwith "Jsoo_runtime.Sys.external_ expects a string literal.");
   !l
 
 let externref = W.Ref { nullable = true; typ = Extern }

compiler/lib/specialize_js.ml

@@ -188,6 +188,11 @@ let specialize_instr opt_count ~target info i =
           incr opt_count;
           Let (x, Prim (Extern "%direct_int_mod", [ y; z ]))
       | _ -> i)
+  | Let (x, Prim (Extern "caml_jsoo_runtime", [ nm ])), _ -> (
+      match the_string_of info nm with
+      | Some nm when Javascript.is_ident nm ->
+          Let (x, Prim (Extern "caml_jsoo_runtime", [ Pc (String nm) ]))
+      | _ -> i)
   | _, _ -> i
 
 let skip_event cont (Event _ :: l | l) = cont l