Skip to content

pool.unpin

pool dialect

Atomically decrement 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 unpin.

Examples

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