Check vl first
The current vl determines the number of body elements. Typical code executes vsetvli, vsetivli, or vsetvl before this instruction.
Signed widening add with 2*SEW results.
Extension condition: Requires RV32/RV64 V 1.0, enabled vector state, vill=0, and support for the selected SEW and 2*SEW element widths; widening SEW=64 needs 128-bit integer element support.
VWADD.WX adds a signed 2*SEW-wide vs2 source to x[rs1], converted by the XLEN/SEW rule and sign-extended to 2*SEW, then writes a 2*SEW-wide result.
Starts from OP-V encoding fields, then shows how VWADD adds a sign-extended SEW second source to a 2*SEW-wide vs2 value and writes a 2*SEW-wide vd result.
Teaching context: V 1.0, enabled vector state and valid supported vtype; fix LMUL=m1, VLEN=4096 and vstart=0. Require SEW and 2*SEW support; SEW=64 needs additional 128-bit integer element support. Enter nonnegative bit patterns: 32-bit vs2 and 16-bit second source. Interpret the narrow source as signed two’s-complement and sign-extend before addition; keep the low 32 result bits. Scalars first follow XLEN/SEW conversion: take low bits when XLEN>SEW and sign-extend when XLEN<SEW, including unsigned addition; x0 supplies zero. Wide vs2 has EMUL=2 and an even start; Equal-width vd/vs2 may overlap. With v0.t, vd and data sources exclude v0. Only body is shown, without definite inactive/tail values; Wide vd has EMUL=2 and an even start; a narrow source can overlap vd only at the destination group’s highest register, forcing agnostic behavior at different EEWs. VL=0 leaves vd unchanged; success resets vstart=0 and leaves vxsat unchanged. Stages are not processor cycles.
vwadd.wx 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, 2*SEW widening integer signed widening addition, mask control, and vd writeback. It does not model pipelines, caches, or timing.
VWADD.WX uses an already 2*SEW-wide vs2 source and adds x[rs1] after XLEN/SEW conversion and sign extension; it does not read old vd.
When reading VWADD.WX, do not stop at the mnemonic. Official V-extension semantics also depend on the current vl, vtype, and mask state. The suffix and operand form determine whether sources are vector, scalar, or immediate values.
The current vl determines the number of body elements. Typical code executes vsetvli, vsetivli, or vsetvl before this instruction.
The current vtype supplies SEW, LMUL, tail policy, and mask policy; these affect element width, register-group size, and inactive/tail destination elements.
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.
Assume enabled V/VS, valid e8,m1,tu,mu, supported 16-bit results, VLEN=4096, XLEN=64, vl=4, vstart=0, v0.mask[0..3]=1101; SEW=8, v12=[65535,32767,0,65535], x5=1. v8=[0x0000,0x8000,unchanged,0x0000]; interpret sources as signed two’s-complement and sign-extend, keeping low 16 result bits. Lane2 and tails keep old values; vxsat stays unchanged. Success resets vstart=0.
Assume enabled V/VS, valid e8,m1,tu,mu, supported 16-bit results, VLEN=4096, XLEN=64, vl=4, vstart=0, v0.mask[0..3]=1101; SEW=8, v12=[65535,32767,0,65535], x5=1. v8=[0x0000,0x8000,unchanged,0x0000]; interpret sources as signed two’s-complement and sign-extend, keeping low 16 result bits. Lane2 and tails keep old values; vxsat stays unchanged. Success resets vstart=0.
Assume enabled V/VS, valid e8,m1,tu,mu, supported 16-bit results, VLEN=4096, XLEN=64, vl=4, vstart=0, v0.mask[0..3]=1101; SEW=8, v12=[65535,32767,0,65535], x5=1. v8=[0x0000,0x8000,unchanged,0x0000]; interpret sources as signed two’s-complement and sign-extend, keeping low 16 result bits. Lane2 and tails keep old values; vxsat stays unchanged. Success resets vstart=0.
No. It forms its result only from the current vs2 and x[rs1] sources and does not read old vd as an accumulator.