Module `Tezos_webassembly_interpreter.Ast`

module TzStdLib = Tezos_lwt_result_stdlib.Lwtreslib.Bare

module Vector = Tezos_lazy_containers.Lazy_vector.Int32Vector

type void = Lib.void

val pp_void : 'a -> 'b -> 'c

module IntOp : sig ... end

module FloatOp : sig ... end

module I32Op = IntOp

module I64Op = IntOp

module F32Op = FloatOp

module F64Op = FloatOp

module V128Op : sig ... end

type testop =
  (I32Op.testop, I64Op.testop, F32Op.testop, F64Op.testop) Values.op

val pp_testop : 
  Ppx_deriving_runtime.Format.formatter ->
  testop ->
  Ppx_deriving_runtime.unit

val show_testop : testop -> Ppx_deriving_runtime.string

type unop = (I32Op.unop, I64Op.unop, F32Op.unop, F64Op.unop) Values.op

val pp_unop : 
  Ppx_deriving_runtime.Format.formatter ->
  unop ->
  Ppx_deriving_runtime.unit

val show_unop : unop -> Ppx_deriving_runtime.string

type binop = (I32Op.binop, I64Op.binop, F32Op.binop, F64Op.binop) Values.op

val pp_binop : 
  Ppx_deriving_runtime.Format.formatter ->
  binop ->
  Ppx_deriving_runtime.unit

val show_binop : binop -> Ppx_deriving_runtime.string

type relop = (I32Op.relop, I64Op.relop, F32Op.relop, F64Op.relop) Values.op

val pp_relop : 
  Ppx_deriving_runtime.Format.formatter ->
  relop ->
  Ppx_deriving_runtime.unit

val show_relop : relop -> Ppx_deriving_runtime.string

type cvtop = (I32Op.cvtop, I64Op.cvtop, F32Op.cvtop, F64Op.cvtop) Values.op

val pp_cvtop : 
  Ppx_deriving_runtime.Format.formatter ->
  cvtop ->
  Ppx_deriving_runtime.unit

val show_cvtop : cvtop -> Ppx_deriving_runtime.string

type vec_testop = V128Op.testop Values.vecop

val pp_vec_testop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_testop ->
  Ppx_deriving_runtime.unit

val show_vec_testop : vec_testop -> Ppx_deriving_runtime.string

type vec_relop = V128Op.relop Values.vecop

val pp_vec_relop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_relop ->
  Ppx_deriving_runtime.unit

val show_vec_relop : vec_relop -> Ppx_deriving_runtime.string

type vec_unop = V128Op.unop Values.vecop

val pp_vec_unop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_unop ->
  Ppx_deriving_runtime.unit

val show_vec_unop : vec_unop -> Ppx_deriving_runtime.string

type vec_binop = V128Op.binop Values.vecop

val pp_vec_binop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_binop ->
  Ppx_deriving_runtime.unit

val show_vec_binop : vec_binop -> Ppx_deriving_runtime.string

type vec_cvtop = V128Op.cvtop Values.vecop

val pp_vec_cvtop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_cvtop ->
  Ppx_deriving_runtime.unit

val show_vec_cvtop : vec_cvtop -> Ppx_deriving_runtime.string

type vec_shiftop = V128Op.shiftop Values.vecop

val pp_vec_shiftop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_shiftop ->
  Ppx_deriving_runtime.unit

val show_vec_shiftop : vec_shiftop -> Ppx_deriving_runtime.string

type vec_bitmaskop = V128Op.bitmaskop Values.vecop

val pp_vec_bitmaskop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_bitmaskop ->
  Ppx_deriving_runtime.unit

val show_vec_bitmaskop : vec_bitmaskop -> Ppx_deriving_runtime.string

type vec_vtestop = V128Op.vtestop Values.vecop

val pp_vec_vtestop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_vtestop ->
  Ppx_deriving_runtime.unit

val show_vec_vtestop : vec_vtestop -> Ppx_deriving_runtime.string

type vec_vunop = V128Op.vunop Values.vecop

val pp_vec_vunop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_vunop ->
  Ppx_deriving_runtime.unit

val show_vec_vunop : vec_vunop -> Ppx_deriving_runtime.string

type vec_vbinop = V128Op.vbinop Values.vecop

val pp_vec_vbinop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_vbinop ->
  Ppx_deriving_runtime.unit

val show_vec_vbinop : vec_vbinop -> Ppx_deriving_runtime.string

type vec_vternop = V128Op.vternop Values.vecop

val pp_vec_vternop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_vternop ->
  Ppx_deriving_runtime.unit

val show_vec_vternop : vec_vternop -> Ppx_deriving_runtime.string

type vec_splatop = V128Op.splatop Values.vecop

val pp_vec_splatop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_splatop ->
  Ppx_deriving_runtime.unit

val show_vec_splatop : vec_splatop -> Ppx_deriving_runtime.string

type vec_extractop = V128Op.extractop Values.vecop

val pp_vec_extractop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_extractop ->
  Ppx_deriving_runtime.unit

val show_vec_extractop : vec_extractop -> Ppx_deriving_runtime.string

type vec_replaceop = V128Op.replaceop Values.vecop

val pp_vec_replaceop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_replaceop ->
  Ppx_deriving_runtime.unit

val show_vec_replaceop : vec_replaceop -> Ppx_deriving_runtime.string

type ('t, 'p) memop = {

ty : 't;
align : int;
offset : int32;
pack : 'p;

}

val pp_memop : 
  't 'p. (Ppx_deriving_runtime.Format.formatter ->
           't ->
           Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'p -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  ('t, 'p) memop ->
  Ppx_deriving_runtime.unit

val show_memop : 
  't 'p. (Ppx_deriving_runtime.Format.formatter ->
           't ->
           Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'p -> Ppx_deriving_runtime.unit) ->
  ('t, 'p) memop ->
  Ppx_deriving_runtime.string

type loadop =
  (Types.num_type, (Types.pack_size * Types.extension) option) memop

val pp_loadop : 
  Ppx_deriving_runtime.Format.formatter ->
  loadop ->
  Ppx_deriving_runtime.unit

val show_loadop : loadop -> Ppx_deriving_runtime.string

type storeop = (Types.num_type, Types.pack_size option) memop

val pp_storeop : 
  Ppx_deriving_runtime.Format.formatter ->
  storeop ->
  Ppx_deriving_runtime.unit

val show_storeop : storeop -> Ppx_deriving_runtime.string

type vec_loadop =
  (Types.vec_type, (Types.pack_size * Types.vec_extension) option) memop

val pp_vec_loadop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_loadop ->
  Ppx_deriving_runtime.unit

val show_vec_loadop : vec_loadop -> Ppx_deriving_runtime.string

type vec_storeop = (Types.vec_type, unit) memop

val pp_vec_storeop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_storeop ->
  Ppx_deriving_runtime.unit

val show_vec_storeop : vec_storeop -> Ppx_deriving_runtime.string

type vec_laneop = (Types.vec_type, Types.pack_size) memop * int

val pp_vec_laneop : 
  Ppx_deriving_runtime.Format.formatter ->
  vec_laneop ->
  Ppx_deriving_runtime.unit

val show_vec_laneop : vec_laneop -> Ppx_deriving_runtime.string

type var = int32 Source.phrase

val pp_var : 
  Ppx_deriving_runtime.Format.formatter ->
  var ->
  Ppx_deriving_runtime.unit

val show_var : var -> Ppx_deriving_runtime.string

type num = Values.num Source.phrase

val pp_num : 
  Ppx_deriving_runtime.Format.formatter ->
  num ->
  Ppx_deriving_runtime.unit

val show_num : num -> Ppx_deriving_runtime.string

type vec = Values.vec Source.phrase

val pp_vec : 
  Ppx_deriving_runtime.Format.formatter ->
  vec ->
  Ppx_deriving_runtime.unit

val show_vec : vec -> Ppx_deriving_runtime.string

type name = string

type name_list = int list

type block_type =

| VarBlockType of var
| ValBlockType of Types.value_type option

val pp_block_type : 
  Ppx_deriving_runtime.Format.formatter ->
  block_type ->
  Ppx_deriving_runtime.unit

val show_block_type : block_type -> Ppx_deriving_runtime.string

type block_label =

| Block_label of int32

val pp_block_label : 
  Ppx_deriving_runtime.Format.formatter ->
  block_label ->
  Ppx_deriving_runtime.unit

val show_block_label : block_label -> Ppx_deriving_runtime.string

type instr' =

| Unreachable
| Nop
| Drop
| Select of Types.value_type list option
| Block of block_type * block_label
| Loop of block_type * block_label
| If of block_type * block_label * block_label
| Br of var
| BrIf of var
| BrTable of var list * var
| Return
| Call of var
| CallIndirect of var * var
| LocalGet of var
| LocalSet of var
| LocalTee of var
| GlobalGet of var
| GlobalSet of var
| TableGet of var
| TableSet of var
| TableSize of var
| TableGrow of var
| TableFill of var
| TableCopy of var * var
| TableInit of var * var
| ElemDrop of var
| Load of loadop
| Store of storeop
| VecLoad of vec_loadop
| VecStore of vec_storeop
| VecLoadLane of vec_laneop
| VecStoreLane of vec_laneop
| MemorySize
| MemoryGrow
| MemoryFill
| MemoryCopy
| MemoryInit of var
| DataDrop of var
| RefNull of Types.ref_type
| RefFunc of var
| RefIsNull
| Const of num
| Test of testop
| Compare of relop
| Unary of unop
| Binary of binop
| Convert of cvtop
| VecConst of vec
| VecTest of vec_testop
| VecCompare of vec_relop
| VecUnary of vec_unop
| VecBinary of vec_binop
| VecConvert of vec_cvtop
| VecShift of vec_shiftop
| VecBitmask of vec_bitmaskop
| VecTestBits of vec_vtestop
| VecUnaryBits of vec_vunop
| VecBinaryBits of vec_vbinop
| VecTernaryBits of vec_vternop
| VecSplat of vec_splatop
| VecExtract of vec_extractop
| VecReplace of vec_replaceop

val pp_instr' : 
  Ppx_deriving_runtime.Format.formatter ->
  instr' ->
  Ppx_deriving_runtime.unit

val show_instr' : instr' -> Ppx_deriving_runtime.string

type instr = instr' Source.phrase

val pp_instr : 
  Ppx_deriving_runtime.Format.formatter ->
  instr ->
  Ppx_deriving_runtime.unit

val show_instr : instr -> Ppx_deriving_runtime.string

type const = block_label Source.phrase

type global = global' Source.phrase

and global' = {

gtype : Types.global_type;
ginit : const;

}

type func = func' Source.phrase

and func' = {

ftype : var;
locals : Types.value_type Vector.t;
body : block_label;

}

type table = table' Source.phrase

and table' = {

ttype : Types.table_type;

}

type memory = memory' Source.phrase

and memory' = {

mtype : Types.memory_type;

}

type segment_mode = segment_mode' Source.phrase

and segment_mode' =

| Passive
| Active of {
1. index : var;
2. offset : const;
}
| Declarative

type elem_segment = elem_segment' Source.phrase

and elem_segment' = {

etype : Types.ref_type;
einit : const Vector.t;
emode : segment_mode;

}

type data_label =

| Data_label of int32

val pp_data_label : 
  Ppx_deriving_runtime.Format.formatter ->
  data_label ->
  Ppx_deriving_runtime.unit

val show_data_label : data_label -> Ppx_deriving_runtime.string

type data_segment = data_segment' Source.phrase

and data_segment' = {

dinit : data_label;
dmode : segment_mode;

}

type type_ = Types.func_type Source.phrase

type export_desc = export_desc' Source.phrase

and export_desc' =

| FuncExport of var
| TableExport of var
| MemoryExport of var
| GlobalExport of var

type export = export' Source.phrase

and export' = {

name : name;
edesc : export_desc;

}

type import_desc = import_desc' Source.phrase

and import_desc' =

| FuncImport of var
| TableImport of Types.table_type
| MemoryImport of Types.memory_type
| GlobalImport of Types.global_type

type import = import' Source.phrase

and import' = {

module_name : name;
item_name : name;
idesc : import_desc;

}

type start = start' Source.phrase

and start' = {

sfunc : var;

}

type block_table = instr Vector.t Vector.t

type datas_table = Tezos_lazy_containers.Chunked_byte_vector.t Vector.t

type allocations = {

mutable blocks : block_table;
mutable datas : datas_table;

}

type module_ = module_' Source.phrase

and module_' = {

types : type_ Vector.t;
globals : global Vector.t;
tables : table Vector.t;
memories : memory Vector.t;
funcs : func Vector.t;
start : start option;
elems : elem_segment Vector.t;
datas : data_segment Vector.t;
imports : import Vector.t;
exports : export Vector.t;
allocations : allocations;

}

val empty_allocations : unit -> allocations

val make_allocation_state : block_table -> datas_table -> allocations

val alloc_block : allocations -> block_label

val add_to_block : allocations -> block_label -> instr -> unit Lwt.t

val alloc_data : allocations -> int64 -> data_label

val add_to_data : allocations -> data_label -> int64 -> int -> unit Lwt.t

val empty_module : unit -> module_'

val get_data : data_label -> 'a Vector.t -> 'a Lwt.t

val func_type_for : module_ -> var -> Types.func_type Lwt.t

val import_type : module_ -> import -> Types.extern_type Lwt.t

val export_type : module_ -> export -> Types.extern_type Lwt.t

val string_of_name : string -> string

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Ast/index.html

Module `Tezos_webassembly_interpreter.Ast`

package octez-l2-libs

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Ast/index.html

Module Tezos_webassembly_interpreter.Ast

dune-project
Dependency

Module `Tezos_webassembly_interpreter.Ast`