runtime.c 37 KB
Newer Older
Damien's avatar
Damien committed
1
2
3
4
#include <stdio.h>
#include <string.h>
#include <assert.h>

5
#include "nlr.h"
Damien's avatar
Damien committed
6
#include "misc.h"
7
#include "mpconfig.h"
8
#include "qstr.h"
9
#include "obj.h"
10
#include "objtuple.h"
11
#include "objmodule.h"
12
#include "parsenum.h"
13
#include "runtime0.h"
Damien's avatar
Damien committed
14
#include "runtime.h"
15
#include "emitglue.h"
16
#include "builtin.h"
17
#include "builtintables.h"
18
#include "bc.h"
19
#include "intdivmod.h"
20

21
#if 0 // print debugging info
22
#define DEBUG_PRINT (1)
23
#define DEBUG_printf DEBUG_printf
24
#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
25
#else // don't print debugging info
26
27
#define DEBUG_printf(...) (void)0
#define DEBUG_OP_printf(...) (void)0
28
#endif
Damien's avatar
Damien committed
29

30
// locals and globals need to be pointers because they can be the same in outer module scope
31
32
33
STATIC mp_map_t *map_locals;
STATIC mp_map_t *map_globals;
STATIC mp_map_t map_builtins;
34

35
// a good optimising compiler will inline this if necessary
36
STATIC void mp_map_add_qstr(mp_map_t *map, qstr qstr, mp_obj_t value) {
37
38
39
    mp_map_lookup(map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = value;
}

Damien George's avatar
Damien George committed
40
void mp_init(void) {
41
42
    mp_emit_glue_init();

43
    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
44
    map_locals = map_globals = mp_map_new(1);
45

46
    // init built-in hash table
47
    mp_map_init(&map_builtins, 3);
48

49
50
    // init global module stuff
    mp_module_init();
51

52
53
    // add some builtins that can't be done in ROM
    mp_map_add_qstr(map_globals, MP_QSTR___name__, MP_OBJ_NEW_QSTR(MP_QSTR___main__));
Damien George's avatar
Damien George committed
54

55
#if MICROPY_CPYTHON_COMPAT
56
    // Precreate sys module, so "import sys" didn't throw exceptions.
57
58
59
    mp_obj_t m_sys = mp_obj_new_module(MP_QSTR_sys);
    // Avoid warning of unused var
    (void)m_sys;
60
#endif
61
62
    // init sys.path
    // for efficiency, left to platform-specific startup code
Damien George's avatar
Damien George committed
63
64
    //mp_sys_path = mp_obj_new_list(0, NULL);
    //mp_store_attr(m_sys, MP_QSTR_path, mp_sys_path);
Damien's avatar
Damien committed
65
66
}

Damien George's avatar
Damien George committed
67
void mp_deinit(void) {
68
69
70
71
    mp_map_free(map_globals);
    mp_map_deinit(&map_builtins);
    mp_module_deinit();
    mp_emit_glue_deinit();
Damien's avatar
Damien committed
72
73
}

Damien George's avatar
Damien George committed
74
mp_obj_t mp_list_append(mp_obj_t self_in, mp_obj_t arg) {
75
76
77
    return mp_obj_list_append(self_in, arg);
}

Damien George's avatar
Damien George committed
78
mp_obj_t mp_load_const_dec(qstr qstr) {
Damien's avatar
Damien committed
79
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
80
81
    uint len;
    const byte* data = qstr_data(qstr, &len);
82
    return mp_parse_num_decimal((const char*)data, len, true, false);
Damien's avatar
Damien committed
83
84
}

Damien George's avatar
Damien George committed
85
mp_obj_t mp_load_const_str(qstr qstr) {
Damien's avatar
Damien committed
86
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
87
    return MP_OBJ_NEW_QSTR(qstr);
Damien's avatar
Damien committed
88
89
}

Damien George's avatar
Damien George committed
90
mp_obj_t mp_load_const_bytes(qstr qstr) {
91
92
93
94
95
96
    DEBUG_OP_printf("load b'%s'\n", qstr_str(qstr));
    uint len;
    const byte *data = qstr_data(qstr, &len);
    return mp_obj_new_bytes(data, len);
}

Damien George's avatar
Damien George committed
97
mp_obj_t mp_load_name(qstr qstr) {
Damien's avatar
Damien committed
98
    // logic: search locals, globals, builtins
99
    DEBUG_OP_printf("load name %s\n", qstr_str(qstr));
100
    mp_map_elem_t *elem = mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
101
102
103
    if (elem != NULL) {
        return elem->value;
    } else {
Damien George's avatar
Damien George committed
104
        return mp_load_global(qstr);
Damien's avatar
Damien committed
105
106
107
    }
}

Damien George's avatar
Damien George committed
108
mp_obj_t mp_load_global(qstr qstr) {
109
110
    // logic: search globals, builtins
    DEBUG_OP_printf("load global %s\n", qstr_str(qstr));
111
    mp_map_elem_t *elem = mp_map_lookup(map_globals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
112
    if (elem == NULL) {
113
        elem = mp_map_lookup(&map_builtins, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
114
        if (elem == NULL) {
115
116
117
            mp_obj_t o = mp_builtin_tables_lookup_object(qstr);
            if (o != MP_OBJ_NULL) {
                return o;
118
            }
119
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_NameError, "name '%s' is not defined", qstr_str(qstr)));
120
121
122
        }
    }
    return elem->value;
Damien's avatar
Damien committed
123
124
}

Damien George's avatar
Damien George committed
125
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
126
    DEBUG_OP_printf("load_build_class\n");
127
    // lookup __build_class__ in dynamic table of builtins first
128
    mp_map_elem_t *elem = mp_map_lookup(&map_builtins, MP_OBJ_NEW_QSTR(MP_QSTR___build_class__), MP_MAP_LOOKUP);
129
    if (elem != NULL) {
130
        // found user-defined __build_class__, return it
131
132
        return elem->value;
    } else {
133
        // no user-defined __build_class__, return builtin one
134
        return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
135
136
137
    }
}

Damien George's avatar
Damien George committed
138
mp_obj_t mp_get_cell(mp_obj_t cell) {
139
    return mp_obj_cell_get(cell);
140
141
}

Damien George's avatar
Damien George committed
142
void mp_set_cell(mp_obj_t cell, mp_obj_t val) {
143
    mp_obj_cell_set(cell, val);
144
145
}

Damien George's avatar
Damien George committed
146
void mp_store_name(qstr qstr, mp_obj_t obj) {
147
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qstr), obj);
148
    mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = obj;
149
150
}

Damien George's avatar
Damien George committed
151
void mp_delete_name(qstr qstr) {
152
153
154
155
    DEBUG_OP_printf("delete name %s\n", qstr_str(qstr));
    mp_map_lookup(map_locals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_REMOVE_IF_FOUND);
}

Damien George's avatar
Damien George committed
156
void mp_store_global(qstr qstr, mp_obj_t obj) {
157
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qstr), obj);
158
    mp_map_lookup(map_globals, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP_ADD_IF_NOT_FOUND)->value = obj;
Damien's avatar
Damien committed
159
160
}

Damien George's avatar
Damien George committed
161
mp_obj_t mp_unary_op(int op, mp_obj_t arg) {
Damien's avatar
Damien committed
162
    DEBUG_OP_printf("unary %d %p\n", op, arg);
163

164
165
    if (MP_OBJ_IS_SMALL_INT(arg)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
166
        switch (op) {
Damien George's avatar
Damien George committed
167
            case MP_UNARY_OP_BOOL:
168
                return MP_BOOL(val != 0);
Damien George's avatar
Damien George committed
169
            case MP_UNARY_OP_POSITIVE:
170
                return arg;
Damien George's avatar
Damien George committed
171
            case MP_UNARY_OP_NEGATIVE:
172
173
174
175
176
177
                // check for overflow
                if (val == MP_SMALL_INT_MIN) {
                    return mp_obj_new_int(-val);
                } else {
                    return MP_OBJ_NEW_SMALL_INT(-val);
                }
Damien George's avatar
Damien George committed
178
            case MP_UNARY_OP_INVERT:
179
180
181
182
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
183
        }
184
185
186
187
    } else {
        mp_obj_type_t *type = mp_obj_get_type(arg);
        if (type->unary_op != NULL) {
            mp_obj_t result = type->unary_op(op, arg);
188
189
190
            if (result != NULL) {
                return result;
            }
Damien's avatar
Damien committed
191
        }
192
        // TODO specify in error message what the operator is
Damien George's avatar
Damien George committed
193
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "bad operand type for unary operator: '%s'", mp_obj_get_type_str(arg)));
Damien's avatar
Damien committed
194
    }
Damien's avatar
Damien committed
195
196
}

Damien George's avatar
Damien George committed
197
mp_obj_t mp_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Damien's avatar
Damien committed
198
    DEBUG_OP_printf("binary %d %p %p\n", op, lhs, rhs);
199
200
201
202
203
204
205
206
207
208

    // TODO correctly distinguish inplace operators for mutable objects
    // lookup logic that CPython uses for +=:
    //   check for implemented +=
    //   then check for implemented +
    //   then check for implemented seq.inplace_concat
    //   then check for implemented seq.concat
    //   then fail
    // note that list does not implement + or +=, so that inplace_concat is reached first for +=

209
    // deal with is
Damien George's avatar
Damien George committed
210
    if (op == MP_BINARY_OP_IS) {
211
212
213
        return MP_BOOL(lhs == rhs);
    }

214
    // deal with == and != for all types
Damien George's avatar
Damien George committed
215
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
216
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
217
            if (op == MP_BINARY_OP_EQUAL) {
218
219
220
221
222
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
223
            if (op == MP_BINARY_OP_EQUAL) {
224
225
226
227
228
229
230
231
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
232
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
233
234
235
236
237
238
        // rhs must be issubclass(rhs, BaseException)
        if (mp_obj_is_exception_type(rhs)) {
            // if lhs is an instance of an exception, then extract and use its type
            if (mp_obj_is_exception_instance(lhs)) {
                lhs = mp_obj_get_type(lhs);
            }
239
            if (mp_obj_is_subclass_fast(lhs, rhs)) {
240
241
242
243
244
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        }
245
246
        assert(0);
        return mp_const_false;
247
248
    }

249
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
250
        mp_small_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
251
252
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
            mp_small_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
253
254
255
256
257
258
259
260
261
            // This is a binary operation: lhs_val op rhs_val
            // We need to be careful to handle overflow; see CERT INT32-C
            // Operations that can overflow:
            //      +       result always fits in machine_int_t, then handled by SMALL_INT check
            //      -       result always fits in machine_int_t, then handled by SMALL_INT check
            //      *       checked explicitly
            //      /       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      %       if lhs=MIN and rhs=-1; result always fits in machine_int_t, then handled by SMALL_INT check
            //      <<      checked explicitly
262
            switch (op) {
Damien George's avatar
Damien George committed
263
264
265
266
267
268
269
270
                case MP_BINARY_OP_OR:
                case MP_BINARY_OP_INPLACE_OR: lhs_val |= rhs_val; break;
                case MP_BINARY_OP_XOR:
                case MP_BINARY_OP_INPLACE_XOR: lhs_val ^= rhs_val; break;
                case MP_BINARY_OP_AND:
                case MP_BINARY_OP_INPLACE_AND: lhs_val &= rhs_val; break;
                case MP_BINARY_OP_LSHIFT:
                case MP_BINARY_OP_INPLACE_LSHIFT: {
271
272
273
274
275
276
277
278
279
280
281
282
283
                    if (rhs_val < 0) {
                        // negative shift not allowed
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
                    } else if (rhs_val >= BITS_PER_WORD || lhs_val > (MP_SMALL_INT_MAX >> rhs_val) || lhs_val < (MP_SMALL_INT_MIN >> rhs_val)) {
                        // left-shift will overflow, so use higher precision integer
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        lhs_val <<= rhs_val;
                    }
                    break;
                }
Damien George's avatar
Damien George committed
284
285
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
286
287
288
289
290
291
292
293
                    if (rhs_val < 0) {
                        // negative shift not allowed
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
                    } else {
                        // standard precision is enough for right-shift
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
294
295
296
297
298
299
                case MP_BINARY_OP_ADD:
                case MP_BINARY_OP_INPLACE_ADD: lhs_val += rhs_val; break;
                case MP_BINARY_OP_SUBTRACT:
                case MP_BINARY_OP_INPLACE_SUBTRACT: lhs_val -= rhs_val; break;
                case MP_BINARY_OP_MULTIPLY:
                case MP_BINARY_OP_INPLACE_MULTIPLY: {
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347

                    // If long long type exists and is larger than machine_int_t, then
                    // we can use the following code to perform overflow-checked multiplication.
                    // Otherwise (eg in x64 case) we must use the branching code below.
                    #if 0
                    // compute result using long long precision
                    long long res = (long long)lhs_val * (long long)rhs_val;
                    if (res > MP_SMALL_INT_MAX || res < MP_SMALL_INT_MIN) {
                        // result overflowed SMALL_INT, so return higher precision integer
                        return mp_obj_new_int_from_ll(res);
                    } else {
                        // use standard precision
                        lhs_val = (mp_small_int_t)res;
                    }
                    #endif

                    if (lhs_val > 0) { // lhs_val is positive
                        if (rhs_val > 0) { // lhs_val and rhs_val are positive
                            if (lhs_val > (MP_SMALL_INT_MAX / rhs_val)) {
                                goto mul_overflow;
                            }
                        } else { // lhs_val positive, rhs_val nonpositive
                            if (rhs_val < (MP_SMALL_INT_MIN / lhs_val)) {
                                goto mul_overflow;
                            }
                        } // lhs_val positive, rhs_val nonpositive
                    } else { // lhs_val is nonpositive
                        if (rhs_val > 0) { // lhs_val is nonpositive, rhs_val is positive
                            if (lhs_val < (MP_SMALL_INT_MIN / rhs_val)) {
                                goto mul_overflow;
                            }
                        } else { // lhs_val and rhs_val are nonpositive
                            if (lhs_val != 0 && rhs_val < (MP_SMALL_INT_MAX / lhs_val)) {
                                goto mul_overflow;
                            }
                        } // End if lhs_val and rhs_val are nonpositive
                    } // End if lhs_val is nonpositive

                    // use standard precision
                    return MP_OBJ_NEW_SMALL_INT(lhs_val * rhs_val);

                mul_overflow:
                    // use higher precision
                    lhs = mp_obj_new_int_from_ll(lhs_val);
                    goto generic_binary_op;

                    break;
                }
Damien George's avatar
Damien George committed
348
349
                case MP_BINARY_OP_FLOOR_DIVIDE:
                case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
350
351
352
353
                {
                    lhs_val = python_floor_divide(lhs_val, rhs_val);
                    break;
                }
354
                #if MICROPY_ENABLE_FLOAT
Damien George's avatar
Damien George committed
355
356
                case MP_BINARY_OP_TRUE_DIVIDE:
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE: return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
357
                #endif
358

Damien George's avatar
Damien George committed
359
360
                case MP_BINARY_OP_MODULO:
                case MP_BINARY_OP_INPLACE_MODULO:
361
362
363
364
                {
                    lhs_val = python_modulo(lhs_val, rhs_val);
                    break;
                }
Damien George's avatar
Damien George committed
365
366
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
                    if (rhs_val < 0) {
                        #if MICROPY_ENABLE_FLOAT
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
                        nlr_jump(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
                        #endif
                    } else {
                        // TODO check for overflow
                        machine_int_t ans = 1;
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
                                ans *= lhs_val;
                            }
                            lhs_val *= lhs_val;
                            rhs_val /= 2;
383
                        }
384
                        lhs_val = ans;
385
                    }
386
                    break;
Damien George's avatar
Damien George committed
387
388
389
390
                case MP_BINARY_OP_LESS: return MP_BOOL(lhs_val < rhs_val); break;
                case MP_BINARY_OP_MORE: return MP_BOOL(lhs_val > rhs_val); break;
                case MP_BINARY_OP_LESS_EQUAL: return MP_BOOL(lhs_val <= rhs_val); break;
                case MP_BINARY_OP_MORE_EQUAL: return MP_BOOL(lhs_val >= rhs_val); break;
391

392
393
                default: assert(0);
            }
394
395
            // TODO: We just should make mp_obj_new_int() inline and use that
            if (MP_OBJ_FITS_SMALL_INT(lhs_val)) {
396
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
397
398
            } else {
                return mp_obj_new_int(lhs_val);
399
            }
400
#if MICROPY_ENABLE_FLOAT
401
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
402
            return mp_obj_float_binary_op(op, lhs_val, rhs);
403
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
404
            return mp_obj_complex_binary_op(op, lhs_val, 0, rhs);
405
#endif
406
        }
407
    }
408

409
    /* deal with `in`
410
411
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
412
     * needs to go below with swapped arguments
413
     */
Damien George's avatar
Damien George committed
414
    if (op == MP_BINARY_OP_IN) {
415
416
417
        mp_obj_type_t *type = mp_obj_get_type(rhs);
        if (type->binary_op != NULL) {
            mp_obj_t res = type->binary_op(op, rhs, lhs);
Damien George's avatar
Damien George committed
418
            if (res != MP_OBJ_NULL) {
419
                return res;
John R. Lenton's avatar
John R. Lenton committed
420
            }
421
422
423
424
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
            mp_obj_t next = NULL;
Damien George's avatar
Damien George committed
425
426
            mp_obj_t iter = mp_getiter(rhs);
            while ((next = mp_iternext(iter)) != MP_OBJ_NULL) {
427
                if (mp_obj_equal(next, lhs)) {
428
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
429
                }
430
            }
431
            return mp_const_false;
432
433
434
        }

        nlr_jump(mp_obj_new_exception_msg_varg(
435
                     &mp_type_TypeError, "'%s' object is not iterable",
436
437
438
439
                     mp_obj_get_type_str(rhs)));
        return mp_const_none;
    }

440
    // generic binary_op supplied by type
441
442
443
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
444
445
446
447
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
        if (result != MP_OBJ_NULL) {
            return result;
Damien's avatar
Damien committed
448
449
        }
    }
450

451
452
    // TODO implement dispatch for reverse binary ops

John R. Lenton's avatar
John R. Lenton committed
453
    // TODO specify in error message what the operator is
454
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
John R. Lenton's avatar
John R. Lenton committed
455
456
        "unsupported operand types for binary operator: '%s', '%s'",
        mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
457
    return mp_const_none;
Damien's avatar
Damien committed
458
459
}

Damien George's avatar
Damien George committed
460
461
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
462
463
}

Damien George's avatar
Damien George committed
464
465
mp_obj_t mp_call_function_1(mp_obj_t fun, mp_obj_t arg) {
    return mp_call_function_n_kw(fun, 1, 0, &arg);
466
467
}

Damien George's avatar
Damien George committed
468
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
469
    mp_obj_t args[2];
470
471
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
472
    return mp_call_function_n_kw(fun, 2, 0, args);
473
474
}

475
476
// wrapper that accepts n_args and n_kw in one argument
// native emitter can only pass at most 3 arguments to a function
Damien George's avatar
Damien George committed
477
478
mp_obj_t mp_call_function_n_kw_for_native(mp_obj_t fun_in, uint n_args_kw, const mp_obj_t *args) {
    return mp_call_function_n_kw(fun_in, n_args_kw & 0xff, (n_args_kw >> 8) & 0xff, args);
479
480
}

481
// args contains, eg: arg0  arg1  key0  value0  key1  value1
Damien George's avatar
Damien George committed
482
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, uint n_args, uint n_kw, const mp_obj_t *args) {
483
484
    // TODO improve this: fun object can specify its type and we parse here the arguments,
    // passing to the function arrays of fixed and keyword arguments
485

486
487
    DEBUG_OP_printf("calling function %p(n_args=%d, n_kw=%d, args=%p)\n", fun_in, n_args, n_kw, args);

488
489
490
491
492
493
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
        return type->call(fun_in, n_args, n_kw, args);
494
    } else {
Damien George's avatar
Damien George committed
495
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
496
    }
497
498
}

499
500
// args contains: fun  self/NULL  arg(0)  ...  arg(n_args-2)  arg(n_args-1)  kw_key(0)  kw_val(0)  ... kw_key(n_kw-1)  kw_val(n_kw-1)
// if n_args==0 and n_kw==0 then there are only fun and self/NULL
Damien George's avatar
Damien George committed
501
mp_obj_t mp_call_method_n_kw(uint n_args, uint n_kw, const mp_obj_t *args) {
502
503
    DEBUG_OP_printf("call method (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p)\n", args[0], args[1], n_args, n_kw, args);
    int adjust = (args[1] == NULL) ? 0 : 1;
Damien George's avatar
Damien George committed
504
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
505
506
}

507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
mp_obj_t mp_call_method_n_kw_var(bool have_self, uint n_args_n_kw, const mp_obj_t *args, mp_obj_t pos_seq, mp_obj_t kw_dict) {
    mp_obj_t fun = *args++;
    mp_obj_t self = MP_OBJ_NULL;
    if (have_self) {
        self = *args++; // may be MP_OBJ_NULL
    }
    uint n_args = n_args_n_kw & 0xff;
    uint n_kw = (n_args_n_kw >> 8) & 0xff;

    DEBUG_OP_printf("call method var (fun=%p, self=%p, n_args=%u, n_kw=%u, args=%p, seq=%p, dict=%p)\n", fun, self, n_args, n_kw, args, pos_seq, kw_dict);

    // We need to create the following array of objects:
    //     args[0 .. n_args]  unpacked(pos_seq)  args[n_args .. n_args + 2 * n_kw]  unpacked(kw_dict)
    // TODO: optimize one day to avoid constructing new arg array? Will be hard.

    // The new args array
    mp_obj_t *args2;
    uint args2_alloc;
    uint args2_len = 0;

    // Try to get a hint for the size of the kw_dict
    uint kw_dict_len = 0;
    if (kw_dict != MP_OBJ_NULL && MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        kw_dict_len = mp_obj_dict_len(kw_dict);
    }

    // Extract the pos_seq sequence to the new args array.
    // Note that it can be arbitrary iterator.
    if (pos_seq == MP_OBJ_NULL) {
        // no sequence

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed pos args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
        args2_len += n_args;

    } else if (MP_OBJ_IS_TYPE(pos_seq, &mp_type_tuple) || MP_OBJ_IS_TYPE(pos_seq, &mp_type_list)) {
        // optimise the case of a tuple and list

        // get the items
        uint len;
        mp_obj_t *items;
        mp_obj_get_array(pos_seq, &len, &items);

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + len + 2 * (n_kw + kw_dict_len);
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed and variable position args
        m_seq_cat(args2 + args2_len, args, n_args, items, len, mp_obj_t);
        args2_len += n_args + len;

    } else {
        // generic iterator

        // allocate memory for the new array of args
        args2_alloc = 1 + n_args + 2 * (n_kw + kw_dict_len) + 3;
        args2 = m_new(mp_obj_t, args2_alloc);

        // copy the self
        if (self != MP_OBJ_NULL) {
            args2[args2_len++] = self;
        }

        // copy the fixed position args
        m_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);

        // extract the variable position args from the iterator
        mp_obj_t iterable = mp_getiter(pos_seq);
        mp_obj_t item;
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
            if (args2_len >= args2_alloc) {
                args2 = m_renew(mp_obj_t, args2, args2_alloc, args2_alloc * 2);
                args2_alloc *= 2;
            }
            args2[args2_len++] = item;
        }
    }

    // The size of the args2 array now is the number of positional args.
    uint pos_args_len = args2_len;

    // Copy the fixed kw args.
    m_seq_copy(args2 + args2_len, args + n_args, 2 * n_kw, mp_obj_t);
    args2_len += 2 * n_kw;

    // Extract (key,value) pairs from kw_dict dictionary and append to args2.
    // Note that it can be arbitrary iterator.
    if (kw_dict == MP_OBJ_NULL) {
        // pass
    } else if (MP_OBJ_IS_TYPE(kw_dict, &mp_type_dict)) {
        // dictionary
        mp_map_t *map = mp_obj_dict_get_map(kw_dict);
        assert(args2_len + 2 * map->used <= args2_alloc); // should have enough, since kw_dict_len is in this case hinted correctly above
        for (uint i = 0; i < map->alloc; i++) {
            if (map->table[i].key != MP_OBJ_NULL) {
                args2[args2_len++] = map->table[i].key;
                args2[args2_len++] = map->table[i].value;
            }
        }
    } else {
        // generic mapping
        // TODO is calling 'items' on the mapping the correct thing to do here?
        mp_obj_t dest[2];
        mp_load_method(kw_dict, MP_QSTR_items, dest);
        mp_obj_t iterable = mp_getiter(mp_call_method_n_kw(0, 0, dest));
        mp_obj_t item;
        while ((item = mp_iternext(iterable)) != MP_OBJ_NULL) {
            if (args2_len + 1 >= args2_alloc) {
                uint new_alloc = args2_alloc * 2;
                if (new_alloc < 4) {
                    new_alloc = 4;
                }
                args2 = m_renew(mp_obj_t, args2, args2_alloc, new_alloc);
                args2_alloc = new_alloc;
            }
            mp_obj_t *items;
            mp_obj_get_array_fixed_n(item, 2, &items);
            args2[args2_len++] = items[0];
            args2[args2_len++] = items[1];
        }
    }

    mp_obj_t res = mp_call_function_n_kw(fun, pos_args_len, (args2_len - pos_args_len) / 2, args2);
    m_del(mp_obj_t, args2, args2_alloc);

    return res;
}

Damien George's avatar
Damien George committed
649
mp_obj_t mp_build_tuple(int n_args, mp_obj_t *items) {
650
    return mp_obj_new_tuple(n_args, items);
651
652
}

Damien George's avatar
Damien George committed
653
mp_obj_t mp_build_list(int n_args, mp_obj_t *items) {
654
    return mp_obj_new_list(n_args, items);
Damien's avatar
Damien committed
655
656
}

Damien George's avatar
Damien George committed
657
mp_obj_t mp_build_set(int n_args, mp_obj_t *items) {
658
    return mp_obj_new_set(n_args, items);
Damien's avatar
Damien committed
659
660
}

Damien George's avatar
Damien George committed
661
mp_obj_t mp_store_set(mp_obj_t set, mp_obj_t item) {
662
    mp_obj_set_store(set, item);
Damien's avatar
Damien committed
663
664
665
    return set;
}

666
// unpacked items are stored in reverse order into the array pointed to by items
Damien George's avatar
Damien George committed
667
void mp_unpack_sequence(mp_obj_t seq_in, uint num, mp_obj_t *items) {
668
    uint seq_len;
669
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
670
        mp_obj_t *seq_items;
671
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
672
673
674
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
675
        }
676
        if (seq_len < num) {
677
            goto too_short;
678
        } else if (seq_len > num) {
679
            goto too_long;
680
        }
681
682
683
        for (uint i = 0; i < num; i++) {
            items[i] = seq_items[num - 1 - i];
        }
684
    } else {
Damien George's avatar
Damien George committed
685
        mp_obj_t iterable = mp_getiter(seq_in);
686
687

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
688
            mp_obj_t el = mp_iternext(iterable);
689
            if (el == MP_OBJ_NULL) {
690
691
692
693
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
Damien George's avatar
Damien George committed
694
        if (mp_iternext(iterable) != MP_OBJ_NULL) {
695
696
            goto too_long;
        }
697
    }
698
699
700
    return;

too_short:
701
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
702
too_long:
703
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "too many values to unpack (expected %d)", num));
704
705
}

Damien George's avatar
Damien George committed
706
mp_obj_t mp_build_map(int n_args) {
707
    return mp_obj_new_dict(n_args);
Damien's avatar
Damien committed
708
709
}

Damien George's avatar
Damien George committed
710
mp_obj_t mp_store_map(mp_obj_t map, mp_obj_t key, mp_obj_t value) {
711
712
    // map should always be a dict
    return mp_obj_dict_store(map, key, value);
Damien's avatar
Damien committed
713
714
}

Damien George's avatar
Damien George committed
715
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
716
717
718
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
    // use load_method
    mp_obj_t dest[2];
Damien George's avatar
Damien George committed
719
    mp_load_method(base, attr, dest);
720
    if (dest[1] == MP_OBJ_NULL) {
721
        // load_method returned just a normal attribute
722
        return dest[0];
723
724
725
    } else {
        // load_method returned a method, so build a bound method object
        return mp_obj_new_bound_meth(dest[0], dest[1]);
Damien's avatar
Damien committed
726
727
728
    }
}

729
730
731
// no attribute found, returns:     dest[0] == MP_OBJ_NULL, dest[1] == MP_OBJ_NULL
// normal attribute found, returns: dest[0] == <attribute>, dest[1] == MP_OBJ_NULL
// method attribute found, returns: dest[0] == <method>,    dest[1] == <self>
Damien George's avatar
Damien George committed
732
STATIC void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest) {
733
734
735
736
737
738
739
740
741
742
743
744
745
    // clear output to indicate no attribute/method found yet
    dest[0] = MP_OBJ_NULL;
    dest[1] = MP_OBJ_NULL;

    // get the type
    mp_obj_type_t *type = mp_obj_get_type(base);

    // if this type can do its own load, then call it
    if (type->load_attr != NULL) {
        type->load_attr(base, attr, dest);
    }

    // if nothing found yet, look for built-in and generic names
746
    if (dest[0] == MP_OBJ_NULL) {
Damien George's avatar
Damien George committed
747
748
749
750
        if (attr == MP_QSTR___class__) {
            // a.__class__ is equivalent to type(a)
            dest[0] = type;
        } else if (attr == MP_QSTR___next__ && type->iternext != NULL) {
751
752
            dest[0] = (mp_obj_t)&mp_builtin_next_obj;
            dest[1] = base;
753
754
        } else if (type->load_attr == NULL) {
            // generic method lookup if type didn't provide a specific one
755
            // this is a lookup in the object (ie not class or type)
756
            if (type->locals_dict != NULL) {
757
                assert(MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)); // Micro Python restriction, for now
758
759
760
761
762
763
764
765
766
767
768
769
                mp_map_t *locals_map = mp_obj_dict_get_map(type->locals_dict);
                mp_map_elem_t *elem = mp_map_lookup(locals_map, MP_OBJ_NEW_QSTR(attr), MP_MAP_LOOKUP);
                if (elem != NULL) {
                    // check if the methods are functions, static or class methods
                    // see http://docs.python.org/3.3/howto/descriptor.html
                    if (MP_OBJ_IS_TYPE(elem->value, &mp_type_staticmethod)) {
                        // return just the function
                        dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
                    } else if (MP_OBJ_IS_TYPE(elem->value, &mp_type_classmethod)) {
                        // return a bound method, with self being the type of this object
                        dest[0] = ((mp_obj_static_class_method_t*)elem->value)->fun;
                        dest[1] = mp_obj_get_type(base);
770
                    } else if (mp_obj_is_callable(elem->value)) {
771
                        // return a bound method, with self being this object
772
                        dest[0] = elem->value;
773
                        dest[1] = base;
774
775
776
                    } else {
                        // class member is a value, so just return that value
                        dest[0] = elem->value;
777
                    }
778
                }
Damien's avatar
Damien committed
779
780
            }
        }
781
    }
782
783
}

Damien George's avatar
Damien George committed
784
void mp_load_method(mp_obj_t base, qstr attr, mp_obj_t *dest) {
785
786
    DEBUG_OP_printf("load method %p.%s\n", base, qstr_str(attr));

Damien George's avatar
Damien George committed
787
    mp_load_method_maybe(base, attr, dest);
788

789
    if (dest[0] == MP_OBJ_NULL) {
790
791
        // no attribute/method called attr
        // following CPython, we give a more detailed error message for type objects
792
        if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
793
794
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
                "type object '%s' has no attribute '%s'", qstr_str(((mp_obj_type_t*)base)->name), qstr_str(attr)));
795
        } else {
796
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
797
798
        }
    }
799
800
}

Damien George's avatar
Damien George committed
801
void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t value) {
Damien's avatar
Damien committed
802
    DEBUG_OP_printf("store attr %p.%s <- %p\n", base, qstr_str(attr), value);
803
804
805
806
807
    mp_obj_type_t *type = mp_obj_get_type(base);
    if (type->store_attr != NULL) {
        if (type->store_attr(base, attr, value)) {
            return;
        }
808
    }
809
    nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
810
811
}

Damien George's avatar
Damien George committed
812
void mp_store_subscr(mp_obj_t base, mp_obj_t index, mp_obj_t value) {
Damien's avatar
Damien committed
813
    DEBUG_OP_printf("store subscr %p[%p] <- %p\n", base, index, value);
814
    if (MP_OBJ_IS_TYPE(base, &mp_type_list)) {
815
        // list store
816
        mp_obj_list_store(base, index, value);
817
    } else if (MP_OBJ_IS_TYPE(base, &mp_type_dict)) {
818
819
        // dict store
        mp_obj_dict_store(base, index, value);
Damien's avatar
Damien committed
820
    } else {
821
822
823
824
825
826
827
828
        mp_obj_type_t *type = mp_obj_get_type(base);
        if (type->store_item != NULL) {
            bool r = type->store_item(base, index, value);
            if (r) {
                return;
            }
            // TODO: call base classes here?
        }
829
        nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object does not support item assignment", mp_obj_get_type_str(base)));
Damien's avatar
Damien committed
830
831
832
    }
}

Damien George's avatar
Damien George committed
833
mp_obj_t mp_getiter(mp_obj_t o_in) {
834
835
836
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->getiter != NULL) {
        return type->getiter(o_in);
837
    } else {
838
        // check for __iter__ method
839
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
840
        mp_load_method_maybe(o_in, MP_QSTR___iter__, dest);
841
        if (dest[0] != MP_OBJ_NULL) {
842
            // __iter__ exists, call it and return its result
Damien George's avatar
Damien George committed
843
            return mp_call_method_n_kw(0, 0, dest);
844
        } else {
Damien George's avatar
Damien George committed
845
            mp_load_method_maybe(o_in, MP_QSTR___getitem__, dest);
846
847
848
849
850
851
852
            if (dest[0] != MP_OBJ_NULL) {
                // __getitem__ exists, create an iterator
                return mp_obj_new_getitem_iter(dest);
            } else {
                // object not iterable
                nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not iterable", mp_obj_get_type_str(o_in)));
            }
853
        }
854
855
    }
}
856

857
858
// may return MP_OBJ_NULL as an optimisation instead of raise StopIteration()
// may also raise StopIteration()
Damien George's avatar
Damien George committed
859
mp_obj_t mp_iternext_allow_raise(mp_obj_t o_in) {
860
861
862
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
863
    } else {
864
865
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
866
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
867
868
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
Damien George's avatar
Damien George committed
869
            return mp_call_method_n_kw(0, 0, dest);
870
871
872
        } else {
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
        }
873
874
875
    }
}

876
877
// will always return MP_OBJ_NULL instead of raising StopIteration() (or any subclass thereof)
// may raise other exceptions
Damien George's avatar
Damien George committed
878
mp_obj_t mp_iternext(mp_obj_t o_in) {
879
880
881
882
883
884
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
    } else {
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
885
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
886
887
888
889
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
            nlr_buf_t nlr;
            if (nlr_push(&nlr) == 0) {
Damien George's avatar
Damien George committed
890
                mp_obj_t ret = mp_call_method_n_kw(0, 0, dest);
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
                nlr_pop();
                return ret;
            } else {
                if (mp_obj_is_subclass_fast(mp_obj_get_type(nlr.ret_val), &mp_type_StopIteration)) {
                    return MP_OBJ_NULL;
                } else {
                    nlr_jump(nlr.ret_val);
                }
            }
        } else {
            nlr_jump(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
        }
    }
}

Damien George's avatar
Damien George committed
906
mp_obj_t mp_make_raise_obj(mp_obj_t o) {
907
908
909
910
    DEBUG_printf("raise %p\n", o);
    if (mp_obj_is_exception_type(o)) {
        // o is an exception type (it is derived from BaseException (or is BaseException))
        // create and return a new exception instance by calling o
911
912
        // TODO could have an option to disable traceback, then builtin exceptions (eg TypeError)
        // could have const instances in ROM which we return here instead
Damien George's avatar
Damien George committed
913
        return mp_call_function_n_kw(o, 0, 0, NULL);
914
915
916
917
918
919
    } else if (mp_obj_is_exception_instance(o)) {
        // o is an instance of an exception, so use it as the exception
        return o;
    } else {
        // o cannot be used as an exception, so return a type error (which will be raised by the caller)
        return mp_obj_new_exception_msg(&mp_type_TypeError, "exceptions must derive from BaseException");
920
921
922
    }
}

Damien George's avatar
Damien George committed
923
mp_obj_t mp_import_name(qstr name, mp_obj_t fromlist, mp_obj_t level) {
924
925
    DEBUG_printf("import name %s\n", qstr_str(name));

926
    // build args array
927
    mp_obj_t args[5];
928
    args[0] = MP_OBJ_NEW_QSTR(name);
929
930
    args[1] = mp_const_none; // TODO should be globals
    args[2] = mp_const_none; // TODO should be locals
931
932
933
934
    args[3] = fromlist;
    args[4] = level; // must be 0; we don't yet support other values

    // TODO lookup __import__ and call that instead of going straight to builtin implementation
935
    return mp_builtin___import__(5, args);
936
937
}

Damien George's avatar
Damien George committed
938
mp_obj_t mp_import_from(mp_obj_t module, qstr name) {
939
940
    DEBUG_printf("import from %p %s\n", module, qstr_str(name));

Damien George's avatar
Damien George committed
941
    mp_obj_t x = mp_load_attr(module, name);
942
943
944
945
946
947
948
949
    /* TODO convert AttributeError to ImportError
    if (fail) {
        (ImportError, "cannot import name %s", qstr_str(name), NULL)
    }
    */
    return x;
}

Damien George's avatar
Damien George committed
950
void mp_import_all(mp_obj_t module) {
951
952
953
954
955
    DEBUG_printf("import all %p\n", module);

    mp_map_t *map = mp_obj_module_get_globals(module);
    for (uint i = 0; i < map->alloc; i++) {
        if (map->table[i].key != MP_OBJ_NULL) {
Damien George's avatar
Damien George committed
956
            mp_store_name(MP_OBJ_QSTR_VALUE(map->table[i].key), map->table[i].value);
957
958
959
960
        }
    }
}

Damien George's avatar
Damien George committed
961
mp_map_t *mp_locals_get(void) {
962
963
964
    return map_locals;
}

Damien George's avatar
Damien George committed
965
966
void mp_locals_set(mp_map_t *m) {
    DEBUG_OP_printf("mp_locals_set(%p)\n", m);
967
968
969
    map_locals = m;
}

Damien George's avatar
Damien George committed
970
mp_map_t *mp_globals_get(void) {
971
972
973
    return map_globals;
}

Damien George's avatar
Damien George committed
974
975
void mp_globals_set(mp_map_t *m) {
    DEBUG_OP_printf("mp_globals_set(%p)\n", m);
976
977
978
    map_globals = m;
}

979
// these must correspond to the respective enum
Damien George's avatar
Damien George committed
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
void *const mp_fun_table[MP_F_NUMBER_OF] = {
    mp_load_const_dec,
    mp_load_const_str,
    mp_load_name,
    mp_load_global,
    mp_load_build_class,
    mp_load_attr,
    mp_load_method,
    mp_store_name,
    mp_store_attr,
    mp_store_subscr,
    mp_obj_is_true,
    mp_unary_op,
    mp_binary_op,
    mp_build_tuple,
    mp_build_list,
    mp_list_append,
    mp_build_map,
    mp_store_map,
    mp_build_set,
    mp_store_set,
For faster browsing, not all history is shown. View entire blame