1(* For Capstone Engine. AUTO-GENERATED FILE, DO NOT EDIT [xcore_const.ml] *) 2 3(* Operand type for instruction's operands *) 4 5let _XCORE_OP_INVALID = 0;; 6let _XCORE_OP_REG = 1;; 7let _XCORE_OP_IMM = 2;; 8let _XCORE_OP_MEM = 3;; 9 10(* XCore registers *) 11 12let _XCORE_REG_INVALID = 0;; 13let _XCORE_REG_CP = 1;; 14let _XCORE_REG_DP = 2;; 15let _XCORE_REG_LR = 3;; 16let _XCORE_REG_SP = 4;; 17let _XCORE_REG_R0 = 5;; 18let _XCORE_REG_R1 = 6;; 19let _XCORE_REG_R2 = 7;; 20let _XCORE_REG_R3 = 8;; 21let _XCORE_REG_R4 = 9;; 22let _XCORE_REG_R5 = 10;; 23let _XCORE_REG_R6 = 11;; 24let _XCORE_REG_R7 = 12;; 25let _XCORE_REG_R8 = 13;; 26let _XCORE_REG_R9 = 14;; 27let _XCORE_REG_R10 = 15;; 28let _XCORE_REG_R11 = 16;; 29 30(* pseudo registers *) 31let _XCORE_REG_PC = 17;; 32let _XCORE_REG_SCP = 18;; 33let _XCORE_REG_SSR = 19;; 34let _XCORE_REG_ET = 20;; 35let _XCORE_REG_ED = 21;; 36let _XCORE_REG_SED = 22;; 37let _XCORE_REG_KEP = 23;; 38let _XCORE_REG_KSP = 24;; 39let _XCORE_REG_ID = 25;; 40let _XCORE_REG_ENDING = 26;; 41 42(* XCore instruction *) 43 44let _XCORE_INS_INVALID = 0;; 45let _XCORE_INS_ADD = 1;; 46let _XCORE_INS_ANDNOT = 2;; 47let _XCORE_INS_AND = 3;; 48let _XCORE_INS_ASHR = 4;; 49let _XCORE_INS_BAU = 5;; 50let _XCORE_INS_BITREV = 6;; 51let _XCORE_INS_BLA = 7;; 52let _XCORE_INS_BLAT = 8;; 53let _XCORE_INS_BL = 9;; 54let _XCORE_INS_BF = 10;; 55let _XCORE_INS_BT = 11;; 56let _XCORE_INS_BU = 12;; 57let _XCORE_INS_BRU = 13;; 58let _XCORE_INS_BYTEREV = 14;; 59let _XCORE_INS_CHKCT = 15;; 60let _XCORE_INS_CLRE = 16;; 61let _XCORE_INS_CLRPT = 17;; 62let _XCORE_INS_CLRSR = 18;; 63let _XCORE_INS_CLZ = 19;; 64let _XCORE_INS_CRC8 = 20;; 65let _XCORE_INS_CRC32 = 21;; 66let _XCORE_INS_DCALL = 22;; 67let _XCORE_INS_DENTSP = 23;; 68let _XCORE_INS_DGETREG = 24;; 69let _XCORE_INS_DIVS = 25;; 70let _XCORE_INS_DIVU = 26;; 71let _XCORE_INS_DRESTSP = 27;; 72let _XCORE_INS_DRET = 28;; 73let _XCORE_INS_ECALLF = 29;; 74let _XCORE_INS_ECALLT = 30;; 75let _XCORE_INS_EDU = 31;; 76let _XCORE_INS_EEF = 32;; 77let _XCORE_INS_EET = 33;; 78let _XCORE_INS_EEU = 34;; 79let _XCORE_INS_ENDIN = 35;; 80let _XCORE_INS_ENTSP = 36;; 81let _XCORE_INS_EQ = 37;; 82let _XCORE_INS_EXTDP = 38;; 83let _XCORE_INS_EXTSP = 39;; 84let _XCORE_INS_FREER = 40;; 85let _XCORE_INS_FREET = 41;; 86let _XCORE_INS_GETD = 42;; 87let _XCORE_INS_GET = 43;; 88let _XCORE_INS_GETN = 44;; 89let _XCORE_INS_GETR = 45;; 90let _XCORE_INS_GETSR = 46;; 91let _XCORE_INS_GETST = 47;; 92let _XCORE_INS_GETTS = 48;; 93let _XCORE_INS_INCT = 49;; 94let _XCORE_INS_INIT = 50;; 95let _XCORE_INS_INPW = 51;; 96let _XCORE_INS_INSHR = 52;; 97let _XCORE_INS_INT = 53;; 98let _XCORE_INS_IN = 54;; 99let _XCORE_INS_KCALL = 55;; 100let _XCORE_INS_KENTSP = 56;; 101let _XCORE_INS_KRESTSP = 57;; 102let _XCORE_INS_KRET = 58;; 103let _XCORE_INS_LADD = 59;; 104let _XCORE_INS_LD16S = 60;; 105let _XCORE_INS_LD8U = 61;; 106let _XCORE_INS_LDA16 = 62;; 107let _XCORE_INS_LDAP = 63;; 108let _XCORE_INS_LDAW = 64;; 109let _XCORE_INS_LDC = 65;; 110let _XCORE_INS_LDW = 66;; 111let _XCORE_INS_LDIVU = 67;; 112let _XCORE_INS_LMUL = 68;; 113let _XCORE_INS_LSS = 69;; 114let _XCORE_INS_LSUB = 70;; 115let _XCORE_INS_LSU = 71;; 116let _XCORE_INS_MACCS = 72;; 117let _XCORE_INS_MACCU = 73;; 118let _XCORE_INS_MJOIN = 74;; 119let _XCORE_INS_MKMSK = 75;; 120let _XCORE_INS_MSYNC = 76;; 121let _XCORE_INS_MUL = 77;; 122let _XCORE_INS_NEG = 78;; 123let _XCORE_INS_NOT = 79;; 124let _XCORE_INS_OR = 80;; 125let _XCORE_INS_OUTCT = 81;; 126let _XCORE_INS_OUTPW = 82;; 127let _XCORE_INS_OUTSHR = 83;; 128let _XCORE_INS_OUTT = 84;; 129let _XCORE_INS_OUT = 85;; 130let _XCORE_INS_PEEK = 86;; 131let _XCORE_INS_REMS = 87;; 132let _XCORE_INS_REMU = 88;; 133let _XCORE_INS_RETSP = 89;; 134let _XCORE_INS_SETCLK = 90;; 135let _XCORE_INS_SET = 91;; 136let _XCORE_INS_SETC = 92;; 137let _XCORE_INS_SETD = 93;; 138let _XCORE_INS_SETEV = 94;; 139let _XCORE_INS_SETN = 95;; 140let _XCORE_INS_SETPSC = 96;; 141let _XCORE_INS_SETPT = 97;; 142let _XCORE_INS_SETRDY = 98;; 143let _XCORE_INS_SETSR = 99;; 144let _XCORE_INS_SETTW = 100;; 145let _XCORE_INS_SETV = 101;; 146let _XCORE_INS_SEXT = 102;; 147let _XCORE_INS_SHL = 103;; 148let _XCORE_INS_SHR = 104;; 149let _XCORE_INS_SSYNC = 105;; 150let _XCORE_INS_ST16 = 106;; 151let _XCORE_INS_ST8 = 107;; 152let _XCORE_INS_STW = 108;; 153let _XCORE_INS_SUB = 109;; 154let _XCORE_INS_SYNCR = 110;; 155let _XCORE_INS_TESTCT = 111;; 156let _XCORE_INS_TESTLCL = 112;; 157let _XCORE_INS_TESTWCT = 113;; 158let _XCORE_INS_TSETMR = 114;; 159let _XCORE_INS_START = 115;; 160let _XCORE_INS_WAITEF = 116;; 161let _XCORE_INS_WAITET = 117;; 162let _XCORE_INS_WAITEU = 118;; 163let _XCORE_INS_XOR = 119;; 164let _XCORE_INS_ZEXT = 120;; 165let _XCORE_INS_ENDING = 121;; 166 167(* Group of XCore instructions *) 168 169let _XCORE_GRP_INVALID = 0;; 170 171(* Generic groups *) 172let _XCORE_GRP_JUMP = 1;; 173let _XCORE_GRP_ENDING = 2;; 174