runtime0.h 4.46 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/*
 * This file is part of the Micro Python project, http://micropython.org/
 *
 * The MIT License (MIT)
 *
 * Copyright (c) 2013, 2014 Damien P. George
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

27
// taken from python source, Include/code.h
28
// These must fit in 8 bits; see scope.h
29
30
31
32
33
34
35
36
37
38
39
40
41
#define MP_SCOPE_FLAG_OPTIMISED    0x01
#define MP_SCOPE_FLAG_NEWLOCALS    0x02
#define MP_SCOPE_FLAG_VARARGS      0x04
#define MP_SCOPE_FLAG_VARKEYWORDS  0x08
#define MP_SCOPE_FLAG_NESTED       0x10
#define MP_SCOPE_FLAG_GENERATOR    0x20
/* The MP_SCOPE_FLAG_NOFREE flag is set if there are no free or cell variables.
   This information is redundant, but it allows a single flag test
   to determine whether there is any extra work to be done when the
   call frame is setup.
*/
#define MP_SCOPE_FLAG_NOFREE       0x40

42
43
44
45
46
47
// types for native (viper) function signature
#define MP_NATIVE_TYPE_OBJ  (0x00)
#define MP_NATIVE_TYPE_BOOL (0x01)
#define MP_NATIVE_TYPE_INT  (0x02)
#define MP_NATIVE_TYPE_UINT (0x03)

48
typedef enum {
Damien George's avatar
Damien George committed
49
50
51
52
53
    MP_UNARY_OP_BOOL, // __bool__
    MP_UNARY_OP_LEN, // __len__
    MP_UNARY_OP_POSITIVE,
    MP_UNARY_OP_NEGATIVE,
    MP_UNARY_OP_INVERT,
54
    // these are not supported by the runtime and must be synthesised by the emitter
Damien George's avatar
Damien George committed
55
56
    MP_UNARY_OP_NOT,
} mp_unary_op_t;
57
58

typedef enum {
Damien George's avatar
Damien George committed
59
60
61
62
63
    MP_BINARY_OP_OR,
    MP_BINARY_OP_XOR,
    MP_BINARY_OP_AND,
    MP_BINARY_OP_LSHIFT,
    MP_BINARY_OP_RSHIFT,
64

Damien George's avatar
Damien George committed
65
66
67
68
69
    MP_BINARY_OP_ADD,
    MP_BINARY_OP_SUBTRACT,
    MP_BINARY_OP_MULTIPLY,
    MP_BINARY_OP_FLOOR_DIVIDE,
    MP_BINARY_OP_TRUE_DIVIDE,
70

Damien George's avatar
Damien George committed
71
72
73
74
75
    MP_BINARY_OP_MODULO,
    MP_BINARY_OP_POWER,
    MP_BINARY_OP_INPLACE_OR,
    MP_BINARY_OP_INPLACE_XOR,
    MP_BINARY_OP_INPLACE_AND,
76

Damien George's avatar
Damien George committed
77
78
79
80
81
    MP_BINARY_OP_INPLACE_LSHIFT,
    MP_BINARY_OP_INPLACE_RSHIFT,
    MP_BINARY_OP_INPLACE_ADD,
    MP_BINARY_OP_INPLACE_SUBTRACT,
    MP_BINARY_OP_INPLACE_MULTIPLY,
82

Damien George's avatar
Damien George committed
83
84
85
86
    MP_BINARY_OP_INPLACE_FLOOR_DIVIDE,
    MP_BINARY_OP_INPLACE_TRUE_DIVIDE,
    MP_BINARY_OP_INPLACE_MODULO,
    MP_BINARY_OP_INPLACE_POWER,
87
    // these should return a bool
Damien George's avatar
Damien George committed
88
    MP_BINARY_OP_LESS,
89

Damien George's avatar
Damien George committed
90
91
92
93
94
    MP_BINARY_OP_MORE,
    MP_BINARY_OP_EQUAL,
    MP_BINARY_OP_LESS_EQUAL,
    MP_BINARY_OP_MORE_EQUAL,
    MP_BINARY_OP_NOT_EQUAL,
95

Damien George's avatar
Damien George committed
96
97
98
    MP_BINARY_OP_IN,
    MP_BINARY_OP_IS,
    MP_BINARY_OP_EXCEPTION_MATCH,
99
    // these are not supported by the runtime and must be synthesised by the emitter
Damien George's avatar
Damien George committed
100
101
102
    MP_BINARY_OP_NOT_IN,
    MP_BINARY_OP_IS_NOT,
} mp_binary_op_t;
103
104

typedef enum {
105
106
107
    MP_F_CONVERT_OBJ_TO_NATIVE = 0,
    MP_F_CONVERT_NATIVE_TO_OBJ,
    MP_F_LOAD_CONST_INT,
108
    MP_F_LOAD_CONST_DEC,
Damien George's avatar
Damien George committed
109
    MP_F_LOAD_CONST_STR,
110
    MP_F_LOAD_CONST_BYTES,
Damien George's avatar
Damien George committed
111
112
113
114
115
116
    MP_F_LOAD_NAME,
    MP_F_LOAD_GLOBAL,
    MP_F_LOAD_BUILD_CLASS,
    MP_F_LOAD_ATTR,
    MP_F_LOAD_METHOD,
    MP_F_STORE_NAME,
117
    MP_F_STORE_GLOBAL,
Damien George's avatar
Damien George committed
118
    MP_F_STORE_ATTR,
119
    MP_F_OBJ_SUBSCR,
Damien George's avatar
Damien George committed
120
121
122
123
124
125
126
127
    MP_F_OBJ_IS_TRUE,
    MP_F_UNARY_OP,
    MP_F_BINARY_OP,
    MP_F_BUILD_TUPLE,
    MP_F_BUILD_LIST,
    MP_F_LIST_APPEND,
    MP_F_BUILD_MAP,
    MP_F_STORE_MAP,
128
#if MICROPY_PY_BUILTINS_SET
Damien George's avatar
Damien George committed
129
130
    MP_F_BUILD_SET,
    MP_F_STORE_SET,
131
#endif
132
    MP_F_MAKE_FUNCTION_FROM_RAW_CODE,
133
    MP_F_NATIVE_CALL_FUNCTION_N_KW,
Damien George's avatar
Damien George committed
134
135
136
    MP_F_CALL_METHOD_N_KW,
    MP_F_GETITER,
    MP_F_ITERNEXT,
137
138
    MP_F_NLR_PUSH,
    MP_F_NLR_POP,
139
    MP_F_NATIVE_RAISE,
140
    MP_F_IMPORT_NAME,
141
    MP_F_IMPORT_FROM,
142
    MP_F_IMPORT_ALL,
143
#if MICROPY_PY_BUILTINS_SLICE
144
    MP_F_NEW_SLICE,
145
#endif
146
    MP_F_UNPACK_SEQUENCE,
147
    MP_F_UNPACK_EX,
148
149
    MP_F_DELETE_NAME,
    MP_F_DELETE_GLOBAL,
Damien George's avatar
Damien George committed
150
151
    MP_F_NUMBER_OF,
} mp_fun_kind_t;
152

Damien George's avatar
Damien George committed
153
extern void *const mp_fun_table[MP_F_NUMBER_OF];