require_vector_for_vsetvl; WRITE_RD(P.VU.set_vl(insn.rd(), insn.rs1(), RS1, RS2));