@grain/binaryen.ml 0.12.1 → 0.14.1

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

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/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,3 +1,11 @@
+(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))

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 _ = 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) *)
@@ -128,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_tag : int
-
 val export_get_kind : t -> int