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