VEX_m_0F
case VEX_m_0F:
case VEX_m_0F:
case VEX_m_0F:
if ((vex_m != VEX_m_0F) && (vex_m != VEX_m_0F38) &&
if (vex_m == VEX_m_0F) {
if (vex_m == VEX_m_0F) {
if (vex_m == VEX_m_0F) {