check.tensor.view
← check dialect
Forms a dense typed alias over a byte subspan of a tensor materialized by another check value source. The view shares storage with its source.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, HasAnyAncestor(check.case, check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
tensor |
required |
— |
| Result |
result |
tensor |
required |
— |
| Attribute |
byte_offset |
i64 |
required |
Non-negative static byte offset from the beginning of the source tensor. |
Examples
%payload = check.tensor.view %packed offset(16) : tensor<144xi8> -> tensor<32xi32>