@grain/binaryen.ml 0.32.0 → 0.33.0

binaryen-archive/CHANGELOG.md

@@ -1,5 +1,17 @@
 # Changelog
 
+## [0.33.0](https://github.com/grain-lang/binaryen.ml/compare/v0.32.0...v0.33.0) (2025-11-12)
+
+
+### ⚠ BREAKING CHANGES
+
+* Upgrade to Binaryen v123 ([#256](https://github.com/grain-lang/binaryen.ml/issues/256))
+
+### Features
+
+* Implement optimization settings api ([#243](https://github.com/grain-lang/binaryen.ml/issues/243)) ([1f25caf](https://github.com/grain-lang/binaryen.ml/commit/1f25cafc96a1f6969a1ecca8ea778aeefae893a8))
+* Upgrade to Binaryen v123 ([#256](https://github.com/grain-lang/binaryen.ml/issues/256)) ([dd6bfa7](https://github.com/grain-lang/binaryen.ml/commit/dd6bfa7bd1c072b33bbc1731a046d169ceb9ea39))
+
 ## [0.32.0](https://github.com/grain-lang/binaryen.ml/compare/v0.31.0...v0.32.0) (2025-11-12)
 
 

binaryen-archive/binaryen.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.32.0"
+version: "0.33.0"
 synopsis: "OCaml bindings for Binaryen"
 maintainer: "oscar@grain-lang.org"
 author: "Oscar Spencer"
@@ -16,6 +16,6 @@ depends: [
   "dune" {>= "3.0.0"}
   "dune-configurator" {>= "3.0.0"}
   "js_of_ocaml-compiler" {>= "6.0.0" < "7.0.0"}
-  "libbinaryen" {>= "122.0.1" < "123.0.0"}
+  "libbinaryen" {>= "123.0.1" < "124.0.0"}
 ]
 x-maintenance-intent: ["0.(latest)"]

binaryen-archive/esy.lock/index.json

@@ -1,5 +1,5 @@
 {
-  "checksum": "55b439676e74c57977482d2499504bd2",
+  "checksum": "155674e15af22e7cb1432c6d5b252eee",
   "root": "@grain/binaryen.ml@link-dev:./package.json",
   "node": {
     "ocaml@5.3.0@d41d8cd9": {
@@ -102,7 +102,7 @@
       },
       "overrides": [],
       "dependencies": [
-        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.0@fa72996d",
+        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.1@2377d2f8",
         "@opam/ocamlfind@opam:1.9.8@ee910ff5",
         "@opam/ocamlbuild@opam:0.16.1@b3fc8209",
         "@opam/cmdliner@opam:1.3.0@8e6dd99f",
@@ -135,7 +135,7 @@
       "overrides": [],
       "dependencies": [
         "ocaml@5.3.0@d41d8cd9", "@opam/uutf@opam:1.0.4@ba7fbef7",
-        "@opam/uucp@opam:17.0.0@843de755", "@opam/topkg@opam:1.1.0@fa72996d",
+        "@opam/uucp@opam:17.0.0@843de755", "@opam/topkg@opam:1.1.1@2377d2f8",
         "@opam/ocamlfind@opam:1.9.8@ee910ff5",
         "@opam/ocamlbuild@opam:0.16.1@b3fc8209",
         "@opam/cmdliner@opam:1.3.0@8e6dd99f",
@@ -169,7 +169,7 @@
       },
       "overrides": [],
       "dependencies": [
-        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.0@fa72996d",
+        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.1@2377d2f8",
         "@opam/ocamlfind@opam:1.9.8@ee910ff5",
         "@opam/ocamlbuild@opam:0.16.1@b3fc8209",
         "@opam/cmdliner@opam:1.3.0@8e6dd99f",
@@ -183,20 +183,20 @@
         [ "windows", "x86_64" ]
       ]
     },
-    "@opam/topkg@opam:1.1.0@fa72996d": {
-      "id": "@opam/topkg@opam:1.1.0@fa72996d",
+    "@opam/topkg@opam:1.1.1@2377d2f8": {
+      "id": "@opam/topkg@opam:1.1.1@2377d2f8",
       "name": "@opam/topkg",
-      "version": "opam:1.1.0",
+      "version": "opam:1.1.1",
       "source": {
         "type": "install",
         "source": [
-          "archive:https://opam.ocaml.org/cache/sha512/34/34d22ae5b6bd166dd4a601a7d12d89c336684b3c56d7c7f481b40837eab263616cc3a6e6f63602f3d4a7d53c911967bf261de6c1ac205341b98a9838e5ea7aeb#sha512:34d22ae5b6bd166dd4a601a7d12d89c336684b3c56d7c7f481b40837eab263616cc3a6e6f63602f3d4a7d53c911967bf261de6c1ac205341b98a9838e5ea7aeb",
-          "archive:https://erratique.ch/software/topkg/releases/topkg-1.1.0.tbz#sha512:34d22ae5b6bd166dd4a601a7d12d89c336684b3c56d7c7f481b40837eab263616cc3a6e6f63602f3d4a7d53c911967bf261de6c1ac205341b98a9838e5ea7aeb"
+          "archive:https://opam.ocaml.org/cache/sha512/c3/c36c549a362ddf5b7fe3f6ff91c79b7ab531c43633bb9737576370bcbd69db7e1625d247c278a869b503d45a175e9753231ccf595e5bfa4e3b7e2602ac3d3b42#sha512:c36c549a362ddf5b7fe3f6ff91c79b7ab531c43633bb9737576370bcbd69db7e1625d247c278a869b503d45a175e9753231ccf595e5bfa4e3b7e2602ac3d3b42",
+          "archive:https://erratique.ch/software/topkg/releases/topkg-1.1.1.tbz#sha512:c36c549a362ddf5b7fe3f6ff91c79b7ab531c43633bb9737576370bcbd69db7e1625d247c278a869b503d45a175e9753231ccf595e5bfa4e3b7e2602ac3d3b42"
         ],
         "opam": {
           "name": "topkg",
-          "version": "1.1.0",
-          "path": "esy.lock/opam/topkg.1.1.0"
+          "version": "1.1.1",
+          "path": "esy.lock/opam/topkg.1.1.1"
         }
       },
       "overrides": [],
@@ -1394,7 +1394,7 @@
       },
       "overrides": [],
       "dependencies": [
-        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.0@fa72996d",
+        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.1@2377d2f8",
         "@opam/ocamlfind@opam:1.9.8@ee910ff5",
         "@opam/ocamlbuild@opam:0.16.1@b3fc8209",
         "@opam/astring@opam:0.8.5@9975798d",
@@ -1947,7 +1947,7 @@
       },
       "overrides": [],
       "dependencies": [
-        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.0@fa72996d",
+        "ocaml@5.3.0@d41d8cd9", "@opam/topkg@opam:1.1.1@2377d2f8",
         "@opam/ocamlfind@opam:1.9.8@ee910ff5",
         "@opam/ocamlbuild@opam:0.16.1@b3fc8209",
         "@esy-ocaml/substs@0.0.1@d41d8cd9"
@@ -1960,14 +1960,14 @@
         [ "windows", "x86_64" ]
       ]
     },
-    "@grain/libbinaryen@122.0.0@d41d8cd9": {
-      "id": "@grain/libbinaryen@122.0.0@d41d8cd9",
+    "@grain/libbinaryen@123.0.1@d41d8cd9": {
+      "id": "@grain/libbinaryen@123.0.1@d41d8cd9",
       "name": "@grain/libbinaryen",
-      "version": "122.0.0",
+      "version": "123.0.1",
       "source": {
         "type": "install",
         "source": [
-          "archive:https://registry.npmjs.org/@grain/libbinaryen/-/libbinaryen-122.0.0.tgz#sha1:63c01c799e798e88fbf86c60a5b4b151c062e635"
+          "archive:https://registry.npmjs.org/@grain/libbinaryen/-/libbinaryen-123.0.1.tgz#sha1:5d4c992f6761d67d7d297bb48f0f4093ab5328e4"
         ]
       },
       "overrides": [],
@@ -1999,7 +1999,7 @@
         "ocaml@5.3.0@d41d8cd9",
         "@opam/dune-configurator@opam:3.20.2@7eb6ff01",
         "@opam/dune@opam:3.20.2@8daef28d",
-        "@grain/libbinaryen@122.0.0@d41d8cd9"
+        "@grain/libbinaryen@123.0.1@d41d8cd9"
       ],
       "devDependencies": [
         "@opam/ocamlformat@opam:0.27.0@c40d4612",

binaryen-archive/esy.lock/opam/{topkg.1.1.0 → topkg.1.1.1}/opam

@@ -43,8 +43,8 @@ depends: [
 build: ["ocaml" "pkg/pkg.ml" "build" "--pkg-name" name "--dev-pkg" "%{dev}%"]
 dev-repo: "git+https://erratique.ch/repos/topkg.git"
 url {
-  src: "https://erratique.ch/software/topkg/releases/topkg-1.1.0.tbz"
+  src: "https://erratique.ch/software/topkg/releases/topkg-1.1.1.tbz"
   checksum:
-    "sha512=34d22ae5b6bd166dd4a601a7d12d89c336684b3c56d7c7f481b40837eab263616cc3a6e6f63602f3d4a7d53c911967bf261de6c1ac205341b98a9838e5ea7aeb"
+    "sha512=c36c549a362ddf5b7fe3f6ff91c79b7ab531c43633bb9737576370bcbd69db7e1625d247c278a869b503d45a175e9753231ccf595e5bfa4e3b7e2602ac3d3b42"
 }
 x-maintenance-intent: ["(latest)"]

binaryen-archive/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.32.0",
+  "version": "0.33.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
     "ocaml": ">= 4.13.0 < 5.4.0",
-    "@grain/libbinaryen": ">= 122.0.0 < 123.0.0",
+    "@grain/libbinaryen": ">= 123.0.0 < 124.0.0",
     "@opam/dune": ">= 3.0.0",
     "@opam/dune-configurator": ">= 3.0.0"
   },

binaryen-archive/src/expression.c

@@ -1868,7 +1868,7 @@ 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);
+  BinaryenHeapType ty = BinaryenHeapType_val(_ty);
   BinaryenExpressionRef exp = BinaryenRefFunc(module, name, ty);
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }

binaryen-archive/src/expression.ml

@@ -824,7 +824,8 @@ module Ref = struct
   external as_ : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_as"
   (** Module, op, value *)
 
-  external func : Module.t -> string -> Type.t -> t = "caml_binaryen_ref_func"
+  external func : Module.t -> string -> Heap_type.t -> t
+    = "caml_binaryen_ref_func"
   (** Module, func, type *)
 
   external eq : Module.t -> t -> t -> t = "caml_binaryen_ref_eq"

binaryen-archive/src/expression.mli

@@ -343,7 +343,7 @@ module Ref : sig
   val as_ : Module.t -> Op.t -> t -> t
   (** Module, op, value *)
 
-  val func : Module.t -> string -> Type.t -> t
+  val func : Module.t -> string -> Heap_type.t -> t
   (** Module, func, type *)
 
   val eq : Module.t -> t -> t -> t

binaryen-archive/src/module.ml

@@ -14,10 +14,6 @@ module Feature = struct
 
   let atomics = atomics ()
 
-  external bulk_memory : unit -> t = "caml_binaryen_feature_bulk_memory"
-
-  let bulk_memory = bulk_memory ()
-
   external mutable_globals : unit -> t = "caml_binaryen_feature_mutable_globals"
 
   let mutable_globals = mutable_globals ()
@@ -27,14 +23,18 @@ module Feature = struct
 
   let nontrapping_fp_to_int = nontrapping_fp_to_int ()
 
-  external sign_ext : unit -> t = "caml_binaryen_feature_sign_ext"
-
-  let sign_ext = sign_ext ()
-
   external simd128 : unit -> t = "caml_binaryen_feature_simd128"
 
   let simd128 = simd128 ()
 
+  external bulk_memory : unit -> t = "caml_binaryen_feature_bulk_memory"
+
+  let bulk_memory = bulk_memory ()
+
+  external sign_ext : unit -> t = "caml_binaryen_feature_sign_ext"
+
+  let sign_ext = sign_ext ()
+
   external exception_handling : unit -> t
     = "caml_binaryen_feature_exception_handling"
 
@@ -76,6 +76,28 @@ module Feature = struct
 
   let multi_memory = multi_memory ()
 
+  external stack_switching : unit -> t = "caml_binaryen_feature_stack_switching"
+
+  let stack_switching = stack_switching ()
+
+  external shared_everything : unit -> t
+    = "caml_binaryen_feature_shared_everything"
+
+  let shared_everything = shared_everything ()
+
+  external fp16 : unit -> t = "caml_binaryen_feature_fp16"
+
+  let fp16 = fp16 ()
+
+  external bulk_memory_opt : unit -> t = "caml_binaryen_feature_bulk_memory_opt"
+
+  let bulk_memory_opt = bulk_memory_opt ()
+
+  external call_indirect_overlong : unit -> t
+    = "caml_binaryen_feature_call_indirect_overlong"
+
+  let call_indirect_overlong = call_indirect_overlong ()
+
   external all : unit -> t = "caml_binaryen_feature_all"
 
   let all = all ()

binaryen-archive/src/module.mli

@@ -5,11 +5,11 @@ module Feature : sig
 
   val mvp : t
   val atomics : t
-  val bulk_memory : t
   val mutable_globals : t
   val nontrapping_fp_to_int : t
-  val sign_ext : t
   val simd128 : t
+  val bulk_memory : t
+  val sign_ext : t
   val exception_handling : t
   val tail_call : t
   val reference_types : t
@@ -20,6 +20,11 @@ module Feature : sig
   val extended_const : t
   val strings : t
   val multi_memory : t
+  val stack_switching : t
+  val shared_everything : t
+  val fp16 : t
+  val bulk_memory_opt : t
+  val call_indirect_overlong : t
   val all : t
 end
 

binaryen-archive/src/module_feature.c

@@ -35,12 +35,6 @@ caml_binaryen_feature_atomics(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureAtomics()));
 }
 
-CAMLprim value
-caml_binaryen_feature_bulk_memory(value unit) {
-  CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenFeatureBulkMemory()));
-}
-
 CAMLprim value
 caml_binaryen_feature_mutable_globals(value unit) {
   CAMLparam1(unit);
@@ -54,15 +48,21 @@ caml_binaryen_feature_nontrapping_fp_to_int(value unit) {
 }
 
 CAMLprim value
-caml_binaryen_feature_sign_ext(value unit) {
+caml_binaryen_feature_simd128(value unit) {
   CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenFeatureSignExt()));
+  CAMLreturn(Val_int(BinaryenFeatureSIMD128()));
 }
 
 CAMLprim value
-caml_binaryen_feature_simd128(value unit) {
+caml_binaryen_feature_bulk_memory(value unit) {
   CAMLparam1(unit);
-  CAMLreturn(Val_int(BinaryenFeatureSIMD128()));
+  CAMLreturn(Val_int(BinaryenFeatureBulkMemory()));
+}
+
+CAMLprim value
+caml_binaryen_feature_sign_ext(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureSignExt()));
 }
 
 CAMLprim value
@@ -125,6 +125,36 @@ caml_binaryen_feature_multi_memory(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureMultiMemory()));
 }
 
+CAMLprim value
+caml_binaryen_feature_stack_switching(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureStackSwitching()));
+}
+
+CAMLprim value
+caml_binaryen_feature_shared_everything(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureSharedEverything()));
+}
+
+CAMLprim value
+caml_binaryen_feature_fp16(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureFP16()));
+}
+
+CAMLprim value
+caml_binaryen_feature_bulk_memory_opt(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureBulkMemoryOpt()));
+}
+
+CAMLprim value
+caml_binaryen_feature_call_indirect_overlong(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureCallIndirectOverlong()));
+}
+
 CAMLprim value
 caml_binaryen_feature_all(value unit) {
   CAMLparam1(unit);

binaryen-archive/src/module_feature.js

@@ -20,12 +20,6 @@ function caml_binaryen_feature_atomics() {
   return Binaryen.Features.Atomics;
 }
 
-//Provides: caml_binaryen_feature_bulk_memory
-//Requires: Binaryen
-function caml_binaryen_feature_bulk_memory() {
-  return Binaryen.Features.BulkMemory;
-}
-
 //Provides: caml_binaryen_feature_mutable_globals
 //Requires: Binaryen
 function caml_binaryen_feature_mutable_globals() {
@@ -38,18 +32,24 @@ function caml_binaryen_feature_nontrapping_fp_to_int() {
   return Binaryen.Features.NontrappingFPToInt;
 }
 
-//Provides: caml_binaryen_feature_sign_ext
-//Requires: Binaryen
-function caml_binaryen_feature_sign_ext() {
-  return Binaryen.Features.SignExt;
-}
-
 //Provides: caml_binaryen_feature_simd128
 //Requires: Binaryen
 function caml_binaryen_feature_simd128() {
   return Binaryen.Features.SIMD128;
 }
 
+//Provides: caml_binaryen_feature_bulk_memory
+//Requires: Binaryen
+function caml_binaryen_feature_bulk_memory() {
+  return Binaryen.Features.BulkMemory;
+}
+
+//Provides: caml_binaryen_feature_sign_ext
+//Requires: Binaryen
+function caml_binaryen_feature_sign_ext() {
+  return Binaryen.Features.SignExt;
+}
+
 //Provides: caml_binaryen_feature_exception_handling
 //Requires: Binaryen
 function caml_binaryen_feature_exception_handling() {
@@ -110,6 +110,36 @@ function caml_binaryen_feature_multi_memory() {
   return Binaryen.Features.MultiMemory;
 }
 
+//Provides: caml_binaryen_feature_stack_switching
+//Requires: Binaryen
+function caml_binaryen_feature_stack_switching() {
+  return Binaryen.Features.StackSwitching;
+}
+
+//Provides: caml_binaryen_feature_shared_everything
+//Requires: Binaryen
+function caml_binaryen_feature_shared_everything() {
+  return Binaryen.Features.SharedEverything;
+}
+
+//Provides: caml_binaryen_feature_fp16
+//Requires: Binaryen
+function caml_binaryen_feature_fp16() {
+  return Binaryen.Features.FP16;
+}
+
+//Provides: caml_binaryen_feature_bulk_memory_opt
+//Requires: Binaryen
+function caml_binaryen_feature_bulk_memory_opt() {
+  return Binaryen.Features.BulkMemoryOpt;
+}
+
+//Provides: caml_binaryen_feature_call_indirect_overlong
+//Requires: Binaryen
+function caml_binaryen_feature_call_indirect_overlong() {
+  return Binaryen.Features.BulkMemoryOpt;
+}
+
 //Provides: caml_binaryen_feature_all
 //Requires: Binaryen
 function caml_binaryen_feature_all() {

binaryen-archive/src/settings.c

@@ -52,6 +52,36 @@ caml_binaryen_set_debug_info(value _on) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_get_traps_never_happen(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetTrapsNeverHappen();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_traps_never_happen(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetTrapsNeverHappen(on);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_get_closed_world(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetClosedWorld();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_closed_world(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetClosedWorld(on);
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_get_low_memory_unused(value unit) {
   CAMLparam1(unit);
@@ -67,6 +97,66 @@ caml_binaryen_set_low_memory_unused(value _on) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_get_zero_filled_memory(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetZeroFilledMemory();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_zero_filled_memory(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetZeroFilledMemory(on);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_get_fast_math(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetFastMath();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_fast_math(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetFastMath(on);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_get_generate_stack_ir(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetGenerateStackIR();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_generate_stack_ir(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetGenerateStackIR(on);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_get_optimize_stack_ir(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetOptimizeStackIR();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_optimize_stack_ir(value _on) {
+  CAMLparam1(_on);
+  bool on = Bool_val(_on);
+  BinaryenSetOptimizeStackIR(on);
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_get_pass_argument(value _name) {
   CAMLparam1(_name);
@@ -88,6 +178,36 @@ caml_binaryen_set_pass_argument(value _name, value _val) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_clear_pass_arguments(value unit) {
+  CAMLparam1(unit);
+  BinaryenClearPassArguments();
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_has_pass_to_skip(value _pass) {
+  CAMLparam1(_pass);
+  const char* pass = Safe_String_val(_pass);
+  bool res = BinaryenHasPassToSkip(pass);
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_add_pass_to_skip(value _pass) {
+  CAMLparam1(_pass);
+  const char* pass = Safe_String_val(_pass);
+  BinaryenAddPassToSkip(pass);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_clear_passes_to_skip(value unit) {
+  CAMLparam1(unit);
+  BinaryenClearPassesToSkip();
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_get_always_inline_max_size(value unit) {
   CAMLparam1(unit);
@@ -133,6 +253,21 @@ caml_binaryen_set_one_caller_inline_max_size(value _size) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_get_allow_inlining_functions_with_loops(value unit) {
+  CAMLparam1(unit);
+  bool res = BinaryenGetAllowInliningFunctionsWithLoops();
+  CAMLreturn(Val_bool(res));
+}
+
+CAMLprim value
+caml_binaryen_set_allow_inlining_functions_with_loops(value _size) {
+  CAMLparam1(_size);
+  int on = Bool_val(_size);
+  BinaryenSetAllowInliningFunctionsWithLoops(on);
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_set_colors_enabled(value _on) {
   CAMLparam1(_on);

binaryen-archive/src/settings.js

@@ -36,6 +36,34 @@ function caml_binaryen_set_debug_info(on) {
   return Binaryen._BinaryenSetDebugInfo(on);
 }
 
+//Provides: caml_binaryen_get_traps_never_happen
+//Requires: Binaryen
+function caml_binaryen_get_traps_never_happen() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetTrapsNeverHappen();
+}
+
+//Provides: caml_binaryen_set_traps_never_happen
+//Requires: Binaryen
+function caml_binaryen_set_traps_never_happen(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetTrapsNeverHappen(on);
+}
+
+//Provides: caml_binaryen_get_closed_world
+//Requires: Binaryen
+function caml_binaryen_get_closed_world() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetClosedWorld();
+}
+
+//Provides: caml_binaryen_set_closed_world
+//Requires: Binaryen
+function caml_binaryen_set_closed_world(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetClosedWorld(on);
+}
+
 //Provides: caml_binaryen_get_low_memory_unused
 //Requires: Binaryen
 function caml_binaryen_get_low_memory_unused() {
@@ -50,6 +78,62 @@ function caml_binaryen_set_low_memory_unused(on) {
   return Binaryen._BinaryenSetLowMemoryUnused(on);
 }
 
+//Provides: caml_binaryen_get_zero_filled_memory
+//Requires: Binaryen
+function caml_binaryen_get_zero_filled_memory() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetZeroFilledMemory();
+}
+
+//Provides: caml_binaryen_set_zero_filled_memory
+//Requires: Binaryen
+function caml_binaryen_set_zero_filled_memory(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetZeroFilledMemory(on);
+}
+
+//Provides: caml_binaryen_get_fast_math
+//Requires: Binaryen
+function caml_binaryen_get_fast_math() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetFastMath();
+}
+
+//Provides: caml_binaryen_set_fast_math
+//Requires: Binaryen
+function caml_binaryen_set_fast_math(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetFastMath(on);
+}
+
+//Provides: caml_binaryen_get_generate_stack_ir
+//Requires: Binaryen
+function caml_binaryen_get_generate_stack_ir() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetGenerateStackIR();
+}
+
+//Provides: caml_binaryen_set_generate_stack_ir
+//Requires: Binaryen
+function caml_binaryen_set_generate_stack_ir(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetGenerateStackIR(on);
+}
+
+//Provides: caml_binaryen_get_optimize_stack_ir
+//Requires: Binaryen
+function caml_binaryen_get_optimize_stack_ir() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetOptimizeStackIR();
+}
+
+//Provides: caml_binaryen_set_optimize_stack_ir
+//Requires: Binaryen
+function caml_binaryen_set_optimize_stack_ir(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetOptimizeStackIR(on);
+}
+
 //Provides: caml_binaryen_get_pass_argument
 //Requires: Binaryen
 //Requires: caml_jsstring_of_string
@@ -70,6 +154,39 @@ function caml_binaryen_set_pass_argument(name, value) {
   );
 }
 
+//Provides: caml_binaryen_clear_pass_arguments
+//Requires: Binaryen
+function caml_binaryen_clear_pass_arguments() {
+  return Binaryen.clearPassArguments();
+}
+
+//Provides: caml_binaryen_has_pass_to_skip
+//Requires: Binaryen
+//Requires: caml_jsstring_of_string
+//Requires: caml_js_to_bool
+function caml_binaryen_has_pass_to_skip(pass) {
+  return caml_js_to_bool(
+    Binaryen.hasPassToSkip(
+      caml_jsstring_of_string(pass)
+    )
+  );
+}
+
+//Provides: caml_binaryen_add_pass_to_skip
+//Requires: Binaryen
+//Requires: caml_jsstring_of_string
+function caml_binaryen_add_pass_to_skip(pass) {
+  return Binaryen.addPassToSkip(
+    caml_jsstring_of_string(pass)
+  );
+}
+
+//Provides: caml_binaryen_clear_passes_to_skip
+//Requires: Binaryen
+function caml_binaryen_clear_passes_to_skip(pass) {
+  return Binaryen.clearPassesToSkip();
+}
+
 //Provides: caml_binaryen_get_always_inline_max_size
 //Requires: Binaryen
 function caml_binaryen_get_always_inline_max_size() {
@@ -106,6 +223,20 @@ function caml_binaryen_set_one_caller_inline_max_size(size) {
   return Binaryen.setOneCallerInlineMaxSize(size);
 }
 
+//Provides: caml_binaryen_get_allow_inlining_functions_with_loops
+//Requires: Binaryen
+function caml_binaryen_get_allow_inlining_functions_with_loops() {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenGetAllowInliningFunctionsWithLoops();
+}
+
+//Provides: caml_binaryen_set_allow_inlining_functions_with_loops
+//Requires: Binaryen
+function caml_binaryen_set_allow_inlining_functions_with_loops(on) {
+  // Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO
+  return Binaryen._BinaryenSetAllowInliningFunctionsWithLoops(on);
+}
+
 //Provides: caml_binaryen_set_colors_enabled
 //Requires: Binaryen
 function caml_binaryen_set_colors_enabled(on) {

binaryen-archive/src/settings.ml

@@ -5,18 +5,57 @@ 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_traps_never_happen : unit -> bool
+  = "caml_binaryen_get_traps_never_happen"
+
+external set_traps_never_happen : bool -> unit
+  = "caml_binaryen_set_traps_never_happen"
+
+external get_closed_world : unit -> bool = "caml_binaryen_get_closed_world"
+external set_closed_world : bool -> unit = "caml_binaryen_set_closed_world"
+
 external get_low_memory_unused : unit -> bool
   = "caml_binaryen_get_low_memory_unused"
 
 external set_low_memory_unused : bool -> unit
   = "caml_binaryen_set_low_memory_unused"
 
+external get_zero_filled_memory : unit -> bool
+  = "caml_binaryen_get_zero_filled_memory"
+
+external set_zero_filled_memory : bool -> unit
+  = "caml_binaryen_set_zero_filled_memory"
+
+external get_fast_math : unit -> bool = "caml_binaryen_get_fast_math"
+external set_fast_math : bool -> unit = "caml_binaryen_set_fast_math"
+
+external get_generate_stack_ir : unit -> bool
+  = "caml_binaryen_get_generate_stack_ir"
+
+external set_generate_stack_ir : bool -> unit
+  = "caml_binaryen_set_generate_stack_ir"
+
+external get_optimize_stack_ir : unit -> bool
+  = "caml_binaryen_get_optimize_stack_ir"
+
+external set_optimize_stack_ir : bool -> unit
+  = "caml_binaryen_set_optimize_stack_ir"
+
 external get_pass_argument : string -> string option
   = "caml_binaryen_get_pass_argument"
 
 external set_pass_argument : string -> string -> unit
   = "caml_binaryen_set_pass_argument"
 
+external clear_pass_arguments : unit -> unit
+  = "caml_binaryen_clear_pass_arguments"
+
+external has_pass_to_skip : string -> bool = "caml_binaryen_has_pass_to_skip"
+external add_pass_to_skip : string -> unit = "caml_binaryen_add_pass_to_skip"
+
+external clear_passes_to_skip : unit -> unit
+  = "caml_binaryen_clear_passes_to_skip"
+
 external get_always_inline_max_size : unit -> int
   = "caml_binaryen_get_always_inline_max_size"
 
@@ -35,5 +74,11 @@ external get_one_caller_inline_max_size : unit -> int
 external set_one_caller_inline_max_size : int -> unit
   = "caml_binaryen_set_one_caller_inline_max_size"
 
+external get_allow_inlining_functions_with_loops : unit -> bool
+  = "caml_binaryen_get_allow_inlining_functions_with_loops"
+
+external set_allow_inlining_functions_with_loops : bool -> unit
+  = "caml_binaryen_set_allow_inlining_functions_with_loops"
+
 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/settings.mli

@@ -4,15 +4,33 @@ val get_shrink_level : unit -> int
 val set_shrink_level : int -> unit
 val get_debug_info : unit -> bool
 val set_debug_info : bool -> unit
+val get_traps_never_happen : unit -> bool
+val set_traps_never_happen : bool -> unit
+val get_closed_world : unit -> bool
+val set_closed_world : bool -> unit
 val get_low_memory_unused : unit -> bool
 val set_low_memory_unused : bool -> unit
+val get_zero_filled_memory : unit -> bool
+val set_zero_filled_memory : bool -> unit
+val get_fast_math : unit -> bool
+val set_fast_math : bool -> unit
+val get_generate_stack_ir : unit -> bool
+val set_generate_stack_ir : bool -> unit
+val get_optimize_stack_ir : unit -> bool
+val set_optimize_stack_ir : bool -> unit
 val get_pass_argument : string -> string option
 val set_pass_argument : string -> string -> unit
+val clear_pass_arguments : unit -> unit
+val has_pass_to_skip : string -> bool
+val add_pass_to_skip : string -> unit
+val clear_passes_to_skip : unit -> unit
 val get_always_inline_max_size : unit -> int
 val set_always_inline_max_size : int -> unit
 val get_flexible_inline_max_size : unit -> int
 val set_flexible_inline_max_size : int -> unit
 val get_one_caller_inline_max_size : unit -> int
 val set_one_caller_inline_max_size : int -> unit
+val get_allow_inlining_functions_with_loops : unit -> bool
+val set_allow_inlining_functions_with_loops : bool -> unit
 val set_colors_enabled : bool -> unit
 val are_colors_enabled : unit -> bool

binaryen-archive/test/test.ml

@@ -12,11 +12,67 @@ let _ = Settings.set_debug_info true
 let _ = assert (Settings.get_debug_info () == true)
 let _ = Settings.set_debug_info false
 
+(* Testing traps_never_happen enable *)
+let _ = assert (Settings.get_traps_never_happen () == false)
+let _ = Settings.set_traps_never_happen true
+let _ = assert (Settings.get_traps_never_happen () == true)
+let _ = Settings.set_traps_never_happen false
+
+(* Testing closed_world enable *)
+let _ = assert (Settings.get_closed_world () == false)
+let _ = Settings.set_closed_world true
+let _ = assert (Settings.get_closed_world () == true)
+let _ = Settings.set_closed_world 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
+
+(* Testing zero_filled_memory enable *)
+let _ = assert (Settings.get_zero_filled_memory () == false)
+let _ = Settings.set_zero_filled_memory true
+let _ = assert (Settings.get_zero_filled_memory () == true)
+let _ = Settings.set_zero_filled_memory false
+
+(* Testing fast_math enable *)
+let _ = assert (Settings.get_fast_math () == false)
+let _ = Settings.set_fast_math true
+let _ = assert (Settings.get_fast_math () == true)
+let _ = Settings.set_fast_math false
+
+(* Testing generate_stack_ir enable *)
+let _ = assert (Settings.get_generate_stack_ir () == false)
+let _ = Settings.set_generate_stack_ir true
+let _ = assert (Settings.get_generate_stack_ir () == true)
+let _ = Settings.set_generate_stack_ir false
+
+(* Testing optimize_stack_ir enable *)
+let _ = assert (Settings.get_optimize_stack_ir () == false)
+let _ = Settings.set_optimize_stack_ir true
+let _ = assert (Settings.get_optimize_stack_ir () == true)
+let _ = Settings.set_optimize_stack_ir false
+
+(* Testing pass_argument *)
+let _ = assert (Settings.get_pass_argument "theKey" = None)
+let _ = Settings.set_pass_argument "theKey" "theValue"
+let _ = assert (Settings.get_pass_argument "theKey" = Some "theValue")
+let _ = Settings.clear_pass_arguments ()
+let _ = assert (Settings.get_pass_argument "theKey" = None)
+
+(* Testing skip_pass *)
+let _ = assert (Settings.has_pass_to_skip "thePass" == false)
+let _ = Settings.add_pass_to_skip "thePass"
+let _ = assert (Settings.has_pass_to_skip "thePass" == true)
+let _ = Settings.clear_passes_to_skip ()
+let _ = assert (Settings.has_pass_to_skip "thePass" == false)
+
+(* Testing allow_inlining_functions_with_loops enable *)
+let _ = assert (Settings.get_allow_inlining_functions_with_loops () == false)
+let _ = Settings.set_allow_inlining_functions_with_loops true
+let _ = assert (Settings.get_allow_inlining_functions_with_loops () == true)
+let _ = Settings.set_allow_inlining_functions_with_loops false
 let wasm_mod = Module.create ()
 let _ = Module.set_features wasm_mod [ Module.Feature.all ]
 let import_wasm_mod = Module.create ()
@@ -114,7 +170,7 @@ let start =
 
 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 funcref_expr1 = Expression.Ref.func wasm_mod "adder" (Heap_type.func ())
 
 let _ =
   Expression.Table.set wasm_mod "table"
@@ -265,11 +321,11 @@ let _ =
     [
       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.bulk_memory;
+      Module.Feature.sign_ext;
       Module.Feature.exception_handling;
       Module.Feature.tail_call;
       Module.Feature.reference_types;
@@ -280,6 +336,11 @@ let _ =
       Module.Feature.extended_const;
       Module.Feature.strings;
       Module.Feature.multi_memory;
+      Module.Feature.stack_switching;
+      Module.Feature.shared_everything;
+      Module.Feature.fp16;
+      Module.Feature.bulk_memory_opt;
+      Module.Feature.call_indirect_overlong;
       Module.Feature.all;
     ]