@grain/binaryen.ml 0.11.1 → 0.13.0

binaryen-archive/test/test.ml

@@ -2,44 +2,29 @@ open Binaryen
 
 (* Testing colors enable *)
 let _ = assert (Settings.are_colors_enabled () == true)
-
 let _ = Settings.set_colors_enabled false
-
 let _ = assert (Settings.are_colors_enabled () == false)
-
 let _ = Settings.set_colors_enabled true
 
 (* Testing debug_info enable *)
 let _ = assert (Settings.get_debug_info () == false)
-
 let _ = Settings.set_debug_info true
-
 let _ = assert (Settings.get_debug_info () == true)
-
 let _ = Settings.set_debug_info false
 
 (* Testing low_memory_unused enable *)
 let _ = assert (Settings.get_low_memory_unused () == false)
-
 let _ = Settings.set_low_memory_unused true
-
 let _ = assert (Settings.get_low_memory_unused () == true)
-
 let _ = Settings.set_low_memory_unused false
-
 let wasm_mod = Module.create ()
-
 let _ = Module.set_features wasm_mod [ Module.Feature.all ]
 
 (* Create function type for i32 (i32, i32) *)
 let params () = Type.create [| Type.int32; Type.int32 |]
-
 let results = Type.int32
-
 let x () = Expression.Local_get.make wasm_mod 0 Type.int32
-
 let y () = Expression.Local_get.make wasm_mod 1 Type.int32
-
 let load = Expression.Load.make wasm_mod 1 ~signed:true 0 0 Type.int32 (y ())
 
 let select =
@@ -76,8 +61,31 @@ let start =
     (Expression.Drop.make wasm_mod call_adder)
 
 let _ = Export.add_function_export wasm_mod "adder" "adder"
+let _ = Table.add_table wasm_mod "table" 1 1 Type.funcref
+let funcref_expr1 = Expression.Ref.func wasm_mod "adder" Type.funcref
+
+let _ =
+  Expression.Table.set wasm_mod "table"
+    (Expression.Const.make wasm_mod (Literal.int32 0l))
+    funcref_expr1
+
+let funcref_expr2 =
+  Expression.Table.get wasm_mod "table"
+    (Expression.Const.make wasm_mod (Literal.int32 0l))
+    Type.funcref
 
-let _ = Table.add_table wasm_mod "table" 1 1
+let _ = Expression.print funcref_expr2
+let table_size = Expression.Table.size wasm_mod "table"
+let _ = Expression.print table_size
+let table_name = Expression.Table_size.get_table table_size
+let _ = Expression.Table_size.set_table table_size table_name
+let null_ref = Expression.Ref.null wasm_mod Type.funcref
+
+let table_grow =
+  Expression.Table.grow wasm_mod "table" null_ref
+    (Expression.Const.make wasm_mod (Literal.int32 0l))
+
+let _ = Expression.print table_grow
 
 let _ =
   Global.add_global wasm_mod "max_int64" Type.int64 false
@@ -92,7 +100,6 @@ let _ =
     (Expression.Const.make wasm_mod (Literal.int32 0l))
 
 let _ = Function.set_start wasm_mod start
-
 let _ = Memory.set_memory wasm_mod 1 Memory.unlimited "memory" [] false
 
 (* Create an imported "write" function i32 (externref, i32, i32) *)
@@ -116,6 +123,9 @@ let _ =
 
 let _ = Export.add_function_export wasm_mod "hello" "hello"
 
+(* Shouldn't actually do anything since we aren't doing function renames *)
+let _ = Module.update_maps wasm_mod
+
 (* Finally, we print 3 versions of the module to be checked against test.expected *)
 
 (* 1. Print the the module as-is *)
@@ -125,23 +135,38 @@ let _ = Module.print wasm_mod
 (* 2. Optimize, then print the module *)
 
 let _ = Module.optimize wasm_mod
-
 let _ = Module.print wasm_mod
 
 (* 3. Copy previous module bytes into new module, validate, and print *)
 
 let byts, _ = Module.write wasm_mod None
-
 let new_mod = Module.read byts
 
-let _ = Module.set_features new_mod [ Module.Feature.all ]
+let _ =
+  Module.set_features new_mod
+    [
+      Module.Feature.mvp;
+      Module.Feature.atomics;
+      Module.Feature.bulk_memory;
+      Module.Feature.mutable_globals;
+      Module.Feature.nontrapping_fp_to_int;
+      Module.Feature.sign_ext;
+      Module.Feature.simd128;
+      Module.Feature.exception_handling;
+      Module.Feature.tail_call;
+      Module.Feature.reference_types;
+      Module.Feature.multivalue;
+      Module.Feature.gc;
+      Module.Feature.memory64;
+      Module.Feature.typed_function_references;
+      Module.Feature.relaxed_simd;
+      Module.Feature.all;
+    ]
 
 let _ = Module.validate new_mod
-
 let _ = Module.print new_mod
 
 (* Dispose the modules 👋 *)
 
 let _ = Module.dispose wasm_mod
-
 let _ = Module.dispose new_mod

binaryen-archive/virtual/element_segment.mli

@@ -1,11 +1,7 @@
 type t
 
 val get_name : t -> string
-
 val get_table : t -> string
-
 val get_offset : t -> Expression.t
-
 val get_length : t -> int
-
 val get_data : t -> int -> string

binaryen-archive/virtual/export.mli

@@ -1,33 +1,18 @@
 type t
 
 val add_function_export : Module.t -> string -> string -> t
-
 val add_table_export : Module.t -> string -> string -> t
-
 val add_memory_export : Module.t -> string -> string -> t
-
 val add_global_export : Module.t -> string -> string -> t
-
 val get_export : Module.t -> string -> t
-
 val remove_export : Module.t -> string -> unit
-
 val get_num_exports : Module.t -> int
-
 val get_export_by_index : Module.t -> int -> t
-
 val get_name : t -> string
-
 val get_value : t -> string
-
 val external_function : int
-
 val external_table : int
-
 val external_memory : int
-
 val external_global : int
-
-val external_event : int
-
+val external_tag : int
 val export_get_kind : t -> int

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/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/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/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/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 *)