Lib/opcode.py - platform/external/python/cpython3 - Git at Google


 """
 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('POP_TOP', 1)
 def_op('ROT_TWO', 2)
 def_op('ROT_THREE', 3)
 def_op('DUP_TOP', 4)
 def_op('DUP_TOP_TWO', 5)
 def_op('ROT_FOUR', 6)

 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('POP_EXCEPT_AND_RERAISE', 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('GET_AWAITABLE', 73)
 def_op('LOAD_ASSERTION_ERROR', 74)

 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('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('ROT_N', 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 bytes to skip
 jabs_op('JUMP_IF_FALSE_OR_POP', 111) # Target byte offset from beginning of code
 jabs_op('JUMP_IF_TRUE_OR_POP', 112)  # ""
 jabs_op('JUMP_ABSOLUTE', 113)        # ""
 jabs_op('POP_JUMP_IF_FALSE', 114)    # ""
 jabs_op('POP_JUMP_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)
 jabs_op('JUMP_IF_NOT_EXC_MATCH', 121)
 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)

 jabs_op('JUMP_IF_NOT_EG_MATCH', 127)

 def_op('GEN_START', 129)        # Kind of generator/coroutine
 def_op('RAISE_VARARGS', 130)    # Number of raise arguments (1, 2, or 3)

 def_op('MAKE_FUNCTION', 132)    # Flags
 def_op('BUILD_SLICE', 133)      # Number of items

 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)

 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('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_METHOD', 168)
 def_op('CALL_NO_KW', 169)
 def_op('CALL_KW', 170)

 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", "^="),
 ]

 _specialized_instructions = [
     "BINARY_OP_ADAPTIVE",
     "BINARY_OP_ADD_INT",
     "BINARY_OP_ADD_FLOAT",
     "BINARY_OP_ADD_UNICODE",
     "BINARY_OP_INPLACE_ADD_UNICODE",
     "BINARY_OP_MULTIPLY_INT",
     "BINARY_OP_MULTIPLY_FLOAT",
     "BINARY_OP_SUBTRACT_INT",
     "BINARY_OP_SUBTRACT_FLOAT",
     "COMPARE_OP_ADAPTIVE",
     "COMPARE_OP_FLOAT_JUMP",
     "COMPARE_OP_INT_JUMP",
     "COMPARE_OP_STR_JUMP",
     "BINARY_SUBSCR_ADAPTIVE",
     "BINARY_SUBSCR_GETITEM",
     "BINARY_SUBSCR_LIST_INT",
     "BINARY_SUBSCR_TUPLE_INT",
     "BINARY_SUBSCR_DICT",
     "STORE_SUBSCR_ADAPTIVE",
     "STORE_SUBSCR_LIST_INT",
     "STORE_SUBSCR_DICT",
     "CALL_NO_KW_ADAPTIVE",
     "CALL_NO_KW_BUILTIN_O",
     "CALL_NO_KW_BUILTIN_FAST",
     "CALL_NO_KW_LEN",
     "CALL_NO_KW_ISINSTANCE",
     "CALL_NO_KW_PY_SIMPLE",
     "CALL_NO_KW_LIST_APPEND",
     "CALL_NO_KW_METHOD_DESCRIPTOR_O",
     "CALL_NO_KW_TYPE_1",
     "CALL_NO_KW_BUILTIN_CLASS_1",
     "CALL_NO_KW_METHOD_DESCRIPTOR_FAST",
     "JUMP_ABSOLUTE_QUICK",
     "LOAD_ATTR_ADAPTIVE",
     "LOAD_ATTR_INSTANCE_VALUE",
     "LOAD_ATTR_WITH_HINT",
     "LOAD_ATTR_SLOT",
     "LOAD_ATTR_MODULE",
     "LOAD_GLOBAL_ADAPTIVE",
     "LOAD_GLOBAL_MODULE",
     "LOAD_GLOBAL_BUILTIN",
     "LOAD_METHOD_ADAPTIVE",
     "LOAD_METHOD_CACHED",
     "LOAD_METHOD_CLASS",
     "LOAD_METHOD_MODULE",
     "LOAD_METHOD_NO_DICT",
     "STORE_ATTR_ADAPTIVE",
     "STORE_ATTR_INSTANCE_VALUE",
     "STORE_ATTR_SLOT",
     "STORE_ATTR_WITH_HINT",
     # Super instructions
     "LOAD_FAST__LOAD_FAST",
     "STORE_FAST__LOAD_FAST",
     "LOAD_FAST__LOAD_CONST",
     "LOAD_CONST__LOAD_FAST",
     "STORE_FAST__STORE_FAST",
 ]
 _specialization_stats = [
     "success",
     "failure",
     "hit",
     "deferred",
     "miss",
     "deopt",
 ]

	"""
	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('POP_TOP', 1)
	def_op('ROT_TWO', 2)
	def_op('ROT_THREE', 3)
	def_op('DUP_TOP', 4)
	def_op('DUP_TOP_TWO', 5)
	def_op('ROT_FOUR', 6)

	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('POP_EXCEPT_AND_RERAISE', 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('GET_AWAITABLE', 73)
	def_op('LOAD_ASSERTION_ERROR', 74)

	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('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('ROT_N', 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 bytes to skip
	jabs_op('JUMP_IF_FALSE_OR_POP', 111) # Target byte offset from beginning of code
	jabs_op('JUMP_IF_TRUE_OR_POP', 112) # ""
	jabs_op('JUMP_ABSOLUTE', 113) # ""
	jabs_op('POP_JUMP_IF_FALSE', 114) # ""
	jabs_op('POP_JUMP_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)
	jabs_op('JUMP_IF_NOT_EXC_MATCH', 121)
	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)

	jabs_op('JUMP_IF_NOT_EG_MATCH', 127)

	def_op('GEN_START', 129) # Kind of generator/coroutine
	def_op('RAISE_VARARGS', 130) # Number of raise arguments (1, 2, or 3)

	def_op('MAKE_FUNCTION', 132) # Flags
	def_op('BUILD_SLICE', 133) # Number of items

	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)

	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('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_METHOD', 168)
	def_op('CALL_NO_KW', 169)
	def_op('CALL_KW', 170)

	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", "^="),
	]

	_specialized_instructions = [
	"BINARY_OP_ADAPTIVE",
	"BINARY_OP_ADD_INT",
	"BINARY_OP_ADD_FLOAT",
	"BINARY_OP_ADD_UNICODE",
	"BINARY_OP_INPLACE_ADD_UNICODE",
	"BINARY_OP_MULTIPLY_INT",
	"BINARY_OP_MULTIPLY_FLOAT",
	"BINARY_OP_SUBTRACT_INT",
	"BINARY_OP_SUBTRACT_FLOAT",
	"COMPARE_OP_ADAPTIVE",
	"COMPARE_OP_FLOAT_JUMP",
	"COMPARE_OP_INT_JUMP",
	"COMPARE_OP_STR_JUMP",
	"BINARY_SUBSCR_ADAPTIVE",
	"BINARY_SUBSCR_GETITEM",
	"BINARY_SUBSCR_LIST_INT",
	"BINARY_SUBSCR_TUPLE_INT",
	"BINARY_SUBSCR_DICT",
	"STORE_SUBSCR_ADAPTIVE",
	"STORE_SUBSCR_LIST_INT",
	"STORE_SUBSCR_DICT",
	"CALL_NO_KW_ADAPTIVE",
	"CALL_NO_KW_BUILTIN_O",
	"CALL_NO_KW_BUILTIN_FAST",
	"CALL_NO_KW_LEN",
	"CALL_NO_KW_ISINSTANCE",
	"CALL_NO_KW_PY_SIMPLE",
	"CALL_NO_KW_LIST_APPEND",
	"CALL_NO_KW_METHOD_DESCRIPTOR_O",
	"CALL_NO_KW_TYPE_1",
	"CALL_NO_KW_BUILTIN_CLASS_1",
	"CALL_NO_KW_METHOD_DESCRIPTOR_FAST",
	"JUMP_ABSOLUTE_QUICK",
	"LOAD_ATTR_ADAPTIVE",
	"LOAD_ATTR_INSTANCE_VALUE",
	"LOAD_ATTR_WITH_HINT",
	"LOAD_ATTR_SLOT",
	"LOAD_ATTR_MODULE",
	"LOAD_GLOBAL_ADAPTIVE",
	"LOAD_GLOBAL_MODULE",
	"LOAD_GLOBAL_BUILTIN",
	"LOAD_METHOD_ADAPTIVE",
	"LOAD_METHOD_CACHED",
	"LOAD_METHOD_CLASS",
	"LOAD_METHOD_MODULE",
	"LOAD_METHOD_NO_DICT",
	"STORE_ATTR_ADAPTIVE",
	"STORE_ATTR_INSTANCE_VALUE",
	"STORE_ATTR_SLOT",
	"STORE_ATTR_WITH_HINT",
	# Super instructions
	"LOAD_FAST__LOAD_FAST",
	"STORE_FAST__LOAD_FAST",
	"LOAD_FAST__LOAD_CONST",
	"LOAD_CONST__LOAD_FAST",
	"STORE_FAST__STORE_FAST",
	]
	_specialization_stats = [
	"success",
	"failure",
	"hit",
	"deferred",
	"miss",
	"deopt",
	]