Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 |
Walter Dörwald | 70a6b49 | 2004-02-12 17:35:32 +0000 | [diff] [blame] | 24 | for op in range(256): opname[op] = '<%r>' % (op,) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 | |
| 45 | def_op('STOP_CODE', 0) |
| 46 | def_op('POP_TOP', 1) |
| 47 | def_op('ROT_TWO', 2) |
| 48 | def_op('ROT_THREE', 3) |
| 49 | def_op('DUP_TOP', 4) |
| 50 | def_op('ROT_FOUR', 5) |
| 51 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 52 | def_op('UNARY_POSITIVE', 10) |
| 53 | def_op('UNARY_NEGATIVE', 11) |
| 54 | def_op('UNARY_NOT', 12) |
| 55 | def_op('UNARY_CONVERT', 13) |
| 56 | |
| 57 | def_op('UNARY_INVERT', 15) |
| 58 | |
Raymond Hettinger | dd80f76 | 2004-03-07 07:31:06 +0000 | [diff] [blame] | 59 | def_op('LIST_APPEND', 18) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 60 | def_op('BINARY_POWER', 19) |
| 61 | |
| 62 | def_op('BINARY_MULTIPLY', 20) |
| 63 | def_op('BINARY_DIVIDE', 21) |
| 64 | def_op('BINARY_MODULO', 22) |
| 65 | def_op('BINARY_ADD', 23) |
| 66 | def_op('BINARY_SUBTRACT', 24) |
| 67 | def_op('BINARY_SUBSCR', 25) |
| 68 | def_op('BINARY_FLOOR_DIVIDE', 26) |
| 69 | def_op('BINARY_TRUE_DIVIDE', 27) |
| 70 | def_op('INPLACE_FLOOR_DIVIDE', 28) |
| 71 | def_op('INPLACE_TRUE_DIVIDE', 29) |
| 72 | |
| 73 | def_op('SLICE+0', 30) |
| 74 | def_op('SLICE+1', 31) |
| 75 | def_op('SLICE+2', 32) |
| 76 | def_op('SLICE+3', 33) |
| 77 | |
| 78 | def_op('STORE_SLICE+0', 40) |
| 79 | def_op('STORE_SLICE+1', 41) |
| 80 | def_op('STORE_SLICE+2', 42) |
| 81 | def_op('STORE_SLICE+3', 43) |
| 82 | |
| 83 | def_op('DELETE_SLICE+0', 50) |
| 84 | def_op('DELETE_SLICE+1', 51) |
| 85 | def_op('DELETE_SLICE+2', 52) |
| 86 | def_op('DELETE_SLICE+3', 53) |
| 87 | |
| 88 | def_op('INPLACE_ADD', 55) |
| 89 | def_op('INPLACE_SUBTRACT', 56) |
| 90 | def_op('INPLACE_MULTIPLY', 57) |
| 91 | def_op('INPLACE_DIVIDE', 58) |
| 92 | def_op('INPLACE_MODULO', 59) |
| 93 | def_op('STORE_SUBSCR', 60) |
| 94 | def_op('DELETE_SUBSCR', 61) |
| 95 | |
| 96 | def_op('BINARY_LSHIFT', 62) |
| 97 | def_op('BINARY_RSHIFT', 63) |
| 98 | def_op('BINARY_AND', 64) |
| 99 | def_op('BINARY_XOR', 65) |
| 100 | def_op('BINARY_OR', 66) |
| 101 | def_op('INPLACE_POWER', 67) |
| 102 | def_op('GET_ITER', 68) |
| 103 | |
| 104 | def_op('PRINT_EXPR', 70) |
| 105 | def_op('PRINT_ITEM', 71) |
| 106 | def_op('PRINT_NEWLINE', 72) |
| 107 | def_op('PRINT_ITEM_TO', 73) |
| 108 | def_op('PRINT_NEWLINE_TO', 74) |
| 109 | def_op('INPLACE_LSHIFT', 75) |
| 110 | def_op('INPLACE_RSHIFT', 76) |
| 111 | def_op('INPLACE_AND', 77) |
| 112 | def_op('INPLACE_XOR', 78) |
| 113 | def_op('INPLACE_OR', 79) |
| 114 | def_op('BREAK_LOOP', 80) |
| 115 | |
| 116 | def_op('LOAD_LOCALS', 82) |
| 117 | def_op('RETURN_VALUE', 83) |
| 118 | def_op('IMPORT_STAR', 84) |
| 119 | def_op('EXEC_STMT', 85) |
| 120 | def_op('YIELD_VALUE', 86) |
| 121 | |
| 122 | def_op('POP_BLOCK', 87) |
| 123 | def_op('END_FINALLY', 88) |
| 124 | def_op('BUILD_CLASS', 89) |
| 125 | |
| 126 | HAVE_ARGUMENT = 90 # Opcodes from here have an argument: |
| 127 | |
| 128 | name_op('STORE_NAME', 90) # Index in name list |
| 129 | name_op('DELETE_NAME', 91) # "" |
| 130 | def_op('UNPACK_SEQUENCE', 92) # Number of tuple items |
| 131 | jrel_op('FOR_ITER', 93) |
| 132 | |
| 133 | name_op('STORE_ATTR', 95) # Index in name list |
| 134 | name_op('DELETE_ATTR', 96) # "" |
| 135 | name_op('STORE_GLOBAL', 97) # "" |
| 136 | name_op('DELETE_GLOBAL', 98) # "" |
| 137 | def_op('DUP_TOPX', 99) # number of items to duplicate |
| 138 | def_op('LOAD_CONST', 100) # Index in const list |
| 139 | hasconst.append(100) |
| 140 | name_op('LOAD_NAME', 101) # Index in name list |
| 141 | def_op('BUILD_TUPLE', 102) # Number of tuple items |
| 142 | def_op('BUILD_LIST', 103) # Number of list items |
| 143 | def_op('BUILD_MAP', 104) # Always zero for now |
| 144 | name_op('LOAD_ATTR', 105) # Index in name list |
| 145 | def_op('COMPARE_OP', 106) # Comparison operator |
| 146 | hascompare.append(106) |
| 147 | name_op('IMPORT_NAME', 107) # Index in name list |
| 148 | name_op('IMPORT_FROM', 108) # Index in name list |
| 149 | |
| 150 | jrel_op('JUMP_FORWARD', 110) # Number of bytes to skip |
| 151 | jrel_op('JUMP_IF_FALSE', 111) # "" |
| 152 | jrel_op('JUMP_IF_TRUE', 112) # "" |
| 153 | jabs_op('JUMP_ABSOLUTE', 113) # Target byte offset from beginning of code |
| 154 | |
| 155 | name_op('LOAD_GLOBAL', 116) # Index in name list |
| 156 | |
| 157 | jabs_op('CONTINUE_LOOP', 119) # Target address |
| 158 | jrel_op('SETUP_LOOP', 120) # Distance to target address |
| 159 | jrel_op('SETUP_EXCEPT', 121) # "" |
| 160 | jrel_op('SETUP_FINALLY', 122) # "" |
| 161 | |
| 162 | def_op('LOAD_FAST', 124) # Local variable number |
| 163 | haslocal.append(124) |
| 164 | def_op('STORE_FAST', 125) # Local variable number |
| 165 | haslocal.append(125) |
| 166 | def_op('DELETE_FAST', 126) # Local variable number |
| 167 | haslocal.append(126) |
| 168 | |
| 169 | def_op('RAISE_VARARGS', 130) # Number of raise arguments (1, 2, or 3) |
| 170 | def_op('CALL_FUNCTION', 131) # #args + (#kwargs << 8) |
| 171 | def_op('MAKE_FUNCTION', 132) # Number of args with default values |
| 172 | def_op('BUILD_SLICE', 133) # Number of items |
| 173 | |
| 174 | def_op('MAKE_CLOSURE', 134) |
| 175 | def_op('LOAD_CLOSURE', 135) |
| 176 | hasfree.append(135) |
| 177 | def_op('LOAD_DEREF', 136) |
| 178 | hasfree.append(136) |
| 179 | def_op('STORE_DEREF', 137) |
| 180 | hasfree.append(137) |
| 181 | |
| 182 | def_op('CALL_FUNCTION_VAR', 140) # #args + (#kwargs << 8) |
| 183 | def_op('CALL_FUNCTION_KW', 141) # #args + (#kwargs << 8) |
| 184 | def_op('CALL_FUNCTION_VAR_KW', 142) # #args + (#kwargs << 8) |
| 185 | |
| 186 | def_op('EXTENDED_ARG', 143) |
| 187 | EXTENDED_ARG = 143 |
| 188 | |
| 189 | del def_op, name_op, jrel_op, jabs_op |