pipeline.buffer

← pipeline dialect

Require an independently buffered flow with SSA-defined minimum record capacity. Targets may select a greater capacity.

Operation contract

Property	Value
Semantic phase	—
Traits	HasAncestor(pipeline.def)

Signature

Kind	Name	Type	Cardinality	Description
Operand	source	any	required	Input tile flow.
Operand	capacity	index	required	Required minimum record capacity.
Result	result	any	required	Distinct buffered tile flow. Produces a fresh allocation.

Verification constraints

• SameType(source, result)

Examples

%buffered = pipeline.buffer %partials capacity %ring_capacity : (pipeline.flow<tile<8x8xi32>>, index) -> pipeline.flow<tile<8x8xi32>>