Dialect reference¶

This reference is generated from the same declarations used by Loom's parser, printer, verifier, builders, and bytecode implementation.

The programming guide introduces these operations in executable programs. Use this reference when you need the complete contract for a specific op.

Program IR¶

Target-independent program structure, computation, data, and launch semantics.

Dialect	Summary	Operations
`buffer`	Opaque storage roots and typed view construction.	7
`cfg`	Unstructured control-flow operations.	2
`command`	Reusable command-program construction operations.	8
`config`	Compile/link-time configuration symbols and reads.	3
`encoding`	Encoding definition and query ops.	9
`func`	Program structure operations.	7
`global`	Module-level state: constants, parameters, mutable state.	6
`index`	Scalar address-domain operations over index, offset, and explicit integer boundary casts.	24
`kernel`	Kernel execution and synchronization operations.	52
`pool`	Block-managed device memory pool ops.	5
`scalar`	Scalar arithmetic, math, conversion, and typed poison ops.	101
`scf`	Structured control flow operations.	9
`target`	Authored target witnesses and contextual target queries.	3
`vector`	Vector register-lane construction, lanewise computation, memory, and reduction ops.	151
`view`	Logical view operations.	8

Executable checks, benchmark cases, pipeline selection, and diagnostics.

Dialect	Summary	Operations
`check`	Production testbench operations.	22
`pass`	Descriptor-backed pass pipeline control operations.	10
`sanitizer`	Executable diagnostic assertions.	7

Target witnesses and representations used after target-independent lowering.

Dialect	Summary	Operations
`amdgpu`	AMDGPU processor target records.	1
`ireevm`	IREE VM target-family records.	20
`llvmir`	LLVM IR target punch-through operations.	3
`low`	Target-low virtual-register operations.	25
`spirv`	SPIR-V target-family records.	1
`wasm`	Wasm target-family records.	1
`x86`	x86 target-family records.	1