vector.refine
← vector dialect
Refine the logical shape attached to an existing vector while preserving every lane value. This is an explicit SSA assertion that dynamic and static extents in the source and result describe the same lane grid.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, RefinableResultTypeRefs, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
vector |
required |
Value to refine. |
| Result |
result |
vector |
required |
Same value with refined type information. |
Verification constraints
SameElementType(source, result)RanksMatch(source, result)
Examples
%refined = vector.refine %source : vector<[%m]xf32> -> vector<[%n]xf32>