runtime.h 5.16 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);
Damien's avatar
Damien committed
87
88
89
90

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

93
94
void rt_init(void);
void rt_deinit(void);
Damien's avatar
Damien committed
95
int rt_get_unique_code_id(bool is_main_module);
96
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);
97
98
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
99
100
void py_obj_print(py_obj_t o);
int rt_is_true(py_obj_t arg);
101
102
machine_int_t py_get_int(py_obj_t arg);
machine_float_t py_obj_get_float(py_obj_t arg);
Damien's avatar
Damien committed
103
qstr py_get_qstr(py_obj_t arg);
104
105
py_obj_t *py_get_array_fixed_n(py_obj_t o, machine_int_t n);
py_obj_t py_obj_new_int(machine_int_t value);
Damien's avatar
Damien committed
106
py_obj_t rt_load_const_dec(qstr qstr);
Damien's avatar
Damien committed
107
108
109
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);
110
py_obj_t rt_load_build_class(void);
Damien's avatar
Damien committed
111
void rt_store_name(qstr qstr, py_obj_t obj);
112
void rt_store_global(qstr qstr, py_obj_t obj);
Damien's avatar
Damien committed
113
114
115
116
117
118
119
120
121
122
123
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);
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);
124
py_obj_t rt_call_function_n(py_obj_t fun, int n_args, const py_obj_t *args);
125
py_obj_t rt_call_method_n(int n_args, const py_obj_t *args);
126
py_obj_t rt_build_tuple(int n_args, py_obj_t *items);
Damien's avatar
Damien committed
127
py_obj_t rt_build_list(int n_args, py_obj_t *items);
128
py_obj_t rt_list_append(py_obj_t list, py_obj_t arg);
Damien's avatar
Damien committed
129
130
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
131
132
133
134
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);
135
136
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);
137
138
py_obj_t rt_getiter(py_obj_t o);
py_obj_t rt_iternext(py_obj_t o);
Damien's avatar
Damien committed
139
140

// temporary way of making C modules
141
py_obj_t py_module_new(void);
Damien's avatar
Damien committed
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159

// 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);