runtime0.h 4.39 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
/*
 * 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.
 */
26
27
#ifndef __MICROPY_INCLUDED_PY_RUNTIME0_H__
#define __MICROPY_INCLUDED_PY_RUNTIME0_H__
28

29
// These must fit in 8 bits; see scope.h
30
31
32
#define MP_SCOPE_FLAG_VARARGS      (0x01)
#define MP_SCOPE_FLAG_VARKEYWORDS  (0x02)
#define MP_SCOPE_FLAG_GENERATOR    (0x04)
33

34
35
36
37
38
39
// 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)

40
typedef enum {
Damien George's avatar
Damien George committed
41
42
    MP_UNARY_OP_BOOL, // __bool__
    MP_UNARY_OP_LEN, // __len__
43
    MP_UNARY_OP_HASH, // __hash__; must return a small int
Damien George's avatar
Damien George committed
44
45
46
    MP_UNARY_OP_POSITIVE,
    MP_UNARY_OP_NEGATIVE,
    MP_UNARY_OP_INVERT,
47
48
    // The NOT op is only implemented by bool.  The emitter must synthesise NOT
    // for other types by calling BOOL then inverting (eg by then calling NOT).
Damien George's avatar
Damien George committed
49
50
    MP_UNARY_OP_NOT,
} mp_unary_op_t;
51
52

typedef enum {
Damien George's avatar
Damien George committed
53
54
55
56
57
    MP_BINARY_OP_OR,
    MP_BINARY_OP_XOR,
    MP_BINARY_OP_AND,
    MP_BINARY_OP_LSHIFT,
    MP_BINARY_OP_RSHIFT,
58

Damien George's avatar
Damien George committed
59
60
61
62
63
    MP_BINARY_OP_ADD,
    MP_BINARY_OP_SUBTRACT,
    MP_BINARY_OP_MULTIPLY,
    MP_BINARY_OP_FLOOR_DIVIDE,
    MP_BINARY_OP_TRUE_DIVIDE,
64

Damien George's avatar
Damien George committed
65
66
    MP_BINARY_OP_MODULO,
    MP_BINARY_OP_POWER,
67
    MP_BINARY_OP_DIVMOD, // not emitted by the compiler but supported by the runtime
Damien George's avatar
Damien George committed
68
69
    MP_BINARY_OP_INPLACE_OR,
    MP_BINARY_OP_INPLACE_XOR,
70

71
    MP_BINARY_OP_INPLACE_AND,
Damien George's avatar
Damien George committed
72
73
74
75
    MP_BINARY_OP_INPLACE_LSHIFT,
    MP_BINARY_OP_INPLACE_RSHIFT,
    MP_BINARY_OP_INPLACE_ADD,
    MP_BINARY_OP_INPLACE_SUBTRACT,
76

77
    MP_BINARY_OP_INPLACE_MULTIPLY,
Damien George's avatar
Damien George committed
78
79
80
81
    MP_BINARY_OP_INPLACE_FLOOR_DIVIDE,
    MP_BINARY_OP_INPLACE_TRUE_DIVIDE,
    MP_BINARY_OP_INPLACE_MODULO,
    MP_BINARY_OP_INPLACE_POWER,
82

83
    // these should return a bool
Damien George's avatar
Damien George committed
84
85
86
87
88
    MP_BINARY_OP_LESS,
    MP_BINARY_OP_MORE,
    MP_BINARY_OP_EQUAL,
    MP_BINARY_OP_LESS_EQUAL,
    MP_BINARY_OP_MORE_EQUAL,
89

90
    MP_BINARY_OP_NOT_EQUAL,
Damien George's avatar
Damien George committed
91
92
93
    MP_BINARY_OP_IN,
    MP_BINARY_OP_IS,
    MP_BINARY_OP_EXCEPTION_MATCH,
94
    // these are not supported by the runtime and must be synthesised by the emitter
Damien George's avatar
Damien George committed
95
96
97
    MP_BINARY_OP_NOT_IN,
    MP_BINARY_OP_IS_NOT,
} mp_binary_op_t;
98
99

typedef enum {
100
101
    MP_F_CONVERT_OBJ_TO_NATIVE = 0,
    MP_F_CONVERT_NATIVE_TO_OBJ,
Damien George's avatar
Damien George committed
102
103
104
105
106
107
    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,
108
    MP_F_STORE_GLOBAL,
Damien George's avatar
Damien George committed
109
    MP_F_STORE_ATTR,
110
    MP_F_OBJ_SUBSCR,
Damien George's avatar
Damien George committed
111
112
113
114
115
116
117
118
    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,
119
#if MICROPY_PY_BUILTINS_SET
Damien George's avatar
Damien George committed
120
121
    MP_F_BUILD_SET,
    MP_F_STORE_SET,
122
#endif
123
    MP_F_MAKE_FUNCTION_FROM_RAW_CODE,
124
    MP_F_NATIVE_CALL_FUNCTION_N_KW,
Damien George's avatar
Damien George committed
125
    MP_F_CALL_METHOD_N_KW,
126
    MP_F_CALL_METHOD_N_KW_VAR,
Damien George's avatar
Damien George committed
127
128
    MP_F_GETITER,
    MP_F_ITERNEXT,
129
130
    MP_F_NLR_PUSH,
    MP_F_NLR_POP,
131
    MP_F_NATIVE_RAISE,
132
    MP_F_IMPORT_NAME,
133
    MP_F_IMPORT_FROM,
134
    MP_F_IMPORT_ALL,
135
#if MICROPY_PY_BUILTINS_SLICE
136
    MP_F_NEW_SLICE,
137
#endif
138
    MP_F_UNPACK_SEQUENCE,
139
    MP_F_UNPACK_EX,
140
141
    MP_F_DELETE_NAME,
    MP_F_DELETE_GLOBAL,
142
143
    MP_F_NEW_CELL,
    MP_F_MAKE_CLOSURE_FROM_RAW_CODE,
144
    MP_F_SETUP_CODE_STATE,
Damien George's avatar
Damien George committed
145
146
    MP_F_NUMBER_OF,
} mp_fun_kind_t;
147

Damien George's avatar
Damien George committed
148
extern void *const mp_fun_table[MP_F_NUMBER_OF];
149
150

#endif // __MICROPY_INCLUDED_PY_RUNTIME0_H__