runtime.h 5.33 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

extern py_obj_t py_const_none;
extern py_obj_t py_const_false;
extern py_obj_t py_const_true;
92
extern py_obj_t py_const_stop_iteration; // special object indicating end of iteration (not StopIteration exception!)
Damien's avatar
Damien committed
93

94
95
void rt_init(void);
void rt_deinit(void);
Damien's avatar
Damien committed
96
int rt_get_unique_code_id(bool is_main_module);
97
void rt_assign_byte_code(int unique_code_id, byte *code, uint len, int n_args, int n_locals, int n_stack, bool is_generator);
98
99
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);
Damien's avatar
Damien committed
100
void py_obj_print(py_obj_t o);
101
102
103
104

py_obj_t py_obj_new_int(machine_int_t value);
py_obj_t py_obj_new_str(qstr qstr);

Damien's avatar
Damien committed
105
int rt_is_true(py_obj_t arg);
106
machine_int_t py_obj_get_int(py_obj_t arg);
107
machine_float_t py_obj_get_float(py_obj_t arg);
108
109
110
qstr py_obj_get_qstr(py_obj_t arg);
py_obj_t *py_obj_get_array_fixed_n(py_obj_t o, machine_int_t n);

Damien's avatar
Damien committed
111
py_obj_t rt_load_const_dec(qstr qstr);
Damien's avatar
Damien committed
112
113
114
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);
115
py_obj_t rt_load_build_class(void);
Damien's avatar
Damien committed
116
void rt_store_name(qstr qstr, py_obj_t obj);
117
void rt_store_global(qstr qstr, py_obj_t obj);
Damien's avatar
Damien committed
118
119
120
121
122
123
124
125
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);
126
py_obj_t rt_make_function_var(int n_fixed_args, py_fun_var_t f);
Damien's avatar
Damien committed
127
128
129
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);
130
py_obj_t rt_call_function_n(py_obj_t fun, int n_args, const py_obj_t *args);
131
py_obj_t rt_call_method_n(int n_args, const py_obj_t *args);
132
py_obj_t rt_build_tuple(int n_args, py_obj_t *items);
Damien's avatar
Damien committed
133
py_obj_t rt_build_list(int n_args, py_obj_t *items);
134
py_obj_t rt_list_append(py_obj_t list, py_obj_t arg);
Damien's avatar
Damien committed
135
136
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);
Damien's avatar
Damien committed
137
138
139
140
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);
141
142
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);
143
144
py_obj_t rt_getiter(py_obj_t o);
py_obj_t rt_iternext(py_obj_t o);
Damien's avatar
Damien committed
145
146

// temporary way of making C modules
147
py_obj_t py_module_new(void);
Damien's avatar
Damien committed
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165

// user defined objects

typedef struct _py_user_method_t {
    const char *name;
    machine_uint_t kind;
    void *fun;
} py_user_method_t;

typedef struct _py_user_info_t {
    const char *type_name;
    void (*print)(py_obj_t);
    const py_user_method_t methods[];
} py_user_info_t;

py_obj_t py_obj_new_user(const py_user_info_t *info, machine_uint_t data1, machine_uint_t data2);
void py_user_get_data(py_obj_t o, machine_uint_t *data1, machine_uint_t *data2);
void py_user_set_data(py_obj_t o, machine_uint_t data1, machine_uint_t data2);