# vmv1r.v, vmv2r.v, vmv4r.v, vmv8r.v
@vmvnfr.v     31..26=0x27 25=1 vs2 simm5 14..12=0x3 vd 6..0=0x57

@vl1r.v       31..26=0 25=1 24..20=0x08 rs1 14..12=0x0 vd   6..0=0x07
@vl2r.v       31..26=1 25=1 24..20=0x08 rs1 14..12=0x5 vd   6..0=0x07
@vl4r.v       31..26=3 25=1 24..20=0x08 rs1 14..12=0x6 vd   6..0=0x07
@vl8r.v       31..26=7 25=1 24..20=0x08 rs1 14..12=0x7 vd   6..0=0x07

@vle1.v       31..28=0 27..26=0 25=1 24..20=0xb rs1 14..12=0x0  vd 6..0=0x07
@vse1.v       31..28=0 27..26=0 25=1 24..20=0xb rs1 14..12=0x0 vs3 6..0=0x27

@vfredsum.vs  31..26=0x01 vm vs2 vs1 14..12=0x1 vd 6..0=0x57
@vfwredsum.vs 31..26=0x31 vm vs2 vs1 14..12=0x1 vd 6..0=0x57

@vpopc.m      31..26=0x10 vm vs2 19..15=0x10 14..12=0x2 rd 6..0=0x57

@vmornot.mm   31..26=0x1c vm vs2 vs1 14..12=0x2 vd 6..0=0x57
@vmandnot.mm  31..26=0x18 vm vs2 vs1 14..12=0x2 vd 6..0=0x57