index.rem

← index dialect

Logical coordinate remainder for non-negative index values with a positive divisor. Offsets are physical byte counts and cannot use remainder 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

%r = index.rem %lane, %group_size : index