tile.refine
← tile dialect
Assert more precise shape and encoding information for the same tile elements. Source and result describe the same value and ownership identity; this operation performs no conversion or copy.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, RefinableResultTypeRefs, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
tile |
required |
Value to refine. |
| Result |
result |
tile |
required |
Same value with refined type information. |
Verification constraints
SameElementType(source, result)RanksMatch(source, result)
Examples
%refined = tile.refine %source : tile<[%count]xf32> -> tile<16xf32>