feat!: Upgrade to Binaryen v131

package.json

@@ -21,7 +21,7 @@
   "resolutions": {
     "@opam/ocp-indent": "1.9.0",
     "@opam/ocamlfind": "1.9.8",
-    "@grain/libbinaryen": "git+https://github.com/grain-lang/libbinaryen.git#f795f89bcb8acfa33320ced2f9721de3823858ba"
+    "@grain/libbinaryen": "git+https://github.com/grain-lang/libbinaryen.git#e06fac15ef19f9b9bb784b2be980f03618a27ced"
   },
   "esy": {
     "build": "dune build -p binaryen"

src/module.c

@@ -29,6 +29,16 @@ caml_binaryen_module_parse(value _text) {
   CAMLreturn(alloc_BinaryenModuleRef(module));
 }
 
+
+CAMLprim value
+caml_binaryen_module_parse_with_features(value _text, value _features) {
+  CAMLparam2(_text, _features);
+  const char* text = Safe_String_val(_text);
+  BinaryenFeatures features = Int_val(_features);
+  BinaryenModuleRef module = BinaryenModuleParseWithFeatures(text, features);
+  CAMLreturn(alloc_BinaryenModuleRef(module));
+}
+
 CAMLprim value
 caml_binaryen_module_print(value module) {
   CAMLparam1(module);

src/module.js

@@ -16,6 +16,13 @@ function caml_binaryen_module_parse(text) {
   return Binaryen.parseText(caml_jsstring_of_string(text));
 }
 
+//Provides: caml_binaryen_module_parse_with_features
+//Requires: Binaryen
+//Requires: caml_jsstring_of_string
+function caml_binaryen_module_parse_with_features(text, features) {
+  return Binaryen.parseText(caml_jsstring_of_string(text), features);
+}
+
 //Provides: caml_binaryen_module_print
 //Requires: caml_ml_output_str_stdout
 function caml_binaryen_module_print(wasm_mod) {

src/module.ml

@@ -115,6 +115,10 @@ module Feature = struct
 
   let wide_arithmetic = wide_arithmetic ()
 
+  external compact_imports : unit -> t = "caml_binaryen_feature_compact_imports"
+
+  let compact_imports = compact_imports ()
+
   external all : unit -> t = "caml_binaryen_feature_all"
 
   let all = all ()
@@ -127,6 +131,10 @@ external add_custom_section : t -> string -> string -> unit
   = "caml_binaryen_add_custom_section"
 
 external parse : string -> t = "caml_binaryen_module_parse"
+
+external parse_with_features : string -> Feature.t -> t
+  = "caml_binaryen_module_parse_with_features"
+
 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"

src/module.mli

@@ -29,13 +29,15 @@ module Feature : sig
   val multibyte : t
   val custom_page_sizes : t
   val wide_arithmetic : t
+  val compact_imports : t
   val all : t
 end
 
 val create : unit -> t
 val dispose : t -> unit
 val add_custom_section : t -> string -> string -> unit
 val parse : string -> t
+val parse_with_features : string -> Feature.t -> t
 val print : t -> unit
 val print_asmjs : t -> unit
 val print_stack_ir : t -> unit

src/module_feature.c

@@ -179,6 +179,12 @@ caml_binaryen_feature_wide_arithmetic(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureWideArithmetic()));
 }
 
+CAMLprim value
+caml_binaryen_feature_compact_imports(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureCompactImports()));
+}
+
 CAMLprim value
 caml_binaryen_feature_all(value unit) {
   CAMLparam1(unit);

src/module_feature.js

@@ -164,6 +164,12 @@ function caml_binaryen_feature_wide_arithmetic() {
   return Binaryen.Features.WideArithmetic;
 }
 
+//Provides: caml_binaryen_feature_compact_imports
+//Requires: Binaryen
+function caml_binaryen_feature_compact_imports() {
+  return Binaryen.Features.CompactImports;
+}
+
 //Provides: caml_binaryen_feature_all
 //Requires: Binaryen
 function caml_binaryen_feature_all() {

src/passes.ml

@@ -43,6 +43,9 @@ let cfp = "cfp"
 (** propagate constant struct field values, using ref.test *)
 let cfp_reftest = "cfp-reftest"
 
+(** finds and uses mathematical constraints on locals *)
+let constraint_analysis = "constraint-analysis"
+
 (** removes unreachable code *)
 let dce = "dce"
 

src/passes.mli

@@ -43,6 +43,9 @@ val cfp : t
 val cfp_reftest : t
 (** propagate constant struct field values, using ref.test *)
 
+val constraint_analysis : t
+(** finds and uses mathematical constraints on locals *)
+
 val dce : t
 (** removes unreachable code *)