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