@grain/binaryen.ml 0.19.0 → 0.20.1

binaryen-archive/test/test.ml

@@ -26,12 +26,16 @@ let _ =
     "external_base_name" true
 
 let _ =
-  assert (Import.memory_import_get_module import_wasm_mod = "external_name")
+  assert (
+    Import.memory_import_get_module import_wasm_mod "internal_name"
+    = "external_name")
 
 let _ =
-  assert (Import.memory_import_get_base import_wasm_mod = "external_base_name")
+  assert (
+    Import.memory_import_get_base import_wasm_mod "internal_name"
+    = "external_base_name")
 
-let _ = assert (Memory.is_shared import_wasm_mod = true)
+let _ = assert (Memory.is_shared import_wasm_mod "internal_name" = true)
 
 (* Testing Return.get_value *)
 let _ =
@@ -52,7 +56,9 @@ let params () = Type.create [| Type.int32; Type.int32 |]
 let results = Type.int32
 let x () = Expression.Local_get.make wasm_mod 0 Type.int32
 let y () = Expression.Local_get.make wasm_mod 1 Type.int32
-let load = Expression.Load.make wasm_mod 1 ~signed:true 0 0 Type.int32 (y ())
+
+let load =
+  Expression.Load.make wasm_mod 4 ~signed:false 0 0 Type.int32 (y ()) "0"
 
 let select =
   Expression.Select.make wasm_mod
@@ -88,7 +94,15 @@ let call_adder =
 
 let start =
   Function.add_function wasm_mod "start" Type.none Type.none [||]
-    (Expression.Drop.make wasm_mod call_adder)
+    (Expression.Block.make wasm_mod ~return_type:Type.none "start"
+       [
+         Expression.Memory_init.make wasm_mod 1
+           (Expression.Const.make wasm_mod (Literal.int32 2048l))
+           (Expression.Const.make wasm_mod (Literal.int32 0l))
+           (Expression.Const.make wasm_mod (Literal.int32 5l))
+           "0";
+         Expression.Drop.make wasm_mod call_adder;
+       ])
 
 let _ = Export.add_function_export wasm_mod "adder" "adder"
 let _ = Table.add_table wasm_mod "table" 1 1 Type.funcref
@@ -155,18 +169,22 @@ let _ = assert (Memory.has_memory wasm_mod = false)
 let _ =
   Memory.set_memory wasm_mod 1 Memory.unlimited "memory"
     [ segment; passive_segment ]
-    false
+    false "0"
 
 let _ = assert (Memory.has_memory wasm_mod = true)
-let _ = assert (Memory.get_initial wasm_mod = 1)
-let _ = assert (Memory.has_max wasm_mod = false)
-let _ = assert (Memory.get_max wasm_mod = Memory.unlimited)
+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
-let _ = assert (Memory.has_max max_memory_wasm_mod = true)
-let _ = assert (Memory.get_max max_memory_wasm_mod = 2)
+let _ = Memory.set_memory max_memory_wasm_mod 1 2 "memory" [] false "0"
+let _ = assert (Memory.has_max max_memory_wasm_mod "0" = true)
+let _ = assert (Memory.get_max max_memory_wasm_mod "0" = 2)
+
+let _ =
+  assert (
+    Bytes.equal (Memory.get_segment_data wasm_mod 1) (Bytes.of_string "world"))
 
-(* Create an imported "write" function i32 (anyref, i32, i32) *)
+(* Create an imported "write" function i32 (externref, i32, i32) *)
 (* Similar to the example here: https://bytecodealliance.org/articles/reference-types-in-wasmtime *)
 
 let _ =
@@ -186,6 +204,7 @@ let _ =
        Type.int32)
 
 let _ = Export.add_function_export wasm_mod "hello" "hello"
+let _ = Module.validate wasm_mod
 
 (* Shouldn't actually do anything since we aren't doing function renames *)
 let _ = Module.update_maps wasm_mod
@@ -215,7 +234,13 @@ let new_mod = Module.read byts
 
 let _ =
   Module.run_passes new_mod
-    [ Passes.name_types; Passes.merge_similar_functions; Passes.spill_pointers ]
+    [
+      Passes.name_types;
+      Passes.merge_similar_functions;
+      Passes.spill_pointers;
+      Passes.gufa;
+      Passes.gufa_optimizing;
+    ]
 
 let _ =
   Module.set_features new_mod
@@ -236,13 +261,13 @@ let _ =
       Module.Feature.typed_function_references;
       Module.Feature.relaxed_simd;
       Module.Feature.extended_const;
+      Module.Feature.strings;
       Module.Feature.all;
     ]
 
 let _ = Module.validate new_mod
 let _ = Module.print new_mod
-
-let _ = Module.print_stack_ir new_mod
+let _ = Module.print_stack_ir new_mod false
 
 (* Dispose the modules 👋 *)
 

binaryen-archive/esy.lock/overrides/opam__s__js__of__ocaml_compiler_opam__c__4.0.0_opam_override/package.json

@@ -1,3 +0,0 @@
-{
-  "build": "dune build -p js_of_ocaml-compiler"
-}