package tezos-webassembly-interpreter

  1. Overview
  2. Docs
type lane = I8.t
val num_lanes : int
val to_lanes : t -> lane list
val of_lanes : lane list -> t
val splat : lane -> t
val extract_lane_s : int -> t -> lane
val extract_lane_u : int -> t -> lane
val replace_lane : int -> t -> lane -> t
val eq : t -> t -> t
val ne : t -> t -> t
val lt_s : t -> t -> t
val lt_u : t -> t -> t
val le_s : t -> t -> t
val le_u : t -> t -> t
val gt_s : t -> t -> t
val gt_u : t -> t -> t
val ge_s : t -> t -> t
val ge_u : t -> t -> t
val abs : t -> t
val neg : t -> t
val popcnt : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val min_s : t -> t -> t
val min_u : t -> t -> t
val max_s : t -> t -> t
val max_u : t -> t -> t
val mul : t -> t -> t
val avgr_u : t -> t -> t
val any_true : t -> bool
val all_true : t -> bool
val bitmask : t -> Int32.t
val shl : t -> I32.t -> t
val shr_s : t -> I32.t -> t
val shr_u : t -> I32.t -> t
val add_sat_s : t -> t -> t
val add_sat_u : t -> t -> t
val sub_sat_s : t -> t -> t
val sub_sat_u : t -> t -> t
val q15mulr_sat_s : t -> t -> t