@grain/binaryen.ml 0.35.0 → 0.36.0

binaryen-archive/esy.lock/opam/{ppxlib.0.37.0 → ppxlib.0.39.0~5.6preview}/opam

@@ -20,16 +20,14 @@ doc: "https://ocaml-ppx.github.io/ppxlib/"
 bug-reports: "https://github.com/ocaml-ppx/ppxlib/issues"
 depends: [
   "dune" {>= "3.8"}
-  "ocaml" {>= "4.08.0" & < "5.5.0"}
+  "ocaml" {>= "4.08.0" & < "5.7.0"}
   "ocaml-compiler-libs" {>= "v0.11.0"}
   "ppx_derivers" {>= "1.0"}
-  "sexplib0" {>= "v0.12"}
-  "sexplib0" {with-test & >= "v0.15"}
-  "stdlib-shims"
+  "sexplib0" {>= "v0.15"}
   "ocamlfind" {with-test}
   "re" {with-test & >= "1.9.0"}
   "cinaps" {with-test & >= "v0.12.1"}
-  "ocamlformat" {with-dev-setup & = "0.26.2"}
+  "ocamlformat" {with-dev-setup & = "0.28.1"}
   "odoc" {with-doc}
 ]
 conflicts: [
@@ -53,12 +51,13 @@ build: [
 ]
 dev-repo: "git+https://github.com/ocaml-ppx/ppxlib.git"
 x-maintenance-intent: ["(latest)"]
+flags: avoid-version
+available: opam-version >= "2.1.0"
 url {
-  src:
-    "https://github.com/ocaml-ppx/ppxlib/releases/download/0.37.0/ppxlib-0.37.0.tbz"
-  checksum: [
-    "sha256=2e223837e7cecc3bc84a432432c0a72f4e1d5be9165c9c33772f156db85db0b3"
-    "sha512=78c62c6de7a641b950de9b4b744841c8823918c545046693e291077adfcd069a812094c11d8d51f792c0b5f340307d38f452ff0a92520df63ed17a3ca9922e2e"
-  ]
-}
-x-commit-hash: "df39675d8ff0c3490ece8157c681691cfb67fdaf"
+  src: "https://github.com/ocaml-ppx/ppxlib/archive/2e150834476230e99e48dfdf34c5e4a1ea6e749b.tar.gz"
+   checksum: [
+    "sha256=591d694609fed01783c9f360602e8660ae0e49eb33b7074c1317a261e00c6cdb"
+    "sha512=e15e956a114ab3f61dfa8f7eceed088082a116f3b6fc832b901729f611258af3b39bda748b2046b4886f429617aa64802f90e0520db82302443ecbba461970b2"
+   ]
+ }
+

binaryen-archive/esy.lock/opam/{stdune.3.21.1 → stdune.3.20.2}/opam

@@ -9,19 +9,17 @@ homepage: "https://github.com/ocaml/dune"
 doc: "https://dune.readthedocs.io/"
 bug-reports: "https://github.com/ocaml/dune/issues"
 depends: [
-  "dune" {>= "3.21"}
+  "dune" {>= "3.20"}
   "ocaml" {>= "4.08.0"}
   "base-unix"
-  "csexp" {>= "1.5.0"}
   "dyn" {= version}
-  "fs-io" {= version}
   "ordering" {= version}
   "pp" {>= "2.0.0"}
-  "top-closure" {= version}
+  "csexp" {>= "1.5.0"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
-x-maintenance-intent: ["none"]
+x-maintenance-intent: ["(latest)"]
 build: [
   ["dune" "subst"] {dev}
   ["rm" "-rf" "vendor/csexp"]
@@ -39,10 +37,10 @@ build: [
 ]
 url {
   src:
-    "https://github.com/ocaml/dune/releases/download/3.21.1/dune-3.21.1.tbz"
+    "https://github.com/ocaml/dune/releases/download/3.20.2/dune-3.20.2.tbz"
   checksum: [
-    "sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94"
-    "sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3"
+    "sha256=b1a86b2d60bdb4a8b9bb6861bdf2f9f28a6e7cb5d833ce81afecceb9ef9ca549"
+    "sha512=ed14df9163e487d4ae7d0a2427eaab7823ef1f0ef2d93f0b783e6f163bbd5b44ba73f055d60b84e76f476fe11d38e794013628a1da776d9ec13cca9666e7b7ff"
   ]
 }
-x-commit-hash: "0b5863d9be475453b3cc2bd321fde222af2544d4"
+x-commit-hash: "1e54fd3f450aae7fb41ffb6b7c8b7a5aed754777"

binaryen-archive/esy.lock/opam/{xdg.3.21.1 → xdg.3.24.2}/opam

@@ -9,16 +9,14 @@ homepage: "https://github.com/ocaml/dune"
 doc: "https://dune.readthedocs.io/"
 bug-reports: "https://github.com/ocaml/dune/issues"
 depends: [
-  "dune" {>= "3.21"}
-  "ocaml" {>= "4.08"}
+  "dune" {>= "3.24"}
+  "ocaml" {>= "4.14"}
   "odoc" {with-doc}
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 x-maintenance-intent: ["(latest)"]
 build: [
   ["dune" "subst"] {dev}
-  ["rm" "-rf" "vendor/csexp"]
-  ["rm" "-rf" "vendor/pp"]
   [
     "dune"
     "build"
@@ -32,10 +30,10 @@ build: [
 ]
 url {
   src:
-    "https://github.com/ocaml/dune/releases/download/3.21.1/dune-3.21.1.tbz"
+    "https://github.com/ocaml/dune/releases/download/3.24.2/dune-3.24.2.tbz"
   checksum: [
-    "sha256=84f7a82c6d80a7124f3847e9a489e80cfbeafb7bed3573ac01286ef56fd08d94"
-    "sha512=d9fa44e24036d2593adfe59e52e0ad64f3e7e973d23f84af57fc79e38fa210630b0cb55590f314d6ef455333b96a8e0ce188c2720eaae44576222541ba78efb3"
+    "sha256=472798691b0216daf538709f0f4703b3617ef24ad0866c9096068baaba4d762a"
+    "sha512=13082a66a28e940d4b3c9f78b556f6c1455987cd522355ba4502e01e60a3d002d3101b51284726ae21aa87494efa2dc54d016173f05b616bbc5dad714d5714a3"
   ]
 }
-x-commit-hash: "0b5863d9be475453b3cc2bd321fde222af2544d4"
+x-commit-hash: "ce734ac25ffb06994a4530426bb06ee8cda19e50"

binaryen-archive/package.json

@@ -1,22 +1,26 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.35.0",
+  "version": "0.36.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
+  "installConfig": {
+    "pnp": false
+  },
   "dependencies": {
     "ocaml": ">= 4.13.0 < 5.4.0",
-    "@grain/libbinaryen": ">= 125.0.0 < 126.0.0",
+    "@grain/libbinaryen": ">= 126.0.0 < 127.0.0",
     "@opam/dune": ">= 3.0.0",
     "@opam/dune-configurator": ">= 3.0.0"
   },
   "devDependencies": {
-    "@opam/js_of_ocaml-compiler": ">= 6.0.0 < 7.0.0",
-    "@opam/ocamlformat": "0.27.0",
+    "@opam/js_of_ocaml-compiler": ">= 6.4.0 < 7.0.0",
+    "@opam/ocamlformat": "0.29.0",
     "@opam/ocaml-lsp-server": ">= 1.9.1 < 2.0.0"
   },
   "resolutions": {
-    "@opam/ocp-indent": "1.7.0"
+    "@opam/ocp-indent": "1.9.0",
+    "@opam/ocamlfind": "1.9.8"
   },
   "esy": {
     "build": "dune build -p binaryen"

binaryen-archive/src/dune

@@ -24,6 +24,7 @@
    heap_type
    signature_type
    struct_type
+   type_builder
    ocaml_helpers)
   (flags :standard -O2 -Wall -Wextra))
  (js_of_ocaml
@@ -46,4 +47,6 @@
    packed_type.js
    heap_type.js
    signature_type.js
-   struct_type.js)))
+   type_builder.js
+   struct_type.js
+   ocaml_helpers.js)))

binaryen-archive/src/expression.c

@@ -124,6 +124,38 @@ caml_binaryen_call_indirect__bytecode(value * argv) {
   return caml_binaryen_call_indirect(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
 }
 
+CAMLprim value
+caml_binaryen_call_ref(value _module, value _target, value _params, value _ty) {
+  CAMLparam4(_module, _target, _params, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef target = BinaryenExpressionRef_val(_target);
+  _params = array_of_list(_params);
+  int paramsLen = array_length(_params);
+  BinaryenExpressionRef params[paramsLen];
+  for (int i = 0; i < paramsLen; i++) {
+    params[i] = BinaryenExpressionRef_val(Field(_params, i));
+  }
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenCallRef(module, target, params, paramsLen, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_return_call_ref(value _module, value _target, value _params, value _ty) {
+  CAMLparam4(_module, _target, _params, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef target = BinaryenExpressionRef_val(_target);
+  _params = array_of_list(_params);
+  int paramsLen = array_length(_params);
+  BinaryenExpressionRef params[paramsLen];
+  for (int i = 0; i < paramsLen; i++) {
+    params[i] = BinaryenExpressionRef_val(Field(_params, i));
+  }
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenReturnCallRef(module, target, params, paramsLen, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
 CAMLprim value
 caml_binaryen_return_call(value _module, value _name, value _params, value _retty) {
   CAMLparam4(_module, _name, _params, _retty);
@@ -459,6 +491,38 @@ caml_binaryen_i31_get(value _module, value _val, value _signed) {
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 
+CAMLprim value
+caml_binaryen_ref_test(value _module, value _ref, value _castType) {
+  CAMLparam3(_module, _ref, _castType);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenType castType = BinaryenType_val(_castType);
+  BinaryenExpressionRef exp = BinaryenRefTest(module, ref, castType);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_cast(value _module, value _ref, value _castType) {
+  CAMLparam3(_module, _ref, _castType);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenType castType = BinaryenType_val(_castType);
+  BinaryenExpressionRef exp = BinaryenRefCast(module, ref, castType);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_br_on(value _module, value _op, value _name, value _ref, value _castType) {
+  CAMLparam5(_module, _op, _name, _ref, _castType);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenOp op = BinaryenOp_val(_op);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenType castType = BinaryenType_val(_castType);
+  BinaryenExpressionRef exp = BinaryenBrOn(module, op, name, ref, castType);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
 CAMLprim value
 caml_binaryen_expression_id_invalid(value unit) {
   CAMLparam1(unit);
@@ -1328,6 +1392,90 @@ caml_binaryen_call_indirect_set_return(value _exp, value _isReturn) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_call_ref_get_target(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef target = BinaryenCallRefGetTarget(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(target));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_set_target(value _exp, value _target) {
+  CAMLparam2(_exp, _target);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef target = BinaryenExpressionRef_val(_target);
+  BinaryenCallRefSetTarget(exp, target);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_call_ref_get_num_operands(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(Val_int(BinaryenCallRefGetNumOperands(exp)));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_get_operand_at(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenIndex index = Int_val(_index);
+  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenCallRefGetOperandAt(exp, index)));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_set_operand_at(value _exp, value _index, value _operand) {
+  CAMLparam3(_exp, _index, _operand);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenIndex index = Int_val(_index);
+  BinaryenExpressionRef operand = BinaryenExpressionRef_val(_operand);
+  BinaryenCallRefSetOperandAt(exp, index, operand);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_call_ref_append_operand(value _exp, value _operand) {
+  CAMLparam2(_exp, _operand);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef operand = BinaryenExpressionRef_val(_operand);
+  CAMLreturn(Val_int(BinaryenCallRefAppendOperand(exp, operand)));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_insert_operand_at(value _exp, value _index, value _operand) {
+  CAMLparam3(_exp, _index, _operand);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenIndex index = Int_val(_index);
+  BinaryenExpressionRef operand = BinaryenExpressionRef_val(_operand);
+  BinaryenCallRefInsertOperandAt(exp, index, operand);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_call_ref_remove_operand_at(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenIndex index = Int_val(_index);
+  CAMLreturn(alloc_BinaryenExpressionRef(BinaryenCallRefRemoveOperandAt(exp, index)));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_is_return(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  CAMLreturn(Val_bool(BinaryenCallRefIsReturn(exp)));
+}
+
+CAMLprim value
+caml_binaryen_call_ref_set_return(value _exp, value _isReturn) {
+  CAMLparam2(_exp, _isReturn);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  int isReturn = Bool_val(_isReturn);
+  BinaryenCallRefSetReturn(exp, isReturn);
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_local_set_get_value(value _exp) {
   CAMLparam1(_exp);
@@ -1883,6 +2031,203 @@ caml_binaryen_ref_eq(value _module, value _left, value _right) {
   CAMLreturn(alloc_BinaryenExpressionRef(exp));
 }
 
+// Struct operations
+
+CAMLprim value
+caml_binaryen_struct_new(value _module, value _operands, value _type) {
+  CAMLparam3(_module, _operands, _type);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenHeapType type = BinaryenHeapType_val(_type);
+  if (Is_some(_operands)) {
+    _operands = array_of_list(Some_val(_operands));
+    int operandsLen = array_length(_operands);
+    BinaryenExpressionRef operands[operandsLen];
+    for (int i = 0; i < operandsLen; i++) {
+      operands[i] = BinaryenExpressionRef_val(Field(_operands, i));
+    }
+    BinaryenExpressionRef exp = BinaryenStructNew(module, operands, operandsLen, type);
+    CAMLreturn(alloc_BinaryenExpressionRef(exp));
+  } else {
+    BinaryenExpressionRef exp = BinaryenStructNew(module, NULL, 0, type);
+    CAMLreturn(alloc_BinaryenExpressionRef(exp));
+  }
+}
+
+CAMLprim value
+caml_binaryen_struct_get(value _module, value _index, value _ref, value _type, value _signed) {
+  CAMLparam5(_module, _index, _ref, _type, _signed);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenIndex index = Int_val(_index);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenType type = BinaryenType_val(_type);
+  bool signed_ = Bool_val(_signed);
+  BinaryenExpressionRef exp = BinaryenStructGet(module, index, ref, type, signed_);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_struct_set(value _module, value _index, value _ref, value _value) {
+  CAMLparam4(_module, _index, _ref, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenIndex index = Int_val(_index);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef value_ = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenStructSet(module, index, ref, value_);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+// Array operations
+
+CAMLprim value
+caml_binaryen_array_new(value _module, value _type, value _size, value _init) {
+  CAMLparam4(_module, _type, _size, _init);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenHeapType type = BinaryenHeapType_val(_type);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef init = BinaryenExpressionRef_val(_init);
+  BinaryenExpressionRef exp = BinaryenArrayNew(module, type, size, init);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_new_data(value _module, value _type, value _name, value _offset, value _size) {
+  CAMLparam5(_module, _type, _name, _offset, _size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenHeapType type = BinaryenHeapType_val(_type);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef offset = BinaryenExpressionRef_val(_offset);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenArrayNewData(module, type, name, offset, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_new_elem(value _module, value _type, value _seg, value _offset, value _size) {
+  CAMLparam5(_module, _type, _seg, _offset, _size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenHeapType type = BinaryenHeapType_val(_type);
+  char* seg = Safe_String_val(_seg);
+  BinaryenExpressionRef offset = BinaryenExpressionRef_val(_offset);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenArrayNewElem(module, type, seg, offset, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_new_fixed(value _module, value _type, value _values) {
+  CAMLparam3(_module, _type, _values);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenHeapType type = BinaryenHeapType_val(_type);
+  _values = array_of_list(_values);
+  int valuesLen = array_length(_values);
+  BinaryenExpressionRef values[valuesLen];
+  for (int i = 0; i < valuesLen; i++) {
+    values[i] = BinaryenExpressionRef_val(Field(_values, i));
+  }
+  BinaryenExpressionRef exp = BinaryenArrayNewFixed(module, type, values, valuesLen);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_get(value _module, value _ref, value _index, value _type, value _signed) {
+  CAMLparam5(_module, _ref, _index, _type, _signed);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenType type = BinaryenType_val(_type);
+  bool signed_ = Bool_val(_signed);
+  BinaryenExpressionRef exp = BinaryenArrayGet(module, ref, index, type, signed_);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_set(value _module, value _ref, value _index, value _value) {
+  CAMLparam4(_module, _ref, _index, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef value_ = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenArraySet(module, ref, index, value_);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_len(value _module, value _ref) {
+  CAMLparam2(_module, _ref);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef exp = BinaryenArrayLen(module, ref);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_copy(value _module, value _destRef, value _destIndex, value _srcRef, value _srcIndex, value _length) {
+  CAMLparam5(_module, _destRef, _destIndex, _srcRef, _srcIndex);
+  CAMLxparam1(_length);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef destRef = BinaryenExpressionRef_val(_destRef);
+  BinaryenExpressionRef destIndex = BinaryenExpressionRef_val(_destIndex);
+  BinaryenExpressionRef srcRef = BinaryenExpressionRef_val(_srcRef);
+  BinaryenExpressionRef srcIndex = BinaryenExpressionRef_val(_srcIndex);
+  BinaryenExpressionRef length = BinaryenExpressionRef_val(_length);
+  BinaryenExpressionRef exp = BinaryenArrayCopy(module, destRef, destIndex, srcRef, srcIndex, length);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+CAMLprim value
+caml_binaryen_array_copy__bytecode(value * argv) {
+  return caml_binaryen_array_copy(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
+}
+
+CAMLprim value
+caml_binaryen_array_fill(value _module, value _ref, value _index, value _value, value _size) {
+  CAMLparam5(_module, _ref, _index, _value, _size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenArrayFill(module, ref, index, val, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_init_data(value _module, value _name, value _ref, value _index, value _offset, value _size) {
+  CAMLparam5(_module, _name, _ref, _index, _offset);
+  CAMLxparam1(_size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef offset = BinaryenExpressionRef_val(_offset);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenArrayInitData(module, name, ref, index, offset, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_init_data__bytecode(value * argv) {
+  return caml_binaryen_array_init_data(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
+}
+
+CAMLprim value
+caml_binaryen_array_init_elem(value _module, value _seg, value _ref, value _index, value _offset, value _size) {
+  CAMLparam5(_module, _seg, _ref, _index, _offset);
+  CAMLxparam1(_size);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* seg = Safe_String_val(_seg);
+  BinaryenExpressionRef ref = BinaryenExpressionRef_val(_ref);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef offset = BinaryenExpressionRef_val(_offset);
+  BinaryenExpressionRef size = BinaryenExpressionRef_val(_size);
+  BinaryenExpressionRef exp = BinaryenArrayInitElem(module, seg, ref, index, offset, size);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_array_init_elem__bytecode(value * argv) {
+  return caml_binaryen_array_init_elem(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5]);
+}
+
 // Exception handling operations
 CAMLprim value
 caml_binaryen_try(value _module, value _name, value _body, value _catchTags, value _catchBodies, value _delegateTarget) {