Lib/opcode.py

   1
   2 """
   3 opcode module - potentially shared between dis and other modules which
   4 operate on bytecodes (e.g. peephole optimizers).
   5 """
   6
   7 __all__ = ["cmp_op", "hasconst", "hasname", "hasjrel", "hasjabs",
   8            "haslocal", "hascompare", "hasfree", "opname", "opmap",
   9            "HAVE_ARGUMENT", "EXTENDED_ARG"]
  10
  11 cmp_op = ('<', '<=', '==', '!=', '>', '>=', 'in', 'not in', 'is',
  12         'is not', 'exception match', 'BAD')
  13
  14 hasconst = []
  15 hasname = []
  16 hasjrel = []
  17 hasjabs = []
  18 haslocal = []
  19 hascompare = []
  20 hasfree = []
  21
  22 opmap = {}
  23 opname = [''] * 256
  24 for op in range(256): opname[op] = '<%r>' % (op,)
  25 del op
  26
  27 def def_op(name, op):
  28     opname[op] = name
  29     opmap[name] = op
  30
  31 def name_op(name, op):
  32     def_op(name, op)
  33     hasname.append(op)
  34
  35 def jrel_op(name, op):
  36     def_op(name, op)
  37     hasjrel.append(op)
  38
  39 def jabs_op(name, op):
  40     def_op(name, op)
  41     hasjabs.append(op)
  42
  43 # Instruction opcodes for compiled code
  44 # Blank lines correspond to available opcodes
  45
  46 def_op('STOP_CODE', 0)
  47 def_op('POP_TOP', 1)
  48 def_op('ROT_TWO', 2)
  49 def_op('ROT_THREE', 3)
  50 def_op('DUP_TOP', 4)
  51 def_op('ROT_FOUR', 5)
  52
  53 def_op('NOP', 9)
  54 def_op('UNARY_POSITIVE', 10)
  55 def_op('UNARY_NEGATIVE', 11)
  56 def_op('UNARY_NOT', 12)
  57
  58 def_op('UNARY_INVERT', 15)
  59
  60 def_op('SET_ADD', 17)
  61 def_op('LIST_APPEND', 18)
  62 def_op('BINARY_POWER', 19)
  63 def_op('BINARY_MULTIPLY', 20)
  64
  65 def_op('BINARY_MODULO', 22)
  66 def_op('BINARY_ADD', 23)
  67 def_op('BINARY_SUBTRACT', 24)
  68 def_op('BINARY_SUBSCR', 25)
  69 def_op('BINARY_FLOOR_DIVIDE', 26)
  70 def_op('BINARY_TRUE_DIVIDE', 27)
  71 def_op('INPLACE_FLOOR_DIVIDE', 28)
  72 def_op('INPLACE_TRUE_DIVIDE', 29)
  73
  74 def_op('STORE_MAP', 54)
  75 def_op('INPLACE_ADD', 55)
  76 def_op('INPLACE_SUBTRACT', 56)
  77 def_op('INPLACE_MULTIPLY', 57)
  78
  79 def_op('INPLACE_MODULO', 59)
  80 def_op('STORE_SUBSCR', 60)
  81 def_op('DELETE_SUBSCR', 61)
  82 def_op('BINARY_LSHIFT', 62)
  83 def_op('BINARY_RSHIFT', 63)
  84 def_op('BINARY_AND', 64)
  85 def_op('BINARY_XOR', 65)
  86 def_op('BINARY_OR', 66)
  87 def_op('INPLACE_POWER', 67)
  88 def_op('GET_ITER', 68)
  89 def_op('STORE_LOCALS', 69)
  90
  91 def_op('PRINT_EXPR', 70)
  92 def_op('LOAD_BUILD_CLASS', 71)
  93
  94 def_op('INPLACE_LSHIFT', 75)
  95 def_op('INPLACE_RSHIFT', 76)
  96 def_op('INPLACE_AND', 77)
  97 def_op('INPLACE_XOR', 78)
  98 def_op('INPLACE_OR', 79)
  99 def_op('BREAK_LOOP', 80)
 100 def_op('WITH_CLEANUP', 81)
 101
 102 def_op('RETURN_VALUE', 83)
 103 def_op('IMPORT_STAR', 84)
 104 def_op('MAKE_BYTES', 85)
 105 def_op('YIELD_VALUE', 86)
 106 def_op('POP_BLOCK', 87)
 107 def_op('END_FINALLY', 88)
 108
 109 HAVE_ARGUMENT = 90              # Opcodes from here have an argument:
 110
 111 name_op('STORE_NAME', 90)       # Index in name list
 112 name_op('DELETE_NAME', 91)      # ""
 113 def_op('UNPACK_SEQUENCE', 92)   # Number of tuple items
 114 jrel_op('FOR_ITER', 93)
 115 def_op('UNPACK_EX', 94)
 116 name_op('STORE_ATTR', 95)       # Index in name list
 117 name_op('DELETE_ATTR', 96)      # ""
 118 name_op('STORE_GLOBAL', 97)     # ""
 119 name_op('DELETE_GLOBAL', 98)    # ""
 120 def_op('DUP_TOPX', 99)          # number of items to duplicate
 121 def_op('LOAD_CONST', 100)       # Index in const list
 122 hasconst.append(100)
 123 name_op('LOAD_NAME', 101)       # Index in name list
 124 def_op('BUILD_TUPLE', 102)      # Number of tuple items
 125 def_op('BUILD_LIST', 103)       # Number of list items
 126 def_op('BUILD_SET', 104)        # Number of set items
 127 def_op('BUILD_MAP', 105)        # Number of dict entries (upto 255)
 128 name_op('LOAD_ATTR', 106)       # Index in name list
 129 def_op('COMPARE_OP', 107)       # Comparison operator
 130 hascompare.append(107)
 131 name_op('IMPORT_NAME', 108)     # Index in name list
 132 name_op('IMPORT_FROM', 109)     # Index in name list
 133
 134 jrel_op('JUMP_FORWARD', 110)    # Number of bytes to skip
 135 jrel_op('JUMP_IF_FALSE', 111)   # ""
 136 jrel_op('JUMP_IF_TRUE', 112)    # ""
 137 jabs_op('JUMP_ABSOLUTE', 113)   # Target byte offset from beginning of code
 138
 139 name_op('LOAD_GLOBAL', 116)     # Index in name list
 140
 141 jabs_op('CONTINUE_LOOP', 119)   # Target address
 142 jrel_op('SETUP_LOOP', 120)      # Distance to target address
 143 jrel_op('SETUP_EXCEPT', 121)    # ""
 144 jrel_op('SETUP_FINALLY', 122)   # ""
 145
 146 def_op('LOAD_FAST', 124)        # Local variable number
 147 haslocal.append(124)
 148 def_op('STORE_FAST', 125)       # Local variable number
 149 haslocal.append(125)
 150 def_op('DELETE_FAST', 126)      # Local variable number
 151 haslocal.append(126)
 152
 153 def_op('RAISE_VARARGS', 130)    # Number of raise arguments (1, 2, or 3)
 154 def_op('CALL_FUNCTION', 131)    # #args + (#kwargs << 8)
 155 def_op('MAKE_FUNCTION', 132)    # Number of args with default values
 156 def_op('BUILD_SLICE', 133)      # Number of items
 157 def_op('MAKE_CLOSURE', 134)
 158 def_op('LOAD_CLOSURE', 135)
 159 hasfree.append(135)
 160 def_op('LOAD_DEREF', 136)
 161 hasfree.append(136)
 162 def_op('STORE_DEREF', 137)
 163 hasfree.append(137)
 164
 165 def_op('CALL_FUNCTION_VAR', 140)     # #args + (#kwargs << 8)
 166 def_op('CALL_FUNCTION_KW', 141)      # #args + (#kwargs << 8)
 167 def_op('CALL_FUNCTION_VAR_KW', 142)  # #args + (#kwargs << 8)
 168 def_op('EXTENDED_ARG', 143)
 169 EXTENDED_ARG = 143
 170
 171 del def_op, name_op, jrel_op, jabs_op