`index` dialect¶

Scalar address-domain operations over index, offset, and explicit integer boundary casts.

Operations¶

Operation	Summary
`index.add`	Address-domain addition.
`index.andi`	Bitwise AND over logical coordinate values.
`index.assume`	Identity with predicate constraints on index or offset results.
`index.cast`	Explicit integer conversion at an address boundary.
`index.cmp`	Address-domain comparison.
`index.constant`	Materialize a compile-time address-domain constant.
`index.ctlzi`	Count leading zeros in a logical coordinate value.
`index.ctpopi`	Count set bits in a logical coordinate value.
`index.cttzi`	Count trailing zeros in a logical coordinate value.
`index.div`	Logical coordinate quotient for non-negative index values with a positive divisor.
`index.madd`	Logical coordinate multiply-add: a*b + c.
`index.max`	Signed maximum of two logical coordinate values.
`index.min`	Signed minimum of two logical coordinate values.
`index.mul`	Logical coordinate multiplication.
`index.ori`	Bitwise OR over logical coordinate values.
`index.rem`	Logical coordinate remainder for non-negative index values with a positive divisor.
`index.rotli`	Left rotate over logical coordinate values.
`index.rotri`	Right rotate over logical coordinate values.
`index.scale`	Scale a logical coordinate by a physical byte stride to produce a physical byte offset.
`index.shli`	Left shift over logical coordinate values.
`index.shrsi`	Arithmetic right shift over logical coordinate values.
`index.shrui`	Logical right shift over logical coordinate values.
`index.sub`	Address-domain subtraction.
`index.xori`	Bitwise XOR over logical coordinate values.