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('BINARY_POWER', 19)
  61 def_op('BINARY_MULTIPLY', 20)
  62
  63 def_op('BINARY_MODULO', 22)
  64 def_op('BINARY_ADD', 23)
  65 def_op('BINARY_SUBTRACT', 24)
  66 def_op('BINARY_SUBSCR', 25)
  67 def_op('BINARY_FLOOR_DIVIDE', 26)
  68 def_op('BINARY_TRUE_DIVIDE', 27)
  69 def_op('INPLACE_FLOOR_DIVIDE', 28)
  70 def_op('INPLACE_TRUE_DIVIDE', 29)
  71
  72 def_op('STORE_MAP', 54)
  73 def_op('INPLACE_ADD', 55)
  74 def_op('INPLACE_SUBTRACT', 56)
  75 def_op('INPLACE_MULTIPLY', 57)
  76
  77 def_op('INPLACE_MODULO', 59)
  78 def_op('STORE_SUBSCR', 60)
  79 def_op('DELETE_SUBSCR', 61)
  80 def_op('BINARY_LSHIFT', 62)
  81 def_op('BINARY_RSHIFT', 63)
  82 def_op('BINARY_AND', 64)
  83 def_op('BINARY_XOR', 65)
  84 def_op('BINARY_OR', 66)
  85 def_op('INPLACE_POWER', 67)
  86 def_op('GET_ITER', 68)
  87 def_op('STORE_LOCALS', 69)
  88
  89 def_op('PRINT_EXPR', 70)
  90 def_op('LOAD_BUILD_CLASS', 71)
  91
  92 def_op('INPLACE_LSHIFT', 75)
  93 def_op('INPLACE_RSHIFT', 76)
  94 def_op('INPLACE_AND', 77)
  95 def_op('INPLACE_XOR', 78)
  96 def_op('INPLACE_OR', 79)
  97 def_op('BREAK_LOOP', 80)
  98 def_op('WITH_CLEANUP', 81)
  99
 100 def_op('RETURN_VALUE', 83)
 101 def_op('IMPORT_STAR', 84)
 102
 103 def_op('YIELD_VALUE', 86)
 104 def_op('POP_BLOCK', 87)
 105 def_op('END_FINALLY', 88)
 106 def_op('POP_EXCEPT', 89)
 107
 108 HAVE_ARGUMENT = 90              # Opcodes from here have an argument:
 109
 110 name_op('STORE_NAME', 90)       # Index in name list
 111 name_op('DELETE_NAME', 91)      # ""
 112 def_op('UNPACK_SEQUENCE', 92)   # Number of tuple items
 113 jrel_op('FOR_ITER', 93)
 114 def_op('UNPACK_EX', 94)
 115 name_op('STORE_ATTR', 95)       # Index in name list
 116 name_op('DELETE_ATTR', 96)      # ""
 117 name_op('STORE_GLOBAL', 97)     # ""
 118 name_op('DELETE_GLOBAL', 98)    # ""
 119 def_op('DUP_TOPX', 99)          # number of items to duplicate
 120 def_op('LOAD_CONST', 100)       # Index in const list
 121 hasconst.append(100)
 122 name_op('LOAD_NAME', 101)       # Index in name list
 123 def_op('BUILD_TUPLE', 102)      # Number of tuple items
 124 def_op('BUILD_LIST', 103)       # Number of list items
 125 def_op('BUILD_SET', 104)        # Number of set items
 126 def_op('BUILD_MAP', 105)        # Number of dict entries (upto 255)
 127 name_op('LOAD_ATTR', 106)       # Index in name list
 128 def_op('COMPARE_OP', 107)       # Comparison operator
 129 hascompare.append(107)
 130 name_op('IMPORT_NAME', 108)     # Index in name list
 131 name_op('IMPORT_FROM', 109)     # Index in name list
 132
 133 jrel_op('JUMP_FORWARD', 110)    # Number of bytes to skip
 134 jabs_op('JUMP_IF_FALSE_OR_POP', 111) # Target byte offset from beginning of code
 135 jabs_op('JUMP_IF_TRUE_OR_POP', 112)  # ""
 136 jabs_op('JUMP_ABSOLUTE', 113)        # ""
 137 jabs_op('POP_JUMP_IF_FALSE', 114)    # ""
 138 jabs_op('POP_JUMP_IF_TRUE', 115)     # ""
 139
 140 name_op('LOAD_GLOBAL', 116)     # Index in name list
 141
 142 jabs_op('CONTINUE_LOOP', 119)   # Target address
 143 jrel_op('SETUP_LOOP', 120)      # Distance to target address
 144 jrel_op('SETUP_EXCEPT', 121)    # ""
 145 jrel_op('SETUP_FINALLY', 122)   # ""
 146
 147 def_op('LOAD_FAST', 124)        # Local variable number
 148 haslocal.append(124)
 149 def_op('STORE_FAST', 125)       # Local variable number
 150 haslocal.append(125)
 151 def_op('DELETE_FAST', 126)      # Local variable number
 152 haslocal.append(126)
 153
 154 def_op('RAISE_VARARGS', 130)    # Number of raise arguments (1, 2, or 3)
 155 def_op('CALL_FUNCTION', 131)    # #args + (#kwargs << 8)
 156 def_op('MAKE_FUNCTION', 132)    # Number of args with default values
 157 def_op('BUILD_SLICE', 133)      # Number of items
 158 def_op('MAKE_CLOSURE', 134)
 159 def_op('LOAD_CLOSURE', 135)
 160 hasfree.append(135)
 161 def_op('LOAD_DEREF', 136)
 162 hasfree.append(136)
 163 def_op('STORE_DEREF', 137)
 164 hasfree.append(137)
 165
 166 def_op('CALL_FUNCTION_VAR', 140)     # #args + (#kwargs << 8)
 167 def_op('CALL_FUNCTION_KW', 141)      # #args + (#kwargs << 8)
 168 def_op('CALL_FUNCTION_VAR_KW', 142)  # #args + (#kwargs << 8)
 169 def_op('EXTENDED_ARG', 143)
 170 EXTENDED_ARG = 143
 171
 172 def_op('LIST_APPEND', 145)
 173 def_op('SET_ADD', 146)
 174 def_op('MAP_ADD', 147)
 175
 176
 177 del def_op, name_op, jrel_op, jabs_op