check.generate.iota
← check dialect
Generates a deterministic, optionally periodic iota-shaped value.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
Pure, HasAnyAncestor(check.case, check.scenario) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
result |
any |
required |
— |
| Attribute |
offset |
any |
required |
— |
| Attribute |
step |
any |
required |
— |
| Attribute |
period |
i64 |
optional |
— |
Verification constraints
LiteralMatchesElementType(offset, result)LiteralMatchesElementType(step, result)
Examples
%lhs = check.generate.iota offset(0) step(1) : tensor<[%m]x[%n]xi32>
%routes = check.generate.iota offset(0) step(1) period(128) : tensor<[%tokens]x8xi32>