view.subview
← view dialect
Form a logical subview from an existing view. Offsets select the logical origin; result type dimensions provide the subview extents. The element-access alignment requirement is preserved; forming a subview makes no memory access or address-alignment promise.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, RefinableResultTypeRefs |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
view |
required |
Source view. |
| Operand |
offsets |
index |
variadic |
Dynamic logical offsets. |
| Result |
result |
view |
required |
Subview over the same storage root. |
| Attribute |
static_offsets |
i64_array |
required |
Static logical offsets with INT64_MIN sentinels for dynamics. |
Verification constraints
SameElementType(source, result)SameEncoding(source, result)RanksMatch(source, result)
Examples
%sub = view.subview %source[%row, 0] : view<[%M]x[%N]xf32, %layout> -> view<16x[%N]xf32, %layout>