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>