scalar.divremui
← scalar dialect
Unsigned integer quotient and remainder computed from one division with a nonzero divisor.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
Pure, DistributionTransfer |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
lhs |
integer |
required |
— |
| Operand |
rhs |
integer |
required |
— |
| Result |
quotient |
integer |
required |
— |
| Result |
remainder |
integer |
required |
— |
Verification constraints
SameType(lhs, rhs, quotient, remainder)
Examples
%q, %r = scalar.divremui %lhs, %rhs : i32