@grain/binaryen.ml 0.8.1 → 0.11.0

binaryen-archive/virtual/expression.mli

@@ -1,67 +1,423 @@
 type t
 
-val block : ?return_type:Type.t -> Module.t -> string -> t list -> t
+type kind =
+  | Invalid
+  | Nop
+  | Block
+  | If
+  | Loop
+  | Break
+  | Switch
+  | Call
+  | CallIndirect
+  | LocalGet
+  | LocalSet
+  | GlobalGet
+  | GlobalSet
+  | Load
+  | Store
+  | AtomicRMW
+  | AtomicCmpxchg
+  | AtomicWait
+  | AtomicNotify
+  | AtomicFence
+  | SIMDExtract
+  | SIMDReplace
+  | SIMDShuffle
+  | SIMDTernary
+  | SIMDShift
+  | SIMDLoad
+  | SIMDLoadStoreLane
+  | MemoryInit
+  | DataDrop
+  | MemoryCopy
+  | MemoryFill
+  | Const
+  | Unary
+  | Binary
+  | Select
+  | Drop
+  | Return
+  | MemorySize
+  | MemoryGrow
+  | Unreachable
+  | Pop
+  | RefNull
+  | RefIs
+  | RefFunc
+  | RefEq
+  | Try
+  | Throw
+  | Rethrow
+  | TupleMake
+  | TupleExtract
+  | I31New
+  | I31Get
+  | CallRef
+  | RefTest
+  | RefCast
+  | BrOn
+  | RttCanon
+  | RttSub
+  | StructNew
+  | StructGet
+  | StructSet
+  | ArrayNew
+  | ArrayGet
+  | ArraySet
+  | ArrayLen
+  | RefAs
+
+val get_kind : t -> kind
 
-val if_ : Module.t -> t -> t -> t -> t
+val print : t -> unit
 
-val loop : Module.t -> string -> t -> t
+val finalize : t -> unit
 
-val break : Module.t -> string -> t -> t -> t
+val copy : t -> Module.t -> t
 
-val switch : Module.t -> string list -> string -> t -> t -> t
+(* Expression operations *)
 
-val call : Module.t -> string -> t list -> Type.t -> t
+module Block : sig
+  val make : ?return_type:Type.t -> Module.t -> string -> t list -> t
 
-val call_indirect : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
+  val get_name : t -> string option
 
-val return_call : Module.t -> string -> t list -> Type.t -> t
+  val set_name : t -> string -> unit
 
-val return_call_indirect : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
+  val get_num_children : t -> int
 
-val local_get : Module.t -> int -> Type.t -> t
+  val get_child_at : t -> int -> t
 
-val local_set : Module.t -> int -> t -> t
+  val set_child_at : t -> int -> t -> unit
 
-val local_tee : Module.t -> int -> t -> Type.t -> t
+  val append_child : t -> t -> int
 
-val global_get : Module.t -> string -> Type.t -> t
+  val insert_child_at : t -> int -> t -> unit
 
-val global_set : Module.t -> string -> t -> t
+  val remove_child_at : t -> int -> t
+end
 
-val load : Module.t -> int -> ?signed:bool -> int -> int -> Type.t -> t -> t
+module If : sig
+  val make : Module.t -> t -> t -> t -> t
 
-val store : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
+  val get_condition : t -> t
 
-val const : Module.t -> Literal.t -> t
+  val set_condition : t -> t -> unit
 
-val unary : Module.t -> Op.t -> t -> t
+  val get_if_true : t -> t
 
-val binary : Module.t -> Op.t -> t -> t -> t
+  val set_if_true : t -> t -> unit
 
-val select : Module.t -> t -> t -> t -> t
+  val get_if_false : t -> t option
 
-val drop : Module.t -> t -> t
+  val set_if_false : t -> t -> unit
+end
 
-val return : Module.t -> t -> t
+module Loop : sig
+  val make : Module.t -> string -> t -> t
 
-val memory_size : Module.t -> t
+  val get_name : t -> string
 
-val memory_grow : Module.t -> t -> t
+  val set_name : t -> string -> unit
 
-val nop : Module.t -> t
+  val get_body : t -> t
 
-val unreachable : Module.t -> t
+  val set_body : t -> t -> unit
+end
 
-val memory_copy : Module.t -> t -> t -> t -> t
+module Break : sig
+  val make : Module.t -> string -> t -> t -> t
 
-val memory_fill : Module.t -> t -> t -> t -> t
+  val get_name : t -> string
 
-val tuple_make : Module.t -> t list -> t
+  val set_name : t -> string -> unit
 
-val tuple_extract : Module.t -> t -> int -> t
+  val get_condition : t -> t option
 
-val pop : Module.t -> Type.t -> t
+  val set_condition : t -> t -> unit
 
-val null : unit -> t
+  val get_value : t -> t option
 
-val print : t -> unit
+  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
+
+module Local_get : sig
+  val make : Module.t -> int -> Type.t -> t
+end
+
+module Local_set : sig
+  val make : Module.t -> int -> t -> t
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Local_tee : sig
+  val make : Module.t -> int -> t -> Type.t -> t
+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
+
+module Const : sig
+  val make : Module.t -> Literal.t -> t
+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
+
+module Memory_size : sig
+  val make : Module.t -> t
+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
+
+module Nop : sig
+  val make : Module.t -> t
+end
+
+module Unreachable : sig
+  val make : Module.t -> t
+end
+
+module Pop : sig
+  val make : Module.t -> Type.t -> t
+end
+
+module Null : sig
+  val make : unit -> t
+end

binaryen-archive/virtual/function.mli

@@ -9,6 +9,22 @@ 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/virtual/global.mli

@@ -5,3 +5,15 @@ 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/virtual/import.mli

@@ -7,3 +7,11 @@ 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/virtual/literal.mli

@@ -15,9 +15,9 @@ val float64 : float -> t
 (* Hacks for Binaryen.js stack allocations *)
 type jsoo =
   | Int32 of int32
-  | Int64 of int64
+  | Int64 of int32 * int32
   | Float32Bits of int32
-  | Float64Bits of int64
+  | Float64Bits of int32 * int32
   | Float32 of float
   | Float64 of float
 

binaryen-archive/virtual/module.mli

@@ -1,54 +1,52 @@
 type t
 
-val create : unit -> t
+module Feature : sig
+  type t
 
-val dispose : t -> unit
+  val mvp : t
 
-val add_custom_section : t -> string -> string -> unit
+  val atomics : t
 
-val parse : string -> t
+  val bulk_memory : t
 
-val print : t -> unit
-
-val print_asmjs : t -> unit
-
-val validate : t -> int
+  val mutable_globals : t
 
-val optimize : t -> unit
+  val nontrapping_fp_to_int : t
 
-val set_features : t -> int list -> unit
+  val sign_ext : t
 
-val get_optimize_level : unit -> int
+  val simd128 : t
 
-val set_optimize_level : int -> unit
+  val exception_handling : t
 
-val get_shrink_level : unit -> int
+  val tail_call : t
 
-val set_shrink_level : int -> unit
+  val reference_types : t
 
-val get_debug_info : unit -> int
+  val multivalue : t
 
-val set_debug_info : int -> unit
+  val all : t
+end
 
-val get_low_memory_unused : unit -> int
+val create : unit -> t
 
-val set_low_memory_unused : int -> unit
+val dispose : t -> unit
 
-val get_pass_argument : string -> string
+val add_custom_section : t -> string -> string -> unit
 
-val set_pass_argument : string -> string -> unit
+val parse : string -> t
 
-val get_always_inline_max_size : unit -> int
+val print : t -> unit
 
-val set_always_inline_max_size : int -> unit
+val print_asmjs : t -> unit
 
-val get_flexible_inline_max_size : unit -> int
+val validate : t -> int
 
-val set_flexible_inline_max_size : int -> unit
+val optimize : t -> unit
 
-val get_one_caller_inline_max_size : unit -> int
+val get_features : t -> Feature.t list
 
-val set_one_caller_inline_max_size : int -> unit
+val set_features : t -> Feature.t list -> unit
 
 val run_passes : t -> string list -> unit