pool.buffer

← pool dialect

Extract the raw device buffer handle from a pool.

Operation contract

Property	Value
Semantic phase	—
Traits	Pure

Signature

Kind	Name	Type	Cardinality	Description
Operand	pool	pool	required	The pool to extract the buffer from.
Result	buffer	any	required	Raw device buffer handle.

Examples

%buf = pool.buffer %pool : pool<[%BS]> -> hal.buffer