index.divrem

← index dialect

Logical coordinate quotient and remainder computed together for non-negative index values with a positive divisor. Offsets are physical byte counts and cannot use this op.

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	quotient	index	required	—
Result	remainder	index	required	—

Verification constraints

• SameType(lhs, rhs, quotient, remainder)

Examples

%q, %r = index.divrem %lane, %group_size : index