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 |
Value to refine. |
| Result |
result |
view |
required |
Same value with refined type information. |
Verification constraints
SameElementType(source, result)RanksMatch(source, result)
Examples
%refined = view.refine %view : view<[%M]xf32, %layout> -> view<16xf32>