1(* For Capstone Engine. AUTO-GENERATED FILE, DO NOT EDIT [evm_const.ml] *) 2 3let _EVM_INS_STOP = 0;; 4let _EVM_INS_ADD = 1;; 5let _EVM_INS_MUL = 2;; 6let _EVM_INS_SUB = 3;; 7let _EVM_INS_DIV = 4;; 8let _EVM_INS_SDIV = 5;; 9let _EVM_INS_MOD = 6;; 10let _EVM_INS_SMOD = 7;; 11let _EVM_INS_ADDMOD = 8;; 12let _EVM_INS_MULMOD = 9;; 13let _EVM_INS_EXP = 10;; 14let _EVM_INS_SIGNEXTEND = 11;; 15let _EVM_INS_LT = 16;; 16let _EVM_INS_GT = 17;; 17let _EVM_INS_SLT = 18;; 18let _EVM_INS_SGT = 19;; 19let _EVM_INS_EQ = 20;; 20let _EVM_INS_ISZERO = 21;; 21let _EVM_INS_AND = 22;; 22let _EVM_INS_OR = 23;; 23let _EVM_INS_XOR = 24;; 24let _EVM_INS_NOT = 25;; 25let _EVM_INS_BYTE = 26;; 26let _EVM_INS_SHA3 = 32;; 27let _EVM_INS_ADDRESS = 48;; 28let _EVM_INS_BALANCE = 49;; 29let _EVM_INS_ORIGIN = 50;; 30let _EVM_INS_CALLER = 51;; 31let _EVM_INS_CALLVALUE = 52;; 32let _EVM_INS_CALLDATALOAD = 53;; 33let _EVM_INS_CALLDATASIZE = 54;; 34let _EVM_INS_CALLDATACOPY = 55;; 35let _EVM_INS_CODESIZE = 56;; 36let _EVM_INS_CODECOPY = 57;; 37let _EVM_INS_GASPRICE = 58;; 38let _EVM_INS_EXTCODESIZE = 59;; 39let _EVM_INS_EXTCODECOPY = 60;; 40let _EVM_INS_RETURNDATASIZE = 61;; 41let _EVM_INS_RETURNDATACOPY = 62;; 42let _EVM_INS_BLOCKHASH = 64;; 43let _EVM_INS_COINBASE = 65;; 44let _EVM_INS_TIMESTAMP = 66;; 45let _EVM_INS_NUMBER = 67;; 46let _EVM_INS_DIFFICULTY = 68;; 47let _EVM_INS_GASLIMIT = 69;; 48let _EVM_INS_POP = 80;; 49let _EVM_INS_MLOAD = 81;; 50let _EVM_INS_MSTORE = 82;; 51let _EVM_INS_MSTORE8 = 83;; 52let _EVM_INS_SLOAD = 84;; 53let _EVM_INS_SSTORE = 85;; 54let _EVM_INS_JUMP = 86;; 55let _EVM_INS_JUMPI = 87;; 56let _EVM_INS_PC = 88;; 57let _EVM_INS_MSIZE = 89;; 58let _EVM_INS_GAS = 90;; 59let _EVM_INS_JUMPDEST = 91;; 60let _EVM_INS_PUSH1 = 96;; 61let _EVM_INS_PUSH2 = 97;; 62let _EVM_INS_PUSH3 = 98;; 63let _EVM_INS_PUSH4 = 99;; 64let _EVM_INS_PUSH5 = 100;; 65let _EVM_INS_PUSH6 = 101;; 66let _EVM_INS_PUSH7 = 102;; 67let _EVM_INS_PUSH8 = 103;; 68let _EVM_INS_PUSH9 = 104;; 69let _EVM_INS_PUSH10 = 105;; 70let _EVM_INS_PUSH11 = 106;; 71let _EVM_INS_PUSH12 = 107;; 72let _EVM_INS_PUSH13 = 108;; 73let _EVM_INS_PUSH14 = 109;; 74let _EVM_INS_PUSH15 = 110;; 75let _EVM_INS_PUSH16 = 111;; 76let _EVM_INS_PUSH17 = 112;; 77let _EVM_INS_PUSH18 = 113;; 78let _EVM_INS_PUSH19 = 114;; 79let _EVM_INS_PUSH20 = 115;; 80let _EVM_INS_PUSH21 = 116;; 81let _EVM_INS_PUSH22 = 117;; 82let _EVM_INS_PUSH23 = 118;; 83let _EVM_INS_PUSH24 = 119;; 84let _EVM_INS_PUSH25 = 120;; 85let _EVM_INS_PUSH26 = 121;; 86let _EVM_INS_PUSH27 = 122;; 87let _EVM_INS_PUSH28 = 123;; 88let _EVM_INS_PUSH29 = 124;; 89let _EVM_INS_PUSH30 = 125;; 90let _EVM_INS_PUSH31 = 126;; 91let _EVM_INS_PUSH32 = 127;; 92let _EVM_INS_DUP1 = 128;; 93let _EVM_INS_DUP2 = 129;; 94let _EVM_INS_DUP3 = 130;; 95let _EVM_INS_DUP4 = 131;; 96let _EVM_INS_DUP5 = 132;; 97let _EVM_INS_DUP6 = 133;; 98let _EVM_INS_DUP7 = 134;; 99let _EVM_INS_DUP8 = 135;; 100let _EVM_INS_DUP9 = 136;; 101let _EVM_INS_DUP10 = 137;; 102let _EVM_INS_DUP11 = 138;; 103let _EVM_INS_DUP12 = 139;; 104let _EVM_INS_DUP13 = 140;; 105let _EVM_INS_DUP14 = 141;; 106let _EVM_INS_DUP15 = 142;; 107let _EVM_INS_DUP16 = 143;; 108let _EVM_INS_SWAP1 = 144;; 109let _EVM_INS_SWAP2 = 145;; 110let _EVM_INS_SWAP3 = 146;; 111let _EVM_INS_SWAP4 = 147;; 112let _EVM_INS_SWAP5 = 148;; 113let _EVM_INS_SWAP6 = 149;; 114let _EVM_INS_SWAP7 = 150;; 115let _EVM_INS_SWAP8 = 151;; 116let _EVM_INS_SWAP9 = 152;; 117let _EVM_INS_SWAP10 = 153;; 118let _EVM_INS_SWAP11 = 154;; 119let _EVM_INS_SWAP12 = 155;; 120let _EVM_INS_SWAP13 = 156;; 121let _EVM_INS_SWAP14 = 157;; 122let _EVM_INS_SWAP15 = 158;; 123let _EVM_INS_SWAP16 = 159;; 124let _EVM_INS_LOG0 = 160;; 125let _EVM_INS_LOG1 = 161;; 126let _EVM_INS_LOG2 = 162;; 127let _EVM_INS_LOG3 = 163;; 128let _EVM_INS_LOG4 = 164;; 129let _EVM_INS_CREATE = 240;; 130let _EVM_INS_CALL = 241;; 131let _EVM_INS_CALLCODE = 242;; 132let _EVM_INS_RETURN = 243;; 133let _EVM_INS_DELEGATECALL = 244;; 134let _EVM_INS_CALLBLACKBOX = 245;; 135let _EVM_INS_STATICCALL = 250;; 136let _EVM_INS_REVERT = 253;; 137let _EVM_INS_SUICIDE = 255;; 138let _EVM_INS_INVALID = 512;; 139let _EVM_INS_ENDING = 513;; 140 141let _EVM_GRP_INVALID = 0;; 142let _EVM_GRP_JUMP = 1;; 143let _EVM_GRP_MATH = 8;; 144let _EVM_GRP_STACK_WRITE = 9;; 145let _EVM_GRP_STACK_READ = 10;; 146let _EVM_GRP_MEM_WRITE = 11;; 147let _EVM_GRP_MEM_READ = 12;; 148let _EVM_GRP_STORE_WRITE = 13;; 149let _EVM_GRP_STORE_READ = 14;; 150let _EVM_GRP_HALT = 15;; 151let _EVM_GRP_ENDING = 16;; 152