Check vl first
The current vl determines the number of body elements. Typical code executes vsetvli, vsetivli, or vsetvl before this instruction.
VDIV.VX
RISC-V VDIV.VX Instruction Details
Instruction ManualR-typevector-scalar signed integer division; writes each quotient to vd, and divide by zero does not trap.
Instruction Syntax
vdiv.vx vd, vs2, rs1, vm
Operand Breakdown
vd: destination vector register group.
vs2/vs1 or scalar source: selected by suffixes such as .vv, .vx, .vi, or .vf.
vm: when present, vm=0 uses v0 as the execution mask and vm=1 is unmasked.
VVector OperationsInteger Arithmetic
Instruction Behavior
VDIV.VX is a RISC-V V extension vector-scalar signed integer divide instruction. Each active element uses vs2 as the dividend and the x[rs1] scalar value as the divisor, computes the SEW-width quotient, and writes vd; zero divisors and signed overflow cases use the official specified results without a divide-by-zero trap.
VDIV.VX Decode And Execute Animation
Starts from OP-V encoding fields, then shows how VDIV computes each signed quotient and applies the official divide-by-zero and signed-overflow special cases.
Instruction input
vdiv.vx
OP-V encodingvdiv.vx
funct6
100001
vm
0
vs2
01000
rs1
01011
funct3
110
vd
00100
opcode
1010111
lane
0
1
2
3
4
5
6
7
v8
0x0064
0xffd6
0x8000
0x007f
0xffff
0x0001
0x0064
0xffd6
/
/
/
/
/
/
/
/
x11
0xffff
0xffff
0xffff
0xffff
0xffff
0xffff
0xffff
0xffff
v0.t
1
0
1
1
1
0
1
1
v4
...
-
...
...
...
-
...
...
Current step
Show OP-V 32-bit encoding fields
vdiv.vx uses OP-V encoding. The animation places fixed fields, register fields, vm, and the rs1 field in one encoding strip.
This animation shows only ISA-visible relationships from the official V extension: OP-V field decode, active-element reads, SEW-width integer signed division, mask control, and vd writeback. It does not model pipelines, caches, or timing.
Quick Understanding & Search Notes
VDIV.VX does not raise a divide-by-zero exception. For active elements within the current vl, it reads vs2 as the dividend and the x[rs1] scalar value as the divisor, writes the signed quotient, and with vm=0 only body elements whose v0.t bit is 1 execute.
VDIV.VX uses OP-V encoding; the .vx form is selected by funct3=110, and funct6=100001 selects VDIV.
vs2 is the dividend and the divisor comes from the x[rs1] scalar value; each lane is computed independently with no cross-lane combination.
Operands are interpreted as signed two's-complement SEW integers, and the result is the quotient.
When the divisor is zero, the quotient follows the official extreme-input rule: both unsigned and signed divide write an all-ones bit pattern.
For signed minimum divided by -1 overflow, VDIV writes the dividend and VREM writes zero.
With vm=0, v0.t is the execution mask; masked-off and tail elements follow the current vtype policies.
Vector Execution Context
When reading VDIV.VX, do not stop at the mnemonic. Official V-extension semantics also depend on the current vl, vtype, and mask state. .vx: one vector source and one integer scalar source participate.
Then check vtype
The current vtype supplies SEW, LMUL, tail policy, and mask policy; these affect element width, register-group size, and inactive/tail destination elements.
Then check vm/v0
For ordinary vector instructions with vm, vm=0 uses v0 as the execution mask and vm=1 is unmasked. A few forms such as VMERGE use v0 as data-selection input.
Common Usage Scenarios
Vector Integer Scaling
Understand this scenario with real code like «vsetvli t0, a0, e32, m1, ta, ma vdiv.vx v1, v2, a1, v0.t».
Batch Quotients
Understand this scenario with real code like «vsetvli t0, a0, e32, m1, ta, ma vdiv.vx v1, v2, a1, v0.t».
Pre-Use Checklist
Syntax Check
- Confirm the current instruction format is R-type.
- Confirm the operand order matches the example.
Semantic Check
- Ensure the destination register usage is compatible with the calling convention.
- Confirm this is not the lower-level form of a pseudo-instruction expansion.
Pitfalls / Common Confusions
A zero divisor does not trap; software that needs an error path must test divisors explicitly.
The signed minimum divided by -1 case is architecturally defined: divide writes the dividend, and remainder writes zero.
The second source comes from x[rs1] and is formed as a SEW-width element by the .vx scalar rule; there is no scalar-divided-by-vector reverse form.
FAQ
Does VDIV.VX trap on divide by zero?
No. The official V extension defines the divide-by-zero result: the quotient is an all-ones bit pattern, and the instruction itself does not raise a divide-by-zero trap.
How is VDIV.VX related to VREM?
VDIV.VX writes the quotient; the paired VREM form writes the remainder for the same divide relation. Both use the same divide-by-zero and signed-overflow special-case rules.