encoding dialect

← Dialect reference

Encoding definition and query ops.

Property	Value
Bytecode dialect ID	0x09
Registered by default	yes
Operations	9

Operations

Operation	Summary
encoding.assume.match	Refine a storage schema with typed semantic requirements.
encoding.assume.spec	Refine an existing encoding value with an exact static encoding specification.
encoding.define	Create an encoding value from a static encoding specification.
encoding.isa	Test if an encoding exactly matches a static encoding specification.
encoding.layout.assume.dense	Refine an existing address-layout encoding value with the fact that it is dense row-major.
encoding.layout.assume.strided	Refine an existing address-layout encoding value with the fact that it is strided and has the given rank.
encoding.layout.dense	Construct a dense row-major address layout.
encoding.layout.strided	Construct an address layout from per-dimension element strides.
encoding.matches	Test whether a storage schema satisfies typed semantic requirements.

Parameterized attributes

Attribute	Summary
#encoding.match	Typed semantic requirements for an encoded storage schema.

Encoding families

Encoding	Summary
#encoding.storage	Composes an address layout and storage schema.
#encoding.layout.dense	Dense row-major address layout.
#encoding.layout.strided	Explicit element-stride address layout.
#ggml.q4_0	GGML Q4_0 block storage schema.
#ggml.q8_0	GGML Q8_0 block storage schema.
#ggml.q4_k	GGML Q4_K super-block storage schema.
#ggml.q6_k	GGML Q6_K super-block storage schema.
#ggml.q8_1_x4	GGML Vulkan Q8_1 x4 block storage schema.
#encoding.operand	Target-independent encoded operand schema.
#transform.hadamard	Sylvester Hadamard transform over the final vector axis.