@grain/binaryen.ml 0.14.1 → 0.15.0

binaryen-archive/src/binaryen_stubs_settings.js

@@ -0,0 +1,120 @@
+//Provides: caml_binaryen_get_optimize_level
+//Requires: binaryen
+function caml_binaryen_get_optimize_level() {
+  return binaryen.getOptimizeLevel();
+}
+
+//Provides: caml_binaryen_set_optimize_level
+//Requires: binaryen
+function caml_binaryen_set_optimize_level(level) {
+  return binaryen.setOptimizeLevel(level);
+}
+
+//Provides: caml_binaryen_get_shrink_level
+//Requires: binaryen
+function caml_binaryen_get_shrink_level() {
+  return binaryen.getShrinkLevel();
+}
+
+//Provides: caml_binaryen_set_shrink_level
+//Requires: binaryen
+function caml_binaryen_set_shrink_level(level) {
+  return binaryen.setShrinkLevel(level);
+}
+
+//Provides: caml_binaryen_get_debug_info
+//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();
+}
+
+//Provides: caml_binaryen_set_debug_info
+//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);
+}
+
+//Provides: caml_binaryen_get_low_memory_unused
+//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();
+}
+
+//Provides: caml_binaryen_set_low_memory_unused
+//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);
+}
+
+//Provides: caml_binaryen_get_pass_argument
+//Requires: binaryen
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_pass_argument(name) {
+  return binaryen.getPassArgument(
+    caml_jsstring_of_string(name)
+  );
+}
+
+//Provides: caml_binaryen_set_pass_argument
+//Requires: binaryen
+//Requires: caml_jsstring_of_string
+function caml_binaryen_set_pass_argument(name, value) {
+  return binaryen.setPassArgument(
+    caml_jsstring_of_string(name),
+    caml_jsstring_of_string(value)
+  );
+}
+
+//Provides: caml_binaryen_get_always_inline_max_size
+//Requires: binaryen
+function caml_binaryen_get_always_inline_max_size() {
+  return binaryen.getAlwaysInlineMaxSize();
+}
+
+//Provides: caml_binaryen_set_always_inline_max_size
+//Requires: binaryen
+function caml_binaryen_set_always_inline_max_size(size) {
+  return binaryen.setAlwaysInlineMaxSize(size);
+}
+
+//Provides: caml_binaryen_get_flexible_inline_max_size
+//Requires: binaryen
+function caml_binaryen_get_flexible_inline_max_size() {
+  return binaryen.getFlexibleInlineMaxSize();
+}
+
+//Provides: caml_binaryen_set_flexible_inline_max_size
+//Requires: binaryen
+function caml_binaryen_set_flexible_inline_max_size(size) {
+  return binaryen.setFlexibleInlineMaxSize(size);
+}
+
+//Provides: caml_binaryen_get_one_caller_inline_max_size
+//Requires: binaryen
+function caml_binaryen_get_one_caller_inline_max_size() {
+  return binaryen.getOneCallerInlineMaxSize();
+}
+
+//Provides: caml_binaryen_set_one_caller_inline_max_size
+//Requires: binaryen
+function caml_binaryen_set_one_caller_inline_max_size(size) {
+  return binaryen.setOneCallerInlineMaxSize(size);
+}
+
+//Provides: caml_binaryen_set_colors_enabled
+//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);
+}
+
+//Provides: caml_binaryen_are_colors_enabled
+//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();
+}

binaryen-archive/src/binaryen_stubs_tables.c

@@ -98,6 +98,7 @@ caml_binaryen_element_segment_get_name(value _elem) {
   CAMLreturn(caml_copy_string(BinaryenElementSegmentGetName(elem)));
 }
 
+// TODO: Expose to bindings
 CAMLprim value
 caml_binaryen_element_segment_set_name(value _elem, value _name) {
   CAMLparam2(_elem, _name);
@@ -114,6 +115,7 @@ caml_binaryen_element_segment_get_table(value _elem) {
   CAMLreturn(caml_copy_string(BinaryenElementSegmentGetTable(elem)));
 }
 
+// TODO: Expose to bindings
 CAMLprim value
 caml_binaryen_element_segment_set_table(value _elem, value _table) {
   CAMLparam2(_elem, _table);

binaryen-archive/src/binaryen_stubs_tables.js

@@ -0,0 +1,84 @@
+//Provides: caml_binaryen_add_table
+//Requires: caml_jsstring_of_string
+function caml_binaryen_add_table(wasm_mod, table, initial, maximum, tableType) {
+  return wasm_mod.addTable(
+    caml_jsstring_of_string(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) {
+  return wasm_mod.addActiveElementSegment(
+    caml_jsstring_of_string(table),
+    caml_jsstring_of_string(name),
+    caml_list_to_js_array(funcnames).map(caml_jsstring_of_string),
+    offset
+  );
+}
+
+//Provides: caml_binaryen_remove_element_segment
+//Requires: caml_jsstring_of_string
+function caml_binaryen_remove_element_segment(wasm_mod, name) {
+  return wasm_mod.removeElementSegment(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_get_num_element_segments
+function caml_binaryen_get_num_element_segments(wasm_mod) {
+  return wasm_mod.getNumElementSegments();
+}
+
+//Provides: caml_binaryen_get_element_segment
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_element_segment(wasm_mod, name) {
+  return wasm_mod.getElementSegment(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_get_element_segment_by_index
+function caml_binaryen_get_element_segment_by_index(wasm_mod, index) {
+  return wasm_mod.getElementSegmentByIndex(index);
+}
+
+//Provides: caml_binaryen_element_segment_get_name
+//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)
+}
+
+// TODO: Implement caml_binaryen_element_segment_set_name
+
+//Provides: caml_binaryen_element_segment_get_table
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_element_segment_get_table(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
+function caml_binaryen_element_segment_get_offset(elem) {
+  var element_segment_info = binaryen.getElementSegmentInfo(elem);
+  return element_segment_info.offset;
+}
+
+//Provides: caml_binaryen_element_segment_get_length
+//Requires: binaryen
+function caml_binaryen_element_segment_get_length(elem) {
+  return binaryen._BinaryenElementSegmentGetLength(elem);
+}
+
+//Provides: caml_binaryen_element_segment_get_data
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_element_segment_get_data(elem, index) {
+  var element_segment_info = binaryen.getElementSegmentInfo(elem);
+  return caml_string_of_jsstring(element_segment_info.data[index]);
+}

binaryen-archive/src/binaryen_stubs_types.js

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

binaryen-archive/src/dune

@@ -1,7 +1,6 @@
 (library
- (name binaryen_native)
- (public_name binaryen.native)
- (implements binaryen)
+ (name binaryen)
+ (public_name binaryen)
  (libraries libbinaryen.c)
  (foreign_stubs
   (language c)
@@ -10,4 +9,12 @@
     binaryen_stubs_imports binaryen_stubs_exports binaryen_stubs_globals
     binaryen_stubs_tables binaryen_stubs_memory binaryen_stubs_features
     binaryen_stubs_modules binaryen_stubs_settings ocaml_helpers)
-  (flags :standard -O2 -Wall -Wextra)))
+  (flags :standard -O2 -Wall -Wextra))
+ (js_of_ocaml
+  (javascript_files binaryen_stubs_types.js binaryen_stubs_ops.js
+    binaryen_stubs_literals.js binaryen_stubs_expressions.js
+    binaryen_stubs_functions.js binaryen_stubs_imports.js
+    binaryen_stubs_exports.js binaryen_stubs_globals.js
+    binaryen_stubs_tables.js binaryen_stubs_memory.js
+    binaryen_stubs_features.js binaryen_stubs_modules.js
+    binaryen_stubs_settings.js)))

binaryen-archive/src/literal.ml

@@ -8,16 +8,3 @@ external float64_bits : int64 -> t = "caml_binaryen_literal_float64_bits"
 let float32 n = float32_bits @@ Int32.bits_of_float n
 
 external float64 : float -> t = "caml_binaryen_literal_float64"
-
-(* Hacks for Binaryen.js stack allocations, Don't use in binaryen.native *)
-type jsoo =
-  | Int32 of int32
-  | Int64 of int32 * int32
-  | Float32Bits of int32
-  | Float64Bits of int32 * int32
-  | Float32 of float
-  | Float64 of float
-
-exception Invalid_usage
-
-let to_jsoo _ = raise Invalid_usage

binaryen-archive/src/literal.mli

@@ -0,0 +1,8 @@
+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

binaryen-archive/src/memory.ml

@@ -11,7 +11,7 @@ external set_memory :
   unit = "caml_binaryen_set_memory__bytecode" "caml_binaryen_set_memory"
 
 type segment = {
-  name : string;
+  data : string;
   passive : bool;
   offset : Expression.t;
   size : int;
@@ -22,18 +22,18 @@ let set_memory wasm_mod initial maximum export_name (segments : segment list)
     shared =
   let split_segments segments =
     List.fold_right
-      (fun { name; passive; offset; size }
-           (segment_names, segment_passive, segment_offsets, segment_sizes) ->
-        ( name :: segment_names,
+      (fun { data; passive; offset; size }
+           (segment_data, segment_passive, segment_offsets, segment_sizes) ->
+        ( data :: segment_data,
           passive :: segment_passive,
           offset :: segment_offsets,
           size :: segment_sizes ))
       segments ([], [], [], [])
   in
-  let segment_names, segment_passive, segment_offsets, segment_sizes =
+  let segment_data, segment_passive, segment_offsets, segment_sizes =
     split_segments segments
   in
-  set_memory wasm_mod initial maximum export_name segment_names segment_passive
+  set_memory wasm_mod initial maximum export_name segment_data segment_passive
     segment_offsets segment_sizes shared
 
 let unlimited = -1

binaryen-archive/{virtual → src}/memory.mli

@@ -1,5 +1,5 @@
 type segment = {
-  name : string;
+  data : string;
   passive : bool;
   offset : Expression.t;
   size : int;

binaryen-archive/src/module.ml

@@ -104,7 +104,7 @@ external set_features : t -> int -> unit = "caml_binaryen_module_set_features"
 let set_features wasm_mod features =
   set_features wasm_mod (List.fold_left ( lor ) 0 features)
 
-external run_passes : t -> string list -> unit
+external run_passes : t -> Passes.t list -> unit
   = "caml_binaryen_module_run_passes"
 
 external auto_drop : t -> unit = "caml_binaryen_module_auto_drop"

binaryen-archive/{virtual → src}/module.mli

@@ -31,7 +31,7 @@ val validate : t -> int
 val optimize : t -> unit
 val get_features : t -> Feature.t list
 val set_features : t -> Feature.t list -> unit
-val run_passes : t -> string list -> unit
+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