runtime.h 5.37 KB
Newer Older
Damien's avatar
Damien committed
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
typedef enum {
    RT_UNARY_OP_NOT,
    RT_UNARY_OP_POSITIVE,
    RT_UNARY_OP_NEGATIVE,
    RT_UNARY_OP_INVERT,
} rt_unary_op_t;

typedef enum {
    RT_BINARY_OP_SUBSCR,
    RT_BINARY_OP_OR,
    RT_BINARY_OP_XOR,
    RT_BINARY_OP_AND,
    RT_BINARY_OP_LSHIFT,
    RT_BINARY_OP_RSHIFT,
    RT_BINARY_OP_ADD,
    RT_BINARY_OP_SUBTRACT,
    RT_BINARY_OP_MULTIPLY,
    RT_BINARY_OP_FLOOR_DIVIDE,
    RT_BINARY_OP_TRUE_DIVIDE,
    RT_BINARY_OP_MODULO,
    RT_BINARY_OP_POWER,
    RT_BINARY_OP_INPLACE_OR,
    RT_BINARY_OP_INPLACE_XOR,
    RT_BINARY_OP_INPLACE_AND,
    RT_BINARY_OP_INPLACE_LSHIFT,
    RT_BINARY_OP_INPLACE_RSHIFT,
    RT_BINARY_OP_INPLACE_ADD,
    RT_BINARY_OP_INPLACE_SUBTRACT,
    RT_BINARY_OP_INPLACE_MULTIPLY,
    RT_BINARY_OP_INPLACE_FLOOR_DIVIDE,
    RT_BINARY_OP_INPLACE_TRUE_DIVIDE,
    RT_BINARY_OP_INPLACE_MODULO,
    RT_BINARY_OP_INPLACE_POWER,
} rt_binary_op_t;

typedef enum {
    RT_COMPARE_OP_LESS,
    RT_COMPARE_OP_MORE,
    RT_COMPARE_OP_EQUAL,
    RT_COMPARE_OP_LESS_EQUAL,
    RT_COMPARE_OP_MORE_EQUAL,
    RT_COMPARE_OP_NOT_EQUAL,
    RT_COMPARE_OP_IN,
    RT_COMPARE_OP_NOT_IN,
    RT_COMPARE_OP_IS,
    RT_COMPARE_OP_IS_NOT,
    RT_COMPARE_OP_EXCEPTION_MATCH,
} rt_compare_op_t;

typedef enum {
51
52
    RT_F_LOAD_CONST_DEC = 0,
    RT_F_LOAD_CONST_STR,
Damien's avatar
Damien committed
53
54
    RT_F_LOAD_NAME,
    RT_F_LOAD_GLOBAL,
55
    RT_F_LOAD_BUILD_CLASS,
Damien's avatar
Damien committed
56
57
58
    RT_F_LOAD_ATTR,
    RT_F_LOAD_METHOD,
    RT_F_STORE_NAME,
59
    RT_F_STORE_ATTR,
Damien's avatar
Damien committed
60
61
62
    RT_F_STORE_SUBSCR,
    RT_F_IS_TRUE,
    RT_F_UNARY_OP,
63
    RT_F_BUILD_TUPLE,
Damien's avatar
Damien committed
64
    RT_F_BUILD_LIST,
65
    RT_F_LIST_APPEND,
Damien's avatar
Damien committed
66
67
68
    RT_F_BUILD_MAP,
    RT_F_STORE_MAP,
    RT_F_BUILD_SET,
69
    RT_F_STORE_SET,
Damien's avatar
Damien committed
70
    RT_F_MAKE_FUNCTION_FROM_ID,
71
    RT_F_CALL_FUNCTION_N,
72
    RT_F_CALL_METHOD_N,
Damien's avatar
Damien committed
73
74
    RT_F_BINARY_OP,
    RT_F_COMPARE_OP,
75
76
    RT_F_GETITER,
    RT_F_ITERNEXT,
Damien's avatar
Damien committed
77
78
79
    RT_F_NUMBER_OF,
} rt_fun_kind_t;

80
extern void *const rt_fun_table[RT_F_NUMBER_OF];
Damien's avatar
Damien committed
81
82

typedef machine_ptr_t py_obj_t; // must be of pointer size
83
typedef py_obj_t (*py_fun_0_t)(void);
Damien's avatar
Damien committed
84
85
typedef py_obj_t (*py_fun_1_t)(py_obj_t);
typedef py_obj_t (*py_fun_2_t)(py_obj_t, py_obj_t);
86
typedef py_obj_t (*py_fun_t)(void);
87
typedef py_obj_t (*py_fun_var_t)(int n, const py_obj_t *);
Damien's avatar
Damien committed
88

89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
extern qstr rt_q_append;
extern qstr rt_q_pop;
extern qstr rt_q_sort;
extern qstr rt_q_join;
extern qstr rt_q_format;
extern qstr rt_q___build_class__;
extern qstr rt_q___next__;
extern qstr rt_q_AttributeError;
extern qstr rt_q_IndexError;
extern qstr rt_q_KeyError;
extern qstr rt_q_NameError;
extern qstr rt_q_TypeError;
extern qstr rt_q_SyntaxError;
extern qstr rt_q_ValueError;

Damien's avatar
Damien committed
104
105
106
extern py_obj_t py_const_none;
extern py_obj_t py_const_false;
extern py_obj_t py_const_true;
107
extern py_obj_t py_const_stop_iteration; // special object indicating end of iteration (not StopIteration exception!)
Damien's avatar
Damien committed
108

109
110
void rt_init(void);
void rt_deinit(void);
Damien's avatar
Damien committed
111
int rt_get_unique_code_id(bool is_main_module);
Damien's avatar
Damien committed
112
void rt_assign_byte_code(int unique_code_id, byte *code, uint len, int n_args, int n_locals, int n_cells, int n_stack, bool is_generator);
113
114
void rt_assign_native_code(int unique_code_id, py_fun_t f, uint len, int n_args);
void rt_assign_inline_asm_code(int unique_code_id, py_fun_t f, uint len, int n_args);
115

Damien's avatar
Damien committed
116
int rt_is_true(py_obj_t arg);
117

Damien's avatar
Damien committed
118
py_obj_t rt_load_const_dec(qstr qstr);
Damien's avatar
Damien committed
119
120
121
py_obj_t rt_load_const_str(qstr qstr);
py_obj_t rt_load_name(qstr qstr);
py_obj_t rt_load_global(qstr qstr);
122
py_obj_t rt_load_build_class(void);
123
124
py_obj_t rt_get_cell(py_obj_t cell);
void rt_set_cell(py_obj_t cell, py_obj_t val);
Damien's avatar
Damien committed
125
void rt_store_name(qstr qstr, py_obj_t obj);
126
void rt_store_global(qstr qstr, py_obj_t obj);
Damien's avatar
Damien committed
127
128
129
130
131
132
133
134
py_obj_t rt_unary_op(int op, py_obj_t arg);
py_obj_t rt_binary_op(int op, py_obj_t lhs, py_obj_t rhs);
py_obj_t rt_compare_op(int op, py_obj_t lhs, py_obj_t rhs);
py_obj_t rt_make_function_from_id(int unique_code_id);
py_obj_t rt_make_function_0(py_fun_0_t f);
py_obj_t rt_make_function_1(py_fun_1_t f);
py_obj_t rt_make_function_2(py_fun_2_t f);
py_obj_t rt_make_function(int n_args, py_fun_t code);
135
py_obj_t rt_make_function_var(int n_fixed_args, py_fun_var_t f);
Damien's avatar
Damien committed
136
py_obj_t rt_make_closure_from_id(int unique_code_id, py_obj_t closure_tuple);
Damien's avatar
Damien committed
137
138
139
py_obj_t rt_call_function_0(py_obj_t fun);
py_obj_t rt_call_function_1(py_obj_t fun, py_obj_t arg);
py_obj_t rt_call_function_2(py_obj_t fun, py_obj_t arg1, py_obj_t arg2);
140
py_obj_t rt_call_function_n(py_obj_t fun, int n_args, const py_obj_t *args);
141
142
143
py_obj_t rt_call_function_n_kw(py_obj_t fun, uint n_args, uint n_kw, const py_obj_t *args);
py_obj_t rt_call_method_n(uint n_args, const py_obj_t *args);
py_obj_t rt_call_method_n_kw(uint n_args, uint n_kw, const py_obj_t *args);
144
py_obj_t rt_build_tuple(int n_args, py_obj_t *items);
Damien's avatar
Damien committed
145
py_obj_t rt_build_list(int n_args, py_obj_t *items);
146
py_obj_t rt_list_append(py_obj_t list, py_obj_t arg);
Damien's avatar
Damien committed
147
148
py_obj_t rt_build_set(int n_args, py_obj_t *items);
py_obj_t rt_store_set(py_obj_t set, py_obj_t item);
149
void rt_unpack_sequence(py_obj_t seq, uint num, py_obj_t *items);
Damien's avatar
Damien committed
150
151
152
153
py_obj_t rt_build_map(int n_args);
py_obj_t rt_store_map(py_obj_t map, py_obj_t key, py_obj_t value);
py_obj_t rt_load_attr(py_obj_t base, qstr attr);
void rt_load_method(py_obj_t base, qstr attr, py_obj_t *dest);
154
155
void rt_store_attr(py_obj_t base, qstr attr, py_obj_t val);
void rt_store_subscr(py_obj_t base, py_obj_t index, py_obj_t val);
156
157
py_obj_t rt_getiter(py_obj_t o);
py_obj_t rt_iternext(py_obj_t o);
158
159
py_obj_t rt_import_name(qstr name, py_obj_t fromlist, py_obj_t level);
py_obj_t rt_import_from(py_obj_t module, qstr name);
160
161

py_obj_t rt_gen_instance_next(py_obj_t self_in);