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

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

typedef machine_ptr_t py_obj_t; // must be of pointer size
82
typedef py_obj_t (*py_fun_0_t)(void);
Damien's avatar
Damien committed
83
84
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);
85
typedef py_obj_t (*py_fun_t)(void);
Damien's avatar
Damien committed
86
87
88
89

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

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

// temporary way of making C modules
138
py_obj_t py_module_new(void);