#define Rex64 (NoRex64 + 1)
/* deprecated fp insn, gets a warning */
#define Ugh (Rex64 + 1)
-/* insn has VEX prefix. */
+/* insn has VEX prefix:
+ 1: 128bit VEX prefix.
+ 2: 256bit VEX prefix.
+ */
#define Vex (Ugh + 1)
-/* insn has 256bit VEX prefix. */
-#define Vex256 (Vex + 1)
/* insn has VEX NDS. Register-only source is encoded in Vex prefix.
We use VexNDS on insns with VEX DDS since the register-only source
is the second source register. */
-#define VexNDS (Vex256 + 1)
+#define VexNDS (Vex + 1)
/* insn has VEX NDD. Register destination is encoded in Vex
prefix. */
#define VexNDD (VexNDS + 1)
unsigned int norex64:1;
unsigned int rex64:1;
unsigned int ugh:1;
- unsigned int vex:1;
- unsigned int vex256:1;
+ unsigned int vex:2;
unsigned int vexnds:1;
unsigned int vexndd:1;
unsigned int vexw0:1;