vector.divremui

← vector dialect

Lanewise unsigned integer quotient and remainder computed from one division. Every divisor must be nonzero.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, Elementwise

Signature

Kind	Name	Type	Cardinality	Description
Operand	lhs	vector	required	—
Operand	rhs	vector	required	—
Result	quotient	vector	required	—
Result	remainder	vector	required	—

Verification constraints

• HasIntegerElement(quotient)
• HasIntegerElement(remainder)
• SameType(lhs, rhs, quotient, remainder)

Examples

%q, %r = vector.divremui %lhs, %rhs : vector<8xi32>