Check vl first
The current vl determines the number of body elements. Typical code executes vsetvli, vsetivli, or vsetvl before this instruction.
Vector-scalar bitwise AND-NOT: vd[i] = vs2[i] & ~x[rs1].
vandn.vx inverts the scalar x[rs1] value after sign-extension/truncation to SEW and ANDs it with vs2[i]: vd[i] = vs2[i] & ~x[rs1].
VANDN.VX is a Zvbb vector instruction for vector-scalar bitwise and-not. This page is checked against the official vector crypto extension and V-extension execution model.
When reading VANDN.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.
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.
Understand this scenario with real code like «vandn.vx vd, vs2, a1».
Understand this scenario with real code like «vandn.vx vd, vs2, a1».
It can use the vm mask operand shown in the syntax; omitting it gives the unmasked form.
The current vtype SEW determines it, subject to any instruction-specific SEW restrictions in the extension.