@grain/binaryen.ml 0.12.1 → 0.13.0

binaryen-archive/js/dune

@@ -10,4 +10,4 @@
   (names stubs))
  (js_of_ocaml
   (flags --no-sourcemap)
-  (javascript_files prelude.js binaryen.es5.js postlude.js)))
+  (javascript_files prelude.js binaryen.es5.js)))

binaryen-archive/js/export.ml

@@ -46,11 +46,8 @@ let external_function =
   meth_call global##.binaryen "_BinaryenExternalFunction" [||]
 
 let external_table = meth_call global##.binaryen "_BinaryenExternalTable" [||]
-
 let external_memory = meth_call global##.binaryen "_BinaryenExternalMemory" [||]
-
 let external_global = meth_call global##.binaryen "_BinaryenExternalGlobal" [||]
-
 let external_tag = meth_call global##.binaryen "_BinaryenExternalTag" [||]
 
 let export_get_kind export =

binaryen-archive/js/expression.ml

@@ -942,3 +942,164 @@ end
 module Null = struct
   let make () = pure_js_expr "null"
 end
+
+module Ref = struct
+  (** Module, type *)
+  let null wasm_mod typ =
+    let scope = get wasm_mod "ref" in
+    meth_call scope "null" [| inject typ |]
+
+  (** Module, op, value *)
+  let is wasm_mod op value =
+    meth_call global##.binaryen "_BinaryenRefIs"
+      [| inject wasm_mod; inject op; inject value |]
+
+  (** Module, op, value *)
+  let as_ wasm_mod op value =
+    meth_call global##.binaryen "_BinaryenRefAs"
+      [| inject wasm_mod; inject op; inject value |]
+
+  (** Module, func, type *)
+  let func wasm_mod func typ =
+    let scope = get wasm_mod "ref" in
+    meth_call scope "func" [| inject (string func); inject typ |]
+
+  (** Module, left, right *)
+  let eq wasm_mod left right =
+    let scope = get wasm_mod "ref" in
+    meth_call scope "func" [| inject left; inject right |]
+end
+
+module Table = struct
+  (** Module, name, index, type *)
+  let get wasm_mod name index typ =
+    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
+    meth_call scope "get" [| inject (string name); inject index; inject typ |]
+
+  (** Module, name, index, value *)
+  let set wasm_mod name index value =
+    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
+    meth_call scope "set" [| inject (string name); inject index; inject value |]
+
+  (** Module, name *)
+  let size wasm_mod name =
+    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
+    meth_call scope "size" [| inject (string name) |]
+
+  (** Module, name, value, delta *)
+  let grow wasm_mod name value delta =
+    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
+    meth_call scope "grow"
+      [| inject (string name); inject value; inject delta |]
+end
+
+module Table_get = struct
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+  let get_table exp =
+    to_string
+      (meth_call global ##. binaryen ##. TableGet "getTable" [| inject exp |])
+
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+  let set_table exp name =
+    meth_call
+      global ##. binaryen ##. TableGet
+      "setTable"
+      [| inject exp; inject (string name) |]
+
+  (** Gets the index expression of a `Table.get` expression. *)
+  let get_index exp =
+    meth_call global ##. binaryen ##. TableGet "getIndex" [| inject exp |]
+
+  (** Gets the index expression of a `Table.get` expression. *)
+  let set_index exp index =
+    meth_call
+      global ##. binaryen ##. TableGet
+      "setIndex"
+      [| inject exp; inject index |]
+end
+
+module Table_set = struct
+  (** Gets the name of the table being accessed by a `Table.set` expression. *)
+  let get_table exp =
+    to_string
+      (meth_call global ##. binaryen ##. TableSet "getTable" [| inject exp |])
+
+  (** Sets the name of the table being accessed by a `Table.set` expression. *)
+  let set_table exp name =
+    meth_call
+      global ##. binaryen ##. TableSet
+      "setTable"
+      [| inject exp; inject (string name) |]
+
+  (** Gets the index expression of a `Table.set` expression. *)
+  let get_index exp =
+    meth_call global ##. binaryen ##. TableSet "getIndex" [| inject exp |]
+
+  (** Sets the index expression of a `Table.set` expression. *)
+  let set_index exp index =
+    meth_call
+      global ##. binaryen ##. TableSet
+      "setIndex"
+      [| inject exp; inject index |]
+
+  (** Gets the value expression of a `Table.set` expression. *)
+  let get_value exp =
+    meth_call global ##. binaryen ##. TableSet "getValue" [| inject exp |]
+
+  (** Sets the value expression of a `Table.set` expression. *)
+  let set_value exp value =
+    meth_call
+      global ##. binaryen ##. TableSet
+      "setValue"
+      [| inject exp; inject value |]
+end
+
+module Table_size = struct
+  (** Gets the name of the table being accessed by a `Table.size` expression. *)
+  let get_table exp =
+    to_string
+      (meth_call global ##. binaryen ##. TableSize "getTable" [| inject exp |])
+
+  (** Sets the name of the table being accessed by a `Table.size` expression. *)
+  let set_table exp name =
+    meth_call
+      global ##. binaryen ##. TableSize
+      "setTable"
+      [| inject exp; inject (string name) |]
+end
+
+module Table_grow = struct
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+  let get_table exp =
+    to_string
+      (meth_call global ##. binaryen ##. TableGrow "getTable" [| inject exp |])
+
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+  let set_table exp name =
+    meth_call
+      global ##. binaryen ##. TableGrow
+      "setTable"
+      [| inject exp; inject (string name) |]
+
+  (** Gets the value expression of a `Table.grow` expression. *)
+  let get_value exp =
+    meth_call global ##. binaryen ##. TableGrow "getValue" [| inject exp |]
+
+  (** Sets the value expression of a `Table.grow` expression. *)
+  let set_value exp value =
+    meth_call
+      global ##. binaryen ##. TableGrow
+      "setValue"
+      [| inject exp; inject value |]
+
+  (** Gets the delta of a `Table.grow` expression. *)
+  let get_delta exp =
+    meth_call global ##. binaryen ##. TableGrow "getDelta" [| inject exp |]
+
+  (** Sets the delta of a `Table.grow` expression. *)
+  let set_delta exp delta =
+    meth_call
+      global ##. binaryen ##. TableGrow
+      "setDelta"
+      [| inject exp; inject delta |]
+end

binaryen-archive/js/literal.ml

@@ -22,7 +22,6 @@ let float64_bits value =
     (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 *)

binaryen-archive/js/module.ml

@@ -5,29 +5,29 @@ 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
 
@@ -35,13 +35,11 @@ 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 *)
@@ -63,7 +61,6 @@ let print_asmjs wasm_mod =
   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 =