@grain/binaryen.ml 0.20.1 → 0.22.0

binaryen-archive/test/test.expected

@@ -3,7 +3,7 @@
 )
 (table.size $table)
 (table.grow $table
- (ref.null func)
+ (ref.null nofunc)
  (i32.const 0)
 )
 (module
@@ -24,7 +24,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $hello))
  (start $start)
- (func $adder (param $0 i32) (param $1 i32) (result i32)
+ (func $adder (type $i32_i32_=>_i32) (param $0 i32) (param $1 i32) (result i32)
   (block $add (result i32)
    (if
     (i32.const 0)
@@ -42,7 +42,7 @@
    )
   )
  )
- (func $start
+ (func $start (type $none_=>_none)
   (block $start
    (memory.init 1
     (i32.const 2048)
@@ -58,7 +58,7 @@
    )
   )
  )
- (func $hello (param $0 anyref) (result i32)
+ (func $hello (type $anyref_=>_i32) (param $0 anyref) (result i32)
   (call $write
    (local.get $0)
    (i32.const 0)
@@ -81,7 +81,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $hello))
  (start $start)
- (func $adder (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
+ (func $adder (type $i32_i32_=>_i32) (; has Stack IR ;) (param $0 i32) (param $1 i32) (result i32)
   (i32.add
    (select
     (local.get $0)
@@ -93,7 +93,7 @@
    (local.get $1)
   )
  )
- (func $start (; has Stack IR ;)
+ (func $start (type $none_=>_none) (; has Stack IR ;)
   (memory.init 1
    (i32.const 2048)
    (i32.const 0)
@@ -106,7 +106,7 @@
    )
   )
  )
- (func $hello (; has Stack IR ;) (param $0 anyref) (result i32)
+ (func $hello (type $anyref_=>_i32) (; has Stack IR ;) (param $0 anyref) (result i32)
   (call $write
    (local.get $0)
    (i32.const 0)
@@ -129,7 +129,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $2))
  (start $1)
- (func $0 (param $0 i32) (param $1 i32) (result i32)
+ (func $0 (type $type$1) (param $0 i32) (param $1 i32) (result i32)
   (i32.add
    (select
     (local.get $0)
@@ -141,7 +141,7 @@
    (local.get $1)
   )
  )
- (func $1
+ (func $1 (type $type$2)
   (memory.init 1
    (i32.const 2048)
    (i32.const 0)
@@ -154,7 +154,7 @@
    )
   )
  )
- (func $2 (param $0 anyref) (result i32)
+ (func $2 (type $type$3) (param $0 anyref) (result i32)
   (call $fimport$0
    (local.get $0)
    (i32.const 0)
@@ -177,7 +177,7 @@
  (export "memory" (memory $0))
  (export "hello" (func $2))
  (start $1)
- (func $0 (param $0 i32) (param $1 i32) (result i32)
+ (func $0 (type $type$1) (param $0 i32) (param $1 i32) (result i32)
   local.get $0
   local.get $1
   i32.load $0
@@ -186,7 +186,7 @@
   local.get $1
   i32.add
  )
- (func $1
+ (func $1 (type $type$2)
   i32.const 2048
   i32.const 0
   i32.const 5
@@ -196,7 +196,7 @@
   call $0
   drop
  )
- (func $2 (param $0 anyref) (result i32)
+ (func $2 (type $type$3) (param $0 anyref) (result i32)
   local.get $0
   i32.const 0
   i32.const 1

binaryen-archive/test/test.ml

@@ -36,6 +36,7 @@ let _ =
     = "external_base_name")
 
 let _ = assert (Memory.is_shared import_wasm_mod "internal_name" = true)
+let _ = assert (Memory.is_64 import_wasm_mod "internal_name" = false)
 
 (* Testing Return.get_value *)
 let _ =
@@ -169,14 +170,14 @@ let _ = assert (Memory.has_memory wasm_mod = false)
 let _ =
   Memory.set_memory wasm_mod 1 Memory.unlimited "memory"
     [ segment; passive_segment ]
-    false "0"
+    false false "0"
 
 let _ = assert (Memory.has_memory wasm_mod = true)
 let _ = assert (Memory.get_initial wasm_mod "0" = 1)
 let _ = assert (Memory.has_max wasm_mod "0" = false)
 let _ = assert (Memory.get_max wasm_mod "0" = Memory.unlimited)
 let max_memory_wasm_mod = Module.create ()
-let _ = Memory.set_memory max_memory_wasm_mod 1 2 "memory" [] false "0"
+let _ = Memory.set_memory max_memory_wasm_mod 1 2 "memory" [] false false "0"
 let _ = assert (Memory.has_max max_memory_wasm_mod "0" = true)
 let _ = assert (Memory.get_max max_memory_wasm_mod "0" = 2)
 
@@ -235,11 +236,18 @@ let new_mod = Module.read byts
 let _ =
   Module.run_passes new_mod
     [
+      Passes.generate_global_effects;
       Passes.name_types;
       Passes.merge_similar_functions;
       Passes.spill_pointers;
       Passes.gufa;
       Passes.gufa_optimizing;
+      Passes.reorder_globals;
+      Passes.optimize_casts;
+      Passes.multi_memory_lowering;
+      Passes.monomorphize;
+      Passes.signext_lowering;
+      Passes.discard_global_effects;
     ]
 
 let _ =
@@ -258,10 +266,10 @@ let _ =
       Module.Feature.multivalue;
       Module.Feature.gc;
       Module.Feature.memory64;
-      Module.Feature.typed_function_references;
       Module.Feature.relaxed_simd;
       Module.Feature.extended_const;
       Module.Feature.strings;
+      Module.Feature.multi_memories;
       Module.Feature.all;
     ]
 

binaryen-archive/esy.lock/opam/fiber.3.6.1/opam

@@ -1,41 +0,0 @@
-opam-version: "2.0"
-synopsis: "Structured concurrency library"
-description:
-  "This library offers no backwards compatibility guarantees. Use at your own risk."
-maintainer: ["Jane Street Group, LLC <opensource@janestreet.com>"]
-authors: ["Jane Street Group, LLC <opensource@janestreet.com>"]
-license: "MIT"
-homepage: "https://github.com/ocaml/dune"
-doc: "https://dune.readthedocs.io/"
-bug-reports: "https://github.com/ocaml/dune/issues"
-depends: [
-  "dune" {>= "3.5"}
-  "ocaml" {>= "4.08.0"}
-  "stdune" {= version}
-  "dyn" {= version}
-  "odoc" {with-doc}
-]
-dev-repo: "git+https://github.com/ocaml/dune.git"
-build: [
-  ["dune" "subst"] {dev}
-  ["rm" "-rf" "vendor/csexp"]
-  ["rm" "-rf" "vendor/pp"]
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@doc" {with-doc}
-  ]
-]
-url {
-  src: "https://github.com/ocaml/dune/releases/download/3.6.1/dune-3.6.1.tbz"
-  checksum: [
-    "sha256=f1d5ac04b7a027f3d549e25cf885ebf7acc135e0291c18e6b43123a799c143ce"
-    "sha512=64714ab6155cd04bc33d693fc7a6d9d61aa7a278357eeff159df324e083914fcd556459a3945acacf1bbc3775f2232ab0c78006ab8a434dc58dcf95ffdffac52"
-  ]
-}
-x-commit-hash: "7d2788fc94a071bca897aefc95f1464911870a4c"

binaryen-archive/esy.lock/opam/ocamlfind.1.9.5/files/0001-Fix-bug-when-installing-with-a-system-compiler.patch

@@ -1,26 +0,0 @@
-From f53247f546375972789b96c3f612cd7f524bf2aa Mon Sep 17 00:00:00 2001
-From: Louis Gesbert <louis.gesbert@ocamlpro.com>
-Date: Mon, 11 Jul 2022 18:12:18 +0200
-Subject: [PATCH] Fix bug when installing with a system compiler
-
-See https://discuss.ocaml.org/t/problem-installing-ocamlfind-on-latest-ocamlpro-alpine-docker-image/10147
----
- src/findlib/Makefile | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/src/findlib/Makefile b/src/findlib/Makefile
-index 84514b6f22..ea23f4a10c 100644
---- a/src/findlib/Makefile
-+++ b/src/findlib/Makefile
-@@ -123,7 +123,7 @@ clean:
- install: all
- 	$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_SITELIB)/$(NAME)"
- 	$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAMLFIND_BIN)"
--	$(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_CORE_STDLIB)"
-+	test $(INSTALL_TOPFIND) -eq 0 || $(INSTALLDIR) "$(DESTDIR)$(prefix)$(OCAML_CORE_STDLIB)"
- 	test $(INSTALL_TOPFIND) -eq 0 || $(INSTALLFILE) topfind "$(DESTDIR)$(prefix)$(OCAML_CORE_STDLIB)/"
- 	files=`$(SH) $(TOP)/tools/collect_files $(TOP)/Makefile.config \
- 	findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib$(LIB_SUFFIX) findlib.cmxs \
--- 
-2.35.1
-