@grain/binaryen.ml 0.11.1 → 0.13.0

binaryen-archive/src/expression.ml

@@ -69,7 +69,6 @@ type kind =
   | RefAs
 
 external get_id : t -> int = "caml_binaryen_expression_get_id"
-
 external id_invalid : unit -> int = "caml_binaryen_expression_id_invalid"
 
 let id_invalid = id_invalid ()
@@ -426,7 +425,6 @@ external print : t -> unit = "caml_binaryen_expression_print"
 (** Print an expression to the console. *)
 
 external finalize : t -> unit = "caml_binaryen_expression_finalize"
-
 external copy : t -> Module.t -> t = "caml_binaryen_expression_copy"
 
 (** Expression manipulation *)
@@ -440,11 +438,8 @@ module Block = struct
     make wasm_mod name exprs return_type
 
   external get_name : t -> string option = "caml_binaryen_block_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_block_set_name"
-
   external get_num_children : t -> int = "caml_binaryen_block_get_num_children"
-
   external get_child_at : t -> int -> t = "caml_binaryen_block_get_child_at"
 
   external set_child_at : t -> int -> t -> unit
@@ -464,15 +459,10 @@ module If = struct
   (** Module, condition, true branch, false branch. False branch may be null. *)
 
   external get_condition : t -> t = "caml_binaryen_if_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_if_set_condition"
-
   external get_if_true : t -> t = "caml_binaryen_if_get_if_true"
-
   external set_if_true : t -> t -> unit = "caml_binaryen_if_set_if_true"
-
   external get_if_false : t -> t option = "caml_binaryen_if_get_if_false"
-
   external set_if_false : t -> t -> unit = "caml_binaryen_if_set_if_false"
 end
 
@@ -481,11 +471,8 @@ module Loop = struct
   (** Module, loop name, body. *)
 
   external get_name : t -> string = "caml_binaryen_loop_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_loop_set_name"
-
   external get_body : t -> t = "caml_binaryen_loop_get_body"
-
   external set_body : t -> t -> unit = "caml_binaryen_loop_set_body"
 end
 
@@ -494,15 +481,10 @@ module Break = struct
   (** Module, block name, condition, result. Value and condition may be null. *)
 
   external get_name : t -> string = "caml_binaryen_break_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_break_set_name"
-
   external get_condition : t -> t option = "caml_binaryen_break_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_break_set_condition"
-
   external get_value : t -> t option = "caml_binaryen_break_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_break_set_value"
 end
 
@@ -512,7 +494,6 @@ module Switch = struct
   (** Module, branch names, default branch name, condition, value. Value may be null. *)
 
   external get_num_names : t -> int = "caml_binaryen_switch_get_num_names"
-
   external get_name_at : t -> int -> string = "caml_binaryen_switch_get_name_at"
 
   external set_name_at : t -> int -> string -> unit
@@ -533,11 +514,8 @@ module Switch = struct
     = "caml_binaryen_switch_set_default_name"
 
   external get_condition : t -> t = "caml_binaryen_switch_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_switch_set_condition"
-
   external get_value : t -> t option = "caml_binaryen_switch_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_switch_set_value"
 end
 
@@ -551,11 +529,8 @@ module Call = struct
   (** Module, function name, params, return type. *)
 
   external get_target : t -> string = "caml_binaryen_call_get_target"
-
   external set_target : t -> string -> unit = "caml_binaryen_call_set_target"
-
   external get_num_operands : t -> int = "caml_binaryen_call_get_num_operands"
-
   external get_operand_at : t -> int -> t = "caml_binaryen_call_get_operand_at"
 
   external set_operand_at : t -> int -> t -> unit
@@ -570,7 +545,6 @@ module Call = struct
     = "caml_binaryen_call_remove_operand_at"
 
   external is_return : t -> bool = "caml_binaryen_call_is_return"
-
   external set_return : t -> bool -> unit = "caml_binaryen_call_set_return"
 end
 
@@ -628,7 +602,6 @@ module Local_set = struct
   (** Module, slot, value. *)
 
   external get_value : t -> t = "caml_binaryen_local_set_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_local_set_set_value"
 end
 
@@ -643,7 +616,6 @@ module Global_get = struct
   (** Module, name, type. *)
 
   external get_name : t -> string = "caml_binaryen_global_get_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_global_get_set_name"
 end
 
@@ -652,11 +624,8 @@ module Global_set = struct
   (** Module, name, value. *)
 
   external get_name : t -> string = "caml_binaryen_global_set_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_global_set_set_name"
-
   external get_value : t -> t = "caml_binaryen_global_set_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_global_set_set_value"
 end
 
@@ -669,7 +638,6 @@ module Load = struct
     make wasm_mod bytes signed offset align ty ptr
 
   external get_ptr : t -> t = "caml_binaryen_load_get_ptr"
-
   external set_ptr : t -> t -> unit = "caml_binaryen_load_set_ptr"
 end
 
@@ -679,11 +647,8 @@ module Store = struct
   (** Module, num_bytes, offset, align, ptr, value, type. *)
 
   external get_ptr : t -> t = "caml_binaryen_store_get_ptr"
-
   external set_ptr : t -> t -> unit = "caml_binaryen_store_set_ptr"
-
   external get_value : t -> t = "caml_binaryen_store_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_store_set_value"
 end
 
@@ -693,21 +658,15 @@ end
 
 module Unary = struct
   external make : Module.t -> Op.t -> t -> t = "caml_binaryen_unary"
-
   external get_value : t -> t = "caml_binaryen_unary_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_unary_set_value"
 end
 
 module Binary = struct
   external make : Module.t -> Op.t -> t -> t -> t = "caml_binaryen_binary"
-
   external get_left : t -> t = "caml_binaryen_binary_get_left"
-
   external set_left : t -> t -> unit = "caml_binaryen_binary_set_left"
-
   external get_right : t -> t = "caml_binaryen_binary_get_right"
-
   external set_right : t -> t -> unit = "caml_binaryen_binary_set_right"
 end
 
@@ -719,31 +678,22 @@ module Select = struct
   let make wasm_mod cond tru fals = make wasm_mod cond tru fals Type.auto
 
   external get_if_true : t -> t = "caml_binaryen_select_get_if_true"
-
   external set_if_true : t -> t -> unit = "caml_binaryen_select_set_if_true"
-
   external get_if_false : t -> t = "caml_binaryen_select_get_if_false"
-
   external set_if_false : t -> t -> unit = "caml_binaryen_select_set_if_false"
-
   external get_condition : t -> t = "caml_binaryen_select_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_select_set_condition"
 end
 
 module Drop = struct
   external make : Module.t -> t -> t = "caml_binaryen_drop"
-
   external get_value : t -> t = "caml_binaryen_drop_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_drop_set_value"
 end
 
 module Return = struct
   external make : Module.t -> t -> t = "caml_binaryen_return"
-
   external get_value : t -> t = "caml_binaryen_return_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_return_set_value"
 end
 
@@ -753,9 +703,7 @@ end
 
 module Memory_grow = struct
   external make : Module.t -> t -> t = "caml_binaryen_memory_grow"
-
   external get_delta : t -> t = "caml_binaryen_memory_grow_get_delta"
-
   external set_delta : t -> t -> unit = "caml_binaryen_memory_grow_set_delta"
 end
 
@@ -764,15 +712,10 @@ module Memory_copy = struct
   (** Module, destination, source, size. *)
 
   external get_dest : t -> t = "caml_binaryen_memory_copy_get_dest"
-
   external set_dest : t -> t -> unit = "caml_binaryen_memory_copy_set_dest"
-
   external get_source : t -> t = "caml_binaryen_memory_copy_get_source"
-
   external set_source : t -> t -> unit = "caml_binaryen_memory_copy_set_source"
-
   external get_size : t -> t = "caml_binaryen_memory_copy_get_size"
-
   external set_size : t -> t -> unit = "caml_binaryen_memory_copy_set_size"
 end
 
@@ -781,15 +724,10 @@ module Memory_fill = struct
   (** Module, destination, value, size. *)
 
   external get_dest : t -> t = "caml_binaryen_memory_fill_get_dest"
-
   external set_dest : t -> t -> unit = "caml_binaryen_memory_fill_set_dest"
-
   external get_value : t -> t = "caml_binaryen_memory_fill_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_memory_fill_set_value"
-
   external get_size : t -> t = "caml_binaryen_memory_fill_get_size"
-
   external set_size : t -> t -> unit = "caml_binaryen_memory_fill_set_size"
 end
 
@@ -821,7 +759,6 @@ module Tuple_extract = struct
   (** Module, tuple, index *)
 
   external get_tuple : t -> t = "caml_binaryen_tuple_extract_get_tuple"
-
   external set_tuple : t -> t -> unit = "caml_binaryen_tuple_extract_set_tuple"
 end
 
@@ -842,3 +779,97 @@ module Null = struct
   external make : unit -> t = "caml_binaryen_null_expression"
   (** A null reference. *)
 end
+
+module Ref = struct
+  external null : Module.t -> Type.t -> t = "caml_binaryen_ref_null"
+  (** Module, type *)
+
+  external is : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_is"
+  (** Module, op, value *)
+
+  external as_ : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_as"
+  (** Module, op, value *)
+
+  external func : Module.t -> string -> Type.t -> t = "caml_binaryen_ref_func"
+  (** Module, func, type *)
+
+  external eq : Module.t -> t -> t -> t = "caml_binaryen_ref_eq"
+  (** Module, left, right *)
+end
+
+module Table = struct
+  external get : Module.t -> string -> t -> Type.t -> t
+    = "caml_binaryen_table_get"
+  (** Module, name, index, type *)
+
+  external set : Module.t -> string -> t -> t -> t = "caml_binaryen_table_set"
+  (** Module, name, index, value *)
+
+  external size : Module.t -> string -> t = "caml_binaryen_table_size"
+  (** Module, name *)
+
+  external grow : Module.t -> string -> t -> t -> t = "caml_binaryen_table_grow"
+  (** Module, name, value, delta *)
+end
+
+module Table_get = struct
+  external get_table : t -> string = "caml_binaryen_tableget_get_table"
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tableget_set_table"
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  external get_index : t -> t = "caml_binaryen_tableget_get_index"
+  (** Gets the index expression of a `Table.get` expression. *)
+
+  external set_index : t -> t -> unit = "caml_binaryen_tableget_set_index"
+  (** Gets the index expression of a `Table.get` expression. *)
+end
+
+module Table_set = struct
+  external get_table : t -> string = "caml_binaryen_tableset_get_table"
+  (** Gets the name of the table being accessed by a `Table.set` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tableset_set_table"
+  (** Sets the name of the table being accessed by a `Table.set` expression. *)
+
+  external get_index : t -> t = "caml_binaryen_tableset_get_index"
+  (** Gets the index expression of a `Table.set` expression. *)
+
+  external set_index : t -> t -> unit = "caml_binaryen_tableset_set_index"
+  (** Sets the index expression of a `Table.set` expression. *)
+
+  external get_value : t -> t = "caml_binaryen_tableset_get_value"
+  (** Gets the value expression of a `Table.set` expression. *)
+
+  external set_value : t -> t -> unit = "caml_binaryen_tableset_set_value"
+  (** Sets the value expression of a `Table.set` expression. *)
+end
+
+module Table_size = struct
+  external get_table : t -> string = "caml_binaryen_tablesize_get_table"
+  (** Gets the name of the table being accessed by a `Table.size` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tablesize_set_table"
+  (** Sets the name of the table being accessed by a `Table.size` expression. *)
+end
+
+module Table_grow = struct
+  external get_table : t -> string = "caml_binaryen_tablegrow_get_table"
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tablegrow_set_table"
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  external get_value : t -> t = "caml_binaryen_tablegrow_get_value"
+  (** Gets the value expression of a `Table.grow` expression. *)
+
+  external set_value : t -> t -> unit = "caml_binaryen_tablegrow_set_value"
+  (** Sets the value expression of a `Table.grow` expression. *)
+
+  external get_delta : t -> t = "caml_binaryen_tablegrow_get_delta"
+  (** Gets the delta of a `Table.grow` expression. *)
+
+  external set_delta : t -> t -> unit = "caml_binaryen_tablegrow_set_delta"
+  (** Sets the delta of a `Table.grow` expression. *)
+end

binaryen-archive/src/function.ml

@@ -19,17 +19,11 @@ external remove_function : Module.t -> string -> unit
   = "caml_binaryen_remove_function"
 
 external get_num_functions : Module.t -> int = "caml_binaryen_get_num_functions"
-
 external get_name : t -> string = "caml_binaryen_function_get_name"
-
 external get_params : t -> Type.t = "caml_binaryen_function_get_params"
-
 external get_results : t -> Type.t = "caml_binaryen_function_get_results"
-
 external get_num_vars : t -> int = "caml_binaryen_function_get_num_vars"
-
 external get_var : t -> int -> Type.t = "caml_binaryen_function_get_var"
-
 external get_body : t -> Expression.t = "caml_binaryen_function_get_body"
 
 external set_body : t -> Expression.t -> unit

binaryen-archive/src/global.ml

@@ -15,9 +15,7 @@ external get_global_by_index : Module.t -> int -> t
   = "caml_binaryen_get_global_by_index"
 
 external get_name : t -> string = "caml_binaryen_global_get_name"
-
 external get_type : t -> Type.t = "caml_binaryen_global_get_type"
-
 external is_mutable : t -> bool = "caml_binaryen_global_is_mutable"
 
 external get_init_expr : t -> Expression.t

binaryen-archive/src/literal.ml

@@ -1,11 +1,8 @@
 type t
 
 external int32 : int32 -> t = "caml_binaryen_literal_int32"
-
 external int64 : int64 -> t = "caml_binaryen_literal_int64"
-
 external float32_bits : int32 -> t = "caml_binaryen_literal_float32_bits"
-
 external float64_bits : int64 -> t = "caml_binaryen_literal_float64_bits"
 
 let float32 n = float32_bits @@ Int32.bits_of_float n

binaryen-archive/src/module.ml

@@ -1,5 +1,4 @@
 let _ = Callback.register "array_of_list" Array.of_list
-
 let _ = Callback.register "array_length" Array.length
 
 type t
@@ -53,28 +52,39 @@ module Feature = struct
 
   let multivalue = multivalue ()
 
+  external gc : unit -> t = "caml_binaryen_feature_gc"
+
+  let gc = gc ()
+
+  external memory64 : unit -> t = "caml_binaryen_feature_memory64"
+
+  let memory64 = memory64 ()
+
+  external typed_function_references : unit -> t
+    = "caml_binaryen_feature_typed_function_references"
+
+  let typed_function_references = typed_function_references ()
+
+  external relaxed_simd : unit -> t = "caml_binaryen_feature_relaxed_simd"
+
+  let relaxed_simd = relaxed_simd ()
+
   external all : unit -> t = "caml_binaryen_feature_all"
 
   let all = all ()
 end
 
 external create : unit -> t = "caml_binaryen_module_create"
-
 external dispose : t -> unit = "caml_binaryen_module_dispose"
 
 external add_custom_section : t -> string -> string -> unit
   = "caml_binaryen_add_custom_section"
 
 external parse : string -> t = "caml_binaryen_module_parse"
-
 external print : t -> unit = "caml_binaryen_module_print"
-
 external print_asmjs : t -> unit = "caml_binaryen_module_print_asmjs"
-
 external validate : t -> int = "caml_binaryen_module_validate"
-
 external optimize : t -> unit = "caml_binaryen_module_optimize"
-
 external get_features : t -> int = "caml_binaryen_module_get_features"
 
 let get_features wasm_mod =
@@ -103,9 +113,7 @@ external write : t -> string option -> bytes * string option
   = "caml_binaryen_module_write"
 
 external write_text : t -> string = "caml_binaryen_module_write_text"
-
 external read : bytes -> t = "caml_binaryen_module_read"
-
 external interpret : t -> unit = "caml_binaryen_module_interpret"
 
 external add_debug_info_filename : t -> string -> int
@@ -113,3 +121,5 @@ external add_debug_info_filename : t -> string -> int
 
 external get_debug_info_filename : t -> int -> string
   = "caml_binaryen_module_get_debug_info_filename"
+
+external update_maps : t -> unit = "caml_binaryen_module_update_maps"

binaryen-archive/src/settings.ml

@@ -1,13 +1,8 @@
 external get_optimize_level : unit -> int = "caml_binaryen_get_optimize_level"
-
 external set_optimize_level : int -> unit = "caml_binaryen_set_optimize_level"
-
 external get_shrink_level : unit -> int = "caml_binaryen_get_shrink_level"
-
 external set_shrink_level : int -> unit = "caml_binaryen_set_shrink_level"
-
 external get_debug_info : unit -> bool = "caml_binaryen_get_debug_info"
-
 external set_debug_info : bool -> unit = "caml_binaryen_set_debug_info"
 
 external get_low_memory_unused : unit -> bool
@@ -41,5 +36,4 @@ external set_one_caller_inline_max_size : int -> unit
   = "caml_binaryen_set_one_caller_inline_max_size"
 
 external set_colors_enabled : bool -> unit = "caml_binaryen_set_colors_enabled"
-
 external are_colors_enabled : unit -> bool = "caml_binaryen_are_colors_enabled"

binaryen-archive/src/table.ml

@@ -1,8 +1,8 @@
 type t
 
-external add_table : Module.t -> string -> int -> int -> t
+external add_table : Module.t -> string -> int -> int -> Type.t -> t
   = "caml_binaryen_add_table"
-(** Module, name, initial size, maximum size. *)
+(** Module, name, initial size, maximum size, table type *)
 
 external add_active_element_segment :
   Module.t ->

binaryen-archive/src/type.ml

@@ -41,5 +41,4 @@ external auto : unit -> t = "caml_binaryen_type_auto"
 let auto = auto ()
 
 external create : t array -> t = "caml_binaryen_type_create"
-
 external expand : t -> t array = "caml_binaryen_type_expand"

binaryen-archive/test/config/ocamlopt_flags.ml

@@ -8,7 +8,14 @@ let () =
         match C.ocaml_config_var c "system" with
         | Some "macosx" ->
             (* These flags preserve the original C++ error behavior. Ref https://github.com/ocaml/ocaml/issues/10423 *)
-            [ "-cc"; "clang++" ]
+            [
+              "-cc";
+              "clang++";
+              "-cclib";
+              "-Wl,-keep_dwarf_unwind";
+              "-cclib";
+              "-Wl,-no_compact_unwind";
+            ]
         | Some _ -> default
         | None -> default
       in

binaryen-archive/test/test.expected

@@ -1,8 +1,16 @@
+(table.get $table
+ (i32.const 0)
+)
+(table.size $table)
+(table.grow $table
+ (ref.null func)
+ (i32.const 0)
+)
 (module
  (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
  (type $none_=>_none (func))
- (type $externref_=>_i32 (func (param externref) (result i32)))
  (type $externref_i32_i32_=>_i32 (func (param externref i32 i32) (result i32)))
+ (type $externref_=>_i32 (func (param externref) (result i32)))
  (import "future-wasi" "write" (func $write (param externref i32 i32) (result i32)))
  (global $max_int64 i64 (i64.const 9223372036854775807))
  (global $test_float64_bits f64 (f64.const 1.23))
@@ -49,10 +57,10 @@
  )
 )
 (module
- (type $none_=>_none (func))
- (type $externref_=>_i32 (func (param externref) (result i32)))
  (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (type $none_=>_none (func))
  (type $externref_i32_i32_=>_i32 (func (param externref i32 i32) (result i32)))
+ (type $externref_=>_i32 (func (param externref) (result i32)))
  (import "future-wasi" "write" (func $write (param externref i32 i32) (result i32)))
  (memory $0 1)
  (table $table 1 1 funcref)
@@ -90,10 +98,10 @@
  )
 )
 (module
+ (type $externref_i32_i32_=>_i32 (func (param externref i32 i32) (result i32)))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
  (type $none_=>_none (func))
  (type $externref_=>_i32 (func (param externref) (result i32)))
- (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
- (type $externref_i32_i32_=>_i32 (func (param externref i32 i32) (result i32)))
  (import "future-wasi" "write" (func $fimport$0 (param externref i32 i32) (result i32)))
  (memory $0 1)
  (table $0 1 1 funcref)