Skip to content

pool.store

pool dialect

Write tile data into the pool at a page offset.

Operation contract

Property Value
Semantic phase
Memory effects write pool

Signature

Kind Name Type Cardinality Description
Operand pool pool required The pool to store into.
Operand page_id integer required Page index within the pool.
Operand page_bytes offset required Page stride in bytes.
Operand offset_in_page offset required Byte offset within the page.
Operand data tile required Tile data to write.

Examples

pool.store %pool, %pid, %pb, %off, %data : pool<[%BS]>, i32, offset, offset, tile<[16, 128]xf16>