| """ | |
| opcode module - potentially shared between dis and other modules which | |
| operate on bytecodes (e.g. peephole optimizers). | |
| """ | |
| __all__ = ["cmp_op", "hasconst", "hasname", "hasjrel", "hasjabs", | |
| "haslocal", "hascompare", "hasfree", "opname", "opmap", | |
| "HAVE_ARGUMENT", "EXTENDED_ARG", "hasnargs"] | |
| # It's a chicken-and-egg I'm afraid: | |
| # We're imported before _opcode's made. | |
| # With exception unheeded | |
| # (stack_effect is not needed) | |
| # Both our chickens and eggs are allayed. | |
| # --Larry Hastings, 2013/11/23 | |
| try: | |
| from _opcode import stack_effect | |
| __all__.append('stack_effect') | |
| except ImportError: | |
| pass | |
| cmp_op = ('<', '<=', '==', '!=', '>', '>=') | |
| hasconst = [] | |
| hasname = [] | |
| hasjrel = [] | |
| hasjabs = [] | |
| haslocal = [] | |
| hascompare = [] | |
| hasfree = [] | |
| hasnargs = [] # unused | |
| opmap = {} | |
| opname = ['<%r>' % (op,) for op in range(256)] | |
| def def_op(name, op): | |
| opname[op] = name | |
| opmap[name] = op | |
| def name_op(name, op): | |
| def_op(name, op) | |
| hasname.append(op) | |
| def jrel_op(name, op): | |
| def_op(name, op) | |
| hasjrel.append(op) | |
| def jabs_op(name, op): | |
| def_op(name, op) | |
| hasjabs.append(op) | |
| # Instruction opcodes for compiled code | |
| # Blank lines correspond to available opcodes | |
| def_op('CACHE', 0) | |
| def_op('POP_TOP', 1) | |
| def_op('PUSH_NULL', 2) | |
| def_op('NOP', 9) | |
| def_op('UNARY_POSITIVE', 10) | |
| def_op('UNARY_NEGATIVE', 11) | |
| def_op('UNARY_NOT', 12) | |
| def_op('UNARY_INVERT', 15) | |
| def_op('BINARY_SUBSCR', 25) | |
| def_op('GET_LEN', 30) | |
| def_op('MATCH_MAPPING', 31) | |
| def_op('MATCH_SEQUENCE', 32) | |
| def_op('MATCH_KEYS', 33) | |
| def_op('PUSH_EXC_INFO', 35) | |
| def_op('CHECK_EXC_MATCH', 36) | |
| def_op('CHECK_EG_MATCH', 37) | |
| def_op('WITH_EXCEPT_START', 49) | |
| def_op('GET_AITER', 50) | |
| def_op('GET_ANEXT', 51) | |
| def_op('BEFORE_ASYNC_WITH', 52) | |
| def_op('BEFORE_WITH', 53) | |
| def_op('END_ASYNC_FOR', 54) | |
| def_op('STORE_SUBSCR', 60) | |
| def_op('DELETE_SUBSCR', 61) | |
| def_op('GET_ITER', 68) | |
| def_op('GET_YIELD_FROM_ITER', 69) | |
| def_op('PRINT_EXPR', 70) | |
| def_op('LOAD_BUILD_CLASS', 71) | |
| def_op('LOAD_ASSERTION_ERROR', 74) | |
| def_op('RETURN_GENERATOR', 75) | |
| def_op('LIST_TO_TUPLE', 82) | |
| def_op('RETURN_VALUE', 83) | |
| def_op('IMPORT_STAR', 84) | |
| def_op('SETUP_ANNOTATIONS', 85) | |
| def_op('YIELD_VALUE', 86) | |
| def_op('ASYNC_GEN_WRAP', 87) | |
| def_op('PREP_RERAISE_STAR', 88) | |
| def_op('POP_EXCEPT', 89) | |
| HAVE_ARGUMENT = 90 # Opcodes from here have an argument: | |
| name_op('STORE_NAME', 90) # Index in name list | |
| name_op('DELETE_NAME', 91) # "" | |
| def_op('UNPACK_SEQUENCE', 92) # Number of tuple items | |
| jrel_op('FOR_ITER', 93) | |
| def_op('UNPACK_EX', 94) | |
| name_op('STORE_ATTR', 95) # Index in name list | |
| name_op('DELETE_ATTR', 96) # "" | |
| name_op('STORE_GLOBAL', 97) # "" | |
| name_op('DELETE_GLOBAL', 98) # "" | |
| def_op('SWAP', 99) | |
| def_op('LOAD_CONST', 100) # Index in const list | |
| hasconst.append(100) | |
| name_op('LOAD_NAME', 101) # Index in name list | |
| def_op('BUILD_TUPLE', 102) # Number of tuple items | |
| def_op('BUILD_LIST', 103) # Number of list items | |
| def_op('BUILD_SET', 104) # Number of set items | |
| def_op('BUILD_MAP', 105) # Number of dict entries | |
| name_op('LOAD_ATTR', 106) # Index in name list | |
| def_op('COMPARE_OP', 107) # Comparison operator | |
| hascompare.append(107) | |
| name_op('IMPORT_NAME', 108) # Index in name list | |
| name_op('IMPORT_FROM', 109) # Index in name list | |
| jrel_op('JUMP_FORWARD', 110) # Number of words to skip | |
| jrel_op('JUMP_IF_FALSE_OR_POP', 111) # Number of words to skip | |
| jrel_op('JUMP_IF_TRUE_OR_POP', 112) # "" | |
| jrel_op('POP_JUMP_FORWARD_IF_FALSE', 114) | |
| jrel_op('POP_JUMP_FORWARD_IF_TRUE', 115) | |
| name_op('LOAD_GLOBAL', 116) # Index in name list | |
| def_op('IS_OP', 117) | |
| def_op('CONTAINS_OP', 118) | |
| def_op('RERAISE', 119) | |
| def_op('COPY', 120) | |
| def_op('BINARY_OP', 122) | |
| jrel_op('SEND', 123) # Number of bytes to skip | |
| def_op('LOAD_FAST', 124) # Local variable number | |
| haslocal.append(124) | |
| def_op('STORE_FAST', 125) # Local variable number | |
| haslocal.append(125) | |
| def_op('DELETE_FAST', 126) # Local variable number | |
| haslocal.append(126) | |
| jrel_op('POP_JUMP_FORWARD_IF_NOT_NONE', 128) | |
| jrel_op('POP_JUMP_FORWARD_IF_NONE', 129) | |
| def_op('RAISE_VARARGS', 130) # Number of raise arguments (1, 2, or 3) | |
| def_op('GET_AWAITABLE', 131) | |
| def_op('MAKE_FUNCTION', 132) # Flags | |
| def_op('BUILD_SLICE', 133) # Number of items | |
| jrel_op('JUMP_BACKWARD_NO_INTERRUPT', 134) # Number of words to skip (backwards) | |
| def_op('MAKE_CELL', 135) | |
| hasfree.append(135) | |
| def_op('LOAD_CLOSURE', 136) | |
| hasfree.append(136) | |
| def_op('LOAD_DEREF', 137) | |
| hasfree.append(137) | |
| def_op('STORE_DEREF', 138) | |
| hasfree.append(138) | |
| def_op('DELETE_DEREF', 139) | |
| hasfree.append(139) | |
| jrel_op('JUMP_BACKWARD', 140) # Number of words to skip (backwards) | |
| def_op('CALL_FUNCTION_EX', 142) # Flags | |
| def_op('EXTENDED_ARG', 144) | |
| EXTENDED_ARG = 144 | |
| def_op('LIST_APPEND', 145) | |
| def_op('SET_ADD', 146) | |
| def_op('MAP_ADD', 147) | |
| def_op('LOAD_CLASSDEREF', 148) | |
| hasfree.append(148) | |
| def_op('COPY_FREE_VARS', 149) | |
| def_op('RESUME', 151) # This must be kept in sync with deepfreeze.py | |
| def_op('MATCH_CLASS', 152) | |
| def_op('FORMAT_VALUE', 155) | |
| def_op('BUILD_CONST_KEY_MAP', 156) | |
| def_op('BUILD_STRING', 157) | |
| name_op('LOAD_METHOD', 160) | |
| def_op('LIST_EXTEND', 162) | |
| def_op('SET_UPDATE', 163) | |
| def_op('DICT_MERGE', 164) | |
| def_op('DICT_UPDATE', 165) | |
| def_op('PRECALL', 166) | |
| def_op('CALL', 171) | |
| def_op('KW_NAMES', 172) | |
| hasconst.append(172) | |
| jrel_op('POP_JUMP_BACKWARD_IF_NOT_NONE', 173) | |
| jrel_op('POP_JUMP_BACKWARD_IF_NONE', 174) | |
| jrel_op('POP_JUMP_BACKWARD_IF_FALSE', 175) | |
| jrel_op('POP_JUMP_BACKWARD_IF_TRUE', 176) | |
| del def_op, name_op, jrel_op, jabs_op | |
| _nb_ops = [ | |
| ("NB_ADD", "+"), | |
| ("NB_AND", "&"), | |
| ("NB_FLOOR_DIVIDE", "//"), | |
| ("NB_LSHIFT", "<<"), | |
| ("NB_MATRIX_MULTIPLY", "@"), | |
| ("NB_MULTIPLY", "*"), | |
| ("NB_REMAINDER", "%"), | |
| ("NB_OR", "|"), | |
| ("NB_POWER", "**"), | |
| ("NB_RSHIFT", ">>"), | |
| ("NB_SUBTRACT", "-"), | |
| ("NB_TRUE_DIVIDE", "/"), | |
| ("NB_XOR", "^"), | |
| ("NB_INPLACE_ADD", "+="), | |
| ("NB_INPLACE_AND", "&="), | |
| ("NB_INPLACE_FLOOR_DIVIDE", "//="), | |
| ("NB_INPLACE_LSHIFT", "<<="), | |
| ("NB_INPLACE_MATRIX_MULTIPLY", "@="), | |
| ("NB_INPLACE_MULTIPLY", "*="), | |
| ("NB_INPLACE_REMAINDER", "%="), | |
| ("NB_INPLACE_OR", "|="), | |
| ("NB_INPLACE_POWER", "**="), | |
| ("NB_INPLACE_RSHIFT", ">>="), | |
| ("NB_INPLACE_SUBTRACT", "-="), | |
| ("NB_INPLACE_TRUE_DIVIDE", "/="), | |
| ("NB_INPLACE_XOR", "^="), | |
| ] | |
| _specializations = { | |
| "BINARY_OP": [ | |
| "BINARY_OP_ADAPTIVE", | |
| "BINARY_OP_ADD_FLOAT", | |
| "BINARY_OP_ADD_INT", | |
| "BINARY_OP_ADD_UNICODE", | |
| "BINARY_OP_INPLACE_ADD_UNICODE", | |
| "BINARY_OP_MULTIPLY_FLOAT", | |
| "BINARY_OP_MULTIPLY_INT", | |
| "BINARY_OP_SUBTRACT_FLOAT", | |
| "BINARY_OP_SUBTRACT_INT", | |
| ], | |
| "BINARY_SUBSCR": [ | |
| "BINARY_SUBSCR_ADAPTIVE", | |
| "BINARY_SUBSCR_DICT", | |
| "BINARY_SUBSCR_GETITEM", | |
| "BINARY_SUBSCR_LIST_INT", | |
| "BINARY_SUBSCR_TUPLE_INT", | |
| ], | |
| "CALL": [ | |
| "CALL_ADAPTIVE", | |
| "CALL_PY_EXACT_ARGS", | |
| "CALL_PY_WITH_DEFAULTS", | |
| ], | |
| "COMPARE_OP": [ | |
| "COMPARE_OP_ADAPTIVE", | |
| "COMPARE_OP_FLOAT_JUMP", | |
| "COMPARE_OP_INT_JUMP", | |
| "COMPARE_OP_STR_JUMP", | |
| ], | |
| "EXTENDED_ARG": [ | |
| "EXTENDED_ARG_QUICK", | |
| ], | |
| "JUMP_BACKWARD": [ | |
| "JUMP_BACKWARD_QUICK", | |
| ], | |
| "LOAD_ATTR": [ | |
| "LOAD_ATTR_ADAPTIVE", | |
| "LOAD_ATTR_INSTANCE_VALUE", | |
| "LOAD_ATTR_MODULE", | |
| "LOAD_ATTR_SLOT", | |
| "LOAD_ATTR_WITH_HINT", | |
| ], | |
| "LOAD_CONST": [ | |
| "LOAD_CONST__LOAD_FAST", | |
| ], | |
| "LOAD_FAST": [ | |
| "LOAD_FAST__LOAD_CONST", | |
| "LOAD_FAST__LOAD_FAST", | |
| ], | |
| "LOAD_GLOBAL": [ | |
| "LOAD_GLOBAL_ADAPTIVE", | |
| "LOAD_GLOBAL_BUILTIN", | |
| "LOAD_GLOBAL_MODULE", | |
| ], | |
| "LOAD_METHOD": [ | |
| "LOAD_METHOD_ADAPTIVE", | |
| "LOAD_METHOD_CLASS", | |
| "LOAD_METHOD_MODULE", | |
| "LOAD_METHOD_NO_DICT", | |
| "LOAD_METHOD_WITH_DICT", | |
| "LOAD_METHOD_WITH_VALUES", | |
| ], | |
| "PRECALL": [ | |
| "PRECALL_ADAPTIVE", | |
| "PRECALL_BOUND_METHOD", | |
| "PRECALL_BUILTIN_CLASS", | |
| "PRECALL_BUILTIN_FAST_WITH_KEYWORDS", | |
| "PRECALL_METHOD_DESCRIPTOR_FAST_WITH_KEYWORDS", | |
| "PRECALL_NO_KW_BUILTIN_FAST", | |
| "PRECALL_NO_KW_BUILTIN_O", | |
| "PRECALL_NO_KW_ISINSTANCE", | |
| "PRECALL_NO_KW_LEN", | |
| "PRECALL_NO_KW_LIST_APPEND", | |
| "PRECALL_NO_KW_METHOD_DESCRIPTOR_FAST", | |
| "PRECALL_NO_KW_METHOD_DESCRIPTOR_NOARGS", | |
| "PRECALL_NO_KW_METHOD_DESCRIPTOR_O", | |
| "PRECALL_NO_KW_STR_1", | |
| "PRECALL_NO_KW_TUPLE_1", | |
| "PRECALL_NO_KW_TYPE_1", | |
| "PRECALL_PYFUNC", | |
| ], | |
| "RESUME": [ | |
| "RESUME_QUICK", | |
| ], | |
| "STORE_ATTR": [ | |
| "STORE_ATTR_ADAPTIVE", | |
| "STORE_ATTR_INSTANCE_VALUE", | |
| "STORE_ATTR_SLOT", | |
| "STORE_ATTR_WITH_HINT", | |
| ], | |
| "STORE_FAST": [ | |
| "STORE_FAST__LOAD_FAST", | |
| "STORE_FAST__STORE_FAST", | |
| ], | |
| "STORE_SUBSCR": [ | |
| "STORE_SUBSCR_ADAPTIVE", | |
| "STORE_SUBSCR_DICT", | |
| "STORE_SUBSCR_LIST_INT", | |
| ], | |
| "UNPACK_SEQUENCE": [ | |
| "UNPACK_SEQUENCE_ADAPTIVE", | |
| "UNPACK_SEQUENCE_LIST", | |
| "UNPACK_SEQUENCE_TUPLE", | |
| "UNPACK_SEQUENCE_TWO_TUPLE", | |
| ], | |
| } | |
| _specialized_instructions = [ | |
| opcode for family in _specializations.values() for opcode in family | |
| ] | |
| _specialization_stats = [ | |
| "success", | |
| "failure", | |
| "hit", | |
| "deferred", | |
| "miss", | |
| "deopt", | |
| ] | |
| _cache_format = { | |
| "LOAD_GLOBAL": { | |
| "counter": 1, | |
| "index": 1, | |
| "module_keys_version": 2, | |
| "builtin_keys_version": 1, | |
| }, | |
| "BINARY_OP": { | |
| "counter": 1, | |
| }, | |
| "UNPACK_SEQUENCE": { | |
| "counter": 1, | |
| }, | |
| "COMPARE_OP": { | |
| "counter": 1, | |
| "mask": 1, | |
| }, | |
| "BINARY_SUBSCR": { | |
| "counter": 1, | |
| "type_version": 2, | |
| "func_version": 1, | |
| }, | |
| "LOAD_ATTR": { | |
| "counter": 1, | |
| "version": 2, | |
| "index": 1, | |
| }, | |
| "STORE_ATTR": { | |
| "counter": 1, | |
| "version": 2, | |
| "index": 1, | |
| }, | |
| "LOAD_METHOD": { | |
| "counter": 1, | |
| "type_version": 2, | |
| "dict_offset": 1, | |
| "keys_version": 2, | |
| "descr": 4, | |
| }, | |
| "CALL": { | |
| "counter": 1, | |
| "func_version": 2, | |
| "min_args": 1, | |
| }, | |
| "PRECALL": { | |
| "counter": 1, | |
| }, | |
| "STORE_SUBSCR": { | |
| "counter": 1, | |
| }, | |
| } | |
| _inline_cache_entries = [ | |
| sum(_cache_format.get(opname[opcode], {}).values()) for opcode in range(256) | |
| ] |