Skip to content

pool.pin

pool dialect

Atomically increment the pin count for a block.

Operation contract

Property Value
Semantic phase
Memory effects write pool

Signature

Kind Name Type Cardinality Description
Operand pool pool required The pool containing the block.
Operand block_id integer required Block index to pin.

Examples

pool.pin %pool, %bid : pool<[%BS]>, i32