view.refine
← view dialect
Refine the static type information attached to an existing view while preserving the same storage root and byte base. This is an explicit SSA assertion point for layout, shape, and encoding facts discovered or required by earlier analysis.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, RefinableResultTypeRefs, FactIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
view |
required |
Source view to refine. |
| Result |
result |
view |
required |
Same view with refined type information. |
Verification constraints
SameElementType(source, result)RanksMatch(source, result)
Examples
%refined = view.refine %view : view<[%M]xf32, %layout> -> view<16xf32>