Module `Dsl.Binaryen`Source

Parameters

module M : BinaryenModule

Signature

Sourceval ptr_ty : Bound.binary_type

Sourceval add_i32 : int32 B.return

Sourceval sub_i32 : int32 B.return

Sourceval mul_i32 : int32 B.return

Sourceval div_i32 : int32 B.return

Sourceval lt_i32 : int32 B.return

Sourceval gt_i32 : int32 B.return

Sourceval eq_i32 : int32 B.return

Sourceval ne_i32 : int32 B.return

Sourceval any_ref : Ctypes.Uintptr.t B.return

Sourceval unreachable : Ctypes.Uintptr.t B.return

Sourceval auto : Ctypes.Uintptr.t B.return

Source

val const_wrap : 
  ('a -> Bound.literal Ctypes.structure) ->
  'a ->
  Bound.expression B.return

Source

val block : 
  ?name:string ->
  ?ty:Ctypes.Uintptr.t B.return ->
  Bound.expression list ->
  Bound.expression B.return

Sourceval const_i32 : int32 -> Bound.expression B.return

Sourceval const_i32_of_int : int -> Bound.expression B.return

Sourceval const_i64 : int64 -> Bound.expression B.return

Sourceval const_f32 : float -> Bound.expression B.return

Sourceval const_f64 : float -> Bound.expression B.return

Sourceval local_get : int -> Ctypes.Uintptr.t -> Bound.expression B.return

Sourceval local_set : int -> Bound.expression -> Bound.expression B.return

Sourceval global_set : string -> Bound.expression -> Bound.expression B.return

Sourceval global_get : string -> Ctypes.Uintptr.t -> Bound.expression B.return

Sourceval drop : Bound.expression -> Bound.expression B.return

Source

val store : 
  bytes:int ->
  offset:int ->
  align:int ->
  ptr:Bound.expression ->
  value:Bound.expression ->
  ty:Ctypes.Uintptr.t ->
  Bound.expression B.return

Source

val load : 
  bytes:int ->
  signed:bool ->
  offset:int ->
  align:int ->
  ty:Ctypes.Uintptr.t ->
  Bound.expression ->
  Bound.expression B.return

Sourceval unreachable_exp : unit -> Bound.expression B.return

Sourceval return_ : unit Ctypes_static.ptr option -> Bound.expression B.return

Source

val if' : 
  ?else':unit Ctypes_static.ptr ->
  Bound.expression ->
  then':Bound.expression ->
  Bound.expression B.return

Sourceval loop : string -> Bound.expression -> Bound.expression B.return

Source

val break_ : 
  ?cond:unit Ctypes_static.ptr ->
  ?value:unit Ctypes_static.ptr ->
  string ->
  Bound.expression B.return

Source

val binary : 
  int32 ->
  Bound.expression ->
  Bound.expression ->
  Bound.expression B.return

Source

val call_ : 
  string ->
  Bound.expression list ->
  Ctypes.Uintptr.t ->
  Bound.expression B.return

Source

val memory_fill : 
  dest:Bound.expression ->
  value:Bound.expression ->
  size:Bound.expression ->
  Bound.expression B.return

Source

val memory_copy : 
  dest:Bound.expression ->
  src:Bound.expression ->
  size:Bound.expression ->
  Bound.expression B.return

Source

val function_ : 
  name:string ->
  params_ty:Ctypes.Uintptr.t ->
  ret_ty:Ctypes.Uintptr.t ->
  vars_ty:Ctypes.Uintptr.t list ->
  content:Bound.expression ->
  Bound.function_

Sourcetype function_local_var_allocator = {

mutable value : int;
mutable def_ty : Bound.binary_type list;

}

Sourceval def_local : function_local_var_allocator -> Bound.binary_type -> int

Source

val def_function : 
  string ->
  params:Ctypes.Uintptr.t list ->
  ret_ty:Ctypes.Uintptr.t ->
  (function_local_var_allocator -> Bound.expression) ->
  Bound.function_

Sourceval export_function : string -> string -> Bound.export B.return

Source

val import_function : 
  intern_name:string ->
  extern_name:string ->
  extern_base_name:string ->
  params_ty:Ctypes.Uintptr.t ->
  ret_ty:Ctypes.Uintptr.t ->
  unit B.return

Source

val add_global_var : 
  name:string ->
  Ctypes.Uintptr.t ->
  mut:bool ->
  init:Bound.expression ->
  Bound.export B.return

Source

val set_memory : 
  Bound.module_ ->
  int ->
  int ->
  string ->
  Core_kernel.Bytes.t list ->
  bool list ->
  Bound.expression list ->
  bool ->
  unit B.return

Sourcemodule I32 : sig ... end

Sourcemodule Ptr : sig ... end

package binaryen_dsl

Module Dsl.BinaryenSource

Parameters

Signature

Module `Dsl.Binaryen`Source