3593   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW1);  in vfmasd()
3603   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW1);  in vfmasd()
3613   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW0);  in vfmass()
3623   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW0);  in vfmass()
3633   emit_vex_prefix(dst, xmm0, isrc, kL128, k66, k0F, kW0);  in vmovd()
3642   emit_vex_prefix(dst, xmm0, src, kL128, k66, k0F, kW0);  in vmovd()
3652   emit_vex_prefix(src, xmm0, idst, kL128, k66, k0F, kW0);  in vmovd()
3662   emit_vex_prefix(dst, xmm0, isrc, kL128, k66, k0F, kW1);  in vmovq()
3671   emit_vex_prefix(dst, xmm0, src, kL128, k66, k0F, kW1);  in vmovq()
3681   emit_vex_prefix(src, xmm0, idst, kL128, k66, k0F, kW1);  in vmovq()
3691   emit_vex_prefix(dst, src1, src2, kLIG, pp, m, w);  in vsd()
3702   emit_vex_prefix(dst, src1, src2, kLIG, pp, m, w);  in vsd()
3712   emit_vex_prefix(dst, src1, src2, kL128, kNone, k0F, kWIG);  in vps()
3722   emit_vex_prefix(dst, src1, src2, kL128, kNone, k0F, kWIG);  in vps()
3732   emit_vex_prefix(dst, src1, src2, kL128, k66, k0F, kWIG);  in vpd()
3742   emit_vex_prefix(dst, src1, src2, kL128, k66, k0F, kWIG);  in vpd()
3751   emit_vex_prefix(dst, xmm0, src, kLIG, kNone, k0F, kWIG);  in vucomiss()
3760   emit_vex_prefix(dst, xmm0, src, kLIG, kNone, k0F, kWIG);  in vucomiss()
3770   emit_vex_prefix(dst, src1, src2, kLIG, kF3, k0F, kWIG);  in vss()
3780   emit_vex_prefix(dst, src1, src2, kLIG, kF3, k0F, kWIG);  in vss()
3789   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW1);  in bmi1q()
3798   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW1);  in bmi1q()
3807   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW0);  in bmi1l()
3816   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW0);  in bmi1l()
3958   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW1);  in bmi2q()
3968   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW1);  in bmi2q()
3978   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW0);  in bmi2l()
3988   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW0);  in bmi2l()
3999   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW1);  in rorxq()
4011   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW1);  in rorxq()
4023   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW0);  in rorxl()
4035   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW0);  in rorxl()