blob: 385258f93ce49110977892bf405e56ddfb86fc34 [file] [log] [blame]
Jeremy Hylton3e0055f2005-10-20 19:59:25 +00001/* Definitions for bytecode */
2
Martin v. Löwis4d0d4712010-12-03 20:14:31 +00003#ifndef Py_LIMITED_API
Jeremy Hylton3e0055f2005-10-20 19:59:25 +00004#ifndef Py_CODE_H
5#define Py_CODE_H
6#ifdef __cplusplus
7extern "C" {
8#endif
9
Serhiy Storchakaab874002016-09-11 13:48:15 +030010typedef 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 Hylton3e0055f2005-10-20 19:59:25 +000020/* Bytecode object */
21typedef struct {
22 PyObject_HEAD
23 int co_argcount; /* #arguments, except *args */
Guido van Rossum4f72a782006-10-27 23:31:49 +000024 int co_kwonlyargcount; /* #keyword only arguments */
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000025 int co_nlocals; /* #local variables */
26 int co_stacksize; /* #entries needed for evaluation stack */
27 int co_flags; /* CO_..., see below */
Brett Cannon5c4de282016-09-07 11:16:41 -070028 int co_firstlineno; /* first source line number */
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000029 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 Hettingerf89854f2016-11-21 14:24:32 -080035 /* 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 Kuchling62836912014-04-14 14:19:52 -040037 for tracebacks and debuggers; otherwise, constant de-duplication
38 would collapse identical functions/lambdas defined on different lines.
39 */
Serhiy Storchaka5bb8b912016-12-16 19:19:02 +020040 Py_ssize_t *co_cell2arg; /* Maps cell vars which are arguments. */
Guido van Rossum00bc0e02007-10-15 02:52:41 +000041 PyObject *co_filename; /* unicode (where it was loaded from) */
42 PyObject *co_name; /* unicode (name, for reference) */
Alexandre Vassalotti7b82b402009-07-21 04:30:03 +000043 PyObject *co_lnotab; /* string (encoding addr<->lineno mapping) See
44 Objects/lnotab_notes.txt for details. */
Thomas Wouters477c8d52006-05-27 19:21:47 +000045 void *co_zombieframe; /* for optimization only (see frameobject.c) */
Collin Winter4222e9c2010-03-18 22:46:40 +000046 PyObject *co_weakreflist; /* to support weakrefs to code objects */
Raymond Hettingerf89854f2016-11-21 14:24:32 -080047 /* Scratch space for extra data relating to the code object.
Brett Cannond0600ed2016-09-07 14:30:39 -070048 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 Hylton3e0055f2005-10-20 19:59:25 +000051} 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 Norwitz0090a4c2006-02-19 18:49:30 +000066
Yury Selivanov75445082015-05-11 22:57:16 -040067/* 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 Selivanoveb636452016-09-08 22:01:51 -070071#define CO_ASYNC_GENERATOR 0x0200
Yury Selivanov75445082015-05-11 22:57:16 -040072
Guido van Rossum45aecf42006-03-15 04:58:47 +000073/* These are no longer used. */
Benjamin Petersonffeaa882009-07-02 21:54:36 +000074#if 0
Neal Norwitzab51f5f2006-02-25 15:43:10 +000075#define CO_GENERATOR_ALLOWED 0x1000
Benjamin Petersonffeaa882009-07-02 21:54:36 +000076#endif
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000077#define CO_FUTURE_DIVISION 0x2000
Thomas Wouters49fd7fa2006-04-21 10:40:58 +000078#define CO_FUTURE_ABSOLUTE_IMPORT 0x4000 /* do absolute imports by default */
Thomas Wouters34aa7ba2006-02-28 19:02:24 +000079#define CO_FUTURE_WITH_STATEMENT 0x8000
Eric Smith87824082008-03-20 23:02:08 +000080#define CO_FUTURE_PRINT_FUNCTION 0x10000
Christian Heimes4d6ec852008-03-26 22:34:47 +000081#define CO_FUTURE_UNICODE_LITERALS 0x20000
Thomas Wouters34aa7ba2006-02-28 19:02:24 +000082
Brett Cannone3944a52009-04-01 05:08:41 +000083#define CO_FUTURE_BARRY_AS_BDFL 0x40000
Yury Selivanov8170e8c2015-05-09 11:44:30 -040084#define CO_FUTURE_GENERATOR_STOP 0x80000
Brett Cannone3944a52009-04-01 05:08:41 +000085
Benjamin Peterson90037602011-06-25 22:54:45 -050086/* This value is found in the co_cell2arg array when the associated cell
Serhiy Storchaka5bb8b912016-12-16 19:19:02 +020087 variable does not correspond to an argument. */
88#define CO_CELL_NOT_AN_ARG (-1)
Benjamin Peterson90037602011-06-25 22:54:45 -050089
Thomas Wouters34aa7ba2006-02-28 19:02:24 +000090/* This should be defined if a future statement modifies the syntax.
91 For example, when a keyword is added.
92*/
Brett Cannone3944a52009-04-01 05:08:41 +000093#define PY_PARSER_REQUIRES_FUTURE_KEYWORD
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000094
95#define CO_MAXBLOCKS 20 /* Max static block nesting within a function */
96
Neal Norwitz58a79852005-10-21 04:23:36 +000097PyAPI_DATA(PyTypeObject) PyCode_Type;
Jeremy Hylton3e0055f2005-10-20 19:59:25 +000098
Christian Heimes90aa7642007-12-19 02:45:37 +000099#define PyCode_Check(op) (Py_TYPE(op) == &PyCode_Type)
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000100#define PyCode_GetNumFree(op) (PyTuple_GET_SIZE((op)->co_freevars))
101
102/* Public interface */
Neal Norwitz58a79852005-10-21 04:23:36 +0000103PyAPI_FUNC(PyCodeObject *) PyCode_New(
Guido van Rossum4f72a782006-10-27 23:31:49 +0000104 int, int, int, int, int, PyObject *, PyObject *,
105 PyObject *, PyObject *, PyObject *, PyObject *,
Victor Stinnerf3170cc2010-10-15 12:04:23 +0000106 PyObject *, PyObject *, int, PyObject *);
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000107 /* same as struct above */
Alexandre Vassalotti7b82b402009-07-21 04:30:03 +0000108
109/* Creates a new empty code object with the specified source location. */
110PyAPI_FUNC(PyCodeObject *)
111PyCode_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 Norwitz58a79852005-10-21 04:23:36 +0000116PyAPI_FUNC(int) PyCode_Addr2Line(PyCodeObject *, int);
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000117
118/* for internal use only */
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000119typedef struct _addr_pair {
120 int ap_lower;
121 int ap_upper;
122} PyAddrPair;
123
Victor Stinnerefb24132016-01-22 12:33:12 +0100124#ifndef Py_LIMITED_API
Alexandre Vassalotti7b82b402009-07-21 04:30:03 +0000125/* 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 Wouters49fd7fa2006-04-21 10:40:58 +0000127*/
Alexandre Vassalotti7b82b402009-07-21 04:30:03 +0000128PyAPI_FUNC(int) _PyCode_CheckLineNumber(PyCodeObject* co,
129 int lasti, PyAddrPair *bounds);
Victor Stinnerefb24132016-01-22 12:33:12 +0100130
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. */
138PyAPI_FUNC(PyObject*) _PyCode_ConstantKey(PyObject *obj);
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000139#endif
Thomas Wouters49fd7fa2006-04-21 10:40:58 +0000140
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000141PyAPI_FUNC(PyObject*) PyCode_Optimize(PyObject *code, PyObject* consts,
Victor Stinnerf3914eb2016-01-20 12:16:21 +0100142 PyObject *names, PyObject *lnotab);
Thomas Wouters00ee7ba2006-08-21 19:07:27 +0000143
Brett Cannon5c4de282016-09-07 11:16:41 -0700144
145#ifndef Py_LIMITED_API
146PyAPI_FUNC(int) _PyCode_GetExtra(PyObject *code, Py_ssize_t index,
147 void **extra);
148PyAPI_FUNC(int) _PyCode_SetExtra(PyObject *code, Py_ssize_t index,
149 void *extra);
150#endif
151
Jeremy Hylton3e0055f2005-10-20 19:59:25 +0000152#ifdef __cplusplus
153}
154#endif
155#endif /* !Py_CODE_H */
Martin v. Löwis4d0d4712010-12-03 20:14:31 +0000156#endif /* Py_LIMITED_API */