@grain/binaryen.ml 0.17.1 → 0.19.0

binaryen-archive/src/binaryen_stubs_settings.js

@@ -1,120 +1,118 @@
 //Provides: caml_binaryen_get_optimize_level
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_optimize_level() {
-  return binaryen.getOptimizeLevel();
+  return Binaryen.getOptimizeLevel();
 }
 
 //Provides: caml_binaryen_set_optimize_level
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_optimize_level(level) {
-  return binaryen.setOptimizeLevel(level);
+  return Binaryen.setOptimizeLevel(level);
 }
 
 //Provides: caml_binaryen_get_shrink_level
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_shrink_level() {
-  return binaryen.getShrinkLevel();
+  return Binaryen.getShrinkLevel();
 }
 
 //Provides: caml_binaryen_set_shrink_level
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_shrink_level(level) {
-  return binaryen.setShrinkLevel(level);
+  return Binaryen.setShrinkLevel(level);
 }
 
 //Provides: caml_binaryen_get_debug_info
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_debug_info() {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenGetDebugInfo();
+  return Binaryen._BinaryenGetDebugInfo();
 }
 
 //Provides: caml_binaryen_set_debug_info
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_debug_info(on) {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenSetDebugInfo(on);
+  return Binaryen._BinaryenSetDebugInfo(on);
 }
 
 //Provides: caml_binaryen_get_low_memory_unused
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_low_memory_unused() {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenGetLowMemoryUnused();
+  return Binaryen._BinaryenGetLowMemoryUnused();
 }
 
 //Provides: caml_binaryen_set_low_memory_unused
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_low_memory_unused(on) {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenSetLowMemoryUnused(on);
+  return Binaryen._BinaryenSetLowMemoryUnused(on);
 }
 
 //Provides: caml_binaryen_get_pass_argument
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_jsstring_of_string
 function caml_binaryen_get_pass_argument(name) {
-  return binaryen.getPassArgument(
-    caml_jsstring_of_string(name)
-  );
+  return Binaryen.getPassArgument(caml_jsstring_of_string(name));
 }
 
 //Provides: caml_binaryen_set_pass_argument
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_jsstring_of_string
 function caml_binaryen_set_pass_argument(name, value) {
-  return binaryen.setPassArgument(
+  return Binaryen.setPassArgument(
     caml_jsstring_of_string(name),
     caml_jsstring_of_string(value)
   );
 }
 
 //Provides: caml_binaryen_get_always_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_always_inline_max_size() {
-  return binaryen.getAlwaysInlineMaxSize();
+  return Binaryen.getAlwaysInlineMaxSize();
 }
 
 //Provides: caml_binaryen_set_always_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_always_inline_max_size(size) {
-  return binaryen.setAlwaysInlineMaxSize(size);
+  return Binaryen.setAlwaysInlineMaxSize(size);
 }
 
 //Provides: caml_binaryen_get_flexible_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_flexible_inline_max_size() {
-  return binaryen.getFlexibleInlineMaxSize();
+  return Binaryen.getFlexibleInlineMaxSize();
 }
 
 //Provides: caml_binaryen_set_flexible_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_flexible_inline_max_size(size) {
-  return binaryen.setFlexibleInlineMaxSize(size);
+  return Binaryen.setFlexibleInlineMaxSize(size);
 }
 
 //Provides: caml_binaryen_get_one_caller_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_get_one_caller_inline_max_size() {
-  return binaryen.getOneCallerInlineMaxSize();
+  return Binaryen.getOneCallerInlineMaxSize();
 }
 
 //Provides: caml_binaryen_set_one_caller_inline_max_size
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_one_caller_inline_max_size(size) {
-  return binaryen.setOneCallerInlineMaxSize(size);
+  return Binaryen.setOneCallerInlineMaxSize(size);
 }
 
 //Provides: caml_binaryen_set_colors_enabled
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_set_colors_enabled(on) {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenSetColorsEnabled(on);
+  return Binaryen._BinaryenSetColorsEnabled(on);
 }
 
 //Provides: caml_binaryen_are_colors_enabled
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_are_colors_enabled() {
   // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
-  return binaryen._BinaryenAreColorsEnabled();
+  return Binaryen._BinaryenAreColorsEnabled();
 }

binaryen-archive/src/binaryen_stubs_tables.js

@@ -11,7 +11,13 @@ function caml_binaryen_add_table(wasm_mod, table, initial, maximum, tableType) {
 
 //Provides: caml_binaryen_add_active_element_segment
 //Requires: caml_jsstring_of_string, caml_list_to_js_array
-function caml_binaryen_add_active_element_segment(wasm_mod, table, name, funcnames, offset) {
+function caml_binaryen_add_active_element_segment(
+  wasm_mod,
+  table,
+  name,
+  funcnames,
+  offset
+) {
   return wasm_mod.addActiveElementSegment(
     caml_jsstring_of_string(table),
     caml_jsstring_of_string(name),
@@ -43,42 +49,42 @@ function caml_binaryen_get_element_segment_by_index(wasm_mod, index) {
 }
 
 //Provides: caml_binaryen_element_segment_get_name
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_element_segment_get_name(elem) {
-  var element_segment_info = binaryen.getElementSegmentInfo(elem);
-  return caml_string_of_jsstring(element_segment_info.name)
+  var element_segment_info = Binaryen.getElementSegmentInfo(elem);
+  return caml_string_of_jsstring(element_segment_info.name);
 }
 
 // TODO: Implement caml_binaryen_element_segment_set_name
 
 //Provides: caml_binaryen_element_segment_get_table
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_element_segment_get_table(elem) {
-  var element_segment_info = binaryen.getElementSegmentInfo(elem);
+  var element_segment_info = Binaryen.getElementSegmentInfo(elem);
   return caml_string_of_jsstring(element_segment_info.table);
 }
 
 // TODO: Implement caml_binaryen_element_segment_set_table
 
 //Provides: caml_binaryen_element_segment_get_offset
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_element_segment_get_offset(elem) {
-  var element_segment_info = binaryen.getElementSegmentInfo(elem);
+  var element_segment_info = Binaryen.getElementSegmentInfo(elem);
   return element_segment_info.offset;
 }
 
 //Provides: caml_binaryen_element_segment_get_length
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_element_segment_get_length(elem) {
-  return binaryen._BinaryenElementSegmentGetLength(elem);
+  return Binaryen._BinaryenElementSegmentGetLength(elem);
 }
 
 //Provides: caml_binaryen_element_segment_get_data
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_element_segment_get_data(elem, index) {
-  var element_segment_info = binaryen.getElementSegmentInfo(elem);
+  var element_segment_info = Binaryen.getElementSegmentInfo(elem);
   return caml_string_of_jsstring(element_segment_info.data[index]);
 }

binaryen-archive/src/binaryen_stubs_types.c

@@ -66,9 +66,30 @@ caml_binaryen_type_funcref(value unit) {
 }
 
 CAMLprim value
-caml_binaryen_type_externref(value unit) {
+caml_binaryen_type_anyref(value unit) {
   CAMLparam1(unit);
-  BinaryenType ty = BinaryenTypeExternref();
+  BinaryenType ty = BinaryenTypeAnyref();
+  CAMLreturn(alloc_BinaryenType(ty));
+}
+
+CAMLprim value
+caml_binaryen_type_eqref(value unit) {
+  CAMLparam1(unit);
+  BinaryenType ty = BinaryenTypeEqref();
+  CAMLreturn(alloc_BinaryenType(ty));
+}
+
+CAMLprim value
+caml_binaryen_type_i31ref(value unit) {
+  CAMLparam1(unit);
+  BinaryenType ty = BinaryenTypeI31ref();
+  CAMLreturn(alloc_BinaryenType(ty));
+}
+
+CAMLprim value
+caml_binaryen_type_dataref(value unit) {
+  CAMLparam1(unit);
+  BinaryenType ty = BinaryenTypeDataref();
   CAMLreturn(alloc_BinaryenType(ty));
 }
 

binaryen-archive/src/binaryen_stubs_types.js

@@ -1,73 +1,91 @@
 //Provides: caml_binaryen_type_none
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_none() {
-  return binaryen.none;
+  return Binaryen.none;
 }
 
 //Provides: caml_binaryen_type_int32
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_int32() {
-  return binaryen.i32;
+  return Binaryen.i32;
 }
 
 //Provides: caml_binaryen_type_int64
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_int64() {
-  return binaryen.i64;
+  return Binaryen.i64;
 }
 
 //Provides: caml_binaryen_type_float32
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_float32() {
-  return binaryen.f32;
+  return Binaryen.f32;
 }
 
 //Provides: caml_binaryen_type_float64
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_float64() {
-  return binaryen.f64;
+  return Binaryen.f64;
 }
 
 //Provides: caml_binaryen_type_vec128
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_vec128() {
-  return binaryen.v128;
+  return Binaryen.v128;
 }
 
 //Provides: caml_binaryen_type_funcref
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_funcref() {
-  return binaryen.funcref;
+  return Binaryen.funcref;
 }
 
-//Provides: caml_binaryen_type_externref
-//Requires: binaryen
-function caml_binaryen_type_externref() {
-  return binaryen.externref;
+//Provides: caml_binaryen_type_anyref
+//Requires: Binaryen
+function caml_binaryen_type_anyref() {
+  return Binaryen.anyref;
+}
+
+//Provides: caml_binaryen_type_eqref
+//Requires: Binaryen
+function caml_binaryen_type_eqref() {
+  return Binaryen.eqref;
+}
+
+//Provides: caml_binaryen_type_i31ref
+//Requires: Binaryen
+function caml_binaryen_type_i31ref() {
+  return Binaryen.i31ref;
+}
+
+//Provides: caml_binaryen_type_dataref
+//Requires: Binaryen
+function caml_binaryen_type_dataref() {
+  return Binaryen.dataref;
 }
 
 //Provides: caml_binaryen_type_unreachable
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_unreachable() {
-  return binaryen.unreachable;
+  return Binaryen.unreachable;
 }
 
 //Provides: caml_binaryen_type_auto
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_type_auto() {
-  return binaryen.auto;
+  return Binaryen.auto;
 }
 
 //Provides: caml_binaryen_type_create
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_js_from_array
 function caml_binaryen_type_create(typs) {
-  return binaryen.createType(caml_js_from_array(typs));
+  return Binaryen.createType(caml_js_from_array(typs));
 }
 
 //Provides: caml_binaryen_type_expand
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_js_to_array
 function caml_binaryen_type_expand(typ) {
-  return caml_js_to_array(binaryen.expandType(typ));
+  return caml_js_to_array(Binaryen.expandType(typ));
 }

binaryen-archive/src/expression.ml

@@ -707,6 +707,33 @@ module Memory_grow = struct
   external set_delta : t -> t -> unit = "caml_binaryen_memory_grow_set_delta"
 end
 
+module Memory_init = struct
+  external make : Module.t -> int -> t -> t -> t = "caml_binaryen_memory_init"
+  (** Module, segment, destination, offset, size. *)
+
+  external get_segment : t -> int = "caml_binaryen_memory_init_get_segment"
+
+  external set_segment : t -> int -> unit
+    = "caml_binaryen_memory_init_set_segment"
+
+  external get_dest : t -> t = "caml_binaryen_memory_init_get_dest"
+  external set_dest : t -> t -> unit = "caml_binaryen_memory_init_set_dest"
+  external get_offset : t -> t = "caml_binaryen_memory_init_get_offset"
+  external set_offset : t -> t -> unit = "caml_binaryen_memory_init_set_offset"
+  external get_size : t -> t = "caml_binaryen_memory_init_get_size"
+  external set_size : t -> t -> unit = "caml_binaryen_memory_init_set_size"
+end
+
+module Data_drop = struct
+  external make : Module.t -> int -> t = "caml_binaryen_data_drop"
+  (** Module, segment. *)
+
+  external get_segment : t -> int = "caml_binaryen_data_drop_get_segment"
+
+  external set_segment : t -> int -> unit
+    = "caml_binaryen_data_drop_set_segment"
+end
+
 module Memory_copy = struct
   external make : Module.t -> t -> t -> t -> t = "caml_binaryen_memory_copy"
   (** Module, destination, source, size. *)

binaryen-archive/src/expression.mli

@@ -255,6 +255,24 @@ module Memory_grow : sig
   val set_delta : t -> t -> unit
 end
 
+module Memory_init : sig
+  val make : Module.t -> int -> t -> t -> t
+  val get_segment : t -> int
+  val set_segment : t -> int -> unit
+  val get_dest : t -> t
+  val set_dest : t -> t -> unit
+  val get_offset : t -> t
+  val set_offset : t -> t -> unit
+  val get_size : t -> t
+  val set_size : t -> t -> unit
+end
+
+module Data_drop : sig
+  val make : Module.t -> int -> t
+  val get_segment : t -> int
+  val set_segment : t -> int -> unit
+end
+
 module Memory_copy : sig
   val make : Module.t -> t -> t -> t -> t
   val get_dest : t -> t

binaryen-archive/src/import.ml

@@ -20,11 +20,15 @@ external add_global_import :
 external function_import_get_module : Function.t -> string
   = "caml_binaryen_function_import_get_module"
 
+external memory_import_get_module : Module.t -> string = "caml_binaryen_memory_import_get_module"
+
 external global_import_get_module : Global.t -> string
   = "caml_binaryen_global_import_get_module"
 
 external function_import_get_base : Function.t -> string
   = "caml_binaryen_function_import_get_base"
 
+external memory_import_get_base : Module.t -> string = "caml_binaryen_memory_import_get_base"
+
 external global_import_get_base : Global.t -> string
   = "caml_binaryen_global_import_get_base"

binaryen-archive/src/import.mli

@@ -8,6 +8,8 @@ val add_global_import :
   Module.t -> string -> string -> string -> Type.t -> bool -> unit
 
 val function_import_get_module : Function.t -> string
+val memory_import_get_module : Module.t -> string
 val global_import_get_module : Global.t -> string
 val function_import_get_base : Function.t -> string
+val memory_import_get_base : Module.t -> string
 val global_import_get_base : Global.t -> string

binaryen-archive/src/memory.ml

@@ -3,31 +3,34 @@ external set_memory :
   int ->
   int ->
   string ->
-  string list ->
+  bytes list ->
   bool list ->
   Expression.t list ->
   int list ->
   bool ->
   unit = "caml_binaryen_set_memory__bytecode" "caml_binaryen_set_memory"
 
-type segment = {
-  data : string;
-  passive : bool;
-  offset : Expression.t;
-  size : int;
-}
+type segment = { data : bytes; kind : segment_kind; size : int }
+and segment_kind = Passive | Active of { offset : Expression.t }
 
 (** Module, initial size, maximum size, export name, segments, shared. *)
 let set_memory wasm_mod initial maximum export_name (segments : segment list)
     shared =
   let split_segments segments =
     List.fold_right
-      (fun { data; passive; offset; size }
+      (fun { data; kind; size }
            (segment_data, segment_passive, segment_offsets, segment_sizes) ->
-        ( data :: segment_data,
-          passive :: segment_passive,
-          offset :: segment_offsets,
-          size :: segment_sizes ))
+        match kind with
+        | Active { offset } ->
+            ( data :: segment_data,
+              false :: segment_passive,
+              offset :: segment_offsets,
+              size :: segment_sizes )
+        | Passive ->
+            ( data :: segment_data,
+              true :: segment_passive,
+              Expression.Null.make () :: segment_offsets,
+              size :: segment_sizes ))
       segments ([], [], [], [])
   in
   let segment_data, segment_passive, segment_offsets, segment_sizes =
@@ -36,4 +39,14 @@ let set_memory wasm_mod initial maximum export_name (segments : segment list)
   set_memory wasm_mod initial maximum export_name segment_data segment_passive
     segment_offsets segment_sizes shared
 
+external has_memory : Module.t -> bool = "caml_binaryen_has_memory"
+
+external get_initial : Module.t -> int = "caml_binaryen_memory_get_initial"
+
+external has_max : Module.t -> bool = "caml_binaryen_memory_has_max"
+
+external get_max : Module.t -> int = "caml_binaryen_memory_get_max"
+
+external is_shared : Module.t -> bool = "caml_binaryen_memory_is_shared"
+
 let unlimited = -1

binaryen-archive/src/memory.mli

@@ -1,11 +1,17 @@
-type segment = {
-  data : string;
-  passive : bool;
-  offset : Expression.t;
-  size : int;
-}
+type segment = { data : bytes; kind : segment_kind; size : int }
+and segment_kind = Passive | Active of { offset : Expression.t }
 
 val set_memory :
   Module.t -> int -> int -> string -> segment list -> bool -> unit
 
+val has_memory : Module.t -> bool
+
+val get_initial : Module.t -> int
+
+val has_max : Module.t -> bool
+
+val get_max : Module.t -> int
+
+val is_shared : Module.t -> bool
+
 val unlimited : int

binaryen-archive/src/module.ml

@@ -87,6 +87,7 @@ external add_custom_section : t -> string -> string -> unit
 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 print_stack_ir : t -> unit = "caml_binaryen_module_print_stack_ir"
 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"
@@ -117,6 +118,7 @@ external write : t -> string option -> bytes * string option
   = "caml_binaryen_module_write"
 
 external write_text : t -> string = "caml_binaryen_module_write_text"
+external write_stack_ir : t -> string = "caml_binaryen_module_write_stack_ir"
 external read : bytes -> t = "caml_binaryen_module_read"
 external interpret : t -> unit = "caml_binaryen_module_interpret"
 

binaryen-archive/src/module.mli

@@ -28,6 +28,7 @@ val add_custom_section : t -> string -> string -> unit
 val parse : string -> t
 val print : t -> unit
 val print_asmjs : t -> unit
+val print_stack_ir : t -> unit
 val validate : t -> int
 val optimize : t -> unit
 val get_features : t -> Feature.t list
@@ -36,6 +37,7 @@ val run_passes : t -> Passes.t list -> unit
 val auto_drop : t -> unit
 val write : t -> string option -> bytes * string option
 val write_text : t -> string
+val write_stack_ir : t -> string
 val read : bytes -> t
 val interpret : t -> unit
 val add_debug_info_filename : t -> string -> int

binaryen-archive/src/passes.ml

@@ -90,6 +90,9 @@ let global_refining = "global-refining"
 (** globally optimize GC types *)
 let gto = "gto"
 
+(** globally optimize struct values *)
+let gsi = "gsi"
+
 (** apply more specific subtypes to type fields where possible *)
 let type_refining = "type-refining"
 
@@ -311,6 +314,9 @@ let souperify = "souperify"
 (** emit Souper IR in text form (single-use nodes only) *)
 let souperify_single_use = "souperify-single-use"
 
+(** spill pointers to the C stack (useful for Boehm-style GC) *)
+let spill_pointers = "spill-pointers"
+
 (** stub out unsupported JS operations *)
 let stub_unsupported_js = "stub-unsupported-js"
 

binaryen-archive/src/passes.mli

@@ -90,6 +90,9 @@ val global_refining : t
 val gto : t
 (** globally optimize GC types *)
 
+val gsi : t
+(** globally optimize struct values *)
+
 val type_refining : t
 (** apply more specific subtypes to type fields where possible *)
 
@@ -309,6 +312,9 @@ val souperify : t
 val souperify_single_use : t
 (** emit Souper IR in text form (single-use nodes only) *)
 
+val spill_pointers : t
+(** spill pointers to the C stack (useful for Boehm-style GC) *)
+
 val stub_unsupported_js : t
 (** stub out unsupported JS operations *)
 

binaryen-archive/src/type.ml

@@ -28,9 +28,21 @@ external funcref : unit -> t = "caml_binaryen_type_funcref"
 
 let funcref = funcref ()
 
-external externref : unit -> t = "caml_binaryen_type_externref"
+external anyref : unit -> t = "caml_binaryen_type_anyref"
 
-let externref = externref ()
+let anyref = anyref ()
+
+external eqref : unit -> t = "caml_binaryen_type_eqref"
+
+let eqref = eqref ()
+
+external i31ref : unit -> t = "caml_binaryen_type_i31ref"
+
+let i31ref = i31ref ()
+
+external dataref : unit -> t = "caml_binaryen_type_dataref"
+
+let dataref = dataref ()
 
 external unreachable : unit -> t = "caml_binaryen_type_unreachable"
 

binaryen-archive/src/type.mli

@@ -7,7 +7,10 @@ val float32 : t
 val float64 : t
 val vec128 : t
 val funcref : t
-val externref : t
+val anyref : t
+val eqref : t
+val i31ref : t
+val dataref : t
 val unreachable : t
 val auto : t
 val create : t array -> t