@grain/binaryen.ml 0.12.0 → 0.14.0

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/expression.mli

@@ -69,160 +69,97 @@ type kind =
   | RefAs
 
 val get_kind : t -> kind
-
 val print : t -> unit
-
 val finalize : t -> unit
-
 val copy : t -> Module.t -> t
 
 (* Expression operations *)
 
 module Block : sig
   val make : ?return_type:Type.t -> Module.t -> string -> t list -> t
-
   val get_name : t -> string option
-
   val set_name : t -> string -> unit
-
   val get_num_children : t -> int
-
   val get_child_at : t -> int -> t
-
   val set_child_at : t -> int -> t -> unit
-
   val append_child : t -> t -> int
-
   val insert_child_at : t -> int -> t -> unit
-
   val remove_child_at : t -> int -> t
 end
 
 module If : sig
   val make : Module.t -> t -> t -> t -> t
-
   val get_condition : t -> t
-
   val set_condition : t -> t -> unit
-
   val get_if_true : t -> t
-
   val set_if_true : t -> t -> unit
-
   val get_if_false : t -> t option
-
   val set_if_false : t -> t -> unit
 end
 
 module Loop : sig
   val make : Module.t -> string -> t -> t
-
   val get_name : t -> string
-
   val set_name : t -> string -> unit
-
   val get_body : t -> t
-
   val set_body : t -> t -> unit
 end
 
 module Break : sig
   val make : Module.t -> string -> t -> t -> t
-
   val get_name : t -> string
-
   val set_name : t -> string -> unit
-
   val get_condition : t -> t option
-
   val set_condition : t -> t -> unit
-
   val get_value : t -> t option
-
   val set_value : t -> t -> unit
 end
 
 module Switch : sig
   val make : Module.t -> string list -> string -> t -> t -> t
-
   val get_num_names : t -> int
-
   val get_name_at : t -> int -> string
-
   val set_name_at : t -> int -> string -> unit
-
   val append_name : t -> string -> int
-
   val insert_name_at : t -> int -> string -> unit
-
   val remove_name_at : t -> int -> string
-
   val get_default_name : t -> string option
-
   val set_default_name : t -> string -> unit
-
   val get_condition : t -> t
-
   val set_condition : t -> t -> unit
-
   val get_value : t -> t option
-
   val set_value : t -> t -> unit
 end
 
 module Call : sig
   val make : Module.t -> string -> t list -> Type.t -> t
-
   val make_return : Module.t -> string -> t list -> Type.t -> t
-
   val get_target : t -> string
-
   val set_target : t -> string -> unit
-
   val get_num_operands : t -> int
-
   val get_operand_at : t -> int -> t
-
   val set_operand_at : t -> int -> t -> unit
-
   val append_operand : t -> t -> int
-
   val insert_operand_at : t -> int -> t -> unit
-
   val remove_operand_at : t -> int -> t
-
   val is_return : t -> bool
-
   val set_return : t -> bool -> unit
 end
 
 module Call_indirect : sig
   val make : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-
   val make_return : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-
   val get_target : t -> t
-
   val set_target : t -> t -> unit
-
   val get_table : t -> string
-
   val set_table : t -> string -> unit
-
   val get_num_operands : t -> int
-
   val get_operand_at : t -> int -> t
-
   val set_operand_at : t -> int -> t -> unit
-
   val append_operand : t -> t -> int
-
   val insert_operand_at : t -> int -> t -> unit
-
   val remove_operand_at : t -> int -> t
-
   val is_return : t -> bool
-
   val set_return : t -> bool -> unit
 end
 
@@ -232,9 +169,7 @@ end
 
 module Local_set : sig
   val make : Module.t -> int -> t -> t
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
@@ -244,41 +179,29 @@ end
 
 module Global_get : sig
   val make : Module.t -> string -> Type.t -> t
-
   val get_name : t -> string
-
   val set_name : t -> string -> unit
 end
 
 module Global_set : sig
   val make : Module.t -> string -> t -> t
-
   val get_name : t -> string
-
   val set_name : t -> string -> unit
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
 module Load : sig
   val make : Module.t -> int -> ?signed:bool -> int -> int -> Type.t -> t -> t
-
   val get_ptr : t -> t
-
   val set_ptr : t -> t -> unit
 end
 
 module Store : sig
   val make : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
-
   val get_ptr : t -> t
-
   val set_ptr : t -> t -> unit
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
@@ -288,53 +211,37 @@ end
 
 module Unary : sig
   val make : Module.t -> Op.t -> t -> t
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
 module Binary : sig
   val make : Module.t -> Op.t -> t -> t -> t
-
   val get_left : t -> t
-
   val set_left : t -> t -> unit
-
   val get_right : t -> t
-
   val set_right : t -> t -> unit
 end
 
 module Select : sig
   val make : Module.t -> t -> t -> t -> t
-
   val get_if_true : t -> t
-
   val set_if_true : t -> t -> unit
-
   val get_if_false : t -> t
-
   val set_if_false : t -> t -> unit
-
   val get_condition : t -> t
-
   val set_condition : t -> t -> unit
 end
 
 module Drop : sig
   val make : Module.t -> t -> t
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
 module Return : sig
   val make : Module.t -> t -> t
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
 end
 
@@ -344,65 +251,43 @@ end
 
 module Memory_grow : sig
   val make : Module.t -> t -> t
-
   val get_delta : t -> t
-
   val set_delta : t -> t -> unit
 end
 
 module Memory_copy : sig
   val make : Module.t -> t -> t -> t -> t
-
   val get_dest : t -> t
-
   val set_dest : t -> t -> unit
-
   val get_source : t -> t
-
   val set_source : t -> t -> unit
-
   val get_size : t -> t
-
   val set_size : t -> t -> unit
 end
 
 module Memory_fill : sig
   val make : Module.t -> t -> t -> t -> t
-
   val get_dest : t -> t
-
   val set_dest : t -> t -> unit
-
   val get_value : t -> t
-
   val set_value : t -> t -> unit
-
   val get_size : t -> t
-
   val set_size : t -> t -> unit
 end
 
 module Tuple_make : sig
   val make : Module.t -> t list -> t
-
   val get_num_operands : t -> int
-
   val get_operand_at : t -> int -> t
-
   val set_operand_at : t -> int -> t -> unit
-
   val append_operand : t -> t -> int
-
   val insert_operand_at : t -> int -> t -> unit
-
   val remove_operand_at : t -> int -> t
 end
 
 module Tuple_extract : sig
   val make : Module.t -> t -> int -> t
-
   val get_tuple : t -> t
-
   val set_tuple : t -> t -> unit
 end
 
@@ -421,3 +306,96 @@ end
 module Null : sig
   val make : unit -> t
 end
+
+module Ref : sig
+  val null : Module.t -> Type.t -> t
+  (** Module, type *)
+
+  val is : Module.t -> Op.t -> t -> t
+  (** Module, op, value *)
+
+  val as_ : Module.t -> Op.t -> t -> t
+  (** Module, op, value *)
+
+  val func : Module.t -> string -> Type.t -> t
+  (** Module, func, type *)
+
+  val eq : Module.t -> t -> t -> t
+  (** Module, left, right *)
+end
+
+module Table : sig
+  val get : Module.t -> string -> t -> Type.t -> t
+  (** Module, name, index, type *)
+
+  val set : Module.t -> string -> t -> t -> t
+  (** Module, name, index, value *)
+
+  val size : Module.t -> string -> t
+  (** Module, name *)
+
+  val grow : Module.t -> string -> t -> t -> t
+  (** Module, name, value, delta *)
+end
+
+module Table_get : sig
+  val get_table : t -> string
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  val set_table : t -> string -> unit
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  val get_index : t -> t
+  (** Gets the index expression of a `Table.get` expression. *)
+
+  val set_index : t -> t -> unit
+  (** Gets the index expression of a `Table.get` expression. *)
+end
+
+module Table_set : sig
+  val get_table : t -> string
+  (** Gets the name of the table being accessed by a `Table.set` expression. *)
+
+  val set_table : t -> string -> unit
+  (** Sets the name of the table being accessed by a `Table.set` expression. *)
+
+  val get_index : t -> t
+  (** Gets the index expression of a `Table.set` expression. *)
+
+  val set_index : t -> t -> unit
+  (** Sets the index expression of a `Table.set` expression. *)
+
+  val get_value : t -> t
+  (** Gets the value expression of a `Table.set` expression. *)
+
+  val set_value : t -> t -> unit
+  (** Sets the value expression of a `Table.set` expression. *)
+end
+
+module Table_size : sig
+  val get_table : t -> string
+  (** Gets the name of the table being accessed by a `Table.size` expression. *)
+
+  val set_table : t -> string -> unit
+  (** Sets the name of the table being accessed by a `Table.size` expression. *)
+end
+
+module Table_grow : sig
+  val get_table : t -> string
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  val set_table : t -> string -> unit
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  val get_value : t -> t
+  (** Gets the value expression of a `Table.grow` expression. *)
+
+  val set_value : t -> t -> unit
+  (** Sets the value expression of a `Table.grow` expression. *)
+
+  val get_delta : t -> t
+  (** Gets the delta of a `Table.grow` expression. *)
+
+  val set_delta : t -> t -> unit
+  (** Sets the delta of a `Table.grow` expression. *)
+end

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/function.mli

@@ -4,27 +4,15 @@ val add_function :
   Module.t -> string -> Type.t -> Type.t -> Type.t array -> Expression.t -> t
 
 val set_start : Module.t -> t -> unit
-
 val set_debug_location : t -> Expression.t -> int -> int -> int -> unit
-
 val get_function : Module.t -> string -> t
-
 val get_function_by_index : Module.t -> int -> t
-
 val remove_function : Module.t -> string -> unit
-
 val get_num_functions : Module.t -> int
-
 val get_name : t -> string
-
 val get_params : t -> Type.t
-
 val get_results : t -> Type.t
-
 val get_num_vars : t -> int
-
 val get_var : t -> int -> Type.t
-
 val get_body : t -> Expression.t
-
 val set_body : t -> Expression.t -> unit

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/global.mli

@@ -1,19 +1,11 @@
 type t
 
 val add_global : Module.t -> string -> Type.t -> bool -> Expression.t -> t
-
 val get_global : Module.t -> string -> t
-
 val remove_global : Module.t -> string -> unit
-
 val get_num_globals : Module.t -> int
-
 val get_global_by_index : Module.t -> int -> t
-
 val get_name : t -> string
-
 val get_type : t -> Type.t
-
 val is_mutable : t -> bool
-
 val get_init_expr : t -> Expression.t

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/import.mli

@@ -2,16 +2,12 @@ val add_function_import :
   Module.t -> string -> string -> string -> Type.t -> Type.t -> unit
 
 val add_table_import : Module.t -> string -> string -> string -> unit
-
 val add_memory_import : Module.t -> string -> string -> string -> bool -> unit
 
 val add_global_import :
   Module.t -> string -> string -> string -> Type.t -> bool -> unit
 
 val function_import_get_module : Function.t -> string
-
 val global_import_get_module : Global.t -> string
-
 val function_import_get_base : Function.t -> string
-
 val global_import_get_base : Global.t -> string

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/literal.mli

@@ -1,15 +1,10 @@
 type t
 
 val int32 : int32 -> t
-
 val int64 : int64 -> t
-
 val float32_bits : int32 -> t
-
 val float64_bits : int64 -> t
-
 val float32 : float -> t
-
 val float64 : float -> t
 
 (* Hacks for Binaryen.js stack allocations *)

{binaryen-archive-v0.12.0 → binaryen-archive}/virtual/module.mli

@@ -4,64 +4,39 @@ module Feature : sig
   type t
 
   val mvp : t
-
   val atomics : t
-
   val bulk_memory : t
-
   val mutable_globals : t
-
   val nontrapping_fp_to_int : t
-
   val sign_ext : t
-
   val simd128 : t
-
   val exception_handling : t
-
   val tail_call : t
-
   val reference_types : t
-
   val multivalue : t
-
+  val gc : t
+  val memory64 : t
+  val typed_function_references : t
+  val relaxed_simd : t
   val all : t
 end
 
 val create : unit -> t
-
 val dispose : t -> unit
-
 val add_custom_section : t -> string -> string -> unit
-
 val parse : string -> t
-
 val print : t -> unit
-
 val print_asmjs : t -> unit
-
 val validate : t -> int
-
 val optimize : t -> unit
-
 val get_features : t -> Feature.t list
-
 val set_features : t -> Feature.t list -> unit
-
 val run_passes : t -> string list -> unit
-
 val auto_drop : t -> unit
-
 val write : t -> string option -> bytes * string option
-
 val write_text : t -> string
-
 val read : bytes -> t
-
 val interpret : t -> unit
-
 val add_debug_info_filename : t -> string -> int
-
 val get_debug_info_filename : t -> int -> string
-
 val update_maps : t -> unit