@grain/binaryen.ml 0.16.0 → 0.17.0

binaryen-archive/CHANGELOG.md

@@ -1,5 +1,19 @@
 # Changelog
 
+## [0.17.0](https://github.com/grain-lang/binaryen.ml/compare/v0.16.0...v0.17.0) (2022-05-11)
+
+
+### ⚠ BREAKING CHANGES
+
+* Update libbinaryen to 107 ([#152](https://github.com/grain-lang/binaryen.ml/issues/152))
+
+### Features
+
+* Add merge_similar_functions pass ([#154](https://github.com/grain-lang/binaryen.ml/issues/154)) ([54b03fd](https://github.com/grain-lang/binaryen.ml/commit/54b03fd854311f49aa1821868a8265116be922c2))
+* Add signature_pruning pass ([#155](https://github.com/grain-lang/binaryen.ml/issues/155)) ([206b6cf](https://github.com/grain-lang/binaryen.ml/commit/206b6cf0ade48a778f4e991cf5d2ab0daf559bf8))
+* Add support for extended_const feature ([260c2a1](https://github.com/grain-lang/binaryen.ml/commit/260c2a131a08720eac0f21abf68689fd201eb753))
+* Update libbinaryen to 107 ([#152](https://github.com/grain-lang/binaryen.ml/issues/152)) ([260c2a1](https://github.com/grain-lang/binaryen.ml/commit/260c2a131a08720eac0f21abf68689fd201eb753))
+
 ## [0.16.0](https://github.com/grain-lang/binaryen.ml/compare/v0.15.0...v0.16.0) (2022-05-11)
 
 

binaryen-archive/binaryen.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.16.0"
+version: "0.17.0"
 synopsis: "OCaml bindings for Binaryen"
 maintainer: "oscar@grain-lang.org"
 author: "Oscar Spencer"
@@ -16,5 +16,5 @@ depends: [
   "dune" {>= "2.9.1" < "3.0.0"}
   "dune-configurator" {>= "2.9.1" < "3.0.0"}
   "js_of_ocaml-compiler" {>= "3.10.0" < "4.0.0"}
-  "libbinaryen" {>= "106.0.0" < "107.0.0"}
+  "libbinaryen" {>= "107.0.0" < "108.0.0"}
 ]

binaryen-archive/esy.lock/index.json

@@ -1,5 +1,5 @@
 {
-  "checksum": "fcb59ca5a849b1079497c0037155a8b8",
+  "checksum": "b457058cff75c1d285583590fc14c29b",
   "root": "@grain/binaryen.ml@link-dev:./package.json",
   "node": {
     "ocaml@4.13.1000@d41d8cd9": {
@@ -1238,14 +1238,14 @@
       ],
       "devDependencies": [ "ocaml@4.13.1000@d41d8cd9" ]
     },
-    "@grain/libbinaryen@106.0.0@d41d8cd9": {
-      "id": "@grain/libbinaryen@106.0.0@d41d8cd9",
+    "@grain/libbinaryen@107.0.0@d41d8cd9": {
+      "id": "@grain/libbinaryen@107.0.0@d41d8cd9",
       "name": "@grain/libbinaryen",
-      "version": "106.0.0",
+      "version": "107.0.0",
       "source": {
         "type": "install",
         "source": [
-          "archive:https://registry.npmjs.org/@grain/libbinaryen/-/libbinaryen-106.0.0.tgz#sha1:268a76d0b798fc06cfe4236ccc553bdf19444c32"
+          "archive:https://registry.npmjs.org/@grain/libbinaryen/-/libbinaryen-107.0.0.tgz#sha1:f6325f0b6ae301a3603d56c8d2414b56ec596e80"
         ]
       },
       "overrides": [],
@@ -1272,7 +1272,7 @@
         "ocaml@4.13.1000@d41d8cd9",
         "@opam/dune-configurator@opam:2.9.3@174e411b",
         "@opam/dune@opam:2.9.3@f57a6d69",
-        "@grain/libbinaryen@106.0.0@d41d8cd9"
+        "@grain/libbinaryen@107.0.0@d41d8cd9"
       ],
       "devDependencies": [
         "@opam/ocamlformat@opam:0.20.1@30a05b69",

binaryen-archive/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.16.0",
+  "version": "0.17.0",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
     "ocaml": ">= 4.12.0 < 4.14.0",
-    "@grain/libbinaryen": ">= 106.0.0 < 107.0.0",
+    "@grain/libbinaryen": ">= 107.0.0 < 108.0.0",
     "@opam/dune": ">= 2.9.1 < 3.0.0",
     "@opam/dune-configurator": ">= 2.9.1 < 3.0.0"
   },

binaryen-archive/src/binaryen_stubs_features.c

@@ -113,6 +113,12 @@ caml_binaryen_feature_relaxed_simd(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureRelaxedSIMD()));
 }
 
+CAMLprim value
+caml_binaryen_feature_extended_const(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureExtendedConst()));
+}
+
 CAMLprim value
 caml_binaryen_feature_all(value unit) {
   CAMLparam1(unit);

binaryen-archive/src/binaryen_stubs_features.js

@@ -98,6 +98,12 @@ function caml_binaryen_feature_relaxed_simd() {
   return binaryen.Features.RelaxedSIMD;
 }
 
+//Provides: caml_binaryen_feature_extended_const
+//Requires: binaryen
+function caml_binaryen_feature_extended_const() {
+  return binaryen.Features.ExtendedConst;
+}
+
 //Provides: caml_binaryen_feature_all
 //Requires: binaryen
 function caml_binaryen_feature_all() {

binaryen-archive/src/binaryen_stubs_ops.c

@@ -2167,7 +2167,7 @@ caml_binaryen_binaryen_narrow_u_vec_i32x4_to_vec_i16x8(value unit) {
 CAMLprim value
 caml_binaryen_binaryen_swizzle_vec8x16(value unit) {
   CAMLparam1(unit);
-  BinaryenOp op = BinaryenSwizzleVec8x16();
+  BinaryenOp op = BinaryenSwizzleVecI8x16();
   CAMLreturn(alloc_BinaryenOp(op));
 }
 
@@ -2225,4 +2225,4 @@ caml_binaryen_binaryen_ref_as_i31(value unit) {
   CAMLparam1(unit);
   BinaryenOp op = BinaryenRefAsI31();
   CAMLreturn(alloc_BinaryenOp(op));
-}
+}

binaryen-archive/src/binaryen_stubs_ops.js

@@ -1843,7 +1843,7 @@ function caml_binaryen_binaryen_narrow_u_vec_i32x4_to_vec_i16x8() {
 //Provides: caml_binaryen_binaryen_swizzle_vec8x16
 //Requires: binaryen
 function caml_binaryen_binaryen_swizzle_vec8x16() {
-  return binaryen.Operations.SwizzleVec8x16;
+  return binaryen.Operations.SwizzleVecI8x16;
 }
 
 //Provides: caml_binaryen_binaryen_ref_is_null

binaryen-archive/src/module.ml

@@ -69,6 +69,10 @@ module Feature = struct
 
   let relaxed_simd = relaxed_simd ()
 
+  external extended_const : unit -> t = "caml_binaryen_feature_extended_const"
+
+  let extended_const = extended_const ()
+
   external all : unit -> t = "caml_binaryen_feature_all"
 
   let all = all ()

binaryen-archive/src/module.mli

@@ -18,6 +18,7 @@ module Feature : sig
   val memory64 : t
   val typed_function_references : t
   val relaxed_simd : t
+  val extended_const : t
   val all : t
 end
 

binaryen-archive/src/passes.ml

@@ -147,6 +147,9 @@ let memory_packing = "memory-packing"
 (** merges blocks to their parents *)
 let merge_blocks = "merge-blocks"
 
+(** merges similar functions when benefical *)
+let merge_similar_functions = "merge-similar-functions"
+
 (** merges locals when beneficial *)
 let merge_locals = "merge-locals"
 
@@ -275,6 +278,9 @@ let safe_heap = "safe-heap"
 (** sets specified globals to specified values *)
 let set_globals = "set-globals"
 
+(** remove params from function signature types where possible *)
+let signature_pruning = "signature-pruning"
+
 (** apply more specific subtypes to signature types where possible *)
 let signature_refining = "signature-refining"
 

binaryen-archive/src/passes.mli

@@ -147,6 +147,9 @@ val memory_packing : t
 val merge_blocks : t
 (** merges blocks to their parents *)
 
+val merge_similar_functions : t
+(** merges similar functions when benefical *)
+
 val merge_locals : t
 (** merges locals when beneficial *)
 
@@ -273,6 +276,9 @@ val safe_heap : t
 val set_globals : t
 (** sets specified globals to specified values *)
 
+val signature_pruning : t
+(** remove params from function signature types where possible *)
+
 val signature_refining : t
 (** apply more specific subtypes to signature types where possible *)
 

binaryen-archive/test/test.ml

@@ -177,7 +177,10 @@ let _ =
     sourcemap = Some {|{"version":3,"sources":[],"names":[],"mappings":""}|})
 
 let new_mod = Module.read byts
-let _ = Module.run_passes new_mod [ Passes.name_types ]
+
+let _ =
+  Module.run_passes new_mod
+    [ Passes.name_types; Passes.merge_similar_functions ]
 
 let _ =
   Module.set_features new_mod
@@ -197,6 +200,7 @@ let _ =
       Module.Feature.memory64;
       Module.Feature.typed_function_references;
       Module.Feature.relaxed_simd;
+      Module.Feature.extended_const;
       Module.Feature.all;
     ]