index.div
← index dialect
Logical coordinate quotient for non-negative index values with a positive divisor. Offsets are physical byte counts and cannot be divided with this op; use an explicit layout or storage mapping before deriving physical address pieces.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, DistributionTransfer |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
lhs |
index |
required |
— |
| Operand |
rhs |
index |
required |
— |
| Result |
result |
index |
required |
— |
Verification constraints
SameType(lhs, rhs, result)
Examples
%q = index.div %lane, %group_size : index