@grain/binaryen.ml 0.9.1 → 0.11.2

binaryen-archive/vendor/wasm-delegations.h

@@ -1,85 +0,0 @@
-/*
- * Copyright 2020 WebAssembly Community Group participants
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *     http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-
-DELEGATE(Nop);
-DELEGATE(Block);
-DELEGATE(If);
-DELEGATE(Loop);
-DELEGATE(Break);
-DELEGATE(Switch);
-DELEGATE(Call);
-DELEGATE(CallIndirect);
-DELEGATE(LocalGet);
-DELEGATE(LocalSet);
-DELEGATE(GlobalGet);
-DELEGATE(GlobalSet);
-DELEGATE(Load);
-DELEGATE(Store);
-DELEGATE(AtomicRMW);
-DELEGATE(AtomicCmpxchg);
-DELEGATE(AtomicWait);
-DELEGATE(AtomicNotify);
-DELEGATE(AtomicFence);
-DELEGATE(SIMDExtract);
-DELEGATE(SIMDReplace);
-DELEGATE(SIMDShuffle);
-DELEGATE(SIMDTernary);
-DELEGATE(SIMDShift);
-DELEGATE(SIMDLoad);
-DELEGATE(SIMDLoadStoreLane);
-DELEGATE(SIMDWiden);
-DELEGATE(Prefetch);
-DELEGATE(MemoryInit);
-DELEGATE(DataDrop);
-DELEGATE(MemoryCopy);
-DELEGATE(MemoryFill);
-DELEGATE(Const);
-DELEGATE(Unary);
-DELEGATE(Binary);
-DELEGATE(Select);
-DELEGATE(Drop);
-DELEGATE(Return);
-DELEGATE(MemorySize);
-DELEGATE(MemoryGrow);
-DELEGATE(Unreachable);
-DELEGATE(Pop);
-DELEGATE(RefNull);
-DELEGATE(RefIs);
-DELEGATE(RefFunc);
-DELEGATE(RefEq);
-DELEGATE(Try);
-DELEGATE(Throw);
-DELEGATE(Rethrow);
-DELEGATE(TupleMake);
-DELEGATE(TupleExtract);
-DELEGATE(I31New);
-DELEGATE(I31Get);
-DELEGATE(CallRef);
-DELEGATE(RefTest);
-DELEGATE(RefCast);
-DELEGATE(BrOn);
-DELEGATE(RttCanon);
-DELEGATE(RttSub);
-DELEGATE(StructNew);
-DELEGATE(StructGet);
-DELEGATE(StructSet);
-DELEGATE(ArrayNew);
-DELEGATE(ArrayGet);
-DELEGATE(ArraySet);
-DELEGATE(ArrayLen);
-DELEGATE(RefAs);
-
-#undef DELEGATE

binaryen-archive/virtual/dune

@@ -1,6 +0,0 @@
-(library
- (name binaryen)
- (public_name binaryen)
- (virtual_modules export expression features function function_table table
-   global import literal memory module op type)
- (default_implementation binaryen.native))

binaryen-archive/virtual/export.mli

@@ -1,11 +0,0 @@
-type t
-
-val add_function_export : Module.t -> string -> string -> t
-
-val add_table_export : Module.t -> string -> string -> t
-
-val add_memory_export : Module.t -> string -> string -> t
-
-val add_global_export : Module.t -> string -> string -> t
-
-val remove_export : Module.t -> string -> unit

binaryen-archive/virtual/expression.mli

@@ -1,68 +0,0 @@
-type t
-
-val block : ?return_type:Type.t -> Module.t -> string -> t list -> t
-
-val if_ : Module.t -> t -> t -> t -> t
-
-val loop : Module.t -> string -> t -> t
-
-val break : Module.t -> string -> t -> t -> t
-
-val switch : Module.t -> string list -> string -> t -> t -> t
-
-val call : Module.t -> string -> t list -> Type.t -> t
-
-val call_indirect : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-
-val return_call : Module.t -> string -> t list -> Type.t -> t
-
-val return_call_indirect :
-  Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-
-val local_get : Module.t -> int -> Type.t -> t
-
-val local_set : Module.t -> int -> t -> t
-
-val local_tee : Module.t -> int -> t -> Type.t -> t
-
-val global_get : Module.t -> string -> Type.t -> t
-
-val global_set : Module.t -> string -> t -> t
-
-val load : Module.t -> int -> ?signed:bool -> int -> int -> Type.t -> t -> t
-
-val store : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
-
-val const : Module.t -> Literal.t -> t
-
-val unary : Module.t -> Op.t -> t -> t
-
-val binary : Module.t -> Op.t -> t -> t -> t
-
-val select : Module.t -> t -> t -> t -> t
-
-val drop : Module.t -> t -> t
-
-val return : Module.t -> t -> t
-
-val memory_size : Module.t -> t
-
-val memory_grow : Module.t -> t -> t
-
-val nop : Module.t -> t
-
-val unreachable : Module.t -> t
-
-val memory_copy : Module.t -> t -> t -> t -> t
-
-val memory_fill : Module.t -> t -> t -> t -> t
-
-val tuple_make : Module.t -> t list -> t
-
-val tuple_extract : Module.t -> t -> int -> t
-
-val pop : Module.t -> Type.t -> t
-
-val null : unit -> t
-
-val print : t -> unit

binaryen-archive/virtual/features.mli

@@ -1,23 +0,0 @@
-val mvp : int
-
-val atomics : int
-
-val bulk_memory : int
-
-val mutable_globals : int
-
-val nontrapping_fp_to_int : int
-
-val sign_ext : int
-
-val simd128 : int
-
-val exception_handling : int
-
-val tail_call : int
-
-val reference_types : int
-
-val multivalue : int
-
-val all : int

binaryen-archive/virtual/function_table.mli

@@ -1,4 +0,0 @@
-val set_function_table :
-  Module.t -> int -> int -> string list -> Expression.t -> unit
-
-val unlimited : int

binaryen-archive/virtual/global.mli

@@ -1,7 +0,0 @@
-type t
-
-val add_global : Module.t -> string -> Type.t -> bool -> Expression.t -> t
-
-val get_global : Module.t -> string -> t
-
-val remove_global : Module.t -> string -> unit

binaryen-archive/virtual/module.mli

@@ -1,67 +0,0 @@
-type t
-
-val create : unit -> t
-
-val dispose : t -> unit
-
-val add_custom_section : t -> string -> string -> unit
-
-val parse : string -> t
-
-val print : t -> unit
-
-val print_asmjs : t -> unit
-
-val validate : t -> int
-
-val optimize : t -> unit
-
-val set_features : t -> int list -> unit
-
-val get_optimize_level : unit -> int
-
-val set_optimize_level : int -> unit
-
-val get_shrink_level : unit -> int
-
-val set_shrink_level : int -> unit
-
-val get_debug_info : unit -> int
-
-val set_debug_info : int -> unit
-
-val get_low_memory_unused : unit -> int
-
-val set_low_memory_unused : int -> unit
-
-val get_pass_argument : string -> string
-
-val set_pass_argument : string -> string -> unit
-
-val get_always_inline_max_size : unit -> int
-
-val set_always_inline_max_size : int -> unit
-
-val get_flexible_inline_max_size : unit -> int
-
-val set_flexible_inline_max_size : int -> unit
-
-val get_one_caller_inline_max_size : unit -> int
-
-val set_one_caller_inline_max_size : int -> unit
-
-val run_passes : t -> string list -> unit
-
-val auto_drop : t -> unit
-
-val write : t -> string option -> bytes * string option
-
-val write_text : t -> string
-
-val read : bytes -> t
-
-val interpret : t -> unit
-
-val add_debug_info_filename : t -> string -> int
-
-val get_debug_info_filename : t -> int -> string

binaryen-archive/virtual/table.mli

@@ -1,2 +0,0 @@
-val add_table :
-  Module.t -> string -> int -> int -> string list -> Expression.t -> unit