buffer dialect

← Dialect reference

Opaque storage roots and typed view construction.

Property	Value
Bytecode dialect ID	0x0c
Registered by default	yes
Operations	7

Operations

Operation	Summary
buffer.alloca	Create a fixed-frame scratch buffer root in an allocatable memory space.
buffer.assume.alignment	Refine existing buffer roots with an explicit minimum byte alignment contract.
buffer.assume.memory_space	Refine an existing buffer root with a concrete target-independent memory-space fact while preserving the same storage identity, extent, alignment, and nullability facts.
buffer.assume.noalias	Refine an existing buffer root with an explicit noalias contract.
buffer.assume.same_root	Refine an existing buffer root to share another buffer's storage root.
buffer.pack	Lay out simultaneously live physical byte ranges in one dense slab.
buffer.view	Form a typed non-owning view from an opaque buffer root and base byte offset.