@grain/binaryen.ml 0.9.1 → 0.11.2

binaryen-archive-v0.11.2/test/test.ml

@@ -0,0 +1,147 @@
+open Binaryen
+
+(* Testing colors enable *)
+let _ = assert (Settings.are_colors_enabled () == true)
+
+let _ = Settings.set_colors_enabled false
+
+let _ = assert (Settings.are_colors_enabled () == false)
+
+let _ = Settings.set_colors_enabled true
+
+(* Testing debug_info enable *)
+let _ = assert (Settings.get_debug_info () == false)
+
+let _ = Settings.set_debug_info true
+
+let _ = assert (Settings.get_debug_info () == true)
+
+let _ = Settings.set_debug_info false
+
+(* Testing low_memory_unused enable *)
+let _ = assert (Settings.get_low_memory_unused () == false)
+
+let _ = Settings.set_low_memory_unused true
+
+let _ = assert (Settings.get_low_memory_unused () == true)
+
+let _ = Settings.set_low_memory_unused false
+
+let wasm_mod = Module.create ()
+
+let _ = Module.set_features wasm_mod [ Module.Feature.all ]
+
+(* Create function type for i32 (i32, i32) *)
+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 select =
+  Expression.Select.make wasm_mod
+    (Expression.Const.make wasm_mod (Literal.int32 1l))
+    (x ()) load
+
+let bin = Expression.Binary.make wasm_mod Op.add_int32 select (y ())
+
+let add =
+  Expression.Block.make wasm_mod ~return_type:Type.int32 "add"
+    [
+      Expression.If.make wasm_mod
+        (Expression.Const.make wasm_mod (Literal.int32 0l))
+        (Expression.Unreachable.make wasm_mod)
+        (Expression.Null.make ());
+      bin;
+    ]
+
+(* Create the add function *)
+let adder = Function.add_function wasm_mod "adder" (params ()) results [||] add
+
+let call_adder =
+  Expression.Call_indirect.make wasm_mod "table"
+    (Expression.Const.make wasm_mod (Literal.int32 0l))
+    [
+      Expression.Const.make wasm_mod (Literal.int32 3l);
+      Expression.Const.make wasm_mod (Literal.int32 5l);
+    ]
+    (params ()) Type.int32
+
+let start =
+  Function.add_function wasm_mod "start" Type.none Type.none [||]
+    (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
+
+let _ =
+  Global.add_global wasm_mod "max_int64" Type.int64 false
+    (Expression.Const.make wasm_mod (Literal.int64 Int64.max_int))
+
+let _ =
+  Global.add_global wasm_mod "test_float64_bits" Type.float64 false
+    (Expression.Const.make wasm_mod (Literal.float64_bits 0x3FF3AE147AE147AEL))
+
+let _ =
+  Table.add_active_element_segment wasm_mod "table" "elem" [ "adder" ]
+    (Expression.Const.make wasm_mod (Literal.int32 0l))
+
+let _ = Function.set_start wasm_mod start
+
+let _ = Memory.set_memory wasm_mod 1 Memory.unlimited "memory" [] false
+
+(* Create an imported "write" function i32 (externref, i32, i32) *)
+(* Similar to the example here: https://bytecodealliance.org/articles/reference-types-in-wasmtime *)
+
+let _ =
+  Import.add_function_import wasm_mod "write" "future-wasi" "write"
+    (Type.create [| Type.externref; Type.int32; Type.int32 |])
+    Type.int32
+
+(* Create a function that calls the imported write function *)
+let _ =
+  Function.add_function wasm_mod "hello" Type.externref Type.int32 [||]
+    (Expression.Call.make wasm_mod "write"
+       [
+         Expression.Local_get.make wasm_mod 0 Type.externref;
+         Expression.Const.make wasm_mod (Literal.int32 0l);
+         Expression.Const.make wasm_mod (Literal.int32 1l);
+       ]
+       Type.int32)
+
+let _ = Export.add_function_export wasm_mod "hello" "hello"
+
+(* Finally, we print 3 versions of the module to be checked against test.expected *)
+
+(* 1. Print the the module as-is *)
+
+let _ = Module.print wasm_mod
+
+(* 2. Optimize, then print the module *)
+
+let _ = Module.optimize wasm_mod
+
+let _ = Module.print wasm_mod
+
+(* 3. Copy previous module bytes into new module, validate, and print *)
+
+let byts, _ = Module.write wasm_mod None
+
+let new_mod = Module.read byts
+
+let _ = Module.set_features new_mod [ Module.Feature.all ]
+
+let _ = Module.validate new_mod
+
+let _ = Module.print new_mod
+
+(* Dispose the modules 👋 *)
+
+let _ = Module.dispose wasm_mod
+
+let _ = Module.dispose new_mod

binaryen-archive-v0.11.2/virtual/dune

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

binaryen-archive-v0.11.2/virtual/element_segment.mli

@@ -0,0 +1,11 @@
+type t
+
+val get_name : t -> string
+
+val get_table : t -> string
+
+val get_offset : t -> Expression.t
+
+val get_length : t -> int
+
+val get_data : t -> int -> string

binaryen-archive-v0.11.2/virtual/export.mli

@@ -0,0 +1,33 @@
+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 get_export : Module.t -> string -> t
+
+val remove_export : Module.t -> string -> unit
+
+val get_num_exports : Module.t -> int
+
+val get_export_by_index : Module.t -> int -> t
+
+val get_name : t -> string
+
+val get_value : t -> string
+
+val external_function : int
+
+val external_table : int
+
+val external_memory : int
+
+val external_global : int
+
+val external_event : int
+
+val export_get_kind : t -> int

binaryen-archive-v0.11.2/virtual/expression.mli

@@ -0,0 +1,423 @@
+type t
+
+type kind =
+  | Invalid
+  | Nop
+  | Block
+  | If
+  | Loop
+  | Break
+  | Switch
+  | Call
+  | CallIndirect
+  | LocalGet
+  | LocalSet
+  | GlobalGet
+  | GlobalSet
+  | Load
+  | Store
+  | AtomicRMW
+  | AtomicCmpxchg
+  | AtomicWait
+  | AtomicNotify
+  | AtomicFence
+  | SIMDExtract
+  | SIMDReplace
+  | SIMDShuffle
+  | SIMDTernary
+  | SIMDShift
+  | SIMDLoad
+  | SIMDLoadStoreLane
+  | MemoryInit
+  | DataDrop
+  | MemoryCopy
+  | MemoryFill
+  | Const
+  | Unary
+  | Binary
+  | Select
+  | Drop
+  | Return
+  | MemorySize
+  | MemoryGrow
+  | Unreachable
+  | Pop
+  | RefNull
+  | RefIs
+  | RefFunc
+  | RefEq
+  | Try
+  | Throw
+  | Rethrow
+  | TupleMake
+  | TupleExtract
+  | I31New
+  | I31Get
+  | CallRef
+  | RefTest
+  | RefCast
+  | BrOn
+  | RttCanon
+  | RttSub
+  | StructNew
+  | StructGet
+  | StructSet
+  | ArrayNew
+  | ArrayGet
+  | ArraySet
+  | ArrayLen
+  | RefAs
+
+val get_kind : t -> kind
+
+val print : t -> unit
+
+val finalize : t -> unit
+
+val copy : t -> Module.t -> t
+
+(* Expression operations *)
+
+module Block : sig
+  val make : ?return_type:Type.t -> Module.t -> string -> t list -> t
+
+  val get_name : t -> string option
+
+  val set_name : t -> string -> unit
+
+  val get_num_children : t -> int
+
+  val get_child_at : t -> int -> t
+
+  val set_child_at : t -> int -> t -> unit
+
+  val append_child : t -> t -> int
+
+  val insert_child_at : t -> int -> t -> unit
+
+  val remove_child_at : t -> int -> t
+end
+
+module If : sig
+  val make : Module.t -> t -> t -> t -> t
+
+  val get_condition : t -> t
+
+  val set_condition : t -> t -> unit
+
+  val get_if_true : t -> t
+
+  val set_if_true : t -> t -> unit
+
+  val get_if_false : t -> t option
+
+  val set_if_false : t -> t -> unit
+end
+
+module Loop : sig
+  val make : Module.t -> string -> t -> t
+
+  val get_name : t -> string
+
+  val set_name : t -> string -> unit
+
+  val get_body : t -> t
+
+  val set_body : t -> t -> unit
+end
+
+module Break : sig
+  val make : Module.t -> string -> t -> t -> t
+
+  val get_name : t -> string
+
+  val set_name : t -> string -> unit
+
+  val get_condition : t -> t option
+
+  val set_condition : t -> t -> unit
+
+  val get_value : t -> t option
+
+  val set_value : t -> t -> unit
+end
+
+module Switch : sig
+  val make : Module.t -> string list -> string -> t -> t -> t
+
+  val get_num_names : t -> int
+
+  val get_name_at : t -> int -> string
+
+  val set_name_at : t -> int -> string -> unit
+
+  val append_name : t -> string -> int
+
+  val insert_name_at : t -> int -> string -> unit
+
+  val remove_name_at : t -> int -> string
+
+  val get_default_name : t -> string option
+
+  val set_default_name : t -> string -> unit
+
+  val get_condition : t -> t
+
+  val set_condition : t -> t -> unit
+
+  val get_value : t -> t option
+
+  val set_value : t -> t -> unit
+end
+
+module Call : sig
+  val make : Module.t -> string -> t list -> Type.t -> t
+
+  val make_return : Module.t -> string -> t list -> Type.t -> t
+
+  val get_target : t -> string
+
+  val set_target : t -> string -> unit
+
+  val get_num_operands : t -> int
+
+  val get_operand_at : t -> int -> t
+
+  val set_operand_at : t -> int -> t -> unit
+
+  val append_operand : t -> t -> int
+
+  val insert_operand_at : t -> int -> t -> unit
+
+  val remove_operand_at : t -> int -> t
+
+  val is_return : t -> bool
+
+  val set_return : t -> bool -> unit
+end
+
+module Call_indirect : sig
+  val make : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
+
+  val make_return : Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
+
+  val get_target : t -> t
+
+  val set_target : t -> t -> unit
+
+  val get_table : t -> string
+
+  val set_table : t -> string -> unit
+
+  val get_num_operands : t -> int
+
+  val get_operand_at : t -> int -> t
+
+  val set_operand_at : t -> int -> t -> unit
+
+  val append_operand : t -> t -> int
+
+  val insert_operand_at : t -> int -> t -> unit
+
+  val remove_operand_at : t -> int -> t
+
+  val is_return : t -> bool
+
+  val set_return : t -> bool -> unit
+end
+
+module Local_get : sig
+  val make : Module.t -> int -> Type.t -> t
+end
+
+module Local_set : sig
+  val make : Module.t -> int -> t -> t
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Local_tee : sig
+  val make : Module.t -> int -> t -> Type.t -> t
+end
+
+module Global_get : sig
+  val make : Module.t -> string -> Type.t -> t
+
+  val get_name : t -> string
+
+  val set_name : t -> string -> unit
+end
+
+module Global_set : sig
+  val make : Module.t -> string -> t -> t
+
+  val get_name : t -> string
+
+  val set_name : t -> string -> unit
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Load : sig
+  val make : Module.t -> int -> ?signed:bool -> int -> int -> Type.t -> t -> t
+
+  val get_ptr : t -> t
+
+  val set_ptr : t -> t -> unit
+end
+
+module Store : sig
+  val make : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
+
+  val get_ptr : t -> t
+
+  val set_ptr : t -> t -> unit
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Const : sig
+  val make : Module.t -> Literal.t -> t
+end
+
+module Unary : sig
+  val make : Module.t -> Op.t -> t -> t
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Binary : sig
+  val make : Module.t -> Op.t -> t -> t -> t
+
+  val get_left : t -> t
+
+  val set_left : t -> t -> unit
+
+  val get_right : t -> t
+
+  val set_right : t -> t -> unit
+end
+
+module Select : sig
+  val make : Module.t -> t -> t -> t -> t
+
+  val get_if_true : t -> t
+
+  val set_if_true : t -> t -> unit
+
+  val get_if_false : t -> t
+
+  val set_if_false : t -> t -> unit
+
+  val get_condition : t -> t
+
+  val set_condition : t -> t -> unit
+end
+
+module Drop : sig
+  val make : Module.t -> t -> t
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Return : sig
+  val make : Module.t -> t -> t
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+end
+
+module Memory_size : sig
+  val make : Module.t -> t
+end
+
+module Memory_grow : sig
+  val make : Module.t -> t -> t
+
+  val get_delta : t -> t
+
+  val set_delta : t -> t -> unit
+end
+
+module Memory_copy : sig
+  val make : Module.t -> t -> t -> t -> t
+
+  val get_dest : t -> t
+
+  val set_dest : t -> t -> unit
+
+  val get_source : t -> t
+
+  val set_source : t -> t -> unit
+
+  val get_size : t -> t
+
+  val set_size : t -> t -> unit
+end
+
+module Memory_fill : sig
+  val make : Module.t -> t -> t -> t -> t
+
+  val get_dest : t -> t
+
+  val set_dest : t -> t -> unit
+
+  val get_value : t -> t
+
+  val set_value : t -> t -> unit
+
+  val get_size : t -> t
+
+  val set_size : t -> t -> unit
+end
+
+module Tuple_make : sig
+  val make : Module.t -> t list -> t
+
+  val get_num_operands : t -> int
+
+  val get_operand_at : t -> int -> t
+
+  val set_operand_at : t -> int -> t -> unit
+
+  val append_operand : t -> t -> int
+
+  val insert_operand_at : t -> int -> t -> unit
+
+  val remove_operand_at : t -> int -> t
+end
+
+module Tuple_extract : sig
+  val make : Module.t -> t -> int -> t
+
+  val get_tuple : t -> t
+
+  val set_tuple : t -> t -> unit
+end
+
+module Nop : sig
+  val make : Module.t -> t
+end
+
+module Unreachable : sig
+  val make : Module.t -> t
+end
+
+module Pop : sig
+  val make : Module.t -> Type.t -> t
+end
+
+module Null : sig
+  val make : unit -> t
+end

{binaryen-archive → binaryen-archive-v0.11.2}/virtual/function.mli

@@ -9,6 +9,22 @@ val set_debug_location : t -> Expression.t -> int -> int -> int -> unit
 
 val get_function : Module.t -> string -> t
 
+val get_function_by_index : Module.t -> int -> t
+
 val remove_function : Module.t -> string -> unit
 
 val get_num_functions : Module.t -> int
+
+val get_name : t -> string
+
+val get_params : t -> Type.t
+
+val get_results : t -> Type.t
+
+val get_num_vars : t -> int
+
+val get_var : t -> int -> Type.t
+
+val get_body : t -> Expression.t
+
+val set_body : t -> Expression.t -> unit

binaryen-archive-v0.11.2/virtual/global.mli

@@ -0,0 +1,19 @@
+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
+
+val get_num_globals : Module.t -> int
+
+val get_global_by_index : Module.t -> int -> t
+
+val get_name : t -> string
+
+val get_type : t -> Type.t
+
+val is_mutable : t -> bool
+
+val get_init_expr : t -> Expression.t

{binaryen-archive → binaryen-archive-v0.11.2}/virtual/import.mli

@@ -7,3 +7,11 @@ val add_memory_import : Module.t -> string -> string -> string -> bool -> unit
 
 val add_global_import :
   Module.t -> string -> string -> string -> Type.t -> bool -> unit
+
+val function_import_get_module : Function.t -> string
+
+val global_import_get_module : Global.t -> string
+
+val function_import_get_base : Function.t -> string
+
+val global_import_get_base : Global.t -> string