@grain/binaryen.ml 0.9.1 → 0.11.2

binaryen-archive/src/expression.ml

@@ -1,115 +0,0 @@
-type t
-
-external block : Module.t -> string -> t list -> Type.t -> t
-  = "caml_binaryen_block"
-
-(** Module, block name, expression list. *)
-let block ?(return_type = Type.auto) wasm_mod name exprs =
-  block wasm_mod name exprs return_type
-
-external if_ : Module.t -> t -> t -> t -> t = "caml_binaryen_if"
-(** Module, condition, true branch, false branch. False branch may be null. *)
-
-external loop : Module.t -> string -> t -> t = "caml_binaryen_loop"
-(** Module, loop name, body. *)
-
-external break : Module.t -> string -> t -> t -> t = "caml_binaryen_break"
-(** Module, block name, condition, result. Value and condition may be null. *)
-
-external switch : Module.t -> string list -> string -> t -> t -> t
-  = "caml_binaryen_switch"
-(** Module, branch names, default branch name, condition, value. Value may be null. *)
-
-external call : Module.t -> string -> t list -> Type.t -> t
-  = "caml_binaryen_call"
-(** Module, function name, params, return type. *)
-
-external call_indirect :
-  Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-  = "caml_binaryen_call_indirect__bytecode" "caml_binaryen_call_indirect"
-(** Module, table, function value, params, params type, return type. *)
-
-external return_call : Module.t -> string -> t list -> Type.t -> t
-  = "caml_binaryen_return_call"
-(** Module, function name, params, return type. *)
-
-external return_call_indirect :
-  Module.t -> string -> t -> t list -> Type.t -> Type.t -> t
-  = "caml_binaryen_return_call_indirect__bytecode" "caml_binaryen_return_call_indirect"
-(** Module, table, function value, params, params type, return type. *)
-
-external local_get : Module.t -> int -> Type.t -> t = "caml_binaryen_local_get"
-(** Module, slot, type. *)
-
-external local_set : Module.t -> int -> t -> t = "caml_binaryen_local_set"
-(** Module, slot, value. *)
-
-external local_tee : Module.t -> int -> t -> Type.t -> t
-  = "caml_binaryen_local_tee"
-(** Module, slot, value, type. *)
-
-external global_get : Module.t -> string -> Type.t -> t
-  = "caml_binaryen_global_get"
-(** Module, name, type. *)
-
-external global_set : Module.t -> string -> t -> t = "caml_binaryen_global_set"
-(** Module, name, value. *)
-
-external load : Module.t -> int -> bool -> int -> int -> Type.t -> t -> t
-  = "caml_binaryen_load__bytecode" "caml_binaryen_load"
-
-(** Module, num_bytes, ?signed, offset, align, type, ptr. *)
-let load wasm_mod bytes ?(signed = false) offset align ty ptr =
-  load wasm_mod bytes signed offset align ty ptr
-
-external store : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
-  = "caml_binaryen_store__bytecode" "caml_binaryen_store"
-(** Module, num_bytes, offset, align, ptr, value, type. *)
-
-external const : Module.t -> Literal.t -> t = "caml_binaryen_const"
-
-external unary : Module.t -> Op.t -> t -> t = "caml_binaryen_unary"
-
-external binary : Module.t -> Op.t -> t -> t -> t = "caml_binaryen_binary"
-
-external select : Module.t -> t -> t -> t -> Type.t -> t
-  = "caml_binaryen_select"
-
-(** Module, condition, true branch, false branch. *)
-let select wasm_mod cond tru fals = select wasm_mod cond tru fals Type.auto
-
-external drop : Module.t -> t -> t = "caml_binaryen_drop"
-
-external return : Module.t -> t -> t = "caml_binaryen_return"
-
-external memory_size : Module.t -> t = "caml_binaryen_memory_size"
-
-external memory_grow : Module.t -> t -> t = "caml_binaryen_memory_grow"
-
-external nop : Module.t -> t = "caml_binaryen_nop"
-
-external unreachable : Module.t -> t = "caml_binaryen_unreachable"
-
-external memory_copy : Module.t -> t -> t -> t -> t
-  = "caml_binaryen_memory_copy"
-(** Module, destination, source, size. *)
-
-external memory_fill : Module.t -> t -> t -> t -> t
-  = "caml_binaryen_memory_fill"
-(** Module, destination, value, size. *)
-
-external tuple_make : Module.t -> t list -> t = "caml_binaryen_tuple_make"
-(** Module, items *)
-
-external tuple_extract : Module.t -> t -> int -> t
-  = "caml_binaryen_tuple_extract"
-(** Module, tuple, index *)
-
-external pop : Module.t -> Type.t -> t = "caml_binaryen_pop"
-(** Module, type *)
-
-external null : unit -> t = "caml_binaryen_null_expression"
-(** A null reference. *)
-
-external print : t -> unit = "caml_binaryen_expression_print"
-(** Print an expression to the console. *)

binaryen-archive/src/features.ml

@@ -1,49 +0,0 @@
-external mvp : unit -> int = "caml_binaryen_feature_mvp"
-
-let mvp = mvp ()
-
-external atomics : unit -> int = "caml_binaryen_feature_atomics"
-
-let atomics = atomics ()
-
-external bulk_memory : unit -> int = "caml_binaryen_feature_bulk_memory"
-
-let bulk_memory = bulk_memory ()
-
-external mutable_globals : unit -> int = "caml_binaryen_feature_mutable_globals"
-
-let mutable_globals = mutable_globals ()
-
-external nontrapping_fp_to_int : unit -> int
-  = "caml_binaryen_feature_nontrapping_fp_to_int"
-
-let nontrapping_fp_to_int = nontrapping_fp_to_int ()
-
-external sign_ext : unit -> int = "caml_binaryen_feature_sign_ext"
-
-let sign_ext = sign_ext ()
-
-external simd128 : unit -> int = "caml_binaryen_feature_simd128"
-
-let simd128 = simd128 ()
-
-external exception_handling : unit -> int
-  = "caml_binaryen_feature_exception_handling"
-
-let exception_handling = exception_handling ()
-
-external tail_call : unit -> int = "caml_binaryen_feature_tail_call"
-
-let tail_call = tail_call ()
-
-external reference_types : unit -> int = "caml_binaryen_feature_reference_types"
-
-let reference_types = reference_types ()
-
-external multivalue : unit -> int = "caml_binaryen_feature_multivalue"
-
-let multivalue = multivalue ()
-
-external all : unit -> int = "caml_binaryen_feature_all"
-
-let all = all ()

binaryen-archive/src/function_table.ml

@@ -1,6 +0,0 @@
-external set_function_table :
-  Module.t -> int -> int -> string list -> Expression.t -> unit
-  = "caml_binaryen_set_function_table"
-(** Module, initial size, maximum size, function names, offset. *)
-
-let unlimited = -1

binaryen-archive/src/global.ml

@@ -1,10 +0,0 @@
-type t
-
-external add_global : Module.t -> string -> Type.t -> bool -> Expression.t -> t
-  = "caml_binaryen_add_global"
-(** Module, name, type, mutable, value. *)
-
-external get_global : Module.t -> string -> t = "caml_binaryen_get_global"
-
-external remove_global : Module.t -> string -> unit
-  = "caml_binaryen_remove_global"

binaryen-archive/src/module.ml

@@ -1,89 +0,0 @@
-let _ = Callback.register "array_of_list" Array.of_list
-
-let _ = Callback.register "array_length" Array.length
-
-type t
-
-external create : unit -> t = "caml_binaryen_module_create"
-
-external dispose : t -> unit = "caml_binaryen_module_dispose"
-
-external add_custom_section : t -> string -> string -> unit
-  = "caml_binaryen_add_custom_section"
-
-external parse : string -> t = "caml_binaryen_module_parse"
-
-external print : t -> unit = "caml_binaryen_module_print"
-
-external print_asmjs : t -> unit = "caml_binaryen_module_print_asmjs"
-
-external validate : t -> int = "caml_binaryen_module_validate"
-
-external optimize : t -> unit = "caml_binaryen_module_optimize"
-
-external set_features : t -> int -> unit = "caml_binaryen_module_set_features"
-
-let set_features wasm_mod features =
-  set_features wasm_mod (List.fold_left ( lor ) 0 features)
-
-external get_optimize_level : unit -> int = "caml_binaryen_get_optimize_level"
-
-external set_optimize_level : int -> unit = "caml_binaryen_set_optimize_level"
-
-external get_shrink_level : unit -> int = "caml_binaryen_get_shrink_level"
-
-external set_shrink_level : int -> unit = "caml_binaryen_set_shrink_level"
-
-external get_debug_info : unit -> int = "caml_binaryen_get_debug_info"
-
-external set_debug_info : int -> unit = "caml_binaryen_set_debug_info"
-
-external get_low_memory_unused : unit -> int
-  = "caml_binaryen_get_low_memory_unused"
-
-external set_low_memory_unused : int -> unit
-  = "caml_binaryen_set_low_memory_unused"
-
-external get_pass_argument : string -> string
-  = "caml_binaryen_get_pass_argument"
-
-external set_pass_argument : string -> string -> unit
-  = "caml_binaryen_set_pass_argument"
-
-external get_always_inline_max_size : unit -> int
-  = "caml_binaryen_get_always_inline_max_size"
-
-external set_always_inline_max_size : int -> unit
-  = "caml_binaryen_set_always_inline_max_size"
-
-external get_flexible_inline_max_size : unit -> int
-  = "caml_binaryen_get_flexible_inline_max_size"
-
-external set_flexible_inline_max_size : int -> unit
-  = "caml_binaryen_set_flexible_inline_max_size"
-
-external get_one_caller_inline_max_size : unit -> int
-  = "caml_binaryen_get_one_caller_inline_max_size"
-
-external set_one_caller_inline_max_size : int -> unit
-  = "caml_binaryen_set_one_caller_inline_max_size"
-
-external run_passes : t -> string list -> unit
-  = "caml_binaryen_module_run_passes"
-
-external auto_drop : t -> unit = "caml_binaryen_module_auto_drop"
-
-external write : t -> string option -> bytes * string option
-  = "caml_binaryen_module_write"
-
-external write_text : t -> string = "caml_binaryen_module_write_text"
-
-external read : bytes -> t = "caml_binaryen_module_read"
-
-external interpret : t -> unit = "caml_binaryen_module_interpret"
-
-external add_debug_info_filename : t -> string -> int
-  = "caml_binaryen_module_add_debug_info_filename"
-
-external get_debug_info_filename : t -> int -> string
-  = "caml_binaryen_module_get_debug_info_filename"

binaryen-archive/src/table.ml

@@ -1,4 +0,0 @@
-external add_table :
-  Module.t -> string -> int -> int -> string list -> Expression.t -> unit
-  = "caml_binaryen_add_table__bytecode" "caml_binaryen_add_table"
-(** Module, name, initial size, maximum size, function names, offset. *)

binaryen-archive/test/test.ml

@@ -1,83 +0,0 @@
-open Binaryen
-
-let wasm_mod = Module.create ()
-
-(* Create function type for i32 (i32, i32) *)
-let params () = Type.create [| Type.int32; Type.int32 |]
-
-let results = Type.int32
-
-let x () = Expression.local_get wasm_mod 0 Type.int32
-
-let y () = Expression.local_get wasm_mod 1 Type.int32
-
-let load = Expression.load wasm_mod 1 ~signed:true 0 0 Type.int32 (y ())
-
-let select =
-  Expression.select wasm_mod
-    (Expression.const wasm_mod (Literal.int32 1l))
-    (x ()) load
-
-let bin = Expression.binary wasm_mod Op.add_int32 select (y ())
-
-let add =
-  Expression.block wasm_mod ~return_type:Type.int32 "add"
-    [
-      Expression.if_ wasm_mod
-        (Expression.const wasm_mod (Literal.int32 0l))
-        (Expression.unreachable wasm_mod)
-        (Expression.null ());
-      bin;
-    ]
-
-(* Create the add function *)
-let adder = Function.add_function wasm_mod "adder" (params ()) results [||] add
-
-let call_adder =
-  Expression.call_indirect wasm_mod "table"
-    (Expression.const wasm_mod (Literal.int32 0l))
-    [
-      Expression.const wasm_mod (Literal.int32 3l);
-      Expression.const wasm_mod (Literal.int32 5l);
-    ]
-    (params ()) Type.int32
-
-let start =
-  Function.add_function wasm_mod "start" Type.none Type.none [||]
-    (Expression.drop wasm_mod call_adder)
-
-let _ = Export.add_function_export wasm_mod "adder" "adder"
-
-let _ =
-  Global.add_global wasm_mod "max_int64" Type.int64 false
-    (Expression.const wasm_mod (Literal.int64 Int64.max_int))
-
-let _ =
-  Global.add_global wasm_mod "test_float64_bits" Type.float64 false
-    (Expression.const wasm_mod (Literal.float64_bits 0x3FF3AE147AE147AEL))
-
-let _ =
-  Table.add_table wasm_mod "table" 1 1 [ "adder" ]
-    (Expression.const wasm_mod (Literal.int32 0l))
-
-let _ = Function.set_start wasm_mod start
-
-let _ = Memory.set_memory wasm_mod 1 Memory.unlimited "memory" [] false
-
-let _ = Module.print wasm_mod
-
-let _ = Module.optimize wasm_mod
-
-let _ = Module.print wasm_mod
-
-let byts, _ = Module.write wasm_mod None
-
-let new_mod = Module.read byts
-
-let _ = Module.validate new_mod
-
-let _ = Module.print new_mod
-
-let _ = Module.dispose wasm_mod
-
-let _ = Module.dispose new_mod