@grain/binaryen.ml 0.34.0 → 0.36.0

binaryen-archive/test/test.ml

@@ -171,13 +171,19 @@ let start =
 let _ = Export.add_function_export wasm_mod "adder" "adder"
 let _ = Table.add_table wasm_mod "table" 1 1 Type.funcref
 
-(* TODO(#240): Re-enable after type-builder api is merged *)
-(* let funcref_expr1 = Expression.Ref.func wasm_mod "adder" (Heap_type.func ())
+let adder_type =
+  let builder = Type_builder.make 1 in
+  Type_builder.set_signature_type builder 0 (params ()) results;
+  match Type_builder.build_and_dispose builder with
+  | Ok [ ty ] -> ty
+  | _ -> failwith "failed to build type"
+
+let funcref_expr1 = Expression.Ref.func wasm_mod "adder" adder_type
 
 let _ =
   Expression.Table.set wasm_mod "table"
     (Expression.Const.make wasm_mod (Literal.int32 0l))
-    funcref_expr1 *)
+    funcref_expr1
 
 let funcref_expr2 =
   Expression.Table.get wasm_mod "table"
@@ -248,12 +254,106 @@ 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)
 
+(* Memory.get_segment_byte_offset Passive *)
+let _ = assert (Memory.get_segment_byte_offset wasm_mod "world" = None)
+
 let _ =
   assert (
     Bytes.equal
       (Memory.get_segment_data wasm_mod "world")
       (Bytes.of_string "world"))
 
+(* Call_ref *)
+let thunk_type =
+  let builder = Type_builder.make 1 in
+  Type_builder.set_signature_type builder 0 Type.none Type.none;
+  match Type_builder.build_and_dispose builder with
+  | Ok [ ty ] -> ty
+  | _ -> failwith "failed to build type"
+
+let _ =
+  Expression.Call_ref.make wasm_mod
+    (Expression.Ref.func wasm_mod "start" thunk_type)
+    [] Type.none
+
+let _ = Tag.add_tag wasm_mod "foo" Type.int32 Type.none
+let _ = Tag.add_tag wasm_mod "bar" Type.int32 Type.none
+
+(* Exception handling *)
+let body =
+  Expression.Throw.make wasm_mod "foo"
+    [ Expression.Const.make wasm_mod (Literal.int32 1l) ]
+
+let try_catch_1 =
+  Expression.Try.make wasm_mod (Some "tc1") body
+    [
+      ( "foo",
+        Expression.Block.make wasm_mod "tc1blk2"
+          [
+            Expression.Drop.make wasm_mod
+              (Expression.Pop.make wasm_mod Type.int32);
+            Expression.Const.make wasm_mod (Literal.int32 2l);
+          ] );
+      ( "bar",
+        Expression.Block.make wasm_mod "tc1blk3"
+          [
+            Expression.Drop.make wasm_mod
+              (Expression.Pop.make wasm_mod Type.int32);
+            Expression.Const.make wasm_mod (Literal.int32 3l);
+          ] );
+    ]
+    None
+
+let _ = assert (Expression.Try.get_name try_catch_1 = Some "tc1")
+let _ = Expression.Try.set_name try_catch_1 "renamed_tc1"
+let _ = assert (Expression.Try.get_name try_catch_1 = Some "renamed_tc1")
+let _ = Expression.Try.set_name try_catch_1 "tc1"
+
+let _ =
+  assert (
+    Expression.get_kind (Expression.Try.get_body try_catch_1)
+    = Expression.get_kind body)
+
+let _ = assert (Expression.Try.get_num_catch_tags try_catch_1 = 2)
+let _ = assert (Expression.Try.get_num_catch_bodies try_catch_1 = 2)
+
+let try_catch_2 =
+  Expression.Try.make wasm_mod (Some "tc2")
+    (Expression.Throw.make wasm_mod "foo"
+       [ Expression.Const.make wasm_mod (Literal.int32 1l) ])
+    [
+      ( "foo",
+        Expression.Block.make wasm_mod "tc2blk2"
+          [
+            Expression.Drop.make wasm_mod
+              (Expression.Pop.make wasm_mod Type.int32);
+          ] );
+      ( "bar",
+        Expression.Block.make wasm_mod "tc2blk3"
+          [
+            Expression.Drop.make wasm_mod
+              (Expression.Pop.make wasm_mod Type.int32);
+          ] );
+    ]
+    None
+
+let _ = assert (Expression.Try.get_name try_catch_2 = Some "tc2")
+
+(* Test catch_all *)
+let try_catch_all_1 =
+  Expression.Try.make wasm_mod (Some "tc3")
+    (Expression.Const.make wasm_mod (Literal.int32 1l))
+    [
+      ( "foo",
+        Expression.Block.make wasm_mod "tc3blk2"
+          [
+            Expression.Drop.make wasm_mod
+              (Expression.Pop.make wasm_mod Type.int32);
+            Expression.Const.make wasm_mod (Literal.int32 2l);
+          ] );
+    ]
+    (Some (Expression.Const.make wasm_mod (Literal.int32 3l)))
+
 (* Create an imported "write" function i32 (externref, i32, i32) *)
 (* Similar to the example here: https://bytecodealliance.org/articles/reference-types-in-wasmtime *)
 
@@ -273,9 +373,125 @@ let _ =
        ]
        Type.int32)
 
+(* Create a function with try *)
+let _ =
+  Function.add_function wasm_mod "try" Type.none Type.none [||]
+    (Expression.Block.make wasm_mod "blk"
+       [
+         Expression.Drop.make wasm_mod try_catch_1;
+         try_catch_2;
+         Expression.Drop.make wasm_mod try_catch_all_1;
+       ])
+
 let _ = Export.add_function_export wasm_mod "hello" "hello"
+let _ = Export.add_function_export wasm_mod "try" "try"
 let _ = Module.validate wasm_mod
 
+(* Create a function that does gc *)
+let _ =
+  let array_u8_type =
+    let builder = Type_builder.make 1 in
+    Type_builder.set_array_type builder 0 Type.int32 Packed_type.int8 true;
+    match Type_builder.build_and_dispose builder with
+    | Ok [ ty ] -> ty
+    | _ -> failwith "failed to make array type"
+  in
+  let list_type =
+    let builder = Type_builder.make 1 in
+    let temp_heap_type = Type_builder.get_temp_heap_type builder 0 in
+    let temp_ref_type =
+      Type_builder.get_temp_ref_type builder temp_heap_type true
+    in
+    Type_builder.set_struct_type builder 0
+      [
+        Type_builder.
+          {
+            type_ = Type.i31ref;
+            packed_type = Packed_type.not_packed;
+            mutable_ = false;
+          };
+        Type_builder.
+          {
+            type_ = temp_ref_type;
+            packed_type = Packed_type.not_packed;
+            mutable_ = false;
+          };
+      ];
+    match Type_builder.build_and_dispose builder with
+    | Ok [ ty ] -> ty
+    | _ -> failwith "failed to make list type"
+  in
+  let i32 v = Expression.Const.make wasm_mod (Literal.int32 v) in
+  let i31 v = Expression.I31.make wasm_mod (i32 v) in
+  let cons first rest =
+    Expression.Struct.new_ wasm_mod (Some [ first; rest ]) list_type
+  in
+  let empty () =
+    Expression.Ref.null wasm_mod (Type.from_heap_type list_type true)
+  in
+  Function.add_function wasm_mod "gc" Type.anyref
+    (Type.create [| Type.anyref; Type.anyref |])
+    [|
+      Type.from_heap_type array_u8_type false;
+      Type.from_heap_type list_type false;
+    |]
+    (Expression.Block.make wasm_mod "gc_block"
+       [
+         Expression.Local_set.make wasm_mod 1
+           (Expression.Array.new_fixed wasm_mod array_u8_type
+              [ i32 0l; i32 255l ]);
+         Expression.Array.set wasm_mod
+           (Expression.Local_get.make wasm_mod 1
+              (Type.from_heap_type array_u8_type false))
+           (i32 1l) (i32 42l);
+         Expression.Local_set.make wasm_mod 2
+           (cons
+              (Expression.Ref.cast wasm_mod
+                 (Expression.Local_get.make wasm_mod 0 Type.anyref)
+                 Type.i31ref)
+              (cons (i31 1l) (cons (i31 2l) (cons (i31 3l) (empty ())))));
+         Expression.Tuple_make.make wasm_mod
+           [
+             Expression.Local_get.make wasm_mod 1
+               (Type.from_heap_type array_u8_type false);
+             Expression.Local_get.make wasm_mod 2
+               (Type.from_heap_type list_type false);
+           ];
+       ])
+
+let _ = Export.add_function_export wasm_mod "gc" "gc"
+let _ = assert (Module.validate wasm_mod == 1)
+
+(* Test Heap_type.set_type_name and Heap_type.set_field_name *)
+let list_type =
+  let builder = Type_builder.make 1 in
+  let temp_heap_type = Type_builder.get_temp_heap_type builder 0 in
+  let temp_ref_type =
+    Type_builder.get_temp_ref_type builder temp_heap_type true
+  in
+  Type_builder.set_struct_type builder 0
+    [
+      Type_builder.
+        {
+          type_ = Type.i31ref;
+          packed_type = Packed_type.not_packed;
+          mutable_ = false;
+        };
+      Type_builder.
+        {
+          type_ = temp_ref_type;
+          packed_type = Packed_type.not_packed;
+          mutable_ = false;
+        };
+    ];
+  match Type_builder.build_and_dispose builder with
+  | Ok [ ty ] -> ty
+  | _ -> failwith "failed to make list type"
+
+let _ = Heap_type.set_type_name wasm_mod list_type "List"
+let _ = Heap_type.set_field_name wasm_mod list_type 0 "head"
+let _ = Heap_type.set_field_name wasm_mod list_type 1 "tail"
+
 (* Shouldn't actually do anything since we aren't doing function renames *)
 let _ = Module.update_maps wasm_mod
 
@@ -348,7 +564,7 @@ let _ =
       Module.Feature.all;
     ]
 
-let _ = Module.validate new_mod
+let _ = assert (Module.validate new_mod == 1)
 let _ = Module.print new_mod
 let _ = Module.print_stack_ir new_mod
 

binaryen-archive/esy.lock/opam/base-bytes.base/opam

@@ -1,10 +0,0 @@
-opam-version: "2.0"
-maintainer: " "
-authors: " "
-homepage: " "
-depends: [
-  "ocaml" {>= "4.02.0"}
-  "ocamlfind" {>= "1.5.3"}
-]
-synopsis: "Bytes library distributed with the OCaml compiler"
-x-maintained: true

binaryen-archive/esy.lock/opam/js_of_ocaml-compiler.6.2.0/opam

@@ -1,56 +0,0 @@
-opam-version: "2.0"
-synopsis: "Compiler from OCaml bytecode to JavaScript"
-description:
-  "Js_of_ocaml is a compiler from OCaml bytecode to JavaScript. It makes it possible to run pure OCaml programs in JavaScript environment like browsers and Node.js"
-maintainer: ["Ocsigen team <dev@ocsigen.org>"]
-authors: ["Ocsigen team <dev@ocsigen.org>"]
-license: [
-  "GPL-2.0-or-later" "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
-]
-homepage: "https://ocsigen.org/js_of_ocaml/latest/manual/overview"
-doc: "https://ocsigen.org/js_of_ocaml/latest/manual/overview"
-bug-reports: "https://github.com/ocsigen/js_of_ocaml/issues"
-depends: [
-  "dune" {>= "3.19"}
-  "ocaml" {>= "4.13" & < "5.5"}
-  "num" {with-test}
-  "ppx_expect" {>= "v0.16.1" & with-test}
-  "ppxlib" {>= "0.35"}
-  "re" {with-test}
-  "cmdliner" {>= "1.1.0"}
-  "sedlex" {>= "3.3"}
-  "qcheck" {with-test}
-  "menhir"
-  "menhirLib"
-  "menhirSdk"
-  "yojson" {>= "2.1"}
-  "odoc" {with-doc}
-]
-depopts: ["ocamlfind"]
-conflicts: [
-  "ocamlfind" {< "1.5.1"}
-  "js_of_ocaml" {< "3.0"}
-]
-dev-repo: "git+https://github.com/ocsigen/js_of_ocaml.git"
-x-maintenance-intent: ["(latest)"]
-build: [
-  [
-    "dune"
-    "build"
-    "-p"
-    name
-    "-j"
-    jobs
-    "@install"
-    "@doc" {with-doc}
-  ]
-]
-url {
-  src:
-    "https://github.com/ocsigen/js_of_ocaml/releases/download/6.2.0/js_of_ocaml-6.2.0.tbz"
-  checksum: [
-    "sha256=7cc641778d1b172a352a88333ee0e8c621365a0acfcd9b87e38bfddb8dd2a5da"
-    "sha512=da50c79e1ad667df22abe03d0928ee135729c90cf09279e3c4854aec66557e8600890ca58f550529de1b1a44698720890b97528df167fd9e10cce24c71e763e6"
-  ]
-}
-x-commit-hash: "938c18c46b78836119483d9cc9ce25ffdc44b718"

binaryen-archive/esy.lock/opam/stdlib-shims.0.3.0/opam

@@ -1,31 +0,0 @@
-opam-version: "2.0"
-maintainer: "The stdlib-shims programmers"
-authors: "The stdlib-shims programmers"
-homepage: "https://github.com/ocaml/stdlib-shims"
-doc: "https://ocaml.github.io/stdlib-shims/"
-dev-repo: "git+https://github.com/ocaml/stdlib-shims.git"
-bug-reports: "https://github.com/ocaml/stdlib-shims/issues"
-tags: ["stdlib" "compatibility" "org:ocaml"]
-license: ["LGPL-2.1-only WITH OCaml-LGPL-linking-exception"]
-depends: [
-  "dune"
-  "ocaml" {>= "4.02.3"}
-]
-build: [ "dune" "build" "-p" name "-j" jobs ]
-synopsis: "Backport some of the new stdlib features to older compiler"
-description: """
-Backport some of the new stdlib features to older compiler,
-such as the Stdlib module.
-
-This allows projects that require compatibility with older compiler to
-use these new features in their code.
-"""
-x-commit-hash: "fb6815e5d745f07fd567c11671149de6ef2e74c8"
-url {
-  src:
-    "https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz"
-  checksum: [
-    "sha256=babf72d3917b86f707885f0c5528e36c63fccb698f4b46cf2bab5c7ccdd6d84a"
-    "sha512=1151d7edc8923516e9a36995a3f8938d323aaade759ad349ed15d6d8501db61ffbe63277e97c4d86149cf371306ac23df0f581ec7e02611f58335126e1870980"
-  ]
-}