view.prefetch
← view dialect
Compiler hint for a future access to a logical view origin. Prefetch has no semantic memory effects and may not fault semantically, but it is intentionally preserved by ordinary canonicalization/DCE until an explicit hint-stripping pass removes it.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Hint |
| Interfaces |
MemoryAccess |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
view |
view |
required |
Typed view whose address should be prefetched. |
| Operand |
indices |
index |
variadic |
Dynamic logical origin indices. |
| Attribute |
intent |
enum PrefetchIntent |
required |
Required expected future access kind. |
| Attribute |
locality |
enum PrefetchLocality |
required |
Required target-independent locality hint. |
| Attribute |
static_indices |
i64_array |
required |
Static logical origin indices with INT64_MIN sentinels for dynamics. |
Examples
view.prefetch %view[%row, %col] {intent = read, locality = l2} : view<[%M]x[%N]xf32, %layout>