Can VCTZ.V always use a v0.t mask?
It can use v0.t; omitting it gives vm=1. With vm=0, v0 is the EEW=1 mask, so a normal data source or destination cannot also reuse v0; that encoding is reserved.
Vector count trailing zeros: count trailing zero bits in each element
vd, vs2 select v0–v31 with EEW=SEW and EMUL=LMUL. Optional v0.t means vm=0; omission means vm=1. No immediate operand.
32-bit OP-V: funct6=010010, vm[25], vs2[24:20], 01101[19:15] (fixed selector, not a source register), funct3=010, vd[11:7], opcode=1010111.
Zvbb supports SEW=8/16/32 with Zve32x; Zve64x also provides 64. Count consecutive zeros from the least-significant bit; zero input returns SEW.
Enable vector state and use a legal supported vtype. Same-width sources/destination may overlap, reading original source values; LMUL>1 groups must be aligned. A masked destination cannot overlap v0; v0 cannot supply both SEW data and an EEW=1 mask.
Process mask-enabled elements where vstart≤i<vl. Prestart elements are undisturbed; inactive/tail elements follow vma/vta and may retain values or become all ones. vstart≥vl (including vl=0) changes no destination. Success resets vstart; implementations may reject unsupported nonzero vstart.
vctz.v is the Zvbb vector count-trailing-zeros instruction. Counts trailing zeros from the LSB in each element. All-zero returns SEW.
This bounded model shows only lane 0 ISA-visible state; it does not model a pipeline, a cryptographic protocol, or unspecified inactive/tail values.
Execution context: enable the listed extension and vector state, use a legal supported vtype, LMUL=1 and VLEN≥64×SEW. Only lane 0 is expanded; vl=32/64 does not replicate it to other elements. SEW=64 requires Zve64x. Nonzero vstart assumes implementation support; otherwise an illegal-instruction exception is permitted.
funct6=010010, funct3=010, Zvbb
vctz.v is the Zvbb vector count-trailing-zeros instruction. Counts trailing zeros from the LSB in each element. All-zero returns SEW.
vd, vs2 select v0–v31 with EEW=SEW and EMUL=LMUL. Optional v0.t means vm=0; omission means vm=1. No immediate operand.
32-bit OP-V: funct6=010010, vm[25], vs2[24:20], 01101[19:15] (fixed selector, not a source register), funct3=010, vd[11:7], opcode=1010111.
Zvbb supports SEW=8/16/32 with Zve32x; Zve64x also provides 64. Count consecutive zeros from the least-significant bit; zero input returns SEW.
Enable vector state and use a legal supported vtype. Same-width sources/destination may overlap, reading original source values; LMUL>1 groups must be aligned. A masked destination cannot overlap v0; v0 cannot supply both SEW data and an EEW=1 mask.
Process mask-enabled elements where vstart≤i<vl. Prestart elements are undisturbed; inactive/tail elements follow vma/vta and may retain values or become all ones. vstart≥vl (including vl=0) changes no destination. Success resets vstart; implementations may reject unsupported nonzero vstart.
With the listed extension and vector state enabled, legal vtype, LMUL=1, VLEN≥128, vl=1, vstart=0 and no mask: SEW=32, v8[0]=0x00000008: ctz32=3, written to v4[0].
It can use v0.t; omitting it gives vm=1. With vm=0, v0 is the EEW=1 mask, so a normal data source or destination cannot also reuse v0; that encoding is reserved.
Zvbb: Zve32x supports SEW=8/16/32; Zve64x also supports SEW=64.