pool.load
← pool dialect
Read a page from the pool as a typed tile.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Memory effects |
read pool |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
pool |
pool |
required |
The pool to load from. |
| Operand |
page_id |
integer |
required |
Page index within the pool. |
| Operand |
page_bytes |
offset |
required |
Page stride in bytes. |
| Result |
result |
tile |
required |
Typed tile view of the page. |
Examples
%tile = pool.load %pool, %pid, %pb : pool<[%BS]>, i32, offset -> tile<[16, 128]xf16>