@grain/binaryen.ml 0.11.1 → 0.13.0

binaryen-archive/src/binaryen_stubs_expressions.c

@@ -1708,3 +1708,253 @@ caml_binaryen_tuple_extract_set_tuple(value _exp, value _value) {
   BinaryenTupleExtractSetTuple(exp, val);
   CAMLreturn(Val_unit);
 }
+
+// Ref operations
+CAMLprim value
+caml_binaryen_ref_null(value _module, value _ty) {
+  CAMLparam2(_module, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenRefNull(module, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_is(value _module, value _op, value _value) {
+  CAMLparam3(_module, _op, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenOp op = BinaryenOp_val(_op);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenRefIs(module, op, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_as(value _module, value _op, value _value) {
+  CAMLparam3(_module, _op, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenOp op = BinaryenOp_val(_op);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenRefAs(module, op, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_func(value _module, value _name, value _ty) {
+  CAMLparam3(_module, _name, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenRefFunc(module, name, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_eq(value _module, value _left, value _right) {
+  CAMLparam3(_module, _left, _right);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef left = BinaryenExpressionRef_val(_left);
+  BinaryenExpressionRef right = BinaryenExpressionRef_val(_right);
+  BinaryenExpressionRef exp = BinaryenRefEq(module, left, right);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+// Table operations
+CAMLprim value
+caml_binaryen_table_get(value _module, value _name, value _index, value _ty) {
+  CAMLparam4(_module, _name, _index, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenTableGet(module, name, index, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_set(value _module, value _name, value _index, value _value) {
+  CAMLparam4(_module, _name, _index, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenTableSet(module, name, index, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_size(value _module, value _name) {
+  CAMLparam2(_module, _name);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef exp = BinaryenTableSize(module, name);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_grow(value _module, value _name, value _value, value _delta) {
+  CAMLparam4(_module, _name, _value, _delta);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef delta = BinaryenExpressionRef_val(_delta);
+  BinaryenExpressionRef exp = BinaryenTableGrow(module, name, val, delta);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+// TableGet operations
+CAMLprim value
+caml_binaryen_tableget_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableGetGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tableget_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableGetSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableget_get_index(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenTableGetGetIndex(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(index));
+}
+
+CAMLprim value
+caml_binaryen_tableget_set_index(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenTableGetSetIndex(exp, index);
+  CAMLreturn(Val_unit);
+}
+
+// TableSet operations
+CAMLprim value
+caml_binaryen_tableset_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableSetGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableSetSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableset_get_index(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenTableSetGetIndex(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(index));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_index(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenTableSetSetIndex(exp, index);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableset_get_value(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenTableSetGetValue(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(val));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_value(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenTableSetSetValue(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+// TableSize operations
+CAMLprim value
+caml_binaryen_tablesize_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableSizeGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tablesize_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableSizeSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+// TableGrow operations
+CAMLprim value
+caml_binaryen_tablegrow_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableGrowGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableGrowSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_get_value(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenTableGrowGetValue(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(val));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_value(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenTableGrowSetValue(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_get_delta(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef delta = BinaryenTableGrowGetDelta(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(delta));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_delta(value _exp, value _delta) {
+  CAMLparam2(_exp, _delta);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef delta = BinaryenExpressionRef_val(_delta);
+  BinaryenTableGrowSetDelta(exp, delta);
+  CAMLreturn(Val_unit);
+}

binaryen-archive/src/binaryen_stubs_features.c

@@ -89,6 +89,30 @@ caml_binaryen_feature_multivalue(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureMultivalue()));
 }
 
+CAMLprim value
+caml_binaryen_feature_gc(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureGC()));
+}
+
+CAMLprim value
+caml_binaryen_feature_memory64(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureMemory64()));
+}
+
+CAMLprim value
+caml_binaryen_feature_typed_function_references(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureTypedFunctionReferences()));
+}
+
+CAMLprim value
+caml_binaryen_feature_relaxed_simd(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureRelaxedSIMD()));
+}
+
 CAMLprim value
 caml_binaryen_feature_all(value unit) {
   CAMLparam1(unit);

binaryen-archive/src/binaryen_stubs_modules.c

@@ -172,3 +172,10 @@ caml_binaryen_add_custom_section(value _module, value _name, value _contents) {
   BinaryenAddCustomSection(module, name, contents, contentsLen);
   CAMLreturn(Val_unit);
 }
+
+CAMLprim value
+caml_binaryen_module_update_maps(value module) {
+  CAMLparam1(module);
+  BinaryenModuleUpdateMaps(BinaryenModuleRef_val(module));
+  CAMLreturn(Val_unit);
+}

binaryen-archive/src/binaryen_stubs_tables.c

@@ -33,13 +33,14 @@ static value alloc_BinaryenExpressionRef(BinaryenExpressionRef exp)
 }
 
 CAMLprim value
-caml_binaryen_add_table(value _module, value _table, value _initial, value _maximum) {
-  CAMLparam4(_module, _table, _initial, _maximum);
+caml_binaryen_add_table(value _module, value _table, value _initial, value _maximum, value _tableType) {
+  CAMLparam5(_module, _table, _initial, _maximum, _tableType);
   BinaryenModuleRef module = BinaryenModuleRef_val(_module);
   char* table = Safe_String_val(_table);
   BinaryenIndex initial = Int_val(_initial);
   BinaryenIndex maximum = Int_val(_maximum);
-  CAMLreturn(alloc_BinaryenTableRef(BinaryenAddTable(module, table, initial, maximum)));
+  BinaryenType tableType = BinaryenType_val(_tableType);
+  CAMLreturn(alloc_BinaryenTableRef(BinaryenAddTable(module, table, initial, maximum, tableType)));
 }
 
 CAMLprim value

binaryen-archive/src/dune

@@ -10,5 +10,4 @@
     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))
- (c_library_flags :standard -lstdc++ -lpthread))
+  (flags :standard -O2 -Wall -Wextra)))

binaryen-archive/src/element_segment.ml

@@ -1,7 +1,6 @@
 type t
 
 external get_name : t -> string = "caml_binaryen_element_segment_get_name"
-
 external get_table : t -> string = "caml_binaryen_element_segment_get_table"
 
 external get_offset : t -> Expression.t

binaryen-archive/src/export.ml

@@ -28,9 +28,7 @@ external get_export_by_index : Module.t -> int -> t
   = "caml_binaryen_get_export_by_index"
 
 external get_name : t -> string = "caml_binaryen_export_get_name"
-
 external get_value : t -> string = "caml_binaryen_export_get_value"
-
 external external_function : unit -> int = "caml_binaryen_external_function"
 
 let external_function = external_function ()
@@ -47,8 +45,8 @@ external external_global : unit -> int = "caml_binaryen_external_global"
 
 let external_global = external_global ()
 
-external external_event : unit -> int = "caml_binaryen_external_event"
+external external_tag : unit -> int = "caml_binaryen_external_tag"
 
-let external_event = external_event ()
+let external_tag = external_tag ()
 
 external export_get_kind : t -> int = "caml_binaryen_export_get_kind"