vector.divremsi

← vector dialect

Lanewise signed integer quotient and remainder computed from one division. Each quotient rounds toward zero and each remainder has the sign of its dividend. Every divisor must be nonzero and every quotient must be representable in the element type.

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.divremsi %lhs, %rhs : vector<8xi32>