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 |
Guido van Rossum | c2e2074 | 2006-02-27 22:32:47 +0000 | [diff] [blame] | 44 | # Blank lines correspond to available opcodes |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 | |
Raymond Hettinger | 9c18e81 | 2004-06-21 16:31:15 +0000 | [diff] [blame] | 53 | def_op('NOP', 9) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 54 | def_op('UNARY_POSITIVE', 10) |
| 55 | def_op('UNARY_NEGATIVE', 11) |
| 56 | def_op('UNARY_NOT', 12) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 57 | |
| 58 | def_op('UNARY_INVERT', 15) |
| 59 | |
Nick Coghlan | 650f0d0 | 2007-04-15 12:05:43 +0000 | [diff] [blame] | 60 | def_op('SET_ADD', 17) |
Raymond Hettinger | dd80f76 | 2004-03-07 07:31:06 +0000 | [diff] [blame] | 61 | def_op('LIST_APPEND', 18) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 62 | def_op('BINARY_POWER', 19) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 63 | def_op('BINARY_MULTIPLY', 20) |
Neal Norwitz | c6d210c | 2006-03-16 06:02:10 +0000 | [diff] [blame] | 64 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 73 | |
Christian Heimes | 99170a5 | 2007-12-19 02:07:34 +0000 | [diff] [blame] | 74 | def_op('STORE_MAP', 54) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 75 | def_op('INPLACE_ADD', 55) |
| 76 | def_op('INPLACE_SUBTRACT', 56) |
| 77 | def_op('INPLACE_MULTIPLY', 57) |
Neal Norwitz | e7086d4 | 2006-03-17 08:59:09 +0000 | [diff] [blame] | 78 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 79 | def_op('INPLACE_MODULO', 59) |
| 80 | def_op('STORE_SUBSCR', 60) |
| 81 | def_op('DELETE_SUBSCR', 61) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 89 | def_op('STORE_LOCALS', 69) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 90 | |
| 91 | def_op('PRINT_EXPR', 70) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 92 | def_op('LOAD_BUILD_CLASS', 71) |
Georg Brandl | 88fc664 | 2007-02-09 21:28:07 +0000 | [diff] [blame] | 93 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Guido van Rossum | c2e2074 | 2006-02-27 22:32:47 +0000 | [diff] [blame] | 100 | def_op('WITH_CLEANUP', 81) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 101 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 102 | def_op('RETURN_VALUE', 83) |
| 103 | def_op('IMPORT_STAR', 84) |
Thomas Wouters | 00e41de | 2007-02-23 19:56:57 +0000 | [diff] [blame] | 104 | def_op('MAKE_BYTES', 85) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 105 | def_op('YIELD_VALUE', 86) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 106 | def_op('POP_BLOCK', 87) |
| 107 | def_op('END_FINALLY', 88) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 108 | def_op('POP_EXCEPT', 89) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 109 | |
| 110 | HAVE_ARGUMENT = 90 # Opcodes from here have an argument: |
| 111 | |
| 112 | name_op('STORE_NAME', 90) # Index in name list |
| 113 | name_op('DELETE_NAME', 91) # "" |
| 114 | def_op('UNPACK_SEQUENCE', 92) # Number of tuple items |
| 115 | jrel_op('FOR_ITER', 93) |
Thomas Wouters | e8c3d26 | 2008-03-18 20:13:50 +0000 | [diff] [blame] | 116 | def_op('UNPACK_EX', 94) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 117 | name_op('STORE_ATTR', 95) # Index in name list |
| 118 | name_op('DELETE_ATTR', 96) # "" |
| 119 | name_op('STORE_GLOBAL', 97) # "" |
| 120 | name_op('DELETE_GLOBAL', 98) # "" |
| 121 | def_op('DUP_TOPX', 99) # number of items to duplicate |
| 122 | def_op('LOAD_CONST', 100) # Index in const list |
| 123 | hasconst.append(100) |
| 124 | name_op('LOAD_NAME', 101) # Index in name list |
| 125 | def_op('BUILD_TUPLE', 102) # Number of tuple items |
| 126 | def_op('BUILD_LIST', 103) # Number of list items |
Guido van Rossum | 86e58e2 | 2006-08-28 15:27:34 +0000 | [diff] [blame] | 127 | def_op('BUILD_SET', 104) # Number of set items |
Christian Heimes | 99170a5 | 2007-12-19 02:07:34 +0000 | [diff] [blame] | 128 | def_op('BUILD_MAP', 105) # Number of dict entries (upto 255) |
Guido van Rossum | 86e58e2 | 2006-08-28 15:27:34 +0000 | [diff] [blame] | 129 | name_op('LOAD_ATTR', 106) # Index in name list |
| 130 | def_op('COMPARE_OP', 107) # Comparison operator |
| 131 | hascompare.append(107) |
| 132 | name_op('IMPORT_NAME', 108) # Index in name list |
| 133 | name_op('IMPORT_FROM', 109) # Index in name list |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 134 | |
| 135 | jrel_op('JUMP_FORWARD', 110) # Number of bytes to skip |
| 136 | jrel_op('JUMP_IF_FALSE', 111) # "" |
| 137 | jrel_op('JUMP_IF_TRUE', 112) # "" |
| 138 | jabs_op('JUMP_ABSOLUTE', 113) # Target byte offset from beginning of code |
| 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 |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 169 | def_op('EXTENDED_ARG', 143) |
| 170 | EXTENDED_ARG = 143 |
| 171 | |
| 172 | del def_op, name_op, jrel_op, jabs_op |