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, encoding, and element-access requirements. An alignment qualifier changes the requirement of subsequent executed accesses, not an unconditional address fact.
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>