builtin.c 13.3 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
11
12
#include "mpconfig.h"
#include "obj.h"
#include "runtime0.h"
13
14
15
16
#include "runtime.h"
#include "map.h"
#include "builtin.h"

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

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

    // restore old __locals__ object
    rt_set_map_locals(old_locals);

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

33
mp_obj_t mp_builtin___import__(int n, mp_obj_t *args) {
34
35
36
    printf("import:\n");
    for (int i = 0; i < n; i++) {
    printf("  ");
37
    mp_obj_print(args[i]);
38
39
    printf("\n");
    }
40
    return mp_const_none;
41
42
}

43
44
45
mp_obj_t mp_builtin___repl_print__(mp_obj_t o) {
    if (o != mp_const_none) {
        mp_obj_print(o);
46
47
        printf("\n");
    }
48
    return mp_const_none;
49
50
}

51
52
53
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);
54
55
        if (val < 0) {
            val = -val;
56
        }
57
        return MP_OBJ_NEW_SMALL_INT(val);
58
#if MICROPY_ENABLE_FLOAT
59
60
    } else if (MP_OBJ_IS_TYPE(o_in, &float_type)) {
        mp_float_t value = mp_obj_float_get(o_in);
61
        // TODO check for NaN etc
62
63
        if (value < 0) {
            return mp_obj_new_float(-value);
64
        } else {
65
            return o_in;
66
        }
67
68
69
70
    } 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));
71
72
73
#endif
    } else {
        assert(0);
74
        return mp_const_none;
75
76
77
    }
}

78
79
80
81
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) {
82
        if (!rt_is_true(item)) {
83
            return mp_const_false;
84
85
        }
    }
86
    return mp_const_true;
87
88
}

89
90
91
92
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) {
93
        if (rt_is_true(item)) {
94
            return mp_const_true;
95
96
        }
    }
97
    return mp_const_false;
98
99
}

100
mp_obj_t mp_builtin_bool(int n_args, const mp_obj_t *args) {
101
    switch (n_args) {
102
103
104
        case 0: return mp_const_false;
        case 1: if (rt_is_true(args[0])) { return mp_const_true; } else { return mp_const_false; }
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "bool() takes at most 1 argument (%d given)", (void*)(machine_int_t)n_args));
105
106
107
    }
}

108
109
110
mp_obj_t mp_builtin_callable(mp_obj_t o_in) {
    if (mp_obj_is_callable(o_in)) {
        return mp_const_true;
111
    } else {
112
        return mp_const_false;
113
114
115
116
    }
}

#if MICROPY_ENABLE_FLOAT
117
mp_obj_t mp_builtin_complex(int n_args, const mp_obj_t *args) {
118
119
120
121
122
123
124
125
126
127
    assert(0 <= n_args && n_args <= 2);

    if (n_args == 0) {
        return mp_obj_new_complex(0, 0);
    } else if (n_args == 1) {
        // TODO allow string as first arg and parse it
        if (MP_OBJ_IS_TYPE(args[0], &complex_type)) {
            return args[0];
        } else {
            return mp_obj_new_complex(mp_obj_get_float(args[0]), 0);
128
        }
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
    } else {
        mp_float_t real, imag;
        if (MP_OBJ_IS_TYPE(args[0], &complex_type)) {
            mp_obj_get_complex(args[0], &real, &imag);
        } else {
            real = mp_obj_get_float(args[0]);
            imag = 0;
        }
        if (MP_OBJ_IS_TYPE(args[1], &complex_type)) {
            mp_float_t real2, imag2;
            mp_obj_get_complex(args[1], &real2, &imag2);
            real -= imag2;
            imag += real2;
        } else {
            imag += mp_obj_get_float(args[1]);
        }
        return mp_obj_new_complex(real, imag);
146
147
    }
}
148
149

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_complex_obj, 0, 2, mp_builtin_complex);
150
151
#endif

152
153
mp_obj_t mp_builtin_chr(mp_obj_t o_in) {
    int ord = mp_obj_get_int(o_in);
154
155
156
157
    if (0 <= ord && ord <= 0x10ffff) {
        char *str = m_new(char, 2);
        str[0] = ord;
        str[1] = '\0';
158
        return mp_obj_new_str(qstr_from_str_take(str, 2));
159
    } else {
160
        nlr_jump(mp_obj_new_exception_msg(rt_q_ValueError, "chr() arg not in range(0x110000)"));
161
    }
162
163
}

164
mp_obj_t mp_builtin_dict(void) {
165
166
167
168
    // TODO create from an iterable!
    return rt_build_map(0);
}

169
170
171
172
173
174
175
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);
176
177
        return rt_build_tuple(2, revs_args);
    } else {
178
        nlr_jump(mp_obj_new_exception_msg_2_args(rt_q_TypeError, "unsupported operand type(s) for divmod(): '%s' and '%s'", mp_obj_get_type_str(o1_in), mp_obj_get_type_str(o2_in)));
179
180
181
    }
}

182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
#if MICROPY_ENABLE_FLOAT
static mp_obj_t mp_builtin_float(int n_args, const mp_obj_t *args) {
    assert(0 <= n_args && n_args <= 1);

    if (n_args == 0) {
        return mp_obj_new_float(0);
    } else {
        // TODO allow string as arg and parse it
        if (MP_OBJ_IS_TYPE(args[0], &float_type)) {
            return args[0];
        } else {
            return mp_obj_new_float(mp_obj_get_float(args[0]));
        }
    }
}

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_float_obj, 0, 1, mp_builtin_float);
#endif

201
static mp_obj_t mp_builtin_hash(mp_obj_t o_in) {
202
    // TODO hash will generally overflow small integer; can we safely truncate it?
203
    return mp_obj_new_int(mp_obj_hash(o_in));
204
205
}

206
MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_hash_obj, mp_builtin_hash);
207

208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
static mp_obj_t mp_builtin_int(int n_args, const mp_obj_t *args) {
    assert(0 <= n_args && n_args <= 2);

    if (n_args == 0) {
        return MP_OBJ_NEW_SMALL_INT(0);
    } else if (n_args == 1) {
        // TODO if arg is a string then parse it
        return mp_obj_new_int(mp_obj_get_int(args[0]));
    } else { // n_args == 2
        // TODO, parse with given base
        assert(0);
        return MP_OBJ_NEW_SMALL_INT(0);
    }
}

MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_int_obj, 0, 2, mp_builtin_int);

225
226
static mp_obj_t mp_builtin_iter(mp_obj_t o_in) {
    return rt_getiter(o_in);
227
228
}

229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
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)) {
246
        len = mp_obj_dict_len(o_in);
247
    } else {
248
        nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "object of type '%s' has no len()", mp_obj_get_type_str(o_in)));
249
    }
250
    return MP_OBJ_NEW_SMALL_INT(len);
251
252
}

253
mp_obj_t mp_builtin_list(int n_args, const mp_obj_t *args) {
254
255
256
257
258
    switch (n_args) {
        case 0: return rt_build_list(0, NULL);
        case 1:
        {
            // make list from iterable
259
260
261
262
            mp_obj_t iterable = rt_getiter(args[0]);
            mp_obj_t list = rt_build_list(0, NULL);
            mp_obj_t item;
            while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
263
264
265
                rt_list_append(list, item);
            }
            return list;
266
        }
267
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "list() takes at most 1 argument (%d given)", (void*)(machine_int_t)n_args));
268
269
270
    }
}

271
mp_obj_t mp_builtin_max(int n_args, const mp_obj_t *args) {
272
273
    if (n_args == 1) {
        // given an iterable
274
275
276
277
278
        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)) {
279
280
                max_obj = item;
            }
281
        }
282
        if (max_obj == NULL) {
283
            nlr_jump(mp_obj_new_exception_msg(rt_q_ValueError, "max() arg is an empty sequence"));
284
285
        }
        return max_obj;
286
    } else {
287
        // given many args
288
        mp_obj_t max_obj = args[0];
289
        for (int i = 1; i < n_args; i++) {
290
            if (mp_obj_less(max_obj, args[i])) {
291
292
293
294
                max_obj = args[i];
            }
        }
        return max_obj;
295
296
297
    }
}

298
mp_obj_t mp_builtin_min(int n_args, const mp_obj_t *args) {
299
300
    if (n_args == 1) {
        // given an iterable
301
302
303
304
305
        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)) {
306
307
308
309
                min_obj = item;
            }
        }
        if (min_obj == NULL) {
310
            nlr_jump(mp_obj_new_exception_msg(rt_q_ValueError, "min() arg is an empty sequence"));
311
312
313
314
        }
        return min_obj;
    } else {
        // given many args
315
        mp_obj_t min_obj = args[0];
316
        for (int i = 1; i < n_args; i++) {
317
            if (mp_obj_less(args[i], min_obj)) {
318
319
320
321
322
323
                min_obj = args[i];
            }
        }
        return min_obj;
    }
}
324

325
326
327
328
329
330
331
static mp_obj_t mp_builtin_next(mp_obj_t o) {
    mp_obj_t ret = rt_iternext(o);
    if (ret == mp_const_stop_iteration) {
        nlr_jump(mp_obj_new_exception(qstr_from_str_static("StopIteration")));
    } else {
        return ret;
    }
332
333
334
335
336
337
}

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));
338
    if (strlen(str) == 1) {
339
        return mp_obj_new_int(str[0]);
340
    } else {
341
        nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "ord() expected a character, but string of length %d found", (void*)(machine_int_t)strlen(str)));
342
343
    }
}
344

345
mp_obj_t mp_builtin_pow(int n_args, const mp_obj_t *args) {
346
347
348
    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...
349
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "pow expected at most 3 arguments, got %d", (void*)(machine_int_t)n_args));
350
351
    }
}
352

353
mp_obj_t mp_builtin_print(int n_args, const mp_obj_t *args) {
354
355
356
357
    for (int i = 0; i < n_args; i++) {
        if (i > 0) {
            printf(" ");
        }
358
        if (MP_OBJ_IS_TYPE(args[i], &str_type)) {
359
            // special case, print string raw
360
            printf("%s", qstr_str(mp_obj_str_get(args[i])));
361
362
        } else {
            // print the object Python style
363
            mp_obj_print(args[i]);
364
365
366
        }
    }
    printf("\n");
367
    return mp_const_none;
368
369
}

370
mp_obj_t mp_builtin_range(int n_args, const mp_obj_t *args) {
371
    switch (n_args) {
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
        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]));
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "range expected at most 3 arguments, got %d", (void*)(machine_int_t)n_args));
    }
}

static mp_obj_t mp_builtin_set(int n_args, const mp_obj_t *args) {
    assert(0 <= n_args && n_args <= 1);

    if (n_args == 0) {
        // return a new, empty set
        return mp_obj_new_set(0, NULL);
    } else {
        // 1 argument, an iterable from which we make a new set
        mp_obj_t set = mp_obj_new_set(0, NULL);
        mp_obj_t iterable = rt_getiter(args[0]);
        mp_obj_t item;
        while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
            mp_obj_set_store(set, item);
        }
        return set;
394
395
    }
}
396

397
398
399
400
MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(mp_builtin_set_obj, 0, 1, mp_builtin_set);

mp_obj_t mp_builtin_sum(int n_args, const mp_obj_t *args) {
    mp_obj_t value;
401
    switch (n_args) {
402
        case 1: value = mp_obj_new_int(0); break;
403
        case 2: value = args[1]; break;
404
        default: nlr_jump(mp_obj_new_exception_msg_1_arg(rt_q_TypeError, "sum expected at most 2 arguments, got %d", (void*)(machine_int_t)n_args));
405
    }
406
407
408
    mp_obj_t iterable = rt_getiter(args[0]);
    mp_obj_t item;
    while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
409
410
411
412
        value = rt_binary_op(RT_BINARY_OP_ADD, value, item);
    }
    return value;
}
413
414
415
416
417
418
419
420
421
422
423
424
425

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)) {
        // TODO implement int-type
        return mp_const_none;
    } 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);