// vle64ff.v and vlseg[2-8]e64ff.v
VI_LDST_FF(int64);