builtin.c 9.21 KB
Newer Older
1
2
3
4
5
6
7
8
9
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include <string.h>
#include <assert.h>

#include "nlr.h"
#include "misc.h"
10
#include "mpconfig.h"
11
#include "mpqstr.h"
12
13
#include "obj.h"
#include "runtime0.h"
14
15
16
17
#include "runtime.h"
#include "map.h"
#include "builtin.h"

18
mp_obj_t mp_builtin___build_class__(mp_obj_t o_class_fun, mp_obj_t o_class_name) {
19
    // we differ from CPython: we set the new __locals__ object here
20
    mp_map_t *old_locals = rt_locals_get();
21
    mp_map_t *class_locals = mp_map_new(MP_MAP_QSTR, 0);
22
    rt_locals_set(class_locals);
23
24

    // call the class code
25
    rt_call_function_1(o_class_fun, (mp_obj_t)0xdeadbeef);
26
27

    // restore old __locals__ object
28
    rt_locals_set(old_locals);
29
30

    // create and return the new class
31
    return mp_obj_new_class(class_locals);
32
33
}

34
35
36
mp_obj_t mp_builtin___repl_print__(mp_obj_t o) {
    if (o != mp_const_none) {
        mp_obj_print(o);
37
38
        printf("\n");
    }
39
    return mp_const_none;
40
41
}

42
43
44
mp_obj_t mp_builtin_abs(mp_obj_t o_in) {
    if (MP_OBJ_IS_SMALL_INT(o_in)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(o_in);
45
46
        if (val < 0) {
            val = -val;
47
        }
48
        return MP_OBJ_NEW_SMALL_INT(val);
49
#if MICROPY_ENABLE_FLOAT
50
51
    } else if (MP_OBJ_IS_TYPE(o_in, &float_type)) {
        mp_float_t value = mp_obj_float_get(o_in);
52
        // TODO check for NaN etc
53
54
        if (value < 0) {
            return mp_obj_new_float(-value);
55
        } else {
56
            return o_in;
57
        }
58
59
60
61
    } else if (MP_OBJ_IS_TYPE(o_in, &complex_type)) {
        mp_float_t real, imag;
        mp_obj_complex_get(o_in, &real, &imag);
        return mp_obj_new_float(machine_sqrt(real*real + imag*imag));
62
63
64
#endif
    } else {
        assert(0);
65
        return mp_const_none;
66
67
68
    }
}

69
70
71
72
mp_obj_t mp_builtin_all(mp_obj_t o_in) {
    mp_obj_t iterable = rt_getiter(o_in);
    mp_obj_t item;
    while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
73
        if (!rt_is_true(item)) {
74
            return mp_const_false;
75
76
        }
    }
77
    return mp_const_true;
78
79
}

80
81
82
83
mp_obj_t mp_builtin_any(mp_obj_t o_in) {
    mp_obj_t iterable = rt_getiter(o_in);
    mp_obj_t item;
    while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
84
        if (rt_is_true(item)) {
85
            return mp_const_true;
86
87
        }
    }
88
    return mp_const_false;
89
90
}

91
92
93
mp_obj_t mp_builtin_callable(mp_obj_t o_in) {
    if (mp_obj_is_callable(o_in)) {
        return mp_const_true;
94
    } else {
95
        return mp_const_false;
96
97
98
    }
}

99
100
mp_obj_t mp_builtin_chr(mp_obj_t o_in) {
    int ord = mp_obj_get_int(o_in);
101
102
103
104
    if (0 <= ord && ord <= 0x10ffff) {
        char *str = m_new(char, 2);
        str[0] = ord;
        str[1] = '\0';
105
        return mp_obj_new_str(qstr_from_str_take(str, 2));
106
    } else {
107
        nlr_jump(mp_obj_new_exception_msg(MP_QSTR_ValueError, "chr() arg not in range(0x110000)"));
108
    }
109
110
}

111
112
113
114
115
116
117
mp_obj_t mp_builtin_divmod(mp_obj_t o1_in, mp_obj_t o2_in) {
    if (MP_OBJ_IS_SMALL_INT(o1_in) && MP_OBJ_IS_SMALL_INT(o2_in)) {
        mp_small_int_t i1 = MP_OBJ_SMALL_INT_VALUE(o1_in);
        mp_small_int_t i2 = MP_OBJ_SMALL_INT_VALUE(o2_in);
        mp_obj_t revs_args[2];
        revs_args[1] = MP_OBJ_NEW_SMALL_INT(i1 / i2);
        revs_args[0] = MP_OBJ_NEW_SMALL_INT(i1 % i2);
118
119
        return rt_build_tuple(2, revs_args);
    } else {
120
        nlr_jump(mp_obj_new_exception_msg_2_args(MP_QSTR_TypeError, "unsupported operand type(s) for divmod(): '%s' and '%s'", mp_obj_get_type_str(o1_in), mp_obj_get_type_str(o2_in)));
121
122
123
    }
}

124
static mp_obj_t mp_builtin_hash(mp_obj_t o_in) {
125
    // TODO hash will generally overflow small integer; can we safely truncate it?
126
    return mp_obj_new_int(mp_obj_hash(o_in));
127
128
}

129
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hash_obj, mp_builtin_hash);
130

131
132
static mp_obj_t mp_builtin_iter(mp_obj_t o_in) {
    return rt_getiter(o_in);
133
134
}

135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_iter_obj, mp_builtin_iter);

mp_obj_t mp_builtin_len(mp_obj_t o_in) {
    mp_small_int_t len = 0;
    if (MP_OBJ_IS_TYPE(o_in, &str_type)) {
        len = strlen(qstr_str(mp_obj_str_get(o_in)));
    } else if (MP_OBJ_IS_TYPE(o_in, &tuple_type)) {
        uint seq_len;
        mp_obj_t *seq_items;
        mp_obj_tuple_get(o_in, &seq_len, &seq_items);
        len = seq_len;
    } else if (MP_OBJ_IS_TYPE(o_in, &list_type)) {
        uint seq_len;
        mp_obj_t *seq_items;
        mp_obj_list_get(o_in, &seq_len, &seq_items);
        len = seq_len;
    } else if (MP_OBJ_IS_TYPE(o_in, &dict_type)) {
152
        len = mp_obj_dict_len(o_in);
153
    } else {
154
        nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_TypeError, "object of type '%s' has no len()", mp_obj_get_type_str(o_in)));
155
    }
156
    return MP_OBJ_NEW_SMALL_INT(len);
157
158
}

159
mp_obj_t mp_builtin_max(int n_args, const mp_obj_t *args) {
160
161
    if (n_args == 1) {
        // given an iterable
162
163
164
165
166
        mp_obj_t iterable = rt_getiter(args[0]);
        mp_obj_t max_obj = NULL;
        mp_obj_t item;
        while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
            if (max_obj == NULL || mp_obj_less(max_obj, item)) {
167
168
                max_obj = item;
            }
169
        }
170
        if (max_obj == NULL) {
171
            nlr_jump(mp_obj_new_exception_msg(MP_QSTR_ValueError, "max() arg is an empty sequence"));
172
173
        }
        return max_obj;
174
    } else {
175
        // given many args
176
        mp_obj_t max_obj = args[0];
177
        for (int i = 1; i < n_args; i++) {
178
            if (mp_obj_less(max_obj, args[i])) {
179
180
181
182
                max_obj = args[i];
            }
        }
        return max_obj;
183
184
185
    }
}

186
mp_obj_t mp_builtin_min(int n_args, const mp_obj_t *args) {
187
188
    if (n_args == 1) {
        // given an iterable
189
190
191
192
193
        mp_obj_t iterable = rt_getiter(args[0]);
        mp_obj_t min_obj = NULL;
        mp_obj_t item;
        while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
            if (min_obj == NULL || mp_obj_less(item, min_obj)) {
194
195
196
197
                min_obj = item;
            }
        }
        if (min_obj == NULL) {
198
            nlr_jump(mp_obj_new_exception_msg(MP_QSTR_ValueError, "min() arg is an empty sequence"));
199
200
201
202
        }
        return min_obj;
    } else {
        // given many args
203
        mp_obj_t min_obj = args[0];
204
        for (int i = 1; i < n_args; i++) {
205
            if (mp_obj_less(args[i], min_obj)) {
206
207
208
209
210
211
                min_obj = args[i];
            }
        }
        return min_obj;
    }
}
212

213
214
215
static mp_obj_t mp_builtin_next(mp_obj_t o) {
    mp_obj_t ret = rt_iternext(o);
    if (ret == mp_const_stop_iteration) {
216
        nlr_jump(mp_obj_new_exception(MP_QSTR_StopIteration));
217
218
219
    } else {
        return ret;
    }
220
221
222
223
224
225
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_next_obj, mp_builtin_next);

mp_obj_t mp_builtin_ord(mp_obj_t o_in) {
    const char *str = qstr_str(mp_obj_get_qstr(o_in));
226
    if (strlen(str) == 1) {
227
        return mp_obj_new_int(str[0]);
228
    } else {
229
        nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_TypeError, "ord() expected a character, but string of length %d found", (void*)(machine_int_t)strlen(str)));
230
231
    }
}
232

233
mp_obj_t mp_builtin_pow(int n_args, const mp_obj_t *args) {
234
235
236
    switch (n_args) {
        case 2: return rt_binary_op(RT_BINARY_OP_POWER, args[0], args[1]);
        case 3: return rt_binary_op(RT_BINARY_OP_MODULO, rt_binary_op(RT_BINARY_OP_POWER, args[0], args[1]), args[2]); // TODO optimise...
237
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_TypeError, "pow expected at most 3 arguments, got %d", (void*)(machine_int_t)n_args));
238
239
    }
}
240

241
mp_obj_t mp_builtin_print(int n_args, const mp_obj_t *args) {
242
243
244
245
    for (int i = 0; i < n_args; i++) {
        if (i > 0) {
            printf(" ");
        }
246
        if (MP_OBJ_IS_TYPE(args[i], &str_type)) {
247
            // special case, print string raw
248
            printf("%s", qstr_str(mp_obj_str_get(args[i])));
249
250
        } else {
            // print the object Python style
251
            mp_obj_print(args[i]);
252
253
254
        }
    }
    printf("\n");
255
    return mp_const_none;
256
257
}

258
mp_obj_t mp_builtin_range(int n_args, const mp_obj_t *args) {
259
    switch (n_args) {
260
261
262
        case 1: return mp_obj_new_range(0, mp_obj_get_int(args[0]), 1);
        case 2: return mp_obj_new_range(mp_obj_get_int(args[0]), mp_obj_get_int(args[1]), 1);
        case 3: return mp_obj_new_range(mp_obj_get_int(args[0]), mp_obj_get_int(args[1]), mp_obj_get_int(args[2]));
263
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_TypeError, "range expected at most 3 arguments, got %d", (void*)(machine_int_t)n_args));
264
265
266
267
268
    }
}

mp_obj_t mp_builtin_sum(int n_args, const mp_obj_t *args) {
    mp_obj_t value;
269
    switch (n_args) {
270
        case 1: value = mp_obj_new_int(0); break;
271
        case 2: value = args[1]; break;
272
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(MP_QSTR_TypeError, "sum expected at most 2 arguments, got %d", (void*)(machine_int_t)n_args));
273
    }
274
275
276
    mp_obj_t iterable = rt_getiter(args[0]);
    mp_obj_t item;
    while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
277
278
279
280
        value = rt_binary_op(RT_BINARY_OP_ADD, value, item);
    }
    return value;
}
281
282
283
284

static mp_obj_t mp_builtin_type(mp_obj_t o_in) {
    // TODO implement the 3 argument version of type()
    if (MP_OBJ_IS_SMALL_INT(o_in)) {
285
        return (mp_obj_t)&int_type;
286
287
288
289
290
291
292
    } else {
        mp_obj_base_t *o = o_in;
        return (mp_obj_t)o->type;
    }
}

MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_type_obj, mp_builtin_type);