(* Capstone Disassembler Engine
 * By Nguyen Anh Quynh <aquynh@gmail.com>, 2013> *)

(* architecture specific info of instruction *)
type x86_op_mem = {
	base: int;
	index: int;
	scale: int;
	displ: int;
}

type x86_op = 
	| X86_OP_INVALID of int
	| X86_OP_REG of int
	| X86_OP_IMM of int
	| X86_OP_FP of float
	| X86_OP_MEM of x86_op_mem

type cs_x86 = { 
	prefix: int array;
	segment: int;
	opcode: int array;
	op_size: int;
	addr_size: int;
	disp_size: int;
	imm_size: int;
	modrm: int;
	sib: int;
	disp: int;
	sib_index: int;
	sib_scale: int;
	sib_base: int;
	op_count: int;
	operands: x86_op array;
}

(* all Intel reigsters *)
let _X86_REG_INVALID = 0;;
let _X86_REG_AH = 1;;
let _X86_REG_AL = 2;;
let _X86_REG_AX = 3;;
let _X86_REG_BH = 4;;
let _X86_REG_BL = 5;;
let _X86_REG_BP = 6;;
let _X86_REG_BPL = 7;;
let _X86_REG_BX = 8;;
let _X86_REG_CH = 9;;
let _X86_REG_CL = 10;;
let _X86_REG_CS = 11;;
let _X86_REG_CX = 12;;
let _X86_REG_DH = 13;;
let _X86_REG_DI = 14;;
let _X86_REG_DIL = 15;;
let _X86_REG_DL = 16;;
let _X86_REG_DS = 17;;
let _X86_REG_DX = 18;;
let _X86_REG_EAX = 19;;
let _X86_REG_EBP = 20;;
let _X86_REG_EBX = 21;;
let _X86_REG_ECX = 22;;
let _X86_REG_EDI = 23;;
let _X86_REG_EDX = 24;;
let _X86_REG_FLAGS = 25;;
let _X86_REG_EIP = 26;;
let _X86_REG_EIZ = 27;;
let _X86_REG_ES = 28;;
let _X86_REG_ESI = 29;;
let _X86_REG_ESP = 30;;
let _X86_REG_FPSW = 31;;
let _X86_REG_FS = 32;;
let _X86_REG_GS = 33;;
let _X86_REG_IP = 34;;
let _X86_REG_RAX = 35;;
let _X86_REG_RBP = 36;;
let _X86_REG_RBX = 37;;
let _X86_REG_RCX = 38;;
let _X86_REG_RDI = 39;;
let _X86_REG_RDX = 40;;
let _X86_REG_RIP = 41;;
let _X86_REG_RIZ = 42;;
let _X86_REG_RSI = 43;;
let _X86_REG_RSP = 44;;
let _X86_REG_SI = 45;;
let _X86_REG_SIL = 46;;
let _X86_REG_SP = 47;;
let _X86_REG_SPL = 48;;
let _X86_REG_SS = 49;;
let _X86_REG_CR0 = 50;;
let _X86_REG_CR1 = 51;;
let _X86_REG_CR2 = 52;;
let _X86_REG_CR3 = 53;;
let _X86_REG_CR4 = 54;;
let _X86_REG_CR5 = 55;;
let _X86_REG_CR6 = 56;;
let _X86_REG_CR7 = 57;;
let _X86_REG_CR8 = 58;;
let _X86_REG_CR9 = 59;;
let _X86_REG_CR10 = 60;;
let _X86_REG_CR11 = 61;;
let _X86_REG_CR12 = 62;;
let _X86_REG_CR13 = 63;;
let _X86_REG_CR14 = 64;;
let _X86_REG_CR15 = 65;;
let _X86_REG_DR0 = 66;;
let _X86_REG_DR1 = 67;;
let _X86_REG_DR2 = 68;;
let _X86_REG_DR3 = 69;;
let _X86_REG_DR4 = 70;;
let _X86_REG_DR5 = 71;;
let _X86_REG_DR6 = 72;;
let _X86_REG_DR7 = 73;;
let _X86_REG_FP0 = 74;;
let _X86_REG_FP1 = 75;;
let _X86_REG_FP2 = 76;;
let _X86_REG_FP3 = 77;;
let _X86_REG_FP4 = 78;;
let _X86_REG_FP5 = 79;;
let _X86_REG_FP6 = 80;;
let _X86_REG_K0 = 81;;
let _X86_REG_K1 = 82;;
let _X86_REG_K2 = 83;;
let _X86_REG_K3 = 84;;
let _X86_REG_K4 = 85;;
let _X86_REG_K5 = 86;;
let _X86_REG_K6 = 87;;
let _X86_REG_K7 = 88;;
let _X86_REG_MM0 = 89;;
let _X86_REG_MM1 = 90;;
let _X86_REG_MM2 = 91;;
let _X86_REG_MM3 = 92;;
let _X86_REG_MM4 = 93;;
let _X86_REG_MM5 = 94;;
let _X86_REG_MM6 = 95;;
let _X86_REG_MM7 = 96;;
let _X86_REG_R8 = 97;;
let _X86_REG_R9 = 98;;
let _X86_REG_R10 = 99;;
let _X86_REG_R11 = 100;;
let _X86_REG_R12 = 101;;
let _X86_REG_R13 = 102;;
let _X86_REG_R14 = 103;;
let _X86_REG_R15 = 104;;
let _X86_REG_ST0 = 105;;
let _X86_REG_ST1 = 106;;
let _X86_REG_ST2 = 107;;
let _X86_REG_ST3 = 108;;
let _X86_REG_ST4 = 109;;
let _X86_REG_ST5 = 110;;
let _X86_REG_ST6 = 111;;
let _X86_REG_ST7 = 112;;
let _X86_REG_XMM0 = 113;;
let _X86_REG_XMM1 = 114;;
let _X86_REG_XMM2 = 115;;
let _X86_REG_XMM3 = 116;;
let _X86_REG_XMM4 = 117;;
let _X86_REG_XMM5 = 118;;
let _X86_REG_XMM6 = 119;;
let _X86_REG_XMM7 = 120;;
let _X86_REG_XMM8 = 121;;
let _X86_REG_XMM9 = 122;;
let _X86_REG_XMM10 = 123;;
let _X86_REG_XMM11 = 124;;
let _X86_REG_XMM12 = 125;;
let _X86_REG_XMM13 = 126;;
let _X86_REG_XMM14 = 127;;
let _X86_REG_XMM15 = 128;;
let _X86_REG_XMM16 = 129;;
let _X86_REG_XMM17 = 130;;
let _X86_REG_XMM18 = 131;;
let _X86_REG_XMM19 = 132;;
let _X86_REG_XMM20 = 133;;
let _X86_REG_XMM21 = 134;;
let _X86_REG_XMM22 = 135;;
let _X86_REG_XMM23 = 136;;
let _X86_REG_XMM24 = 137;;
let _X86_REG_XMM25 = 138;;
let _X86_REG_XMM26 = 139;;
let _X86_REG_XMM27 = 140;;
let _X86_REG_XMM28 = 141;;
let _X86_REG_XMM29 = 142;;
let _X86_REG_XMM30 = 143;;
let _X86_REG_XMM31 = 144;;
let _X86_REG_YMM0 = 145;;
let _X86_REG_YMM1 = 146;;
let _X86_REG_YMM2 = 147;;
let _X86_REG_YMM3 = 148;;
let _X86_REG_YMM4 = 149;;
let _X86_REG_YMM5 = 150;;
let _X86_REG_YMM6 = 151;;
let _X86_REG_YMM7 = 152;;
let _X86_REG_YMM8 = 153;;
let _X86_REG_YMM9 = 154;;
let _X86_REG_YMM10 = 155;;
let _X86_REG_YMM11 = 156;;
let _X86_REG_YMM12 = 157;;
let _X86_REG_YMM13 = 158;;
let _X86_REG_YMM14 = 159;;
let _X86_REG_YMM15 = 160;;
let _X86_REG_YMM16 = 161;;
let _X86_REG_YMM17 = 162;;
let _X86_REG_YMM18 = 163;;
let _X86_REG_YMM19 = 164;;
let _X86_REG_YMM20 = 165;;
let _X86_REG_YMM21 = 166;;
let _X86_REG_YMM22 = 167;;
let _X86_REG_YMM23 = 168;;
let _X86_REG_YMM24 = 169;;
let _X86_REG_YMM25 = 170;;
let _X86_REG_YMM26 = 171;;
let _X86_REG_YMM27 = 172;;
let _X86_REG_YMM28 = 173;;
let _X86_REG_YMM29 = 174;;
let _X86_REG_YMM30 = 175;;
let _X86_REG_YMM31 = 176;;
let _X86_REG_ZMM0 = 177;;
let _X86_REG_ZMM1 = 178;;
let _X86_REG_ZMM2 = 179;;
let _X86_REG_ZMM3 = 180;;
let _X86_REG_ZMM4 = 181;;
let _X86_REG_ZMM5 = 182;;
let _X86_REG_ZMM6 = 183;;
let _X86_REG_ZMM7 = 184;;
let _X86_REG_ZMM8 = 185;;
let _X86_REG_ZMM9 = 186;;
let _X86_REG_ZMM10 = 187;;
let _X86_REG_ZMM11 = 188;;
let _X86_REG_ZMM12 = 189;;
let _X86_REG_ZMM13 = 190;;
let _X86_REG_ZMM14 = 191;;
let _X86_REG_ZMM15 = 192;;
let _X86_REG_ZMM16 = 193;;
let _X86_REG_ZMM17 = 194;;
let _X86_REG_ZMM18 = 195;;
let _X86_REG_ZMM19 = 196;;
let _X86_REG_ZMM20 = 197;;
let _X86_REG_ZMM21 = 198;;
let _X86_REG_ZMM22 = 199;;
let _X86_REG_ZMM23 = 200;;
let _X86_REG_ZMM24 = 201;;
let _X86_REG_ZMM25 = 202;;
let _X86_REG_ZMM26 = 203;;
let _X86_REG_ZMM27 = 204;;
let _X86_REG_ZMM28 = 205;;
let _X86_REG_ZMM29 = 206;;
let _X86_REG_ZMM30 = 207;;
let _X86_REG_ZMM31 = 208;;
let _X86_REG_R8B = 209;;
let _X86_REG_R9B = 210;;
let _X86_REG_R10B = 211;;
let _X86_REG_R11B = 212;;
let _X86_REG_R12B = 213;;
let _X86_REG_R13B = 214;;
let _X86_REG_R14B = 215;;
let _X86_REG_R15B = 216;;
let _X86_REG_R8D = 217;;
let _X86_REG_R9D = 218;;
let _X86_REG_R10D = 219;;
let _X86_REG_R11D = 220;;
let _X86_REG_R12D = 221;;
let _X86_REG_R13D = 222;;
let _X86_REG_R14D = 223;;
let _X86_REG_R15D = 224;;
let _X86_REG_R8W = 225;;
let _X86_REG_R9W = 226;;
let _X86_REG_R10W = 227;;
let _X86_REG_R11W = 228;;
let _X86_REG_R12W = 229;;
let _X86_REG_R13W = 230;;
let _X86_REG_R14W = 231;;
let _X86_REG_R15W = 232;;

(* all Intel instructions *)
let _X86_INS_INVALID = 0;;
let _X86_INS_AAA = 1;;
let _X86_INS_AAD = 2;;
let _X86_INS_AAM = 3;;
let _X86_INS_AAS = 4;;
let _X86_INS_FABS = 5;;
let _X86_INS_ADC = 6;;
let _X86_INS_ADCX = 7;;
let _X86_INS_ADD = 8;;
let _X86_INS_ADDPD = 9;;
let _X86_INS_ADDPS = 10;;
let _X86_INS_ADDSD = 11;;
let _X86_INS_ADDSS = 12;;
let _X86_INS_ADDSUBPD = 13;;
let _X86_INS_ADDSUBPS = 14;;
let _X86_INS_FADD = 15;;
let _X86_INS_FIADD = 16;;
let _X86_INS_FADDP = 17;;
let _X86_INS_ADOX = 18;;
let _X86_INS_AESDECLAST = 19;;
let _X86_INS_AESDEC = 20;;
let _X86_INS_AESENCLAST = 21;;
let _X86_INS_AESENC = 22;;
let _X86_INS_AESIMC = 23;;
let _X86_INS_AESKEYGENASSIST = 24;;
let _X86_INS_AND = 25;;
let _X86_INS_ANDN = 26;;
let _X86_INS_ANDNPD = 27;;
let _X86_INS_ANDNPS = 28;;
let _X86_INS_ANDPD = 29;;
let _X86_INS_ANDPS = 30;;
let _X86_INS_ARPL = 31;;
let _X86_INS_BEXTR = 32;;
let _X86_INS_BLENDPD = 33;;
let _X86_INS_BLENDPS = 34;;
let _X86_INS_BLENDVPD = 35;;
let _X86_INS_BLENDVPS = 36;;
let _X86_INS_BLSI = 37;;
let _X86_INS_BLSMSK = 38;;
let _X86_INS_BLSR = 39;;
let _X86_INS_BOUND = 40;;
let _X86_INS_BSF = 41;;
let _X86_INS_BSR = 42;;
let _X86_INS_BSWAP = 43;;
let _X86_INS_BT = 44;;
let _X86_INS_BTC = 45;;
let _X86_INS_BTR = 46;;
let _X86_INS_BTS = 47;;
let _X86_INS_BZHI = 48;;
let _X86_INS_CALL = 49;;
let _X86_INS_CALLW = 50;;
let _X86_INS_CBW = 51;;
let _X86_INS_CDQ = 52;;
let _X86_INS_CDQE = 53;;
let _X86_INS_FCHS = 54;;
let _X86_INS_CLAC = 55;;
let _X86_INS_CLC = 56;;
let _X86_INS_CLD = 57;;
let _X86_INS_CLFLUSH = 58;;
let _X86_INS_CLGI = 59;;
let _X86_INS_CLI = 60;;
let _X86_INS_CLTS = 61;;
let _X86_INS_CMC = 62;;
let _X86_INS_CMOVA = 63;;
let _X86_INS_CMOVAE = 64;;
let _X86_INS_CMOVB = 65;;
let _X86_INS_CMOVBE = 66;;
let _X86_INS_FCMOVBE = 67;;
let _X86_INS_FCMOVB = 68;;
let _X86_INS_CMOVE = 69;;
let _X86_INS_FCMOVE = 70;;
let _X86_INS_CMOVG = 71;;
let _X86_INS_CMOVGE = 72;;
let _X86_INS_CMOVL = 73;;
let _X86_INS_CMOVLE = 74;;
let _X86_INS_FCMOVNBE = 75;;
let _X86_INS_FCMOVNB = 76;;
let _X86_INS_CMOVNE = 77;;
let _X86_INS_FCMOVNE = 78;;
let _X86_INS_CMOVNO = 79;;
let _X86_INS_CMOVNP = 80;;
let _X86_INS_FCMOVNU = 81;;
let _X86_INS_CMOVNS = 82;;
let _X86_INS_CMOVO = 83;;
let _X86_INS_CMOVP = 84;;
let _X86_INS_FCMOVU = 85;;
let _X86_INS_CMOVS = 86;;
let _X86_INS_CMP = 87;;
let _X86_INS_CMPPD = 88;;
let _X86_INS_CMPPS = 89;;
let _X86_INS_CMPSW = 90;;
let _X86_INS_CMPSD = 91;;
let _X86_INS_CMPSQ = 92;;
let _X86_INS_CMPSB = 93;;
let _X86_INS_CMPSS = 94;;
let _X86_INS_CMPXCHG16B = 95;;
let _X86_INS_CMPXCHG = 96;;
let _X86_INS_CMPXCHG8B = 97;;
let _X86_INS_COMISD = 98;;
let _X86_INS_COMISS = 99;;
let _X86_INS_FCOMP = 100;;
let _X86_INS_FCOMPI = 101;;
let _X86_INS_FCOMI = 102;;
let _X86_INS_FCOM = 103;;
let _X86_INS_FCOS = 104;;
let _X86_INS_CPUID = 105;;
let _X86_INS_CQO = 106;;
let _X86_INS_CRC32 = 107;;
let _X86_INS_CS = 108;;
let _X86_INS_CVTDQ2PD = 109;;
let _X86_INS_CVTDQ2PS = 110;;
let _X86_INS_CVTPD2DQ = 111;;
let _X86_INS_CVTPD2PS = 112;;
let _X86_INS_CVTPS2DQ = 113;;
let _X86_INS_CVTPS2PD = 114;;
let _X86_INS_CVTSD2SI = 115;;
let _X86_INS_CVTSD2SS = 116;;
let _X86_INS_CVTSI2SD = 117;;
let _X86_INS_CVTSI2SS = 118;;
let _X86_INS_CVTSS2SD = 119;;
let _X86_INS_CVTSS2SI = 120;;
let _X86_INS_CVTTPD2DQ = 121;;
let _X86_INS_CVTTPS2DQ = 122;;
let _X86_INS_CVTTSD2SI = 123;;
let _X86_INS_CVTTSS2SI = 124;;
let _X86_INS_CWD = 125;;
let _X86_INS_CWDE = 126;;
let _X86_INS_DAA = 127;;
let _X86_INS_DAS = 128;;
let _X86_INS_DATA16 = 129;;
let _X86_INS_DEC = 130;;
let _X86_INS_DIV = 131;;
let _X86_INS_DIVPD = 132;;
let _X86_INS_DIVPS = 133;;
let _X86_INS_FDIVR = 134;;
let _X86_INS_FIDIVR = 135;;
let _X86_INS_FDIVRP = 136;;
let _X86_INS_DIVSD = 137;;
let _X86_INS_DIVSS = 138;;
let _X86_INS_FDIV = 139;;
let _X86_INS_FIDIV = 140;;
let _X86_INS_FDIVP = 141;;
let _X86_INS_DPPD = 142;;
let _X86_INS_DPPS = 143;;
let _X86_INS_DS = 144;;
let _X86_INS_RET = 145;;
let _X86_INS_ENTER = 146;;
let _X86_INS_ES = 147;;
let _X86_INS_EXTRACTPS = 148;;
let _X86_INS_EXTRQ = 149;;
let _X86_INS_F2XM1 = 150;;
let _X86_INS_LCALL = 151;;
let _X86_INS_LJMP = 152;;
let _X86_INS_FBLD = 153;;
let _X86_INS_FBSTP = 154;;
let _X86_INS_FCOMPP = 155;;
let _X86_INS_FDECSTP = 156;;
let _X86_INS_FEMMS = 157;;
let _X86_INS_FFREE = 158;;
let _X86_INS_FICOM = 159;;
let _X86_INS_FICOMP = 160;;
let _X86_INS_FINCSTP = 161;;
let _X86_INS_FLDCW = 162;;
let _X86_INS_FLDENV = 163;;
let _X86_INS_FLDL2E = 164;;
let _X86_INS_FLDL2T = 165;;
let _X86_INS_FLDLG2 = 166;;
let _X86_INS_FLDLN2 = 167;;
let _X86_INS_FLDPI = 168;;
let _X86_INS_FNCLEX = 169;;
let _X86_INS_FNINIT = 170;;
let _X86_INS_FNOP = 171;;
let _X86_INS_FNSTCW = 172;;
let _X86_INS_FNSTSW = 173;;
let _X86_INS_FPATAN = 174;;
let _X86_INS_FPREM = 175;;
let _X86_INS_FPREM1 = 176;;
let _X86_INS_FPTAN = 177;;
let _X86_INS_FRNDINT = 178;;
let _X86_INS_FRSTOR = 179;;
let _X86_INS_FNSAVE = 180;;
let _X86_INS_FSCALE = 181;;
let _X86_INS_FSINCOS = 182;;
let _X86_INS_FNSTENV = 183;;
let _X86_INS_FS = 184;;
let _X86_INS_FXAM = 185;;
let _X86_INS_FXRSTOR = 186;;
let _X86_INS_FXRSTORQ = 187;;
let _X86_INS_FXSAVE = 188;;
let _X86_INS_FXSAVEQ = 189;;
let _X86_INS_FXTRACT = 190;;
let _X86_INS_FYL2X = 191;;
let _X86_INS_FYL2XP1 = 192;;
let _X86_INS_MOVAPD = 193;;
let _X86_INS_MOVAPS = 194;;
let _X86_INS_ORPD = 195;;
let _X86_INS_ORPS = 196;;
let _X86_INS_VMOVAPD = 197;;
let _X86_INS_VMOVAPS = 198;;
let _X86_INS_XORPD = 199;;
let _X86_INS_XORPS = 200;;
let _X86_INS_GS = 201;;
let _X86_INS_HADDPD = 202;;
let _X86_INS_HADDPS = 203;;
let _X86_INS_HLT = 204;;
let _X86_INS_HSUBPD = 205;;
let _X86_INS_HSUBPS = 206;;
let _X86_INS_IDIV = 207;;
let _X86_INS_FILD = 208;;
let _X86_INS_IMUL = 209;;
let _X86_INS_INS = 210;;
let _X86_INS_IN = 211;;
let _X86_INS_INC = 212;;
let _X86_INS_INSERTPS = 213;;
let _X86_INS_INSERTQ = 214;;
let _X86_INS_INT = 215;;
let _X86_INS_INT3 = 216;;
let _X86_INS_INTO = 217;;
let _X86_INS_INVD = 218;;
let _X86_INS_INVEPT = 219;;
let _X86_INS_INVLPG = 220;;
let _X86_INS_INVLPGA = 221;;
let _X86_INS_INVPCID = 222;;
let _X86_INS_INVVPID = 223;;
let _X86_INS_IRET = 224;;
let _X86_INS_IRETD = 225;;
let _X86_INS_IRETQ = 226;;
let _X86_INS_FISTTP = 227;;
let _X86_INS_FIST = 228;;
let _X86_INS_FISTP = 229;;
let _X86_INS_UCOMISD = 230;;
let _X86_INS_UCOMISS = 231;;
let _X86_INS_VCMPSD = 232;;
let _X86_INS_VCMPSS = 233;;
let _X86_INS_VCOMISD = 234;;
let _X86_INS_VCOMISS = 235;;
let _X86_INS_VCVTSD2SS = 236;;
let _X86_INS_VCVTSI2SD = 237;;
let _X86_INS_VCVTSI2SS = 238;;
let _X86_INS_VCVTSS2SD = 239;;
let _X86_INS_VCVTTSD2SI = 240;;
let _X86_INS_VCVTTSS2SI = 241;;
let _X86_INS_VUCOMISD = 242;;
let _X86_INS_VUCOMISS = 243;;
let _X86_INS_JAE = 244;;
let _X86_INS_JA = 245;;
let _X86_INS_JBE = 246;;
let _X86_INS_JB = 247;;
let _X86_INS_JCXZ = 248;;
let _X86_INS_JECXZ = 249;;
let _X86_INS_JE = 250;;
let _X86_INS_JGE = 251;;
let _X86_INS_JG = 252;;
let _X86_INS_JLE = 253;;
let _X86_INS_JL = 254;;
let _X86_INS_JMP = 255;;
let _X86_INS_JMPQ = 256;;
let _X86_INS_JNE = 257;;
let _X86_INS_JNO = 258;;
let _X86_INS_JNP = 259;;
let _X86_INS_JNS = 260;;
let _X86_INS_JO = 261;;
let _X86_INS_JP = 262;;
let _X86_INS_JRCXZ = 263;;
let _X86_INS_JS = 264;;
let _X86_INS_KADDW = 265;;
let _X86_INS_KANDNW = 266;;
let _X86_INS_KANDW = 267;;
let _X86_INS_KMOVW = 268;;
let _X86_INS_KNOTW = 269;;
let _X86_INS_KORTESTW = 270;;
let _X86_INS_KORW = 271;;
let _X86_INS_KSHIFTLW = 272;;
let _X86_INS_KSHIFTRW = 273;;
let _X86_INS_KTESTW = 274;;
let _X86_INS_KUNPCKBW = 275;;
let _X86_INS_KXNORW = 276;;
let _X86_INS_KXORW = 277;;
let _X86_INS_LAHF = 278;;
let _X86_INS_LAR = 279;;
let _X86_INS_LDDQU = 280;;
let _X86_INS_LDMXCSR = 281;;
let _X86_INS_LDS = 282;;
let _X86_INS_FLDZ = 283;;
let _X86_INS_FLD1 = 284;;
let _X86_INS_FLD = 285;;
let _X86_INS_LEA = 286;;
let _X86_INS_LEAVE = 287;;
let _X86_INS_LES = 288;;
let _X86_INS_LFENCE = 289;;
let _X86_INS_LFS = 290;;
let _X86_INS_LGDT = 291;;
let _X86_INS_LGS = 292;;
let _X86_INS_LIDT = 293;;
let _X86_INS_LLDT = 294;;
let _X86_INS_LMSW = 295;;
let _X86_INS_OR = 296;;
let _X86_INS_LOCK = 297;;
let _X86_INS_SUB = 298;;
let _X86_INS_XOR = 299;;
let _X86_INS_LODSB = 300;;
let _X86_INS_LODSD = 301;;
let _X86_INS_LODSQ = 302;;
let _X86_INS_LODSW = 303;;
let _X86_INS_LOOP = 304;;
let _X86_INS_LOOPE = 305;;
let _X86_INS_LOOPNE = 306;;
let _X86_INS_RETF = 307;;
let _X86_INS_LSL = 308;;
let _X86_INS_LSS = 309;;
let _X86_INS_LTR = 310;;
let _X86_INS_XADD = 311;;
let _X86_INS_LZCNT = 312;;
let _X86_INS_MASKMOVDQU = 313;;
let _X86_INS_MAXPD = 314;;
let _X86_INS_MAXPS = 315;;
let _X86_INS_MAXSD = 316;;
let _X86_INS_MAXSS = 317;;
let _X86_INS_MFENCE = 318;;
let _X86_INS_MINPD = 319;;
let _X86_INS_MINPS = 320;;
let _X86_INS_MINSD = 321;;
let _X86_INS_MINSS = 322;;
let _X86_INS_CVTPD2PI = 323;;
let _X86_INS_CVTPI2PD = 324;;
let _X86_INS_CVTPI2PS = 325;;
let _X86_INS_CVTPS2PI = 326;;
let _X86_INS_CVTTPD2PI = 327;;
let _X86_INS_CVTTPS2PI = 328;;
let _X86_INS_EMMS = 329;;
let _X86_INS_MASKMOVQ = 330;;
let _X86_INS_MOVD = 331;;
let _X86_INS_MOVDQ2Q = 332;;
let _X86_INS_MOVNTQ = 333;;
let _X86_INS_MOVQ2DQ = 334;;
let _X86_INS_MOVQ = 335;;
let _X86_INS_PABSB = 336;;
let _X86_INS_PABSD = 337;;
let _X86_INS_PABSW = 338;;
let _X86_INS_PACKSSDW = 339;;
let _X86_INS_PACKSSWB = 340;;
let _X86_INS_PACKUSWB = 341;;
let _X86_INS_PADDB = 342;;
let _X86_INS_PADDD = 343;;
let _X86_INS_PADDQ = 344;;
let _X86_INS_PADDSB = 345;;
let _X86_INS_PADDSW = 346;;
let _X86_INS_PADDUSB = 347;;
let _X86_INS_PADDUSW = 348;;
let _X86_INS_PADDW = 349;;
let _X86_INS_PALIGNR = 350;;
let _X86_INS_PANDN = 351;;
let _X86_INS_PAND = 352;;
let _X86_INS_PAVGB = 353;;
let _X86_INS_PAVGW = 354;;
let _X86_INS_PCMPEQB = 355;;
let _X86_INS_PCMPEQD = 356;;
let _X86_INS_PCMPEQW = 357;;
let _X86_INS_PCMPGTB = 358;;
let _X86_INS_PCMPGTD = 359;;
let _X86_INS_PCMPGTW = 360;;
let _X86_INS_PEXTRW = 361;;
let _X86_INS_PHADDSW = 362;;
let _X86_INS_PHADDW = 363;;
let _X86_INS_PHADDD = 364;;
let _X86_INS_PHSUBD = 365;;
let _X86_INS_PHSUBSW = 366;;
let _X86_INS_PHSUBW = 367;;
let _X86_INS_PINSRW = 368;;
let _X86_INS_PMADDUBSW = 369;;
let _X86_INS_PMADDWD = 370;;
let _X86_INS_PMAXSW = 371;;
let _X86_INS_PMAXUB = 372;;
let _X86_INS_PMINSW = 373;;
let _X86_INS_PMINUB = 374;;
let _X86_INS_PMOVMSKB = 375;;
let _X86_INS_PMULHRSW = 376;;
let _X86_INS_PMULHUW = 377;;
let _X86_INS_PMULHW = 378;;
let _X86_INS_PMULLW = 379;;
let _X86_INS_PMULUDQ = 380;;
let _X86_INS_POR = 381;;
let _X86_INS_PSADBW = 382;;
let _X86_INS_PSHUFB = 383;;
let _X86_INS_PSHUFW = 384;;
let _X86_INS_PSIGNB = 385;;
let _X86_INS_PSIGND = 386;;
let _X86_INS_PSIGNW = 387;;
let _X86_INS_PSLLD = 388;;
let _X86_INS_PSLLQ = 389;;
let _X86_INS_PSLLW = 390;;
let _X86_INS_PSRAD = 391;;
let _X86_INS_PSRAW = 392;;
let _X86_INS_PSRLD = 393;;
let _X86_INS_PSRLQ = 394;;
let _X86_INS_PSRLW = 395;;
let _X86_INS_PSUBB = 396;;
let _X86_INS_PSUBD = 397;;
let _X86_INS_PSUBQ = 398;;
let _X86_INS_PSUBSB = 399;;
let _X86_INS_PSUBSW = 400;;
let _X86_INS_PSUBUSB = 401;;
let _X86_INS_PSUBUSW = 402;;
let _X86_INS_PSUBW = 403;;
let _X86_INS_PUNPCKHBW = 404;;
let _X86_INS_PUNPCKHDQ = 405;;
let _X86_INS_PUNPCKHWD = 406;;
let _X86_INS_PUNPCKLBW = 407;;
let _X86_INS_PUNPCKLDQ = 408;;
let _X86_INS_PUNPCKLWD = 409;;
let _X86_INS_PXOR = 410;;
let _X86_INS_MONITOR = 411;;
let _X86_INS_MONTMUL = 412;;
let _X86_INS_MOV = 413;;
let _X86_INS_MOVABS = 414;;
let _X86_INS_MOVBE = 415;;
let _X86_INS_MOVDDUP = 416;;
let _X86_INS_MOVDQA = 417;;
let _X86_INS_MOVDQU = 418;;
let _X86_INS_MOVHLPS = 419;;
let _X86_INS_MOVHPD = 420;;
let _X86_INS_MOVHPS = 421;;
let _X86_INS_MOVLHPS = 422;;
let _X86_INS_MOVLPD = 423;;
let _X86_INS_MOVLPS = 424;;
let _X86_INS_MOVMSKPD = 425;;
let _X86_INS_MOVMSKPS = 426;;
let _X86_INS_MOVNTDQA = 427;;
let _X86_INS_MOVNTDQ = 428;;
let _X86_INS_MOVNTI = 429;;
let _X86_INS_MOVNTPD = 430;;
let _X86_INS_MOVNTPS = 431;;
let _X86_INS_MOVNTSD = 432;;
let _X86_INS_MOVNTSS = 433;;
let _X86_INS_MOVSB = 434;;
let _X86_INS_MOVSD = 435;;
let _X86_INS_MOVSHDUP = 436;;
let _X86_INS_MOVSLDUP = 437;;
let _X86_INS_MOVSQ = 438;;
let _X86_INS_MOVSS = 439;;
let _X86_INS_MOVSW = 440;;
let _X86_INS_MOVSX = 441;;
let _X86_INS_MOVSXD = 442;;
let _X86_INS_MOVUPD = 443;;
let _X86_INS_MOVUPS = 444;;
let _X86_INS_MOVZX = 445;;
let _X86_INS_MPSADBW = 446;;
let _X86_INS_MUL = 447;;
let _X86_INS_MULPD = 448;;
let _X86_INS_MULPS = 449;;
let _X86_INS_MULSD = 450;;
let _X86_INS_MULSS = 451;;
let _X86_INS_MULX = 452;;
let _X86_INS_FMUL = 453;;
let _X86_INS_FIMUL = 454;;
let _X86_INS_FMULP = 455;;
let _X86_INS_MWAIT = 456;;
let _X86_INS_NEG = 457;;
let _X86_INS_NOP = 458;;
let _X86_INS_NOT = 459;;
let _X86_INS_OUT = 460;;
let _X86_INS_OUTSB = 461;;
let _X86_INS_OUTSD = 462;;
let _X86_INS_OUTSW = 463;;
let _X86_INS_PACKUSDW = 464;;
let _X86_INS_PAUSE = 465;;
let _X86_INS_PAVGUSB = 466;;
let _X86_INS_PBLENDVB = 467;;
let _X86_INS_PBLENDW = 468;;
let _X86_INS_PCLMULQDQ = 469;;
let _X86_INS_PCMPEQQ = 470;;
let _X86_INS_PCMPESTRI = 471;;
let _X86_INS_PCMPESTRM = 472;;
let _X86_INS_PCMPGTQ = 473;;
let _X86_INS_PCMPISTRI = 474;;
let _X86_INS_PCMPISTRM = 475;;
let _X86_INS_PDEP = 476;;
let _X86_INS_PEXT = 477;;
let _X86_INS_PEXTRB = 478;;
let _X86_INS_PEXTRD = 479;;
let _X86_INS_PEXTRQ = 480;;
let _X86_INS_PF2ID = 481;;
let _X86_INS_PF2IW = 482;;
let _X86_INS_PFACC = 483;;
let _X86_INS_PFADD = 484;;
let _X86_INS_PFCMPEQ = 485;;
let _X86_INS_PFCMPGE = 486;;
let _X86_INS_PFCMPGT = 487;;
let _X86_INS_PFMAX = 488;;
let _X86_INS_PFMIN = 489;;
let _X86_INS_PFMUL = 490;;
let _X86_INS_PFNACC = 491;;
let _X86_INS_PFPNACC = 492;;
let _X86_INS_PFRCPIT1 = 493;;
let _X86_INS_PFRCPIT2 = 494;;
let _X86_INS_PFRCP = 495;;
let _X86_INS_PFRSQIT1 = 496;;
let _X86_INS_PFRSQRT = 497;;
let _X86_INS_PFSUBR = 498;;
let _X86_INS_PFSUB = 499;;
let _X86_INS_PHMINPOSUW = 500;;
let _X86_INS_PI2FD = 501;;
let _X86_INS_PI2FW = 502;;
let _X86_INS_PINSRB = 503;;
let _X86_INS_PINSRD = 504;;
let _X86_INS_PINSRQ = 505;;
let _X86_INS_PMAXSB = 506;;
let _X86_INS_PMAXSD = 507;;
let _X86_INS_PMAXUD = 508;;
let _X86_INS_PMAXUW = 509;;
let _X86_INS_PMINSB = 510;;
let _X86_INS_PMINSD = 511;;
let _X86_INS_PMINUD = 512;;
let _X86_INS_PMINUW = 513;;
let _X86_INS_PMOVSXBD = 514;;
let _X86_INS_PMOVSXBQ = 515;;
let _X86_INS_PMOVSXBW = 516;;
let _X86_INS_PMOVSXDQ = 517;;
let _X86_INS_PMOVSXWD = 518;;
let _X86_INS_PMOVSXWQ = 519;;
let _X86_INS_PMOVZXBD = 520;;
let _X86_INS_PMOVZXBQ = 521;;
let _X86_INS_PMOVZXBW = 522;;
let _X86_INS_PMOVZXDQ = 523;;
let _X86_INS_PMOVZXWD = 524;;
let _X86_INS_PMOVZXWQ = 525;;
let _X86_INS_PMULDQ = 526;;
let _X86_INS_PMULHRW = 527;;
let _X86_INS_PMULLD = 528;;
let _X86_INS_POP = 529;;
let _X86_INS_POPA = 530;;
let _X86_INS_POPCNT = 531;;
let _X86_INS_POPF = 532;;
let _X86_INS_POPFD = 533;;
let _X86_INS_POPFQ = 534;;
let _X86_INS_PREFETCH = 535;;
let _X86_INS_PREFETCHNTA = 536;;
let _X86_INS_PREFETCHT0 = 537;;
let _X86_INS_PREFETCHT1 = 538;;
let _X86_INS_PREFETCHT2 = 539;;
let _X86_INS_PREFETCHW = 540;;
let _X86_INS_PSHUFD = 541;;
let _X86_INS_PSHUFHW = 542;;
let _X86_INS_PSHUFLW = 543;;
let _X86_INS_PSLLDQ = 544;;
let _X86_INS_PSRLDQ = 545;;
let _X86_INS_PSWAPD = 546;;
let _X86_INS_PTEST = 547;;
let _X86_INS_PUNPCKHQDQ = 548;;
let _X86_INS_PUNPCKLQDQ = 549;;
let _X86_INS_PUSH = 550;;
let _X86_INS_PUSHA = 551;;
let _X86_INS_PUSHF = 552;;
let _X86_INS_PUSHFD = 553;;
let _X86_INS_PUSHFQ = 554;;
let _X86_INS_RCL = 555;;
let _X86_INS_RCPPS = 556;;
let _X86_INS_RCPSS = 557;;
let _X86_INS_RCR = 558;;
let _X86_INS_RDFSBASE = 559;;
let _X86_INS_RDGSBASE = 560;;
let _X86_INS_RDMSR = 561;;
let _X86_INS_RDPMC = 562;;
let _X86_INS_RDRAND = 563;;
let _X86_INS_RDSEED = 564;;
let _X86_INS_RDTSC = 565;;
let _X86_INS_RDTSCP = 566;;
let _X86_INS_REPNE = 567;;
let _X86_INS_REP = 568;;
let _X86_INS_REX64 = 569;;
let _X86_INS_ROL = 570;;
let _X86_INS_ROR = 571;;
let _X86_INS_RORX = 572;;
let _X86_INS_ROUNDPD = 573;;
let _X86_INS_ROUNDPS = 574;;
let _X86_INS_ROUNDSD = 575;;
let _X86_INS_ROUNDSS = 576;;
let _X86_INS_RSM = 577;;
let _X86_INS_RSQRTPS = 578;;
let _X86_INS_RSQRTSS = 579;;
let _X86_INS_SAHF = 580;;
let _X86_INS_SAR = 581;;
let _X86_INS_SARX = 582;;
let _X86_INS_SBB = 583;;
let _X86_INS_SCASW = 584;;
let _X86_INS_SCASD = 585;;
let _X86_INS_SCASQ = 586;;
let _X86_INS_SCASB = 587;;
let _X86_INS_SETAE = 588;;
let _X86_INS_SETA = 589;;
let _X86_INS_SETBE = 590;;
let _X86_INS_SETB = 591;;
let _X86_INS_SETE = 592;;
let _X86_INS_SETGE = 593;;
let _X86_INS_SETG = 594;;
let _X86_INS_SETLE = 595;;
let _X86_INS_SETL = 596;;
let _X86_INS_SETNE = 597;;
let _X86_INS_SETNO = 598;;
let _X86_INS_SETNP = 599;;
let _X86_INS_SETNS = 600;;
let _X86_INS_SETO = 601;;
let _X86_INS_SETP = 602;;
let _X86_INS_SETS = 603;;
let _X86_INS_SFENCE = 604;;
let _X86_INS_SGDT = 605;;
let _X86_INS_SHA1MSG1 = 606;;
let _X86_INS_SHA1MSG2 = 607;;
let _X86_INS_SHA1NEXTE = 608;;
let _X86_INS_SHA1RNDS4 = 609;;
let _X86_INS_SHA256MSG1 = 610;;
let _X86_INS_SHA256MSG2 = 611;;
let _X86_INS_SHA256RNDS2 = 612;;
let _X86_INS_SHL = 613;;
let _X86_INS_SHLD = 614;;
let _X86_INS_SHLX = 615;;
let _X86_INS_SHR = 616;;
let _X86_INS_SHRD = 617;;
let _X86_INS_SHRX = 618;;
let _X86_INS_SHUFPD = 619;;
let _X86_INS_SHUFPS = 620;;
let _X86_INS_SIDT = 621;;
let _X86_INS_FSIN = 622;;
let _X86_INS_SKINIT = 623;;
let _X86_INS_SLDT = 624;;
let _X86_INS_SMSW = 625;;
let _X86_INS_SQRTPD = 626;;
let _X86_INS_SQRTPS = 627;;
let _X86_INS_SQRTSD = 628;;
let _X86_INS_SQRTSS = 629;;
let _X86_INS_FSQRT = 630;;
let _X86_INS_SS = 631;;
let _X86_INS_STAC = 632;;
let _X86_INS_STC = 633;;
let _X86_INS_STD = 634;;
let _X86_INS_STGI = 635;;
let _X86_INS_STI = 636;;
let _X86_INS_STMXCSR = 637;;
let _X86_INS_STOSB = 638;;
let _X86_INS_STOSD = 639;;
let _X86_INS_STOSQ = 640;;
let _X86_INS_STOSW = 641;;
let _X86_INS_STR = 642;;
let _X86_INS_FST = 643;;
let _X86_INS_FSTP = 644;;
let _X86_INS_SUBPD = 645;;
let _X86_INS_SUBPS = 646;;
let _X86_INS_FSUBR = 647;;
let _X86_INS_FISUBR = 648;;
let _X86_INS_FSUBRP = 649;;
let _X86_INS_SUBSD = 650;;
let _X86_INS_SUBSS = 651;;
let _X86_INS_FSUB = 652;;
let _X86_INS_FISUB = 653;;
let _X86_INS_FSUBP = 654;;
let _X86_INS_SWAPGS = 655;;
let _X86_INS_SYSCALL = 656;;
let _X86_INS_SYSENTER = 657;;
let _X86_INS_SYSEXIT = 658;;
let _X86_INS_SYSRET = 659;;
let _X86_INS_TEST = 660;;
let _X86_INS_UD2 = 661;;
let _X86_INS_FTST = 662;;
let _X86_INS_TZCNT = 663;;
let _X86_INS_FUCOMPI = 664;;
let _X86_INS_FUCOMI = 665;;
let _X86_INS_FUCOMPP = 666;;
let _X86_INS_FUCOMP = 667;;
let _X86_INS_FUCOM = 668;;
let _X86_INS_UD2B = 669;;
let _X86_INS_UNPCKHPD = 670;;
let _X86_INS_UNPCKHPS = 671;;
let _X86_INS_UNPCKLPD = 672;;
let _X86_INS_UNPCKLPS = 673;;
let _X86_INS_VADDPD = 674;;
let _X86_INS_VADDPS = 675;;
let _X86_INS_VADDSD = 676;;
let _X86_INS_VADDSS = 677;;
let _X86_INS_VADDSUBPD = 678;;
let _X86_INS_VADDSUBPS = 679;;
let _X86_INS_VAESDECLAST = 680;;
let _X86_INS_VAESDEC = 681;;
let _X86_INS_VAESENCLAST = 682;;
let _X86_INS_VAESENC = 683;;
let _X86_INS_VAESIMC = 684;;
let _X86_INS_VAESKEYGENASSIST = 685;;
let _X86_INS_VALIGND = 686;;
let _X86_INS_VALIGNQ = 687;;
let _X86_INS_VANDNPD = 688;;
let _X86_INS_VANDNPS = 689;;
let _X86_INS_VANDPD = 690;;
let _X86_INS_VANDPS = 691;;
let _X86_INS_VBLENDMPD = 692;;
let _X86_INS_VBLENDMPS = 693;;
let _X86_INS_VBLENDPD = 694;;
let _X86_INS_VBLENDPS = 695;;
let _X86_INS_VBLENDVPD = 696;;
let _X86_INS_VBLENDVPS = 697;;
let _X86_INS_VBROADCASTF128 = 698;;
let _X86_INS_VBROADCASTI128 = 699;;
let _X86_INS_VBROADCASTSD = 700;;
let _X86_INS_VBROADCASTSS = 701;;
let _X86_INS_VCMPPD = 702;;
let _X86_INS_VVCMPPD = 703;;
let _X86_INS_VCMPPS = 704;;
let _X86_INS_VVCMPPS = 705;;
let _X86_INS_VCVTDQ2PD = 706;;
let _X86_INS_VCVTDQ2PS = 707;;
let _X86_INS_VCVTPD2DQX = 708;;
let _X86_INS_VCVTPD2DQ = 709;;
let _X86_INS_VCVTPD2PSX = 710;;
let _X86_INS_VCVTPD2PS = 711;;
let _X86_INS_VCVTPH2PS = 712;;
let _X86_INS_VCVTPS2DQ = 713;;
let _X86_INS_VCVTPS2PD = 714;;
let _X86_INS_VCVTPS2PH = 715;;
let _X86_INS_VCVTSD2SI = 716;;
let _X86_INS_VCVTSS2SI = 717;;
let _X86_INS_VCVTTPD2DQX = 718;;
let _X86_INS_VCVTTPD2DQ = 719;;
let _X86_INS_VCVTTPD2UDQ = 720;;
let _X86_INS_VCVTTPS2DQ = 721;;
let _X86_INS_VCVTTPS2UDQ = 722;;
let _X86_INS_VCVTUDQ2PD = 723;;
let _X86_INS_VCVTUDQ2PS = 724;;
let _X86_INS_VDIVPD = 725;;
let _X86_INS_VDIVPS = 726;;
let _X86_INS_VDIVSD = 727;;
let _X86_INS_VDIVSS = 728;;
let _X86_INS_VDPPD = 729;;
let _X86_INS_VDPPS = 730;;
let _X86_INS_VERR = 731;;
let _X86_INS_VERW = 732;;
let _X86_INS_VEXTRACTF128 = 733;;
let _X86_INS_VEXTRACTF32X4 = 734;;
let _X86_INS_VEXTRACTF64X4 = 735;;
let _X86_INS_VEXTRACTI128 = 736;;
let _X86_INS_VEXTRACTI32X4 = 737;;
let _X86_INS_VEXTRACTI64X4 = 738;;
let _X86_INS_VEXTRACTPS = 739;;
let _X86_INS_VFMADD132PD = 740;;
let _X86_INS_VFMADD132PS = 741;;
let _X86_INS_VFMADD213PD = 742;;
let _X86_INS_VFMADD213PS = 743;;
let _X86_INS_VFMADDPD = 744;;
let _X86_INS_VFMADD231PD = 745;;
let _X86_INS_VFMADDPS = 746;;
let _X86_INS_VFMADD231PS = 747;;
let _X86_INS_VFMADDSD = 748;;
let _X86_INS_VFMADD213SD = 749;;
let _X86_INS_VFMADD132SD = 750;;
let _X86_INS_VFMADD231SD = 751;;
let _X86_INS_VFMADDSS = 752;;
let _X86_INS_VFMADD213SS = 753;;
let _X86_INS_VFMADD132SS = 754;;
let _X86_INS_VFMADD231SS = 755;;
let _X86_INS_VFMADDSUB132PD = 756;;
let _X86_INS_VFMADDSUB132PS = 757;;
let _X86_INS_VFMADDSUB213PD = 758;;
let _X86_INS_VFMADDSUB213PS = 759;;
let _X86_INS_VFMADDSUBPD = 760;;
let _X86_INS_VFMADDSUB231PD = 761;;
let _X86_INS_VFMADDSUBPS = 762;;
let _X86_INS_VFMADDSUB231PS = 763;;
let _X86_INS_VFMSUB132PD = 764;;
let _X86_INS_VFMSUB132PS = 765;;
let _X86_INS_VFMSUB213PD = 766;;
let _X86_INS_VFMSUB213PS = 767;;
let _X86_INS_VFMSUBADD132PD = 768;;
let _X86_INS_VFMSUBADD132PS = 769;;
let _X86_INS_VFMSUBADD213PD = 770;;
let _X86_INS_VFMSUBADD213PS = 771;;
let _X86_INS_VFMSUBADDPD = 772;;
let _X86_INS_VFMSUBADD231PD = 773;;
let _X86_INS_VFMSUBADDPS = 774;;
let _X86_INS_VFMSUBADD231PS = 775;;
let _X86_INS_VFMSUBPD = 776;;
let _X86_INS_VFMSUB231PD = 777;;
let _X86_INS_VFMSUBPS = 778;;
let _X86_INS_VFMSUB231PS = 779;;
let _X86_INS_VFMSUBSD = 780;;
let _X86_INS_VFMSUB213SD = 781;;
let _X86_INS_VFMSUB132SD = 782;;
let _X86_INS_VFMSUB231SD = 783;;
let _X86_INS_VFMSUBSS = 784;;
let _X86_INS_VFMSUB213SS = 785;;
let _X86_INS_VFMSUB132SS = 786;;
let _X86_INS_VFMSUB231SS = 787;;
let _X86_INS_VFNMADD132PD = 788;;
let _X86_INS_VFNMADD132PS = 789;;
let _X86_INS_VFNMADD213PD = 790;;
let _X86_INS_VFNMADD213PS = 791;;
let _X86_INS_VFNMADDPD = 792;;
let _X86_INS_VFNMADD231PD = 793;;
let _X86_INS_VFNMADDPS = 794;;
let _X86_INS_VFNMADD231PS = 795;;
let _X86_INS_VFNMADDSD = 796;;
let _X86_INS_VFNMADD213SD = 797;;
let _X86_INS_VFNMADD132SD = 798;;
let _X86_INS_VFNMADD231SD = 799;;
let _X86_INS_VFNMADDSS = 800;;
let _X86_INS_VFNMADD213SS = 801;;
let _X86_INS_VFNMADD132SS = 802;;
let _X86_INS_VFNMADD231SS = 803;;
let _X86_INS_VFNMSUB132PD = 804;;
let _X86_INS_VFNMSUB132PS = 805;;
let _X86_INS_VFNMSUB213PD = 806;;
let _X86_INS_VFNMSUB213PS = 807;;
let _X86_INS_VFNMSUBPD = 808;;
let _X86_INS_VFNMSUB231PD = 809;;
let _X86_INS_VFNMSUBPS = 810;;
let _X86_INS_VFNMSUB231PS = 811;;
let _X86_INS_VFNMSUBSD = 812;;
let _X86_INS_VFNMSUB213SD = 813;;
let _X86_INS_VFNMSUB132SD = 814;;
let _X86_INS_VFNMSUB231SD = 815;;
let _X86_INS_VFNMSUBSS = 816;;
let _X86_INS_VFNMSUB213SS = 817;;
let _X86_INS_VFNMSUB132SS = 818;;
let _X86_INS_VFNMSUB231SS = 819;;
let _X86_INS_VFRCZPD = 820;;
let _X86_INS_VFRCZPS = 821;;
let _X86_INS_VFRCZSD = 822;;
let _X86_INS_VFRCZSS = 823;;
let _X86_INS_VORPD = 824;;
let _X86_INS_VORPS = 825;;
let _X86_INS_VXORPD = 826;;
let _X86_INS_VXORPS = 827;;
let _X86_INS_VGATHERDPD = 828;;
let _X86_INS_VGATHERDPS = 829;;
let _X86_INS_VGATHERQPD = 830;;
let _X86_INS_VGATHERQPS = 831;;
let _X86_INS_VHADDPD = 832;;
let _X86_INS_VHADDPS = 833;;
let _X86_INS_VHSUBPD = 834;;
let _X86_INS_VHSUBPS = 835;;
let _X86_INS_VINSERTF128 = 836;;
let _X86_INS_VINSERTF32X4 = 837;;
let _X86_INS_VINSERTF64X4 = 838;;
let _X86_INS_VINSERTI128 = 839;;
let _X86_INS_VINSERTI32X4 = 840;;
let _X86_INS_VINSERTI64X4 = 841;;
let _X86_INS_VINSERTPS = 842;;
let _X86_INS_VLDDQU = 843;;
let _X86_INS_VLDMXCSR = 844;;
let _X86_INS_VMASKMOVDQU = 845;;
let _X86_INS_VMASKMOVPD = 846;;
let _X86_INS_VMASKMOVPS = 847;;
let _X86_INS_VMAXPD = 848;;
let _X86_INS_VMAXPS = 849;;
let _X86_INS_VMAXSD = 850;;
let _X86_INS_VMAXSS = 851;;
let _X86_INS_VMCALL = 852;;
let _X86_INS_VMCLEAR = 853;;
let _X86_INS_VMFUNC = 854;;
let _X86_INS_VMINPD = 855;;
let _X86_INS_VMINPS = 856;;
let _X86_INS_VMINSD = 857;;
let _X86_INS_VMINSS = 858;;
let _X86_INS_VMLAUNCH = 859;;
let _X86_INS_VMLOAD = 860;;
let _X86_INS_VMMCALL = 861;;
let _X86_INS_VMOVQ = 862;;
let _X86_INS_VVMOVQ = 863;;
let _X86_INS_VMOVDDUP = 864;;
let _X86_INS_VMOVD = 865;;
let _X86_INS_VMOVDQA32 = 866;;
let _X86_INS_VMOVDQA64 = 867;;
let _X86_INS_VMOVDQA = 868;;
let _X86_INS_VMOVDQU32 = 869;;
let _X86_INS_VMOVDQU64 = 870;;
let _X86_INS_VMOVDQU = 871;;
let _X86_INS_VMOVHLPS = 872;;
let _X86_INS_VMOVHPD = 873;;
let _X86_INS_VMOVHPS = 874;;
let _X86_INS_VMOVLHPS = 875;;
let _X86_INS_VMOVLPD = 876;;
let _X86_INS_VMOVLPS = 877;;
let _X86_INS_VMOVMSKPD = 878;;
let _X86_INS_VMOVMSKPS = 879;;
let _X86_INS_VMOVNTDQA = 880;;
let _X86_INS_VMOVNTDQ = 881;;
let _X86_INS_VMOVNTPD = 882;;
let _X86_INS_VMOVNTPS = 883;;
let _X86_INS_VMOVSD = 884;;
let _X86_INS_VMOVSHDUP = 885;;
let _X86_INS_VMOVSLDUP = 886;;
let _X86_INS_VMOVSS = 887;;
let _X86_INS_VMOVUPD = 888;;
let _X86_INS_VMOVUPS = 889;;
let _X86_INS_VMPSADBW = 890;;
let _X86_INS_VMPTRLD = 891;;
let _X86_INS_VMPTRST = 892;;
let _X86_INS_VMREAD = 893;;
let _X86_INS_VMRESUME = 894;;
let _X86_INS_VMRUN = 895;;
let _X86_INS_VMSAVE = 896;;
let _X86_INS_VMULPD = 897;;
let _X86_INS_VMULPS = 898;;
let _X86_INS_VMULSD = 899;;
let _X86_INS_VMULSS = 900;;
let _X86_INS_VMWRITE = 901;;
let _X86_INS_VMXOFF = 902;;
let _X86_INS_VMXON = 903;;
let _X86_INS_VPABSB = 904;;
let _X86_INS_VPABSD = 905;;
let _X86_INS_VPABSQ = 906;;
let _X86_INS_VPABSW = 907;;
let _X86_INS_VPACKSSDW = 908;;
let _X86_INS_VPACKSSWB = 909;;
let _X86_INS_VPACKUSDW = 910;;
let _X86_INS_VPACKUSWB = 911;;
let _X86_INS_VPADDB = 912;;
let _X86_INS_VPADDD = 913;;
let _X86_INS_VPADDQ = 914;;
let _X86_INS_VPADDSB = 915;;
let _X86_INS_VPADDSW = 916;;
let _X86_INS_VPADDUSB = 917;;
let _X86_INS_VPADDUSW = 918;;
let _X86_INS_VPADDW = 919;;
let _X86_INS_VPALIGNR = 920;;
let _X86_INS_VPANDD = 921;;
let _X86_INS_VPANDND = 922;;
let _X86_INS_VPANDNQ = 923;;
let _X86_INS_VPANDN = 924;;
let _X86_INS_VPANDQ = 925;;
let _X86_INS_VPAND = 926;;
let _X86_INS_VPAVGB = 927;;
let _X86_INS_VPAVGW = 928;;
let _X86_INS_VPBLENDD = 929;;
let _X86_INS_VPBLENDMD = 930;;
let _X86_INS_VPBLENDMQ = 931;;
let _X86_INS_VPBLENDVB = 932;;
let _X86_INS_VPBLENDW = 933;;
let _X86_INS_VPBROADCASTB = 934;;
let _X86_INS_VPBROADCASTD = 935;;
let _X86_INS_VPBROADCASTMB2Q = 936;;
let _X86_INS_VPBROADCASTMW2D = 937;;
let _X86_INS_VPBROADCASTQ = 938;;
let _X86_INS_VPBROADCASTW = 939;;
let _X86_INS_VPCLMULQDQ = 940;;
let _X86_INS_VPCMOV = 941;;
let _X86_INS_VPCMPD = 942;;
let _X86_INS_VPCMPEQB = 943;;
let _X86_INS_VPCMPEQD = 944;;
let _X86_INS_VPCMPEQQ = 945;;
let _X86_INS_VPCMPEQW = 946;;
let _X86_INS_VPCMPESTRI = 947;;
let _X86_INS_VPCMPESTRM = 948;;
let _X86_INS_VPCMPGTB = 949;;
let _X86_INS_VPCMPGTD = 950;;
let _X86_INS_VPCMPGTQ = 951;;
let _X86_INS_VPCMPGTW = 952;;
let _X86_INS_VPCMPISTRI = 953;;
let _X86_INS_VPCMPISTRM = 954;;
let _X86_INS_VPCMPQ = 955;;
let _X86_INS_VPCMPUD = 956;;
let _X86_INS_VPCMPUQ = 957;;
let _X86_INS_VPCOMB = 958;;
let _X86_INS_VPCOMD = 959;;
let _X86_INS_VPCOMQ = 960;;
let _X86_INS_VPCOMUB = 961;;
let _X86_INS_VPCOMUD = 962;;
let _X86_INS_VPCOMUQ = 963;;
let _X86_INS_VPCOMUW = 964;;
let _X86_INS_VPCOMW = 965;;
let _X86_INS_VPERM2F128 = 966;;
let _X86_INS_VPERM2I128 = 967;;
let _X86_INS_VPERMD = 968;;
let _X86_INS_VPERMI2D = 969;;
let _X86_INS_VPERMI2PD = 970;;
let _X86_INS_VPERMI2PS = 971;;
let _X86_INS_VPERMI2Q = 972;;
let _X86_INS_VPERMIL2PD = 973;;
let _X86_INS_VPERMIL2PS = 974;;
let _X86_INS_VPERMILPD = 975;;
let _X86_INS_VPERMILPS = 976;;
let _X86_INS_VPERMPD = 977;;
let _X86_INS_VPERMPS = 978;;
let _X86_INS_VPERMQ = 979;;
let _X86_INS_VPEXTRB = 980;;
let _X86_INS_VPEXTRD = 981;;
let _X86_INS_VPEXTRQ = 982;;
let _X86_INS_VPEXTRW = 983;;
let _X86_INS_VPGATHERDD = 984;;
let _X86_INS_VPGATHERDQ = 985;;
let _X86_INS_VPGATHERQD = 986;;
let _X86_INS_VPGATHERQQ = 987;;
let _X86_INS_VPHADDBD = 988;;
let _X86_INS_VPHADDBQ = 989;;
let _X86_INS_VPHADDBW = 990;;
let _X86_INS_VPHADDDQ = 991;;
let _X86_INS_VPHADDD = 992;;
let _X86_INS_VPHADDSW = 993;;
let _X86_INS_VPHADDUBD = 994;;
let _X86_INS_VPHADDUBQ = 995;;
let _X86_INS_VPHADDUBW = 996;;
let _X86_INS_VPHADDUDQ = 997;;
let _X86_INS_VPHADDUWD = 998;;
let _X86_INS_VPHADDUWQ = 999;;
let _X86_INS_VPHADDWD = 1000;;
let _X86_INS_VPHADDWQ = 1001;;
let _X86_INS_VPHADDW = 1002;;
let _X86_INS_VPHMINPOSUW = 1003;;
let _X86_INS_VPHSUBBW = 1004;;
let _X86_INS_VPHSUBDQ = 1005;;
let _X86_INS_VPHSUBD = 1006;;
let _X86_INS_VPHSUBSW = 1007;;
let _X86_INS_VPHSUBWD = 1008;;
let _X86_INS_VPHSUBW = 1009;;
let _X86_INS_VPINSRB = 1010;;
let _X86_INS_VPINSRD = 1011;;
let _X86_INS_VPINSRQ = 1012;;
let _X86_INS_VPINSRW = 1013;;
let _X86_INS_VPMACSDD = 1014;;
let _X86_INS_VPMACSDQH = 1015;;
let _X86_INS_VPMACSDQL = 1016;;
let _X86_INS_VPMACSSDD = 1017;;
let _X86_INS_VPMACSSDQH = 1018;;
let _X86_INS_VPMACSSDQL = 1019;;
let _X86_INS_VPMACSSWD = 1020;;
let _X86_INS_VPMACSSWW = 1021;;
let _X86_INS_VPMACSWD = 1022;;
let _X86_INS_VPMACSWW = 1023;;
let _X86_INS_VPMADCSSWD = 1024;;
let _X86_INS_VPMADCSWD = 1025;;
let _X86_INS_VPMADDUBSW = 1026;;
let _X86_INS_VPMADDWD = 1027;;
let _X86_INS_VPMASKMOVD = 1028;;
let _X86_INS_VPMASKMOVQ = 1029;;
let _X86_INS_VPMAXSB = 1030;;
let _X86_INS_VPMAXSD = 1031;;
let _X86_INS_VPMAXSW = 1032;;
let _X86_INS_VPMAXUB = 1033;;
let _X86_INS_VPMAXUD = 1034;;
let _X86_INS_VPMAXUW = 1035;;
let _X86_INS_VPMINSB = 1036;;
let _X86_INS_VPMINSD = 1037;;
let _X86_INS_VPMINSW = 1038;;
let _X86_INS_VPMINUB = 1039;;
let _X86_INS_VPMINUD = 1040;;
let _X86_INS_VPMINUW = 1041;;
let _X86_INS_VPMOVDB = 1042;;
let _X86_INS_VPMOVDW = 1043;;
let _X86_INS_VPMOVMSKB = 1044;;
let _X86_INS_VPMOVQB = 1045;;
let _X86_INS_VPMOVQD = 1046;;
let _X86_INS_VPMOVQW = 1047;;
let _X86_INS_VPMOVSDB = 1048;;
let _X86_INS_VPMOVSDW = 1049;;
let _X86_INS_VPMOVSQB = 1050;;
let _X86_INS_VPMOVSQD = 1051;;
let _X86_INS_VPMOVSQW = 1052;;
let _X86_INS_VPMOVSXBD = 1053;;
let _X86_INS_VPMOVSXBQ = 1054;;
let _X86_INS_VPMOVSXBW = 1055;;
let _X86_INS_VPMOVSXDQ = 1056;;
let _X86_INS_VPMOVSXWD = 1057;;
let _X86_INS_VPMOVSXWQ = 1058;;
let _X86_INS_VPMOVUSDB = 1059;;
let _X86_INS_VPMOVUSDW = 1060;;
let _X86_INS_VPMOVUSQB = 1061;;
let _X86_INS_VPMOVUSQD = 1062;;
let _X86_INS_VPMOVUSQW = 1063;;
let _X86_INS_VPMOVZXBD = 1064;;
let _X86_INS_VPMOVZXBQ = 1065;;
let _X86_INS_VPMOVZXBW = 1066;;
let _X86_INS_VPMOVZXDQ = 1067;;
let _X86_INS_VPMOVZXWD = 1068;;
let _X86_INS_VPMOVZXWQ = 1069;;
let _X86_INS_VPMULDQ = 1070;;
let _X86_INS_VPMULHRSW = 1071;;
let _X86_INS_VPMULHUW = 1072;;
let _X86_INS_VPMULHW = 1073;;
let _X86_INS_VPMULLD = 1074;;
let _X86_INS_VPMULLW = 1075;;
let _X86_INS_VPMULUDQ = 1076;;
let _X86_INS_VPORD = 1077;;
let _X86_INS_VPORQ = 1078;;
let _X86_INS_VPOR = 1079;;
let _X86_INS_VPPERM = 1080;;
let _X86_INS_VPROTB = 1081;;
let _X86_INS_VPROTD = 1082;;
let _X86_INS_VPROTQ = 1083;;
let _X86_INS_VPROTW = 1084;;
let _X86_INS_VPSADBW = 1085;;
let _X86_INS_VPSCATTERDD = 1086;;
let _X86_INS_VPSCATTERDQ = 1087;;
let _X86_INS_VPSCATTERQD = 1088;;
let _X86_INS_VPSCATTERQQ = 1089;;
let _X86_INS_VPSHAB = 1090;;
let _X86_INS_VPSHAD = 1091;;
let _X86_INS_VPSHAQ = 1092;;
let _X86_INS_VPSHAW = 1093;;
let _X86_INS_VPSHLB = 1094;;
let _X86_INS_VPSHLD = 1095;;
let _X86_INS_VPSHLQ = 1096;;
let _X86_INS_VPSHLW = 1097;;
let _X86_INS_VPSHUFB = 1098;;
let _X86_INS_VPSHUFD = 1099;;
let _X86_INS_VPSHUFHW = 1100;;
let _X86_INS_VPSHUFLW = 1101;;
let _X86_INS_VPSIGNB = 1102;;
let _X86_INS_VPSIGND = 1103;;
let _X86_INS_VPSIGNW = 1104;;
let _X86_INS_VPSLLDQ = 1105;;
let _X86_INS_VPSLLD = 1106;;
let _X86_INS_VPSLLQ = 1107;;
let _X86_INS_VPSLLVD = 1108;;
let _X86_INS_VPSLLVQ = 1109;;
let _X86_INS_VPSLLW = 1110;;
let _X86_INS_VPSRAD = 1111;;
let _X86_INS_VPSRAQ = 1112;;
let _X86_INS_VPSRAVD = 1113;;
let _X86_INS_VPSRAVQ = 1114;;
let _X86_INS_VPSRAW = 1115;;
let _X86_INS_VPSRLDQ = 1116;;
let _X86_INS_VPSRLD = 1117;;
let _X86_INS_VPSRLQ = 1118;;
let _X86_INS_VPSRLVD = 1119;;
let _X86_INS_VPSRLVQ = 1120;;
let _X86_INS_VPSRLW = 1121;;
let _X86_INS_VPSUBB = 1122;;
let _X86_INS_VPSUBD = 1123;;
let _X86_INS_VPSUBQ = 1124;;
let _X86_INS_VPSUBSB = 1125;;
let _X86_INS_VPSUBSW = 1126;;
let _X86_INS_VPSUBUSB = 1127;;
let _X86_INS_VPSUBUSW = 1128;;
let _X86_INS_VPSUBW = 1129;;
let _X86_INS_VPTESTMD = 1130;;
let _X86_INS_VPTESTMQ = 1131;;
let _X86_INS_VPTEST = 1132;;
let _X86_INS_VPUNPCKHBW = 1133;;
let _X86_INS_VPUNPCKHDQ = 1134;;
let _X86_INS_VPUNPCKHQDQ = 1135;;
let _X86_INS_VPUNPCKHWD = 1136;;
let _X86_INS_VPUNPCKLBW = 1137;;
let _X86_INS_VPUNPCKLDQ = 1138;;
let _X86_INS_VPUNPCKLQDQ = 1139;;
let _X86_INS_VPUNPCKLWD = 1140;;
let _X86_INS_VPXORD = 1141;;
let _X86_INS_VPXORQ = 1142;;
let _X86_INS_VPXOR = 1143;;
let _X86_INS_VRCP14PD = 1144;;
let _X86_INS_VRCP14PS = 1145;;
let _X86_INS_VRCP14SD = 1146;;
let _X86_INS_VRCP14SS = 1147;;
let _X86_INS_VRCPPS = 1148;;
let _X86_INS_VRCPSS = 1149;;
let _X86_INS_VRNDSCALESD = 1150;;
let _X86_INS_VRNDSCALESS = 1151;;
let _X86_INS_VRNDSCALEPD = 1152;;
let _X86_INS_VRNDSCALEPS = 1153;;
let _X86_INS_VROUNDPD = 1154;;
let _X86_INS_VROUNDPS = 1155;;
let _X86_INS_VROUNDSD = 1156;;
let _X86_INS_VROUNDSS = 1157;;
let _X86_INS_VRSQRT14PD = 1158;;
let _X86_INS_VRSQRT14PS = 1159;;
let _X86_INS_VRSQRT14SD = 1160;;
let _X86_INS_VRSQRT14SS = 1161;;
let _X86_INS_VRSQRTPS = 1162;;
let _X86_INS_VRSQRTSS = 1163;;
let _X86_INS_VSCATTERDPD = 1164;;
let _X86_INS_VSCATTERDPS = 1165;;
let _X86_INS_VSCATTERQPD = 1166;;
let _X86_INS_VSCATTERQPS = 1167;;
let _X86_INS_VSHUFPD = 1168;;
let _X86_INS_VSHUFPS = 1169;;
let _X86_INS_VSQRTPD = 1170;;
let _X86_INS_VSQRT = 1171;;
let _X86_INS_VSQRTPS = 1172;;
let _X86_INS_VSQRTSD = 1173;;
let _X86_INS_VSQRTSS = 1174;;
let _X86_INS_VSTMXCSR = 1175;;
let _X86_INS_VSUBPD = 1176;;
let _X86_INS_VSUBPS = 1177;;
let _X86_INS_VSUBSD = 1178;;
let _X86_INS_VSUBSS = 1179;;
let _X86_INS_VTESTPD = 1180;;
let _X86_INS_VTESTPS = 1181;;
let _X86_INS_VUNPCKHPD = 1182;;
let _X86_INS_VUNPCKHPS = 1183;;
let _X86_INS_VUNPCKLPD = 1184;;
let _X86_INS_VUNPCKLPS = 1185;;
let _X86_INS_VZEROALL = 1186;;
let _X86_INS_VZEROUPPER = 1187;;
let _X86_INS_WAIT = 1188;;
let _X86_INS_WBINVD = 1189;;
let _X86_INS_WRFSBASE = 1190;;
let _X86_INS_WRGSBASE = 1191;;
let _X86_INS_WRMSR = 1192;;
let _X86_INS_XABORT = 1193;;
let _X86_INS_XACQUIRE = 1194;;
let _X86_INS_XBEGIN = 1195;;
let _X86_INS_XCHG = 1196;;
let _X86_INS_FXCH = 1197;;
let _X86_INS_XCRYPTCBC = 1198;;
let _X86_INS_XCRYPTCFB = 1199;;
let _X86_INS_XCRYPTCTR = 1200;;
let _X86_INS_XCRYPTECB = 1201;;
let _X86_INS_XCRYPTOFB = 1202;;
let _X86_INS_XEND = 1203;;
let _X86_INS_XGETBV = 1204;;
let _X86_INS_XLATB = 1205;;
let _X86_INS_XRELEASE = 1206;;
let _X86_INS_XRSTOR = 1207;;
let _X86_INS_XRSTOR64 = 1208;;
let _X86_INS_XSAVE = 1209;;
let _X86_INS_XSAVE64 = 1210;;
let _X86_INS_XSAVEOPT = 1211;;
let _X86_INS_XSAVEOPT64 = 1212;;
let _X86_INS_XSETBV = 1213;;
let _X86_INS_XSHA1 = 1214;;
let _X86_INS_XSHA256 = 1215;;
let _X86_INS_XSTORE = 1216;;
let _X86_INS_XTEST = 1217;;

(* all Intel instruction groups *)
let _X86_GRP_INVALID = 0;;
let _X86_GRP_3DNOW = 1;;
let _X86_GRP_AES = 2;;
let _X86_GRP_ADX = 3;;
let _X86_GRP_AVX = 4;;
let _X86_GRP_AVX2 = 5;;
let _X86_GRP_AVX512 = 6;;
let _X86_GRP_BMI = 7;;
let _X86_GRP_BMI2 = 8;;
let _X86_GRP_CMOV = 9;;
let _X86_GRP_F16C = 10;;
let _X86_GRP_FMA = 11;;
let _X86_GRP_FMA4 = 12;;
let _X86_GRP_FSGSBASE = 13;;
let _X86_GRP_HLE = 14;;
let _X86_GRP_MMX = 15;;
let _X86_GRP_MODE32 = 16;;
let _X86_GRP_MODE64 = 17;;
let _X86_GRP_RTM = 18;;
let _X86_GRP_SHA = 19;;
let _X86_GRP_SSE1 = 20;;
let _X86_GRP_SSE2 = 21;;
let _X86_GRP_SSE3 = 22;;
let _X86_GRP_SSE41 = 23;;
let _X86_GRP_SSE42 = 24;;
let _X86_GRP_SSE4A = 25;;
let _X86_GRP_SSSE3 = 26;;
let _X86_GRP_PCLMUL = 27;;
let _X86_GRP_XOP = 28;;