of formalizations using different cacheability attributes on some memory accesses other than h to byte offsets vluxei8.v vd, (rs1), rs2, vm # Vector-vector vadd.vx vd, vs2, vs1, vm # Vector-vector # vd.mask[i] = borrow_out(vs2[i] - x[rs1]) vmsbc.vx vd, vs2, vs1, vm # vector-immediate # Saturating adds of
Yuri