package tezos-webassembly-interpreter

  1. Overview
  2. Docs
val i32_const : I32.t Source.phrase -> Ast.instr'
val i64_const : I64.t Source.phrase -> Ast.instr'
val f32_const : F32.t Source.phrase -> Ast.instr'
val f64_const : F64.t Source.phrase -> Ast.instr'
val v128_const : V128.t Source.phrase -> Ast.instr'
val ref_null : Types.ref_type -> Ast.instr'
val ref_func : Ast.var -> Ast.instr'
val unreachable : Ast.instr'
val nop : Ast.instr'
val drop : Ast.instr'
val select : Types.value_type list option -> Ast.instr'
val br : Ast.var -> Ast.instr'
val br_if : Ast.var -> Ast.instr'
val br_table : Ast.var list -> Ast.var -> Ast.instr'
val return : Ast.instr'
val call : Ast.var -> Ast.instr'
val call_indirect : Ast.var -> Ast.var -> Ast.instr'
val local_get : Ast.var -> Ast.instr'
val local_set : Ast.var -> Ast.instr'
val local_tee : Ast.var -> Ast.instr'
val global_get : Ast.var -> Ast.instr'
val global_set : Ast.var -> Ast.instr'
val table_get : Ast.var -> Ast.instr'
val table_set : Ast.var -> Ast.instr'
val table_size : Ast.var -> Ast.instr'
val table_grow : Ast.var -> Ast.instr'
val table_fill : Ast.var -> Ast.instr'
val table_copy : Ast.var -> Ast.var -> Ast.instr'
val table_init : Ast.var -> Ast.var -> Ast.instr'
val elem_drop : Ast.var -> Ast.instr'
val i32_load : int -> int32 -> Ast.instr'
val i64_load : int -> int32 -> Ast.instr'
val f32_load : int -> int32 -> Ast.instr'
val f64_load : int -> int32 -> Ast.instr'
val i32_load8_s : int -> int32 -> Ast.instr'
val i32_load8_u : int -> int32 -> Ast.instr'
val i32_load16_s : int -> int32 -> Ast.instr'
val i32_load16_u : int -> int32 -> Ast.instr'
val i64_load8_s : int -> int32 -> Ast.instr'
val i64_load8_u : int -> int32 -> Ast.instr'
val i64_load16_s : int -> int32 -> Ast.instr'
val i64_load16_u : int -> int32 -> Ast.instr'
val i64_load32_s : int -> int32 -> Ast.instr'
val i64_load32_u : int -> int32 -> Ast.instr'
val i32_store : int -> int32 -> Ast.instr'
val i64_store : int -> int32 -> Ast.instr'
val f32_store : int -> int32 -> Ast.instr'
val f64_store : int -> int32 -> Ast.instr'
val i32_store8 : int -> int32 -> Ast.instr'
val i32_store16 : int -> int32 -> Ast.instr'
val i64_store8 : int -> int32 -> Ast.instr'
val i64_store16 : int -> int32 -> Ast.instr'
val i64_store32 : int -> int32 -> Ast.instr'
val memory_size : Ast.instr'
val memory_grow : Ast.instr'
val memory_fill : Ast.instr'
val memory_copy : Ast.instr'
val memory_init : Ast.var -> Ast.instr'
val data_drop : Ast.var -> Ast.instr'
val ref_is_null : Ast.instr'
val i32_clz : Ast.instr'
val i32_ctz : Ast.instr'
val i32_popcnt : Ast.instr'
val i64_clz : Ast.instr'
val i64_ctz : Ast.instr'
val i64_popcnt : Ast.instr'
val f32_neg : Ast.instr'
val f32_abs : Ast.instr'
val f32_sqrt : Ast.instr'
val f32_ceil : Ast.instr'
val f32_floor : Ast.instr'
val f32_trunc : Ast.instr'
val f32_nearest : Ast.instr'
val f64_neg : Ast.instr'
val f64_abs : Ast.instr'
val f64_sqrt : Ast.instr'
val f64_ceil : Ast.instr'
val f64_floor : Ast.instr'
val f64_trunc : Ast.instr'
val f64_nearest : Ast.instr'
val i32_add : Ast.instr'
val i32_sub : Ast.instr'
val i32_mul : Ast.instr'
val i32_div_s : Ast.instr'
val i32_div_u : Ast.instr'
val i32_rem_s : Ast.instr'
val i32_rem_u : Ast.instr'
val i32_and : Ast.instr'
val i32_or : Ast.instr'
val i32_xor : Ast.instr'
val i32_shl : Ast.instr'
val i32_shr_s : Ast.instr'
val i32_shr_u : Ast.instr'
val i32_rotl : Ast.instr'
val i32_rotr : Ast.instr'
val i64_add : Ast.instr'
val i64_sub : Ast.instr'
val i64_mul : Ast.instr'
val i64_div_s : Ast.instr'
val i64_div_u : Ast.instr'
val i64_rem_s : Ast.instr'
val i64_rem_u : Ast.instr'
val i64_and : Ast.instr'
val i64_or : Ast.instr'
val i64_xor : Ast.instr'
val i64_shl : Ast.instr'
val i64_shr_s : Ast.instr'
val i64_shr_u : Ast.instr'
val i64_rotl : Ast.instr'
val i64_rotr : Ast.instr'
val f32_add : Ast.instr'
val f32_sub : Ast.instr'
val f32_mul : Ast.instr'
val f32_div : Ast.instr'
val f32_min : Ast.instr'
val f32_max : Ast.instr'
val f32_copysign : Ast.instr'
val f64_add : Ast.instr'
val f64_sub : Ast.instr'
val f64_mul : Ast.instr'
val f64_div : Ast.instr'
val f64_min : Ast.instr'
val f64_max : Ast.instr'
val f64_copysign : Ast.instr'
val i32_eqz : Ast.instr'
val i64_eqz : Ast.instr'
val i32_eq : Ast.instr'
val i32_ne : Ast.instr'
val i32_lt_s : Ast.instr'
val i32_lt_u : Ast.instr'
val i32_le_s : Ast.instr'
val i32_le_u : Ast.instr'
val i32_gt_s : Ast.instr'
val i32_gt_u : Ast.instr'
val i32_ge_s : Ast.instr'
val i32_ge_u : Ast.instr'
val i64_eq : Ast.instr'
val i64_ne : Ast.instr'
val i64_lt_s : Ast.instr'
val i64_lt_u : Ast.instr'
val i64_le_s : Ast.instr'
val i64_le_u : Ast.instr'
val i64_gt_s : Ast.instr'
val i64_gt_u : Ast.instr'
val i64_ge_s : Ast.instr'
val i64_ge_u : Ast.instr'
val f32_eq : Ast.instr'
val f32_ne : Ast.instr'
val f32_lt : Ast.instr'
val f32_le : Ast.instr'
val f32_gt : Ast.instr'
val f32_ge : Ast.instr'
val f64_eq : Ast.instr'
val f64_ne : Ast.instr'
val f64_lt : Ast.instr'
val f64_le : Ast.instr'
val f64_gt : Ast.instr'
val f64_ge : Ast.instr'
val i32_extend8_s : Ast.instr'
val i32_extend16_s : Ast.instr'
val i64_extend8_s : Ast.instr'
val i64_extend16_s : Ast.instr'
val i64_extend32_s : Ast.instr'
val i32_wrap_i64 : Ast.instr'
val i32_trunc_f32_s : Ast.instr'
val i32_trunc_f32_u : Ast.instr'
val i32_trunc_f64_s : Ast.instr'
val i32_trunc_f64_u : Ast.instr'
val i32_trunc_sat_f32_s : Ast.instr'
val i32_trunc_sat_f32_u : Ast.instr'
val i32_trunc_sat_f64_s : Ast.instr'
val i32_trunc_sat_f64_u : Ast.instr'
val i64_extend_i32_s : Ast.instr'
val i64_extend_i32_u : Ast.instr'
val i64_trunc_f32_s : Ast.instr'
val i64_trunc_f32_u : Ast.instr'
val i64_trunc_f64_s : Ast.instr'
val i64_trunc_f64_u : Ast.instr'
val f32_convert_i32_s : Ast.instr'
val f32_convert_i32_u : Ast.instr'
val f32_convert_i64_s : Ast.instr'
val f32_convert_i64_u : Ast.instr'
val i64_trunc_sat_f32_s : Ast.instr'
val i64_trunc_sat_f32_u : Ast.instr'
val i64_trunc_sat_f64_s : Ast.instr'
val i64_trunc_sat_f64_u : Ast.instr'
val f32_demote_f64 : Ast.instr'
val f64_convert_i32_s : Ast.instr'
val f64_convert_i32_u : Ast.instr'
val f64_convert_i64_s : Ast.instr'
val f64_convert_i64_u : Ast.instr'
val f64_promote_f32 : Ast.instr'
val i32_reinterpret_f32 : Ast.instr'
val i64_reinterpret_f64 : Ast.instr'
val f32_reinterpret_i32 : Ast.instr'
val f64_reinterpret_i64 : Ast.instr'
val v128_load : int -> int32 -> Ast.instr'
val v128_load8x8_s : int -> int32 -> Ast.instr'
val v128_load8x8_u : int -> int32 -> Ast.instr'
val v128_load16x4_s : int -> int32 -> Ast.instr'
val v128_load16x4_u : int -> int32 -> Ast.instr'
val v128_load32x2_s : int -> int32 -> Ast.instr'
val v128_load32x2_u : int -> int32 -> Ast.instr'
val v128_load8_splat : int -> int32 -> Ast.instr'
val v128_load16_splat : int -> int32 -> Ast.instr'
val v128_load32_splat : int -> int32 -> Ast.instr'
val v128_load64_splat : int -> int32 -> Ast.instr'
val v128_load32_zero : int -> int32 -> Ast.instr'
val v128_load64_zero : int -> int32 -> Ast.instr'
val v128_store : int -> int32 -> Ast.instr'
val v128_load8_lane : int -> int32 -> int -> Ast.instr'
val v128_load16_lane : int -> int32 -> int -> Ast.instr'
val v128_load32_lane : int -> int32 -> int -> Ast.instr'
val v128_load64_lane : int -> int32 -> int -> Ast.instr'
val v128_store8_lane : int -> int32 -> int -> Ast.instr'
val v128_store16_lane : int -> int32 -> int -> Ast.instr'
val v128_store32_lane : int -> int32 -> int -> Ast.instr'
val v128_store64_lane : int -> int32 -> int -> Ast.instr'
val v128_not : Ast.instr'
val v128_and : Ast.instr'
val v128_andnot : Ast.instr'
val v128_or : Ast.instr'
val v128_xor : Ast.instr'
val v128_bitselect : Ast.instr'
val v128_any_true : Ast.instr'
val i8x16_swizzle : Ast.instr'
val i8x16_shuffle : int list -> Ast.instr'
val i8x16_splat : Ast.instr'
val i8x16_extract_lane_s : int -> Ast.instr'
val i8x16_extract_lane_u : int -> Ast.instr'
val i8x16_replace_lane : int -> Ast.instr'
val i8x16_eq : Ast.instr'
val i8x16_ne : Ast.instr'
val i8x16_lt_s : Ast.instr'
val i8x16_lt_u : Ast.instr'
val i8x16_le_s : Ast.instr'
val i8x16_le_u : Ast.instr'
val i8x16_gt_s : Ast.instr'
val i8x16_gt_u : Ast.instr'
val i8x16_ge_s : Ast.instr'
val i8x16_ge_u : Ast.instr'
val i8x16_neg : Ast.instr'
val i8x16_bitmask : Ast.instr'
val i8x16_all_true : Ast.instr'
val i8x16_narrow_i16x8_s : Ast.instr'
val i8x16_narrow_i16x8_u : Ast.instr'
val i16x8_extend_low_i8x16_s : Ast.instr'
val i16x8_extend_high_i8x16_s : Ast.instr'
val i16x8_extend_low_i8x16_u : Ast.instr'
val i16x8_extend_high_i8x16_u : Ast.instr'
val i8x16_shl : Ast.instr'
val i8x16_shr_s : Ast.instr'
val i8x16_shr_u : Ast.instr'
val i8x16_add : Ast.instr'
val i8x16_add_sat_s : Ast.instr'
val i8x16_add_sat_u : Ast.instr'
val i8x16_sub : Ast.instr'
val i8x16_sub_sat_s : Ast.instr'
val i8x16_sub_sat_u : Ast.instr'
val i8x16_abs : Ast.instr'
val i8x16_popcnt : Ast.instr'
val i8x16_min_s : Ast.instr'
val i8x16_min_u : Ast.instr'
val i8x16_max_s : Ast.instr'
val i8x16_max_u : Ast.instr'
val i8x16_avgr_u : Ast.instr'
val i16x8_splat : Ast.instr'
val i16x8_extract_lane_s : int -> Ast.instr'
val i16x8_extract_lane_u : int -> Ast.instr'
val i16x8_replace_lane : int -> Ast.instr'
val i16x8_eq : Ast.instr'
val i16x8_ne : Ast.instr'
val i16x8_lt_s : Ast.instr'
val i16x8_lt_u : Ast.instr'
val i16x8_le_s : Ast.instr'
val i16x8_le_u : Ast.instr'
val i16x8_gt_s : Ast.instr'
val i16x8_gt_u : Ast.instr'
val i16x8_ge_s : Ast.instr'
val i16x8_ge_u : Ast.instr'
val i16x8_neg : Ast.instr'
val i16x8_bitmask : Ast.instr'
val i16x8_all_true : Ast.instr'
val i16x8_narrow_i32x4_s : Ast.instr'
val i16x8_narrow_i32x4_u : Ast.instr'
val i16x8_shl : Ast.instr'
val i16x8_shr_s : Ast.instr'
val i16x8_shr_u : Ast.instr'
val i16x8_add : Ast.instr'
val i16x8_add_sat_s : Ast.instr'
val i16x8_add_sat_u : Ast.instr'
val i16x8_sub : Ast.instr'
val i16x8_sub_sat_s : Ast.instr'
val i16x8_sub_sat_u : Ast.instr'
val i16x8_mul : Ast.instr'
val i16x8_abs : Ast.instr'
val i16x8_min_s : Ast.instr'
val i16x8_min_u : Ast.instr'
val i16x8_max_s : Ast.instr'
val i16x8_max_u : Ast.instr'
val i16x8_avgr_u : Ast.instr'
val i16x8_extmul_low_i8x16_s : Ast.instr'
val i16x8_extmul_high_i8x16_s : Ast.instr'
val i16x8_extmul_low_i8x16_u : Ast.instr'
val i16x8_extmul_high_i8x16_u : Ast.instr'
val i16x8_q15mulr_sat_s : Ast.instr'
val i16x8_extadd_pairwise_i8x16_s : Ast.instr'
val i16x8_extadd_pairwise_i8x16_u : Ast.instr'
val i32x4_splat : Ast.instr'
val i32x4_extract_lane : int -> Ast.instr'
val i32x4_replace_lane : int -> Ast.instr'
val i32x4_eq : Ast.instr'
val i32x4_ne : Ast.instr'
val i32x4_lt_s : Ast.instr'
val i32x4_lt_u : Ast.instr'
val i32x4_le_s : Ast.instr'
val i32x4_le_u : Ast.instr'
val i32x4_gt_s : Ast.instr'
val i32x4_gt_u : Ast.instr'
val i32x4_ge_s : Ast.instr'
val i32x4_ge_u : Ast.instr'
val i32x4_abs : Ast.instr'
val i32x4_neg : Ast.instr'
val i32x4_bitmask : Ast.instr'
val i32x4_all_true : Ast.instr'
val i32x4_extend_low_i16x8_s : Ast.instr'
val i32x4_extend_high_i16x8_s : Ast.instr'
val i32x4_extend_low_i16x8_u : Ast.instr'
val i32x4_extend_high_i16x8_u : Ast.instr'
val i32x4_shl : Ast.instr'
val i32x4_shr_s : Ast.instr'
val i32x4_shr_u : Ast.instr'
val i32x4_add : Ast.instr'
val i32x4_sub : Ast.instr'
val i32x4_min_s : Ast.instr'
val i32x4_min_u : Ast.instr'
val i32x4_max_s : Ast.instr'
val i32x4_max_u : Ast.instr'
val i32x4_mul : Ast.instr'
val i32x4_dot_i16x8_s : Ast.instr'
val i32x4_trunc_sat_f32x4_s : Ast.instr'
val i32x4_trunc_sat_f32x4_u : Ast.instr'
val i32x4_trunc_sat_f64x2_s_zero : Ast.instr'
val i32x4_trunc_sat_f64x2_u_zero : Ast.instr'
val i32x4_extmul_low_i16x8_s : Ast.instr'
val i32x4_extmul_high_i16x8_s : Ast.instr'
val i32x4_extmul_low_i16x8_u : Ast.instr'
val i32x4_extmul_high_i16x8_u : Ast.instr'
val i32x4_extadd_pairwise_i16x8_s : Ast.instr'
val i32x4_extadd_pairwise_i16x8_u : Ast.instr'
val i64x2_splat : Ast.instr'
val i64x2_extract_lane : int -> Ast.instr'
val i64x2_replace_lane : int -> Ast.instr'
val i64x2_extend_low_i32x4_s : Ast.instr'
val i64x2_extend_high_i32x4_s : Ast.instr'
val i64x2_extend_low_i32x4_u : Ast.instr'
val i64x2_extend_high_i32x4_u : Ast.instr'
val i64x2_eq : Ast.instr'
val i64x2_ne : Ast.instr'
val i64x2_lt_s : Ast.instr'
val i64x2_le_s : Ast.instr'
val i64x2_gt_s : Ast.instr'
val i64x2_ge_s : Ast.instr'
val i64x2_abs : Ast.instr'
val i64x2_neg : Ast.instr'
val i64x2_bitmask : Ast.instr'
val i64x2_all_true : Ast.instr'
val i64x2_add : Ast.instr'
val i64x2_sub : Ast.instr'
val i64x2_mul : Ast.instr'
val i64x2_shl : Ast.instr'
val i64x2_shr_s : Ast.instr'
val i64x2_shr_u : Ast.instr'
val i64x2_extmul_low_i32x4_s : Ast.instr'
val i64x2_extmul_high_i32x4_s : Ast.instr'
val i64x2_extmul_low_i32x4_u : Ast.instr'
val i64x2_extmul_high_i32x4_u : Ast.instr'
val f32x4_splat : Ast.instr'
val f32x4_extract_lane : int -> Ast.instr'
val f32x4_replace_lane : int -> Ast.instr'
val f32x4_eq : Ast.instr'
val f32x4_ne : Ast.instr'
val f32x4_lt : Ast.instr'
val f32x4_le : Ast.instr'
val f32x4_gt : Ast.instr'
val f32x4_ge : Ast.instr'
val f32x4_abs : Ast.instr'
val f32x4_neg : Ast.instr'
val f32x4_sqrt : Ast.instr'
val f32x4_ceil : Ast.instr'
val f32x4_floor : Ast.instr'
val f32x4_trunc : Ast.instr'
val f32x4_nearest : Ast.instr'
val f32x4_add : Ast.instr'
val f32x4_sub : Ast.instr'
val f32x4_mul : Ast.instr'
val f32x4_div : Ast.instr'
val f32x4_min : Ast.instr'
val f32x4_max : Ast.instr'
val f32x4_pmin : Ast.instr'
val f32x4_pmax : Ast.instr'
val f32x4_demote_f64x2_zero : Ast.instr'
val f32x4_convert_i32x4_s : Ast.instr'
val f32x4_convert_i32x4_u : Ast.instr'
val f64x2_splat : Ast.instr'
val f64x2_extract_lane : int -> Ast.instr'
val f64x2_replace_lane : int -> Ast.instr'
val f64x2_eq : Ast.instr'
val f64x2_ne : Ast.instr'
val f64x2_lt : Ast.instr'
val f64x2_le : Ast.instr'
val f64x2_gt : Ast.instr'
val f64x2_ge : Ast.instr'
val f64x2_neg : Ast.instr'
val f64x2_sqrt : Ast.instr'
val f64x2_ceil : Ast.instr'
val f64x2_floor : Ast.instr'
val f64x2_trunc : Ast.instr'
val f64x2_nearest : Ast.instr'
val f64x2_add : Ast.instr'
val f64x2_sub : Ast.instr'
val f64x2_mul : Ast.instr'
val f64x2_div : Ast.instr'
val f64x2_min : Ast.instr'
val f64x2_max : Ast.instr'
val f64x2_abs : Ast.instr'
val f64x2_pmin : Ast.instr'
val f64x2_pmax : Ast.instr'
val f64x2_promote_low_f32x4 : Ast.instr'
val f64x2_convert_low_i32x4_s : Ast.instr'
val f64x2_convert_low_i32x4_u : Ast.instr'
OCaml

Innovation. Community. Security.