check.expect.shape
← check dialect
Requires a shaped value to have the expected dynamic/static shape.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAnyAncestor(check.case, check.compare) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
value |
any |
required |
— |
| Operand |
dims |
index |
variadic |
— |
| Attribute |
static_dims |
i64_array |
required |
— |
Verification constraints
OffsetCountMatchesRank(value, static_dims)
Examples
check.expect.shape value(%actual) shape([%m, %n, 4]) : tensor<[%m]x[%n]x4xf32>