mooncakes.io

wasm

README

marianoguerra/wax/wasm/simd does not have a README file

#
Imm

pub(all) enum Imm {
  NoImm
  Lane(Shape)
  Shuffle
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

What constant immediates an intrinsic takes after its operands.

#
Intrinsic

source

pub struct Intrinsic {
  operands : Array[Ty]
  result : Ty?
  imm : Imm
  free : Bool
  build : (Array[Int]) -> @marianoguerra/wax/wasm/bin.Instruction
Instruction
}

What a vector intrinsic takes, gives back, and builds.

#
LaneWidth

source

pub(all) enum LaneWidth {
  L8
  L16
  L32
  L64
} derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

The lane width a load8_lane-style name carries.

#
LaneWidth::nat_align

source

fn LaneWidth::nat_align(self : LaneWidth) -> Int

The alignment such an access naturally has, in bytes.

#
LaneWidth::to_str

source

fn LaneWidth::to_str(self : LaneWidth) -> String

#
MemIntrinsic

source

pub struct MemIntrinsic {
  operands : Array[Ty]
  result : Ty?
  lane : Bool
  nat_align : Int
  build : (Int, Int, Int64, Int) -> @marianoguerra/wax/wasm/bin.Instruction
Instruction
}

What a vector memory method takes, gives back, and builds.

#
Shape

source

pub(all) enum Shape {
  I8x16
  I16x8
  I32x4
  I64x2
  F32x4
  F64x2
} derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

A lane shape: how the 128 bits are divided, and into what.

#
Shape::is_float

source

fn Shape::is_float(self : Shape) -> Bool

Is this shape's lane a float?

#
Shape::lane_count

source

fn Shape::lane_count(self : Shape) -> Int

How many lanes the shape has. Also the number of literals a constant of that shape takes, and the exclusive bound on a lane index.

#
Shape::lane_scalar

source

fn Shape::lane_scalar(self : Shape) -> Ty

The scalar type of one lane: what splat takes, what extract gives back, and what replace puts in.

The narrow integer shapes work in i32, because wasm has no narrower scalar.

#
Shape::of_str

source

fn Shape::of_str(s : String) -> Shape?

#
Shape::to_str

source

fn Shape::to_str(self : Shape) -> String

#
Ty

source

pub(all) enum Ty {
  TV128
  TI32
  TI64
  TF32
  TF64
} derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

The operand and result types a vector intrinsic deals in.

Kept apart from both the Wax and the wasm value-type representations, so each consumer maps it to its own rather than this module picking one.

#
VecLoad

source

pub(all) enum VecLoad {
  Load128
  Load8x8S
  Load8x8U
  Load16x4S
  Load16x4U
  Load32x2S
  Load32x2U
  Load32Zero
  Load64Zero
} derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

The whole-vector loads, each of which reads a differently shaped chunk and widens or zero-fills it.

#
VecLoad::nat_align

source

fn VecLoad::nat_align(self : VecLoad) -> Int

How many bytes the load actually reads -- which is not always 16, and is what its natural alignment follows from.

#
VecLoad::to_str

source

fn VecLoad::to_str(self : VecLoad) -> String

#
all_shapes

source

let all_shapes : Array[Shape]

#
bitselect_name

source

let bitselect_name : String

#
classify

source

fn classify(name : String) -> Intrinsic?

The intrinsic of this name, if there is one.

#
const_arity

source

fn const_arity(s : Shape) -> Int

How many lane literals a constant of this shape takes.

#
const_name

source

fn const_name(s : Shape) -> String

A constant is named for its shape: v128_i32x4(1, 2, 3, 4).

#
const_shape_of_name

source

fn const_shape_of_name(name : String) -> Shape?

The shape a v128_<shape> constant name denotes, if the name is one.

#
float_shapes

source

let float_shapes : Array[Shape]

#
free_full

source

fn free_full(part : String) -> String

The full name of a free intrinsic, from its member part.

#
free_member

source

fn free_member(full : String) -> String?

The member part of a full free-intrinsic name, if it is one.

#
free_member_names

source

let free_member_names : Array[String]

Every free intrinsic's member name, for completion after v128_.

#
free_namespace

source

let free_namespace : String

The namespace the free vector intrinsics live in.

#
int_shapes

source

let int_shapes : Array[Shape]

#
is_free_intrinsic

source

fn is_free_intrinsic(name : String) -> Bool

Is this the name of a free intrinsic -- a constant, or bitselect?

#
is_mem_method

source

fn is_mem_method(name : String) -> Bool

#
lane_widths

source

let lane_widths : Array[LaneWidth]

#
load_lane_name

source

fn load_lane_name(w : LaneWidth) -> String

#
load_splat_name

source

fn load_splat_name(w : LaneWidth) -> String

#
mem_method

source

fn mem_method(name : String) -> MemIntrinsic?

The vector memory method of this name, if there is one.

#
mem_method_names

source

let mem_method_names : Array[String]

Every vector memory method name, for completion after mem.. Exactly the set mem_method recognises, because both are built from the same lists.

#
method_names

source

fn method_names(recv : Ty) -> Array[String]

Every method intrinsic whose receiver has this type, sorted.

The receiver is the first operand, which is what makes "the methods on a v128" answerable at all -- a free function has no receiver and is excluded.

#
size

source

fn size() -> Int

How many operations the registry holds.

#
store_lane_name

source

fn store_lane_name(w : LaneWidth) -> String

#
store_name

source

let store_name : String

#
vec_loads

source

let vec_loads : Array[VecLoad]

Source Files

Site source Report issue Packages Build queue Skills Statistics

#Imm

#Intrinsic

#LaneWidth

#LaneWidth::nat_align

#LaneWidth::to_str

#MemIntrinsic

#Shape

#Shape::is_float

#Shape::lane_count

#Shape::lane_scalar

#Shape::of_str

#Shape::to_str

#Ty

#VecLoad

#VecLoad::nat_align

#VecLoad::to_str

#all_shapes

#bitselect_name

#classify

#const_arity

#const_name

#const_shape_of_name

#float_shapes

#free_full

#free_member

#free_member_names

#free_namespace

#int_shapes

#is_free_intrinsic

#is_mem_method

#lane_widths

#load_lane_name

#load_splat_name

#mem_method

#mem_method_names

#method_names

#size

#store_lane_name

#store_name

#vec_loads

Source Files

#
Imm

#
Intrinsic

#
LaneWidth

#
LaneWidth::nat_align

#
LaneWidth::to_str

#
MemIntrinsic

#
Shape

#
Shape::is_float

#
Shape::lane_count

#
Shape::lane_scalar

#
Shape::of_str

#
Shape::to_str

#
Ty

#
VecLoad

#
VecLoad::nat_align

#
VecLoad::to_str

#
all_shapes

#
bitselect_name

#
classify

#
const_arity

#
const_name

#
const_shape_of_name

#
float_shapes

#
free_full

#
free_member

#
free_member_names

#
free_namespace

#
int_shapes

#
is_free_intrinsic

#
is_mem_method

#
lane_widths

#
load_lane_name

#
load_splat_name

#
mem_method

#
mem_method_names

#
method_names

#
size

#
store_lane_name

#
store_name

#
vec_loads