@grain/binaryen.ml 0.14.0 → 0.16.0

binaryen-archive/js/function.ml

@@ -1,60 +0,0 @@
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-type t
-
-let add_function wasm_mod name params results vars body =
-  meth_call wasm_mod "addFunction"
-    [|
-      inject (string name);
-      inject params;
-      inject results;
-      inject (array vars);
-      inject body;
-    |]
-
-let set_start wasm_mod func = meth_call wasm_mod "setStart" [| inject func |]
-
-let set_debug_location func expr file line column =
-  ignore
-    (meth_call global##.binaryen "_BinaryenFunctionSetDebugLocation"
-       [| inject func; inject expr; inject file; inject line; inject column |])
-
-let get_function wasm_mod name =
-  meth_call wasm_mod "getFunction" [| inject (string name) |]
-
-let get_function_by_index wasm_mod index =
-  meth_call wasm_mod "getFunctionByIndex" [| inject index |]
-
-let remove_function wasm_mod name =
-  meth_call wasm_mod "removeFunction" [| inject (string name) |]
-
-let get_num_functions wasm_mod = meth_call wasm_mod "getNumFunctions" [||]
-
-let get_name func =
-  to_string
-    (meth_call global ##. binaryen ##. Function "getName" [| inject func |])
-
-let get_params func =
-  meth_call global ##. binaryen ##. Function "getParams" [| inject func |]
-
-let get_results func =
-  meth_call global ##. binaryen ##. Function "getResults" [| inject func |]
-
-let get_num_vars func =
-  meth_call global ##. binaryen ##. Function "getNumVars" [| inject func |]
-
-let get_var func index =
-  meth_call
-    global ##. binaryen ##. Function
-    "getVar"
-    [| inject func; inject index |]
-
-let get_body func =
-  meth_call global ##. binaryen ##. Function "getBody" [| inject func |]
-
-let set_body func body =
-  meth_call
-    global ##. binaryen ##. Function
-    "setBody"
-    [| inject func; inject body |]

binaryen-archive/js/global.ml

@@ -1,48 +0,0 @@
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-type t
-
-let add_global wasm_mod name typ is_mut init =
-  meth_call wasm_mod "addGlobal"
-    [|
-      inject (string name);
-      inject typ;
-      inject (if is_mut then 1 else 0);
-      inject init;
-    |]
-
-let get_global wasm_mod name =
-  meth_call wasm_mod "getGlobal" [| inject (string name) |]
-
-let remove_global wasm_mod name =
-  meth_call wasm_mod "removeGlobal" [| inject (string name) |]
-
-let get_num_globals wasm_mod = meth_call wasm_mod "getNumGlobals" [||]
-
-let get_global_by_index wasm_mod index =
-  meth_call wasm_mod "getGlobalByIndex" [| inject index |]
-
-let get_name global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  to_string (get global_info "name")
-
-let get_type global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  get global_info "type"
-
-let is_mutable global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  to_bool (get global_info "mutable")
-
-let get_init_expr global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  get global_info "init"

binaryen-archive/js/import.ml

@@ -1,69 +0,0 @@
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-let add_function_import wasm_mod internal_name external_module_name
-    external_base_name params result =
-  meth_call wasm_mod "addFunctionImport"
-    [|
-      inject (string internal_name);
-      inject (string external_module_name);
-      inject (string external_base_name);
-      inject params;
-      inject result;
-    |]
-
-let add_table_import wasm_mod internal_name external_module_name
-    external_base_name =
-  meth_call wasm_mod "addTableImport"
-    [|
-      inject (string internal_name);
-      inject (string external_module_name);
-      inject (string external_base_name);
-    |]
-
-(* TODO: Check this bool conversion *)
-let add_memory_import wasm_mod internal_name external_module_name
-    external_base_name shared =
-  meth_call wasm_mod "addMemoryImport"
-    [|
-      inject (string internal_name);
-      inject (string external_module_name);
-      inject (string external_base_name);
-      inject (if shared then 1 else 0);
-    |]
-
-(* TODO: Check this bool conversion *)
-let add_global_import wasm_mod internal_name external_module_name
-    external_base_name typ is_mut =
-  meth_call wasm_mod "addGlobalImport"
-    [|
-      inject (string internal_name);
-      inject (string external_module_name);
-      inject (string external_base_name);
-      inject typ;
-      inject (if is_mut then 1 else 0);
-    |]
-
-let function_import_get_module func =
-  let func_info =
-    meth_call global##.binaryen "getFunctionInfo" [| inject func |]
-  in
-  to_string (get func_info "module")
-
-let global_import_get_module global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  to_string (get global_info "module")
-
-let function_import_get_base func =
-  let func_info =
-    meth_call global##.binaryen "getFunctionInfo" [| inject func |]
-  in
-  to_string (get func_info "base")
-
-let global_import_get_base global_ =
-  let global_info =
-    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
-  in
-  to_string (get global_info "base")

binaryen-archive/js/literal.ml

@@ -1,28 +0,0 @@
-(* This is a hack around Binaryen's stack allocations *)
-type jsoo =
-  | Int32 of int32
-  | Int64 of int32 * int32
-  | Float32Bits of int32
-  | Float64Bits of int32 * int32
-  | Float32 of float
-  | Float64 of float
-
-type t = jsoo
-
-let int32 value = Int32 value
-
-let int64 value =
-  Int64
-    (Int64.to_int32 value, Int64.to_int32 (Int64.shift_right_logical value 32))
-
-let float32_bits value = Float32Bits value
-
-let float64_bits value =
-  Float64Bits
-    (Int64.to_int32 value, Int64.to_int32 (Int64.shift_right_logical value 32))
-
-let float32 value = Float32 value
-let float64 value = Float64 value
-
-(* This makes our `t` public so we can match on it *)
-let to_jsoo lit = lit

binaryen-archive/js/memory.ml

@@ -1,39 +0,0 @@
-open Js_of_ocaml
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-type segment = {
-  name : string;
-  passive : bool;
-  offset : Expression.t;
-  size : int;
-}
-
-(** Module, initial size, maximum size, export name, segments, shared. *)
-let set_memory wasm_mod initial maximum export_name (segments : segment list)
-    shared =
-  let segs =
-    List.map
-      (fun { name; passive; offset; _ } ->
-        let data =
-          meth_call Typed_array.uint8Array "from" [| inject (string name) |]
-        in
-        obj
-          [|
-            ("data", data);
-            ("passive", inject passive);
-            ("offset", inject offset);
-          |])
-      segments
-  in
-  ignore
-    (meth_call wasm_mod "setMemory"
-       [|
-         inject initial;
-         inject maximum;
-         inject (string export_name);
-         inject (array (Array.of_list segs));
-         inject (if shared then _true else _false);
-       |])
-
-let unlimited = -1

binaryen-archive/js/module.ml

@@ -1,116 +0,0 @@
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-module Feature = struct
-  type t = int
-
-  let mvp : t = global ##. binaryen ##. Features ##. MVP
-  let atomics : t = global ##. binaryen ##. Features ##. Atomics
-  let bulk_memory : t = global ##. binaryen ##. Features ##. BulkMemory
-  let mutable_globals : t = global ##. binaryen ##. Features ##. MutableGlobals
-
-  let nontrapping_fp_to_int : t =
-    global ##. binaryen ##. Features ##. NontrappingFPToInt
-
-  let sign_ext : t = global ##. binaryen ##. Features ##. SignExt
-  let simd128 : t = global ##. binaryen ##. Features ##. SIMD128
-
-  let exception_handling : t =
-    global ##. binaryen ##. Features ##. ExceptionHandling
-
-  let tail_call : t = global ##. binaryen ##. Features ##. TailCall
-  let reference_types : t = global ##. binaryen ##. Features ##. ReferenceTypes
-  let multivalue : t = global ##. binaryen ##. Features ##. Multivalue
-  let gc : t = global ##. binaryen ##. Features ##. GC
-  let memory64 : t = global ##. binaryen ##. Features ##. Memory64
-
-  let typed_function_references : t =
-    global ##. binaryen ##. Features ##. TypedFunctionReferences
-
-  let relaxed_simd : t = global ##. binaryen ##. Features ##. RelaxedSIMD
-  let all : t = global ##. binaryen ##. Features ##. All
-end
-
-external u8a_to_bytes : 'a -> bytes = "caml_bytes_of_array"
-
-(* TODO: Verify this converts to bytes correctly? *)
-external bytes_to_u8a : bytes -> 'a = "caml_array_of_bytes"
-external string_to_u8a : string -> 'a = "caml_array_of_string"
-
-type t
-
-let create () = new_obj global ##. binaryen ##. Module [||]
-let dispose wasm_mod = ignore (meth_call wasm_mod "dispose" [||])
-
-(* TODO: Check the unit8Array conversion *)
-let add_custom_section wasm_mod name contents =
-  let contents = string_to_u8a contents in
-  ignore
-    (meth_call wasm_mod "addCustomSection"
-       [| inject (string name); inject contents |])
-
-let parse text =
-  meth_call global##.binaryen "parseText" [| inject (string text) |]
-
-let print wasm_mod =
-  let text = meth_call wasm_mod "emitText" [||] in
-  print_string (to_string text)
-
-let print_asmjs wasm_mod =
-  let asm = meth_call wasm_mod "emitAsmjs" [||] in
-  print_string (to_string asm)
-
-let validate wasm_mod = meth_call wasm_mod "validate" [||]
-let optimize wasm_mod = meth_call wasm_mod "optimize" [||]
-
-let get_features wasm_mod =
-  let features_int = meth_call wasm_mod "getFeatures" [||] in
-  let rec split_features = function
-    | 0 -> []
-    | feature when features_int land feature > 0 ->
-        feature :: split_features (feature lsr 1)
-    | feature -> split_features (feature lsr 1)
-  in
-  (* Support 32-bit OCaml where integers are 31 bits *)
-  (* This supports up to 31 Binaryen features *)
-  split_features 0x40000000
-
-let set_features wasm_mod features =
-  meth_call wasm_mod "setFeatures"
-    [| inject (List.fold_left ( lor ) 0 features) |]
-
-let run_passes wasm_mod passes =
-  meth_call wasm_mod "runPasses"
-    [| inject (array (Array.of_list (List.map string passes))) |]
-
-let auto_drop wasm_mod = meth_call wasm_mod "autoDrop" [||]
-
-let write wasm_mod sourcemap_url =
-  match sourcemap_url with
-  | Some url ->
-      let obj = meth_call wasm_mod "emitBinary" [| inject url |] in
-      let binary = get obj "binary" in
-      let soucemap = get obj "soureMap" in
-      (u8a_to_bytes binary, Some soucemap)
-  | None ->
-      let binary = meth_call wasm_mod "emitBinary" [||] in
-      (u8a_to_bytes binary, None)
-
-let write_text wasm_mod =
-  let text = meth_call wasm_mod "emitText" [||] in
-  to_string text
-
-let read byts =
-  let data = bytes_to_u8a byts in
-  meth_call global##.binaryen "readBinary" [| inject data |]
-
-let interpret wasm_mod = meth_call wasm_mod "interpret" [||]
-
-let add_debug_info_filename wasm_mod filename =
-  meth_call wasm_mod "addDebugInfoFileName" [| inject (string filename) |]
-
-let get_debug_info_filename wasm_mod index =
-  meth_call wasm_mod "getDebugInfoFileName" [| inject index |]
-
-(* The JS version doesn't expose `update_maps` *)
-let update_maps wasm_mod = ()