riscv-isa-sim/hwacha/insns/vf.h

require_vector;
for (int i=0; i<VL; i++)
{
  uts[i]->pc = ITYPE_EADDR;
  uts[i]->utmode = true;
  uts[i]->run = true;
  while (uts[i]->utmode)
    uts[i]->step(100, false); // XXX
}