4210   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW1);  in vfmasd()
4219   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW1);  in vfmasd()
4229   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW0);  in vfmass()
4238   emit_vex_prefix(dst, src1, src2, kLIG, k66, k0F38, kW0);  in vfmass()
4248   emit_vex_prefix(dst, xmm0, isrc, kL128, k66, k0F, kW0);  in vmovd()
4256   emit_vex_prefix(dst, xmm0, src, kL128, k66, k0F, kW0);  in vmovd()
4266   emit_vex_prefix(src, xmm0, idst, kL128, k66, k0F, kW0);  in vmovd()
4276   emit_vex_prefix(dst, xmm0, isrc, kL128, k66, k0F, kW1);  in vmovq()
4284   emit_vex_prefix(dst, xmm0, src, kL128, k66, k0F, kW1);  in vmovq()
4294   emit_vex_prefix(src, xmm0, idst, kL128, k66, k0F, kW1);  in vmovq()
4304   emit_vex_prefix(dst, src1, src2, kLIG, pp, m, w);  in vinstr()
4313   emit_vex_prefix(dst, src1, src2, kLIG, pp, m, w);  in vinstr()
4323   emit_vex_prefix(dst, src1, src2, kL128, kNone, k0F, kWIG);  in vps()
4331   emit_vex_prefix(dst, src1, src2, kL128, kNone, k0F, kWIG);  in vps()
4341   emit_vex_prefix(dst, src1, src2, kL128, k66, k0F, kWIG);  in vpd()
4349   emit_vex_prefix(dst, src1, src2, kL128, k66, k0F, kWIG);  in vpd()
4358   emit_vex_prefix(dst, xmm0, src, kLIG, kNone, k0F, kWIG);  in vucomiss()
4366   emit_vex_prefix(dst, xmm0, src, kLIG, kNone, k0F, kWIG);  in vucomiss()
4376   emit_vex_prefix(dst, src1, src2, kLIG, kF3, k0F, kWIG);  in vss()
4384   emit_vex_prefix(dst, src1, src2, kLIG, kF3, k0F, kWIG);  in vss()
4393   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW1);  in bmi1q()
4401   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW1);  in bmi1q()
4410   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW0);  in bmi1l()
4418   emit_vex_prefix(reg, vreg, rm, kLZ, kNone, k0F38, kW0);  in bmi1l()
4554   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW1);  in bmi2q()
4563   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW1);  in bmi2q()
4573   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW0);  in bmi2l()
4582   emit_vex_prefix(reg, vreg, rm, kLZ, pp, k0F38, kW0);  in bmi2l()
4593   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW1);  in rorxq()
4604   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW1);  in rorxq()
4616   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW0);  in rorxl()
4627   emit_vex_prefix(dst, vreg, src, kLZ, kF2, k0F3A, kW0);  in rorxl()