encoding.layout.assume.strided
← encoding dialect
Refine an existing address-layout encoding value with the fact that it is strided and has the given rank. Per-axis stride values remain unknown unless a concrete encoding.layout.strided value is available.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
layout |
encoding<layout> |
required |
Address-layout value to refine. |
| Result |
result |
encoding<layout> |
required |
Layout value with strided-layout facts. |
| Attribute |
rank |
i64 |
required |
Required strided layout rank. |
Verification constraints
Examples
%strided = encoding.layout.assume.strided %layout {rank = 2} : encoding<layout>