Module `Tezos_webassembly_interpreter.V128`

type t

type bits = string

type ('i8x16, 'i16x8, 'i32x4, 'i64x2, 'f32x4, 'f64x2) laneop =

| I8x16 of 'i8x16
| I16x8 of 'i16x8
| I32x4 of 'i32x4
| I64x2 of 'i64x2
| F32x4 of 'f32x4
| F64x2 of 'f64x2

val pp_laneop : 
  (Ppx_deriving_runtime.Format.formatter ->
    'i8x16 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i16x8 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i32x4 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i64x2 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'f32x4 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'f64x2 ->
    Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  ('i8x16, 'i16x8, 'i32x4, 'i64x2, 'f32x4, 'f64x2) laneop ->
  Ppx_deriving_runtime.unit

val show_laneop : 
  (Ppx_deriving_runtime.Format.formatter ->
    'i8x16 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i16x8 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i32x4 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'i64x2 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'f32x4 ->
    Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter ->
    'f64x2 ->
    Ppx_deriving_runtime.unit) ->
  ('i8x16, 'i16x8, 'i32x4, 'i64x2, 'f32x4, 'f64x2) laneop ->
  Ppx_deriving_runtime.string

type shape = (unit, unit, unit, unit, unit, unit) laneop

val bitwidth : int

val num_lanes : ('a, 'b, 'c, 'd, 'e, 'f) laneop -> int

val type_of_lane : ('a, 'b, 'c, 'd, 'e, 'f) laneop -> Types.num_type

val string_of_shape : ('a, 'b, 'c, 'd, 'e, 'f) laneop -> string

val zero : t

val of_bits : bits -> t

val to_bits : t -> bits

val to_string : t -> string

val to_hex_string : t -> string

val of_strings : shape -> string list -> t

val pp : Format.formatter -> t -> unit

module type IntShape = sig ... end

module type FloatShape = sig ... end

module I8x16 : IntShape with type lane = I8.t

module I16x8 : IntShape with type lane = I16.t

module I32x4 : IntShape with type lane = I32.t

module I64x2 : IntShape with type lane = I64.t

module F32x4 : FloatShape with type lane = F32.t

module F64x2 : FloatShape with type lane = F64.t

module V1x128 : sig ... end

module V8x16 : sig ... end

module I8x16_convert : sig ... end

module I16x8_convert : sig ... end

module I32x4_convert : sig ... end

module I64x2_convert : sig ... end

module F32x4_convert : sig ... end

module F64x2_convert : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Tezos_webassembly_interpreter.V128`

package octez-l2-libs

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Tezos_webassembly_interpreter.V128

dune-project
Dependency

Module `Tezos_webassembly_interpreter.V128`