(* Capstone Disassembler Engine
 * By Guillaume Jeanne <guillaume.jeanne@ensimag.fr>, 2014> *)


type ppc_op_mem = {
	base: int;
	displ: int;
}

type ppc_op = 
	| PPC_OP_INVALID of int
	| PPC_OP_REG of int
	| PPC_OP_IMM of int
	| PPC_OP_MEM of ppc_op_mem

type cs_ppc = { 
	bc: int;
	bh: int;
	update_cr0: bool;
	op_count: int;
	operands: ppc_op array;
}


(*  PPC branch codes for some branch instructions *)
let _PPC_BC_LT = (0 lsl 5) lor 12;;
let _PPC_BC_LE = (1 lsl 5) lor 4;;
let _PPC_BC_EQ = (2 lsl 5) lor 12;;
let _PPC_BC_GE = (0 lsl 5) lor 4;;
let _PPC_BC_GT = (1 lsl 5) lor 12;;
let _PPC_BC_NE = (2 lsl 5) lor 4;;
let _PPC_BC_UN = (3 lsl 5) lor 12;;
let _PPC_BC_NU = (3 lsl 5) lor 4;;
let _PPC_BC_LT_MINUS = (0 lsl 5) lor 14;;
let _PPC_BC_LE_MINUS = (1 lsl 5) lor 6;;
let _PPC_BC_EQ_MINUS = (2 lsl 5) lor 14;;
let _PPC_BC_GE_MINUS = (0 lsl 5) lor 6;;
let _PPC_BC_GT_MINUS = (1 lsl 5) lor 14;;
let _PPC_BC_NE_MINUS = (2 lsl 5) lor 6;;
let _PPC_BC_UN_MINUS = (3 lsl 5) lor 14;;
let _PPC_BC_NU_MINUS = (3 lsl 5) lor 6;;
let _PPC_BC_LT_PLUS = (0 lsl 5) lor 15;;
let _PPC_BC_LE_PLUS = (1 lsl 5) lor 7;;
let _PPC_BC_EQ_PLUS = (2 lsl 5) lor 15;;
let _PPC_BC_GE_PLUS = (0 lsl 5) lor 7;;
let _PPC_BC_GT_PLUS = (1 lsl 5) lor 15;;
let _PPC_BC_NE_PLUS = (2 lsl 5) lor 7;;
let _PPC_BC_UN_PLUS = (3 lsl 5) lor 15;;
let _PPC_BC_NU_PLUS = (3 lsl 5) lor 7;;

(*  PPC branch hint for some branch instructions *)

let _PPC_BH_NO = 0;;
let _PPC_BH_PLUS = 1;;
let _PPC_BH_MINUS = 2;;

(*  Operand type for instruction's operands *)

let _PPC_OP_INVALID = 0;;
let _PPC_OP_REG = 1;;
let _PPC_OP_IMM = 2;;
let _PPC_OP_MEM = 3;;

(*  PPC registers *)

let _PPC_REG_INVALID = 0;;
let _PPC_REG_CARRY = 1;;
let _PPC_REG_CR0 = 2;;
let _PPC_REG_CR1 = 3;;
let _PPC_REG_CR2 = 4;;
let _PPC_REG_CR3 = 5;;
let _PPC_REG_CR4 = 6;;
let _PPC_REG_CR5 = 7;;
let _PPC_REG_CR6 = 8;;
let _PPC_REG_CR7 = 9;;
let _PPC_REG_CR8 = 10;;
let _PPC_REG_CR9 = 11;;
let _PPC_REG_CR10 = 12;;
let _PPC_REG_CR11 = 13;;
let _PPC_REG_CR12 = 14;;
let _PPC_REG_CR13 = 15;;
let _PPC_REG_CR14 = 16;;
let _PPC_REG_CR15 = 17;;
let _PPC_REG_CR16 = 18;;
let _PPC_REG_CR17 = 19;;
let _PPC_REG_CR18 = 20;;
let _PPC_REG_CR19 = 21;;
let _PPC_REG_CR20 = 22;;
let _PPC_REG_CR21 = 23;;
let _PPC_REG_CR22 = 24;;
let _PPC_REG_CR23 = 25;;
let _PPC_REG_CR24 = 26;;
let _PPC_REG_CR25 = 27;;
let _PPC_REG_CR26 = 28;;
let _PPC_REG_CR27 = 29;;
let _PPC_REG_CR28 = 30;;
let _PPC_REG_CR29 = 31;;
let _PPC_REG_CR30 = 32;;
let _PPC_REG_CR31 = 33;;
let _PPC_REG_CTR = 34;;
let _PPC_REG_F0 = 35;;
let _PPC_REG_F1 = 36;;
let _PPC_REG_F2 = 37;;
let _PPC_REG_F3 = 38;;
let _PPC_REG_F4 = 39;;
let _PPC_REG_F5 = 40;;
let _PPC_REG_F6 = 41;;
let _PPC_REG_F7 = 42;;
let _PPC_REG_F8 = 43;;
let _PPC_REG_F9 = 44;;
let _PPC_REG_F10 = 45;;
let _PPC_REG_F11 = 46;;
let _PPC_REG_F12 = 47;;
let _PPC_REG_F13 = 48;;
let _PPC_REG_F14 = 49;;
let _PPC_REG_F15 = 50;;
let _PPC_REG_F16 = 51;;
let _PPC_REG_F17 = 52;;
let _PPC_REG_F18 = 53;;
let _PPC_REG_F19 = 54;;
let _PPC_REG_F20 = 55;;
let _PPC_REG_F21 = 56;;
let _PPC_REG_F22 = 57;;
let _PPC_REG_F23 = 58;;
let _PPC_REG_F24 = 59;;
let _PPC_REG_F25 = 60;;
let _PPC_REG_F26 = 61;;
let _PPC_REG_F27 = 62;;
let _PPC_REG_F28 = 63;;
let _PPC_REG_F29 = 64;;
let _PPC_REG_F30 = 65;;
let _PPC_REG_F31 = 66;;
let _PPC_REG_LR = 67;;
let _PPC_REG_R0 = 68;;
let _PPC_REG_R1 = 69;;
let _PPC_REG_R2 = 70;;
let _PPC_REG_R3 = 71;;
let _PPC_REG_R4 = 72;;
let _PPC_REG_R5 = 73;;
let _PPC_REG_R6 = 74;;
let _PPC_REG_R7 = 75;;
let _PPC_REG_R8 = 76;;
let _PPC_REG_R9 = 77;;
let _PPC_REG_R10 = 78;;
let _PPC_REG_R11 = 79;;
let _PPC_REG_R12 = 80;;
let _PPC_REG_R13 = 81;;
let _PPC_REG_R14 = 82;;
let _PPC_REG_R15 = 83;;
let _PPC_REG_R16 = 84;;
let _PPC_REG_R17 = 85;;
let _PPC_REG_R18 = 86;;
let _PPC_REG_R19 = 87;;
let _PPC_REG_R20 = 88;;
let _PPC_REG_R21 = 89;;
let _PPC_REG_R22 = 90;;
let _PPC_REG_R23 = 91;;
let _PPC_REG_R24 = 92;;
let _PPC_REG_R25 = 93;;
let _PPC_REG_R26 = 94;;
let _PPC_REG_R27 = 95;;
let _PPC_REG_R28 = 96;;
let _PPC_REG_R29 = 97;;
let _PPC_REG_R30 = 98;;
let _PPC_REG_R31 = 99;;
let _PPC_REG_V0 = 100;;
let _PPC_REG_V1 = 101;;
let _PPC_REG_V2 = 102;;
let _PPC_REG_V3 = 103;;
let _PPC_REG_V4 = 104;;
let _PPC_REG_V5 = 105;;
let _PPC_REG_V6 = 106;;
let _PPC_REG_V7 = 107;;
let _PPC_REG_V8 = 108;;
let _PPC_REG_V9 = 109;;
let _PPC_REG_V10 = 110;;
let _PPC_REG_V11 = 111;;
let _PPC_REG_V12 = 112;;
let _PPC_REG_V13 = 113;;
let _PPC_REG_V14 = 114;;
let _PPC_REG_V15 = 115;;
let _PPC_REG_V16 = 116;;
let _PPC_REG_V17 = 117;;
let _PPC_REG_V18 = 118;;
let _PPC_REG_V19 = 119;;
let _PPC_REG_V20 = 120;;
let _PPC_REG_V21 = 121;;
let _PPC_REG_V22 = 122;;
let _PPC_REG_V23 = 123;;
let _PPC_REG_V24 = 124;;
let _PPC_REG_V25 = 125;;
let _PPC_REG_V26 = 126;;
let _PPC_REG_V27 = 127;;
let _PPC_REG_V28 = 128;;
let _PPC_REG_V29 = 129;;
let _PPC_REG_V30 = 130;;
let _PPC_REG_V31 = 131;;
let _PPC_REG_VRSAVE = 132;;
let _PPC_REG_RM = 133;;
let _PPC_REG_CTR8 = 134;;
let _PPC_REG_LR8 = 135;;
let _PPC_REG_CR1EQ = 136;;
let _PPC_REG_MAX = 137;;

(*  PPC instruction *)

let _PPC_INS_INVALID = 0;;
let _PPC_INS_ADD = 1;;
let _PPC_INS_ADDC = 2;;
let _PPC_INS_ADDE = 3;;
let _PPC_INS_ADDI = 4;;
let _PPC_INS_ADDIC = 5;;
let _PPC_INS_ADDIS = 6;;
let _PPC_INS_ADDME = 7;;
let _PPC_INS_ADDZE = 8;;
let _PPC_INS_AND = 9;;
let _PPC_INS_ANDC = 10;;
let _PPC_INS_ANDIS = 11;;
let _PPC_INS_ANDI = 12;;
let _PPC_INS_B = 13;;
let _PPC_INS_BA = 14;;
let _PPC_INS_BCL = 15;;
let _PPC_INS_BCTR = 16;;
let _PPC_INS_BCTRL = 17;;
let _PPC_INS_BDNZ = 18;;
let _PPC_INS_BDNZA = 19;;
let _PPC_INS_BDNZL = 20;;
let _PPC_INS_BDNZLA = 21;;
let _PPC_INS_BDNZLR = 22;;
let _PPC_INS_BDNZLRL = 23;;
let _PPC_INS_BDZ = 24;;
let _PPC_INS_BDZA = 25;;
let _PPC_INS_BDZL = 26;;
let _PPC_INS_BDZLA = 27;;
let _PPC_INS_BDZLR = 28;;
let _PPC_INS_BDZLRL = 29;;
let _PPC_INS_BL = 30;;
let _PPC_INS_BLA = 31;;
let _PPC_INS_BLR = 32;;
let _PPC_INS_BLRL = 33;;
let _PPC_INS_CMPD = 34;;
let _PPC_INS_CMPDI = 35;;
let _PPC_INS_CMPLD = 36;;
let _PPC_INS_CMPLDI = 37;;
let _PPC_INS_CMPLW = 38;;
let _PPC_INS_CMPLWI = 39;;
let _PPC_INS_CMPW = 40;;
let _PPC_INS_CMPWI = 41;;
let _PPC_INS_CNTLZD = 42;;
let _PPC_INS_CNTLZW = 43;;
let _PPC_INS_CREQV = 44;;
let _PPC_INS_CRXOR = 45;;
let _PPC_INS_CRAND = 46;;
let _PPC_INS_CRANDC = 47;;
let _PPC_INS_CRNAND = 48;;
let _PPC_INS_CRNOR = 49;;
let _PPC_INS_CROR = 50;;
let _PPC_INS_CRORC = 51;;
let _PPC_INS_DCBA = 52;;
let _PPC_INS_DCBF = 53;;
let _PPC_INS_DCBI = 54;;
let _PPC_INS_DCBST = 55;;
let _PPC_INS_DCBT = 56;;
let _PPC_INS_DCBTST = 57;;
let _PPC_INS_DCBZ = 58;;
let _PPC_INS_DCBZL = 59;;
let _PPC_INS_DIVD = 60;;
let _PPC_INS_DIVDU = 61;;
let _PPC_INS_DIVW = 62;;
let _PPC_INS_DIVWU = 63;;
let _PPC_INS_DSS = 64;;
let _PPC_INS_DSSALL = 65;;
let _PPC_INS_DST = 66;;
let _PPC_INS_DSTST = 67;;
let _PPC_INS_DSTSTT = 68;;
let _PPC_INS_DSTT = 69;;
let _PPC_INS_EIEIO = 70;;
let _PPC_INS_EQV = 71;;
let _PPC_INS_EXTSB = 72;;
let _PPC_INS_EXTSH = 73;;
let _PPC_INS_EXTSW = 74;;
let _PPC_INS_FABS = 75;;
let _PPC_INS_FADD = 76;;
let _PPC_INS_FADDS = 77;;
let _PPC_INS_FCFID = 78;;
let _PPC_INS_FCFIDS = 79;;
let _PPC_INS_FCFIDU = 80;;
let _PPC_INS_FCFIDUS = 81;;
let _PPC_INS_FCMPU = 82;;
let _PPC_INS_FCPSGN = 83;;
let _PPC_INS_FCTID = 84;;
let _PPC_INS_FCTIDUZ = 85;;
let _PPC_INS_FCTIDZ = 86;;
let _PPC_INS_FCTIW = 87;;
let _PPC_INS_FCTIWUZ = 88;;
let _PPC_INS_FCTIWZ = 89;;
let _PPC_INS_FDIV = 90;;
let _PPC_INS_FDIVS = 91;;
let _PPC_INS_FMADD = 92;;
let _PPC_INS_FMADDS = 93;;
let _PPC_INS_FMR = 94;;
let _PPC_INS_FMSUB = 95;;
let _PPC_INS_FMSUBS = 96;;
let _PPC_INS_FMUL = 97;;
let _PPC_INS_FMULS = 98;;
let _PPC_INS_FNABS = 99;;
let _PPC_INS_FNEG = 100;;
let _PPC_INS_FNMADD = 101;;
let _PPC_INS_FNMADDS = 102;;
let _PPC_INS_FNMSUB = 103;;
let _PPC_INS_FNMSUBS = 104;;
let _PPC_INS_FRE = 105;;
let _PPC_INS_FRES = 106;;
let _PPC_INS_FRIM = 107;;
let _PPC_INS_FRIN = 108;;
let _PPC_INS_FRIP = 109;;
let _PPC_INS_FRIZ = 110;;
let _PPC_INS_FRSP = 111;;
let _PPC_INS_FRSQRTE = 112;;
let _PPC_INS_FRSQRTES = 113;;
let _PPC_INS_FSEL = 114;;
let _PPC_INS_FSQRT = 115;;
let _PPC_INS_FSQRTS = 116;;
let _PPC_INS_FSUB = 117;;
let _PPC_INS_FSUBS = 118;;
let _PPC_INS_ICBI = 119;;
let _PPC_INS_ISEL = 120;;
let _PPC_INS_ISYNC = 121;;
let _PPC_INS_LA = 122;;
let _PPC_INS_LBZ = 123;;
let _PPC_INS_LBZU = 124;;
let _PPC_INS_LBZUX = 125;;
let _PPC_INS_LBZX = 126;;
let _PPC_INS_LD = 127;;
let _PPC_INS_LDARX = 128;;
let _PPC_INS_LDBRX = 129;;
let _PPC_INS_LDU = 130;;
let _PPC_INS_LDUX = 131;;
let _PPC_INS_LDX = 132;;
let _PPC_INS_LFD = 133;;
let _PPC_INS_LFDU = 134;;
let _PPC_INS_LFDUX = 135;;
let _PPC_INS_LFDX = 136;;
let _PPC_INS_LFIWAX = 137;;
let _PPC_INS_LFIWZX = 138;;
let _PPC_INS_LFS = 139;;
let _PPC_INS_LFSU = 140;;
let _PPC_INS_LFSUX = 141;;
let _PPC_INS_LFSX = 142;;
let _PPC_INS_LHA = 143;;
let _PPC_INS_LHAU = 144;;
let _PPC_INS_LHAUX = 145;;
let _PPC_INS_LHAX = 146;;
let _PPC_INS_LHBRX = 147;;
let _PPC_INS_LHZ = 148;;
let _PPC_INS_LHZU = 149;;
let _PPC_INS_LHZUX = 150;;
let _PPC_INS_LHZX = 151;;
let _PPC_INS_LI = 152;;
let _PPC_INS_LIS = 153;;
let _PPC_INS_LMW = 154;;
let _PPC_INS_LVEBX = 155;;
let _PPC_INS_LVEHX = 156;;
let _PPC_INS_LVEWX = 157;;
let _PPC_INS_LVSL = 158;;
let _PPC_INS_LVSR = 159;;
let _PPC_INS_LVX = 160;;
let _PPC_INS_LVXL = 161;;
let _PPC_INS_LWA = 162;;
let _PPC_INS_LWARX = 163;;
let _PPC_INS_LWAUX = 164;;
let _PPC_INS_LWAX = 165;;
let _PPC_INS_LWBRX = 166;;
let _PPC_INS_LWZ = 167;;
let _PPC_INS_LWZU = 168;;
let _PPC_INS_LWZUX = 169;;
let _PPC_INS_LWZX = 170;;
let _PPC_INS_MCRF = 171;;
let _PPC_INS_MFCR = 172;;
let _PPC_INS_MFCTR = 173;;
let _PPC_INS_MFFS = 174;;
let _PPC_INS_MFLR = 175;;
let _PPC_INS_MFMSR = 176;;
let _PPC_INS_MFOCRF = 177;;
let _PPC_INS_MFSPR = 178;;
let _PPC_INS_MFTB = 179;;
let _PPC_INS_MFVSCR = 180;;
let _PPC_INS_MSYNC = 181;;
let _PPC_INS_MTCRF = 182;;
let _PPC_INS_MTCTR = 183;;
let _PPC_INS_MTFSB0 = 184;;
let _PPC_INS_MTFSB1 = 185;;
let _PPC_INS_MTFSF = 186;;
let _PPC_INS_MTLR = 187;;
let _PPC_INS_MTMSR = 188;;
let _PPC_INS_MTMSRD = 189;;
let _PPC_INS_MTOCRF = 190;;
let _PPC_INS_MTSPR = 191;;
let _PPC_INS_MTVSCR = 192;;
let _PPC_INS_MULHD = 193;;
let _PPC_INS_MULHDU = 194;;
let _PPC_INS_MULHW = 195;;
let _PPC_INS_MULHWU = 196;;
let _PPC_INS_MULLD = 197;;
let _PPC_INS_MULLI = 198;;
let _PPC_INS_MULLW = 199;;
let _PPC_INS_NAND = 200;;
let _PPC_INS_NEG = 201;;
let _PPC_INS_NOP = 202;;
let _PPC_INS_ORI = 203;;
let _PPC_INS_NOR = 204;;
let _PPC_INS_OR = 205;;
let _PPC_INS_ORC = 206;;
let _PPC_INS_ORIS = 207;;
let _PPC_INS_POPCNTD = 208;;
let _PPC_INS_POPCNTW = 209;;
let _PPC_INS_RLDCL = 210;;
let _PPC_INS_RLDCR = 211;;
let _PPC_INS_RLDIC = 212;;
let _PPC_INS_RLDICL = 213;;
let _PPC_INS_RLDICR = 214;;
let _PPC_INS_RLDIMI = 215;;
let _PPC_INS_RLWIMI = 216;;
let _PPC_INS_RLWINM = 217;;
let _PPC_INS_RLWNM = 218;;
let _PPC_INS_SC = 219;;
let _PPC_INS_SLBIA = 220;;
let _PPC_INS_SLBIE = 221;;
let _PPC_INS_SLBMFEE = 222;;
let _PPC_INS_SLBMTE = 223;;
let _PPC_INS_SLD = 224;;
let _PPC_INS_SLW = 225;;
let _PPC_INS_SRAD = 226;;
let _PPC_INS_SRADI = 227;;
let _PPC_INS_SRAW = 228;;
let _PPC_INS_SRAWI = 229;;
let _PPC_INS_SRD = 230;;
let _PPC_INS_SRW = 231;;
let _PPC_INS_STB = 232;;
let _PPC_INS_STBU = 233;;
let _PPC_INS_STBUX = 234;;
let _PPC_INS_STBX = 235;;
let _PPC_INS_STD = 236;;
let _PPC_INS_STDBRX = 237;;
let _PPC_INS_STDCX = 238;;
let _PPC_INS_STDU = 239;;
let _PPC_INS_STDUX = 240;;
let _PPC_INS_STDX = 241;;
let _PPC_INS_STFD = 242;;
let _PPC_INS_STFDU = 243;;
let _PPC_INS_STFDUX = 244;;
let _PPC_INS_STFDX = 245;;
let _PPC_INS_STFIWX = 246;;
let _PPC_INS_STFS = 247;;
let _PPC_INS_STFSU = 248;;
let _PPC_INS_STFSUX = 249;;
let _PPC_INS_STFSX = 250;;
let _PPC_INS_STH = 251;;
let _PPC_INS_STHBRX = 252;;
let _PPC_INS_STHU = 253;;
let _PPC_INS_STHUX = 254;;
let _PPC_INS_STHX = 255;;
let _PPC_INS_STMW = 256;;
let _PPC_INS_STVEBX = 257;;
let _PPC_INS_STVEHX = 258;;
let _PPC_INS_STVEWX = 259;;
let _PPC_INS_STVX = 260;;
let _PPC_INS_STVXL = 261;;
let _PPC_INS_STW = 262;;
let _PPC_INS_STWBRX = 263;;
let _PPC_INS_STWCX = 264;;
let _PPC_INS_STWU = 265;;
let _PPC_INS_STWUX = 266;;
let _PPC_INS_STWX = 267;;
let _PPC_INS_SUBF = 268;;
let _PPC_INS_SUBFC = 269;;
let _PPC_INS_SUBFE = 270;;
let _PPC_INS_SUBFIC = 271;;
let _PPC_INS_SUBFME = 272;;
let _PPC_INS_SUBFZE = 273;;
let _PPC_INS_SYNC = 274;;
let _PPC_INS_TD = 275;;
let _PPC_INS_TDI = 276;;
let _PPC_INS_TLBIE = 277;;
let _PPC_INS_TLBIEL = 278;;
let _PPC_INS_TLBSYNC = 279;;
let _PPC_INS_TRAP = 280;;
let _PPC_INS_TW = 281;;
let _PPC_INS_TWI = 282;;
let _PPC_INS_VADDCUW = 283;;
let _PPC_INS_VADDFP = 284;;
let _PPC_INS_VADDSBS = 285;;
let _PPC_INS_VADDSHS = 286;;
let _PPC_INS_VADDSWS = 287;;
let _PPC_INS_VADDUBM = 288;;
let _PPC_INS_VADDUBS = 289;;
let _PPC_INS_VADDUHM = 290;;
let _PPC_INS_VADDUHS = 291;;
let _PPC_INS_VADDUWM = 292;;
let _PPC_INS_VADDUWS = 293;;
let _PPC_INS_VAND = 294;;
let _PPC_INS_VANDC = 295;;
let _PPC_INS_VAVGSB = 296;;
let _PPC_INS_VAVGSH = 297;;
let _PPC_INS_VAVGSW = 298;;
let _PPC_INS_VAVGUB = 299;;
let _PPC_INS_VAVGUH = 300;;
let _PPC_INS_VAVGUW = 301;;
let _PPC_INS_VCFSX = 302;;
let _PPC_INS_VCFUX = 303;;
let _PPC_INS_VCMPBFP = 304;;
let _PPC_INS_VCMPEQFP = 305;;
let _PPC_INS_VCMPEQUB = 306;;
let _PPC_INS_VCMPEQUH = 307;;
let _PPC_INS_VCMPEQUW = 308;;
let _PPC_INS_VCMPGEFP = 309;;
let _PPC_INS_VCMPGTFP = 310;;
let _PPC_INS_VCMPGTSB = 311;;
let _PPC_INS_VCMPGTSH = 312;;
let _PPC_INS_VCMPGTSW = 313;;
let _PPC_INS_VCMPGTUB = 314;;
let _PPC_INS_VCMPGTUH = 315;;
let _PPC_INS_VCMPGTUW = 316;;
let _PPC_INS_VCTSXS = 317;;
let _PPC_INS_VCTUXS = 318;;
let _PPC_INS_VEXPTEFP = 319;;
let _PPC_INS_VLOGEFP = 320;;
let _PPC_INS_VMADDFP = 321;;
let _PPC_INS_VMAXFP = 322;;
let _PPC_INS_VMAXSB = 323;;
let _PPC_INS_VMAXSH = 324;;
let _PPC_INS_VMAXSW = 325;;
let _PPC_INS_VMAXUB = 326;;
let _PPC_INS_VMAXUH = 327;;
let _PPC_INS_VMAXUW = 328;;
let _PPC_INS_VMHADDSHS = 329;;
let _PPC_INS_VMHRADDSHS = 330;;
let _PPC_INS_VMINFP = 331;;
let _PPC_INS_VMINSB = 332;;
let _PPC_INS_VMINSH = 333;;
let _PPC_INS_VMINSW = 334;;
let _PPC_INS_VMINUB = 335;;
let _PPC_INS_VMINUH = 336;;
let _PPC_INS_VMINUW = 337;;
let _PPC_INS_VMLADDUHM = 338;;
let _PPC_INS_VMRGHB = 339;;
let _PPC_INS_VMRGHH = 340;;
let _PPC_INS_VMRGHW = 341;;
let _PPC_INS_VMRGLB = 342;;
let _PPC_INS_VMRGLH = 343;;
let _PPC_INS_VMRGLW = 344;;
let _PPC_INS_VMSUMMBM = 345;;
let _PPC_INS_VMSUMSHM = 346;;
let _PPC_INS_VMSUMSHS = 347;;
let _PPC_INS_VMSUMUBM = 348;;
let _PPC_INS_VMSUMUHM = 349;;
let _PPC_INS_VMSUMUHS = 350;;
let _PPC_INS_VMULESB = 351;;
let _PPC_INS_VMULESH = 352;;
let _PPC_INS_VMULEUB = 353;;
let _PPC_INS_VMULEUH = 354;;
let _PPC_INS_VMULOSB = 355;;
let _PPC_INS_VMULOSH = 356;;
let _PPC_INS_VMULOUB = 357;;
let _PPC_INS_VMULOUH = 358;;
let _PPC_INS_VNMSUBFP = 359;;
let _PPC_INS_VNOR = 360;;
let _PPC_INS_VOR = 361;;
let _PPC_INS_VPERM = 362;;
let _PPC_INS_VPKPX = 363;;
let _PPC_INS_VPKSHSS = 364;;
let _PPC_INS_VPKSHUS = 365;;
let _PPC_INS_VPKSWSS = 366;;
let _PPC_INS_VPKSWUS = 367;;
let _PPC_INS_VPKUHUM = 368;;
let _PPC_INS_VPKUHUS = 369;;
let _PPC_INS_VPKUWUM = 370;;
let _PPC_INS_VPKUWUS = 371;;
let _PPC_INS_VREFP = 372;;
let _PPC_INS_VRFIM = 373;;
let _PPC_INS_VRFIN = 374;;
let _PPC_INS_VRFIP = 375;;
let _PPC_INS_VRFIZ = 376;;
let _PPC_INS_VRLB = 377;;
let _PPC_INS_VRLH = 378;;
let _PPC_INS_VRLW = 379;;
let _PPC_INS_VRSQRTEFP = 380;;
let _PPC_INS_VSEL = 381;;
let _PPC_INS_VSL = 382;;
let _PPC_INS_VSLB = 383;;
let _PPC_INS_VSLDOI = 384;;
let _PPC_INS_VSLH = 385;;
let _PPC_INS_VSLO = 386;;
let _PPC_INS_VSLW = 387;;
let _PPC_INS_VSPLTB = 388;;
let _PPC_INS_VSPLTH = 389;;
let _PPC_INS_VSPLTISB = 390;;
let _PPC_INS_VSPLTISH = 391;;
let _PPC_INS_VSPLTISW = 392;;
let _PPC_INS_VSPLTW = 393;;
let _PPC_INS_VSR = 394;;
let _PPC_INS_VSRAB = 395;;
let _PPC_INS_VSRAH = 396;;
let _PPC_INS_VSRAW = 397;;
let _PPC_INS_VSRB = 398;;
let _PPC_INS_VSRH = 399;;
let _PPC_INS_VSRO = 400;;
let _PPC_INS_VSRW = 401;;
let _PPC_INS_VSUBCUW = 402;;
let _PPC_INS_VSUBFP = 403;;
let _PPC_INS_VSUBSBS = 404;;
let _PPC_INS_VSUBSHS = 405;;
let _PPC_INS_VSUBSWS = 406;;
let _PPC_INS_VSUBUBM = 407;;
let _PPC_INS_VSUBUBS = 408;;
let _PPC_INS_VSUBUHM = 409;;
let _PPC_INS_VSUBUHS = 410;;
let _PPC_INS_VSUBUWM = 411;;
let _PPC_INS_VSUBUWS = 412;;
let _PPC_INS_VSUM2SWS = 413;;
let _PPC_INS_VSUM4SBS = 414;;
let _PPC_INS_VSUM4SHS = 415;;
let _PPC_INS_VSUM4UBS = 416;;
let _PPC_INS_VSUMSWS = 417;;
let _PPC_INS_VUPKHPX = 418;;
let _PPC_INS_VUPKHSB = 419;;
let _PPC_INS_VUPKHSH = 420;;
let _PPC_INS_VUPKLPX = 421;;
let _PPC_INS_VUPKLSB = 422;;
let _PPC_INS_VUPKLSH = 423;;
let _PPC_INS_VXOR = 424;;
let _PPC_INS_WAIT = 425;;
let _PPC_INS_XOR = 426;;
let _PPC_INS_XORI = 427;;
let _PPC_INS_XORIS = 428;;
let _PPC_INS_BC = 429;;
let _PPC_INS_BCA = 430;;
let _PPC_INS_BCCTR = 431;;
let _PPC_INS_BCCTRL = 432;;
let _PPC_INS_BCLA = 433;;
let _PPC_INS_BCLR = 434;;
let _PPC_INS_BCLRL = 435;;
let _PPC_INS_MAX = 436;;

(*  Group of PPC instructions *)

let _PPC_GRP_INVALID = 0;;
let _PPC_GRP_ALTIVEC = 1;;
let _PPC_GRP_MODE32 = 2;;
let _PPC_GRP_MODE64 = 3;;
let _PPC_GRP_BOOKE = 4;;
let _PPC_GRP_NOTBOOKE = 5;;
let _PPC_GRP_JUMP = 6;;
let _PPC_GRP_MAX = 7;;