Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 1 | /* Definitions for bytecode */ |
| 2 | |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 3 | #ifndef Py_LIMITED_API |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 4 | #ifndef Py_CODE_H |
| 5 | #define Py_CODE_H |
| 6 | #ifdef __cplusplus |
| 7 | extern "C" { |
| 8 | #endif |
| 9 | |
Serhiy Storchaka | ab87400 | 2016-09-11 13:48:15 +0300 | [diff] [blame] | 10 | typedef uint16_t _Py_CODEUNIT; |
| 11 | |
| 12 | #ifdef WORDS_BIGENDIAN |
| 13 | # define _Py_OPCODE(word) ((word) >> 8) |
| 14 | # define _Py_OPARG(word) ((word) & 255) |
| 15 | #else |
| 16 | # define _Py_OPCODE(word) ((word) & 255) |
| 17 | # define _Py_OPARG(word) ((word) >> 8) |
| 18 | #endif |
| 19 | |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 20 | /* Bytecode object */ |
| 21 | typedef struct { |
| 22 | PyObject_HEAD |
| 23 | int co_argcount; /* #arguments, except *args */ |
Guido van Rossum | 4f72a78 | 2006-10-27 23:31:49 +0000 | [diff] [blame] | 24 | int co_kwonlyargcount; /* #keyword only arguments */ |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 25 | int co_nlocals; /* #local variables */ |
| 26 | int co_stacksize; /* #entries needed for evaluation stack */ |
| 27 | int co_flags; /* CO_..., see below */ |
Brett Cannon | 5c4de28 | 2016-09-07 11:16:41 -0700 | [diff] [blame] | 28 | int co_firstlineno; /* first source line number */ |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 29 | PyObject *co_code; /* instruction opcodes */ |
| 30 | PyObject *co_consts; /* list (constants used) */ |
| 31 | PyObject *co_names; /* list of strings (names used) */ |
| 32 | PyObject *co_varnames; /* tuple of strings (local variable names) */ |
| 33 | PyObject *co_freevars; /* tuple of strings (free variable names) */ |
| 34 | PyObject *co_cellvars; /* tuple of strings (cell variable names) */ |
Raymond Hettinger | f89854f | 2016-11-21 14:24:32 -0800 | [diff] [blame] | 35 | /* The rest aren't used in either hash or comparisons, except for co_name, |
| 36 | used in both. This is done to preserve the name and line number |
Andrew Kuchling | 6283691 | 2014-04-14 14:19:52 -0400 | [diff] [blame] | 37 | for tracebacks and debuggers; otherwise, constant de-duplication |
| 38 | would collapse identical functions/lambdas defined on different lines. |
| 39 | */ |
Serhiy Storchaka | 5bb8b91 | 2016-12-16 19:19:02 +0200 | [diff] [blame] | 40 | Py_ssize_t *co_cell2arg; /* Maps cell vars which are arguments. */ |
Guido van Rossum | 00bc0e0 | 2007-10-15 02:52:41 +0000 | [diff] [blame] | 41 | PyObject *co_filename; /* unicode (where it was loaded from) */ |
| 42 | PyObject *co_name; /* unicode (name, for reference) */ |
Alexandre Vassalotti | 7b82b40 | 2009-07-21 04:30:03 +0000 | [diff] [blame] | 43 | PyObject *co_lnotab; /* string (encoding addr<->lineno mapping) See |
| 44 | Objects/lnotab_notes.txt for details. */ |
Thomas Wouters | 477c8d5 | 2006-05-27 19:21:47 +0000 | [diff] [blame] | 45 | void *co_zombieframe; /* for optimization only (see frameobject.c) */ |
Collin Winter | 4222e9c | 2010-03-18 22:46:40 +0000 | [diff] [blame] | 46 | PyObject *co_weakreflist; /* to support weakrefs to code objects */ |
Raymond Hettinger | f89854f | 2016-11-21 14:24:32 -0800 | [diff] [blame] | 47 | /* Scratch space for extra data relating to the code object. |
Brett Cannon | d0600ed | 2016-09-07 14:30:39 -0700 | [diff] [blame] | 48 | Type is a void* to keep the format private in codeobject.c to force |
| 49 | people to go through the proper APIs. */ |
| 50 | void *co_extra; |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 51 | } PyCodeObject; |
| 52 | |
| 53 | /* Masks for co_flags above */ |
| 54 | #define CO_OPTIMIZED 0x0001 |
| 55 | #define CO_NEWLOCALS 0x0002 |
| 56 | #define CO_VARARGS 0x0004 |
| 57 | #define CO_VARKEYWORDS 0x0008 |
| 58 | #define CO_NESTED 0x0010 |
| 59 | #define CO_GENERATOR 0x0020 |
| 60 | /* The CO_NOFREE flag is set if there are no free or cell variables. |
| 61 | This information is redundant, but it allows a single flag test |
| 62 | to determine whether there is any extra work to be done when the |
| 63 | call frame it setup. |
| 64 | */ |
| 65 | #define CO_NOFREE 0x0040 |
Neal Norwitz | 0090a4c | 2006-02-19 18:49:30 +0000 | [diff] [blame] | 66 | |
Yury Selivanov | 7544508 | 2015-05-11 22:57:16 -0400 | [diff] [blame] | 67 | /* The CO_COROUTINE flag is set for coroutine functions (defined with |
| 68 | ``async def`` keywords) */ |
| 69 | #define CO_COROUTINE 0x0080 |
| 70 | #define CO_ITERABLE_COROUTINE 0x0100 |
Yury Selivanov | eb63645 | 2016-09-08 22:01:51 -0700 | [diff] [blame] | 71 | #define CO_ASYNC_GENERATOR 0x0200 |
Yury Selivanov | 7544508 | 2015-05-11 22:57:16 -0400 | [diff] [blame] | 72 | |
Guido van Rossum | 45aecf4 | 2006-03-15 04:58:47 +0000 | [diff] [blame] | 73 | /* These are no longer used. */ |
Benjamin Peterson | ffeaa88 | 2009-07-02 21:54:36 +0000 | [diff] [blame] | 74 | #if 0 |
Neal Norwitz | ab51f5f | 2006-02-25 15:43:10 +0000 | [diff] [blame] | 75 | #define CO_GENERATOR_ALLOWED 0x1000 |
Benjamin Peterson | ffeaa88 | 2009-07-02 21:54:36 +0000 | [diff] [blame] | 76 | #endif |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 77 | #define CO_FUTURE_DIVISION 0x2000 |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 78 | #define CO_FUTURE_ABSOLUTE_IMPORT 0x4000 /* do absolute imports by default */ |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 79 | #define CO_FUTURE_WITH_STATEMENT 0x8000 |
Eric Smith | 8782408 | 2008-03-20 23:02:08 +0000 | [diff] [blame] | 80 | #define CO_FUTURE_PRINT_FUNCTION 0x10000 |
Christian Heimes | 4d6ec85 | 2008-03-26 22:34:47 +0000 | [diff] [blame] | 81 | #define CO_FUTURE_UNICODE_LITERALS 0x20000 |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 82 | |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 83 | #define CO_FUTURE_BARRY_AS_BDFL 0x40000 |
Yury Selivanov | 8170e8c | 2015-05-09 11:44:30 -0400 | [diff] [blame] | 84 | #define CO_FUTURE_GENERATOR_STOP 0x80000 |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 85 | |
Benjamin Peterson | 9003760 | 2011-06-25 22:54:45 -0500 | [diff] [blame] | 86 | /* This value is found in the co_cell2arg array when the associated cell |
Serhiy Storchaka | 5bb8b91 | 2016-12-16 19:19:02 +0200 | [diff] [blame] | 87 | variable does not correspond to an argument. */ |
| 88 | #define CO_CELL_NOT_AN_ARG (-1) |
Benjamin Peterson | 9003760 | 2011-06-25 22:54:45 -0500 | [diff] [blame] | 89 | |
Thomas Wouters | 34aa7ba | 2006-02-28 19:02:24 +0000 | [diff] [blame] | 90 | /* This should be defined if a future statement modifies the syntax. |
| 91 | For example, when a keyword is added. |
| 92 | */ |
Brett Cannon | e3944a5 | 2009-04-01 05:08:41 +0000 | [diff] [blame] | 93 | #define PY_PARSER_REQUIRES_FUTURE_KEYWORD |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 94 | |
| 95 | #define CO_MAXBLOCKS 20 /* Max static block nesting within a function */ |
| 96 | |
Neal Norwitz | 58a7985 | 2005-10-21 04:23:36 +0000 | [diff] [blame] | 97 | PyAPI_DATA(PyTypeObject) PyCode_Type; |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 98 | |
Christian Heimes | 90aa764 | 2007-12-19 02:45:37 +0000 | [diff] [blame] | 99 | #define PyCode_Check(op) (Py_TYPE(op) == &PyCode_Type) |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 100 | #define PyCode_GetNumFree(op) (PyTuple_GET_SIZE((op)->co_freevars)) |
| 101 | |
| 102 | /* Public interface */ |
Neal Norwitz | 58a7985 | 2005-10-21 04:23:36 +0000 | [diff] [blame] | 103 | PyAPI_FUNC(PyCodeObject *) PyCode_New( |
Guido van Rossum | 4f72a78 | 2006-10-27 23:31:49 +0000 | [diff] [blame] | 104 | int, int, int, int, int, PyObject *, PyObject *, |
| 105 | PyObject *, PyObject *, PyObject *, PyObject *, |
Victor Stinner | f3170cc | 2010-10-15 12:04:23 +0000 | [diff] [blame] | 106 | PyObject *, PyObject *, int, PyObject *); |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 107 | /* same as struct above */ |
Alexandre Vassalotti | 7b82b40 | 2009-07-21 04:30:03 +0000 | [diff] [blame] | 108 | |
| 109 | /* Creates a new empty code object with the specified source location. */ |
| 110 | PyAPI_FUNC(PyCodeObject *) |
| 111 | PyCode_NewEmpty(const char *filename, const char *funcname, int firstlineno); |
| 112 | |
| 113 | /* Return the line number associated with the specified bytecode index |
| 114 | in this code object. If you just need the line number of a frame, |
| 115 | use PyFrame_GetLineNumber() instead. */ |
Neal Norwitz | 58a7985 | 2005-10-21 04:23:36 +0000 | [diff] [blame] | 116 | PyAPI_FUNC(int) PyCode_Addr2Line(PyCodeObject *, int); |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 117 | |
| 118 | /* for internal use only */ |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 119 | typedef struct _addr_pair { |
| 120 | int ap_lower; |
| 121 | int ap_upper; |
| 122 | } PyAddrPair; |
| 123 | |
Victor Stinner | efb2413 | 2016-01-22 12:33:12 +0100 | [diff] [blame] | 124 | #ifndef Py_LIMITED_API |
Alexandre Vassalotti | 7b82b40 | 2009-07-21 04:30:03 +0000 | [diff] [blame] | 125 | /* Update *bounds to describe the first and one-past-the-last instructions in the |
| 126 | same line as lasti. Return the number of that line. |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 127 | */ |
Alexandre Vassalotti | 7b82b40 | 2009-07-21 04:30:03 +0000 | [diff] [blame] | 128 | PyAPI_FUNC(int) _PyCode_CheckLineNumber(PyCodeObject* co, |
| 129 | int lasti, PyAddrPair *bounds); |
Victor Stinner | efb2413 | 2016-01-22 12:33:12 +0100 | [diff] [blame] | 130 | |
| 131 | /* Create a comparable key used to compare constants taking in account the |
| 132 | * object type. It is used to make sure types are not coerced (e.g., float and |
| 133 | * complex) _and_ to distinguish 0.0 from -0.0 e.g. on IEEE platforms |
| 134 | * |
| 135 | * Return (type(obj), obj, ...): a tuple with variable size (at least 2 items) |
| 136 | * depending on the type and the value. The type is the first item to not |
| 137 | * compare bytes and str which can raise a BytesWarning exception. */ |
| 138 | PyAPI_FUNC(PyObject*) _PyCode_ConstantKey(PyObject *obj); |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 139 | #endif |
Thomas Wouters | 49fd7fa | 2006-04-21 10:40:58 +0000 | [diff] [blame] | 140 | |
Thomas Wouters | 00ee7ba | 2006-08-21 19:07:27 +0000 | [diff] [blame] | 141 | PyAPI_FUNC(PyObject*) PyCode_Optimize(PyObject *code, PyObject* consts, |
Victor Stinner | f3914eb | 2016-01-20 12:16:21 +0100 | [diff] [blame] | 142 | PyObject *names, PyObject *lnotab); |
Thomas Wouters | 00ee7ba | 2006-08-21 19:07:27 +0000 | [diff] [blame] | 143 | |
Brett Cannon | 5c4de28 | 2016-09-07 11:16:41 -0700 | [diff] [blame] | 144 | |
| 145 | #ifndef Py_LIMITED_API |
| 146 | PyAPI_FUNC(int) _PyCode_GetExtra(PyObject *code, Py_ssize_t index, |
| 147 | void **extra); |
| 148 | PyAPI_FUNC(int) _PyCode_SetExtra(PyObject *code, Py_ssize_t index, |
| 149 | void *extra); |
| 150 | #endif |
| 151 | |
Jeremy Hylton | 3e0055f | 2005-10-20 19:59:25 +0000 | [diff] [blame] | 152 | #ifdef __cplusplus |
| 153 | } |
| 154 | #endif |
| 155 | #endif /* !Py_CODE_H */ |
Martin v. Löwis | 4d0d471 | 2010-12-03 20:14:31 +0000 | [diff] [blame] | 156 | #endif /* Py_LIMITED_API */ |