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", |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 9 | "HAVE_ARGUMENT", "EXTENDED_ARG", "hasnargs"] |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 = [] |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 21 | hasnargs = [] |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 22 | |
| 23 | opmap = {} |
| 24 | opname = [''] * 256 |
Walter Dörwald | 70a6b49 | 2004-02-12 17:35:32 +0000 | [diff] [blame] | 25 | for op in range(256): opname[op] = '<%r>' % (op,) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 26 | del op |
| 27 | |
| 28 | def def_op(name, op): |
| 29 | opname[op] = name |
| 30 | opmap[name] = op |
| 31 | |
| 32 | def name_op(name, op): |
| 33 | def_op(name, op) |
| 34 | hasname.append(op) |
| 35 | |
| 36 | def jrel_op(name, op): |
| 37 | def_op(name, op) |
| 38 | hasjrel.append(op) |
| 39 | |
| 40 | def jabs_op(name, op): |
| 41 | def_op(name, op) |
| 42 | hasjabs.append(op) |
| 43 | |
| 44 | # Instruction opcodes for compiled code |
Guido van Rossum | c2e2074 | 2006-02-27 22:32:47 +0000 | [diff] [blame] | 45 | # Blank lines correspond to available opcodes |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 46 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 47 | def_op('POP_TOP', 1) |
| 48 | def_op('ROT_TWO', 2) |
| 49 | def_op('ROT_THREE', 3) |
| 50 | def_op('DUP_TOP', 4) |
Antoine Pitrou | 74a69fa | 2010-09-04 18:43:52 +0000 | [diff] [blame] | 51 | def_op('DUP_TOP_TWO', 5) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 60 | def_op('BINARY_POWER', 19) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 61 | def_op('BINARY_MULTIPLY', 20) |
Neal Norwitz | c6d210c | 2006-03-16 06:02:10 +0000 | [diff] [blame] | 62 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 71 | |
Christian Heimes | 99170a5 | 2007-12-19 02:07:34 +0000 | [diff] [blame] | 72 | def_op('STORE_MAP', 54) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 73 | def_op('INPLACE_ADD', 55) |
| 74 | def_op('INPLACE_SUBTRACT', 56) |
| 75 | def_op('INPLACE_MULTIPLY', 57) |
Neal Norwitz | e7086d4 | 2006-03-17 08:59:09 +0000 | [diff] [blame] | 76 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 77 | def_op('INPLACE_MODULO', 59) |
| 78 | def_op('STORE_SUBSCR', 60) |
| 79 | def_op('DELETE_SUBSCR', 61) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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 | |
| 88 | def_op('PRINT_EXPR', 70) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 89 | def_op('LOAD_BUILD_CLASS', 71) |
Nick Coghlan | 1f7ce62 | 2012-01-13 21:43:40 +1000 | [diff] [blame] | 90 | def_op('YIELD_FROM', 72) |
Georg Brandl | 88fc664 | 2007-02-09 21:28:07 +0000 | [diff] [blame] | 91 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Guido van Rossum | c2e2074 | 2006-02-27 22:32:47 +0000 | [diff] [blame] | 98 | def_op('WITH_CLEANUP', 81) |
Guido van Rossum | 52cc1d8 | 2007-03-18 15:41:51 +0000 | [diff] [blame] | 99 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 100 | def_op('RETURN_VALUE', 83) |
| 101 | def_op('IMPORT_STAR', 84) |
Georg Brandl | dbdbf75 | 2008-07-20 21:38:50 +0000 | [diff] [blame] | 102 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 103 | def_op('YIELD_VALUE', 86) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 104 | def_op('POP_BLOCK', 87) |
| 105 | def_op('END_FINALLY', 88) |
Benjamin Peterson | eec3d71 | 2008-06-11 15:59:43 +0000 | [diff] [blame] | 106 | def_op('POP_EXCEPT', 89) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Thomas Wouters | e8c3d26 | 2008-03-18 20:13:50 +0000 | [diff] [blame] | 114 | def_op('UNPACK_EX', 94) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) # "" |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 119 | def_op('LOAD_CONST', 100) # Index in const list |
| 120 | hasconst.append(100) |
| 121 | name_op('LOAD_NAME', 101) # Index in name list |
| 122 | def_op('BUILD_TUPLE', 102) # Number of tuple items |
| 123 | def_op('BUILD_LIST', 103) # Number of list items |
Guido van Rossum | 86e58e2 | 2006-08-28 15:27:34 +0000 | [diff] [blame] | 124 | def_op('BUILD_SET', 104) # Number of set items |
Christian Heimes | 99170a5 | 2007-12-19 02:07:34 +0000 | [diff] [blame] | 125 | def_op('BUILD_MAP', 105) # Number of dict entries (upto 255) |
Guido van Rossum | 86e58e2 | 2006-08-28 15:27:34 +0000 | [diff] [blame] | 126 | name_op('LOAD_ATTR', 106) # Index in name list |
| 127 | def_op('COMPARE_OP', 107) # Comparison operator |
| 128 | hascompare.append(107) |
| 129 | name_op('IMPORT_NAME', 108) # Index in name list |
| 130 | name_op('IMPORT_FROM', 109) # Index in name list |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 131 | |
| 132 | jrel_op('JUMP_FORWARD', 110) # Number of bytes to skip |
Jeffrey Yasskin | 9de7ec7 | 2009-02-25 02:25:04 +0000 | [diff] [blame] | 133 | jabs_op('JUMP_IF_FALSE_OR_POP', 111) # Target byte offset from beginning of code |
| 134 | jabs_op('JUMP_IF_TRUE_OR_POP', 112) # "" |
| 135 | jabs_op('JUMP_ABSOLUTE', 113) # "" |
| 136 | jabs_op('POP_JUMP_IF_FALSE', 114) # "" |
| 137 | jabs_op('POP_JUMP_IF_TRUE', 115) # "" |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 155 | hasnargs.append(131) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 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) |
Amaury Forgeot d'Arc | ba117ef | 2010-09-10 21:39:53 +0000 | [diff] [blame] | 165 | def_op('DELETE_DEREF', 138) |
| 166 | hasfree.append(138) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 167 | |
| 168 | def_op('CALL_FUNCTION_VAR', 140) # #args + (#kwargs << 8) |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 169 | hasnargs.append(140) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 170 | def_op('CALL_FUNCTION_KW', 141) # #args + (#kwargs << 8) |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 171 | hasnargs.append(141) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 172 | def_op('CALL_FUNCTION_VAR_KW', 142) # #args + (#kwargs << 8) |
Alexander Belopolsky | 7448220 | 2012-06-07 14:28:14 -0400 | [diff] [blame] | 173 | hasnargs.append(142) |
Benjamin Peterson | 876b2f2 | 2009-06-28 03:18:59 +0000 | [diff] [blame] | 174 | |
| 175 | jrel_op('SETUP_WITH', 143) |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 176 | |
Antoine Pitrou | f289ae6 | 2008-12-18 11:06:25 +0000 | [diff] [blame] | 177 | def_op('LIST_APPEND', 145) |
| 178 | def_op('SET_ADD', 146) |
| 179 | def_op('MAP_ADD', 147) |
| 180 | |
Benjamin Peterson | 3b0431d | 2013-04-30 09:41:40 -0400 | [diff] [blame] | 181 | def_op('LOAD_CLASSDEREF', 148) |
| 182 | hasfree.append(148) |
| 183 | |
Benjamin Peterson | 876b2f2 | 2009-06-28 03:18:59 +0000 | [diff] [blame] | 184 | def_op('EXTENDED_ARG', 144) |
| 185 | EXTENDED_ARG = 144 |
Antoine Pitrou | f289ae6 | 2008-12-18 11:06:25 +0000 | [diff] [blame] | 186 | |
Skip Montanaro | 3249ccd | 2003-02-27 21:27:52 +0000 | [diff] [blame] | 187 | del def_op, name_op, jrel_op, jabs_op |