runtime.c 43.8 KB
Newer Older
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
/*
 * This file is part of the Micro Python project, http://micropython.org/
 *
 * The MIT License (MIT)
 *
 * Copyright (c) 2013, 2014 Damien P. George
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

Damien's avatar
Damien committed
27
28
29
#include <stdio.h>
#include <string.h>
#include <assert.h>
stijn's avatar
stijn committed
30
#include <alloca.h>
Damien's avatar
Damien committed
31

32
#include "mpconfig.h"
33
#include "nlr.h"
Damien's avatar
Damien committed
34
#include "misc.h"
35
#include "qstr.h"
36
#include "obj.h"
37
#include "objtuple.h"
38
#include "objmodule.h"
39
#include "parsenum.h"
40
#include "runtime0.h"
Damien's avatar
Damien committed
41
#include "runtime.h"
42
#include "emitglue.h"
43
#include "builtin.h"
44
#include "builtintables.h"
45
#include "bc.h"
46
#include "smallint.h"
47
#include "objgenerator.h"
48

49
#if 0 // print debugging info
50
#define DEBUG_PRINT (1)
51
#define DEBUG_printf DEBUG_printf
52
#define DEBUG_OP_printf(...) DEBUG_printf(__VA_ARGS__)
53
#else // don't print debugging info
54
55
#define DEBUG_printf(...) (void)0
#define DEBUG_OP_printf(...) (void)0
56
#endif
Damien's avatar
Damien committed
57

58
// locals and globals need to be pointers because they can be the same in outer module scope
59
60
STATIC mp_obj_dict_t *dict_locals;
STATIC mp_obj_dict_t *dict_globals;
61

62
// dictionary for the __main__ module
63
STATIC mp_obj_dict_t dict_main;
64
65
66
67

const mp_obj_module_t mp_module___main__ = {
    .base = { &mp_type_module },
    .name = MP_QSTR___main__,
68
    .globals = (mp_obj_dict_t*)&dict_main,
69
70
};

Damien George's avatar
Damien George committed
71
void mp_init(void) {
72
    // call port specific initialization if any
73
74
75
76
#ifdef MICROPY_PORT_INIT_FUNC
    MICROPY_PORT_INIT_FUNC;
#endif

77
78
79
    // __debug__ enabled by default
    mp_set_debug(true);

80
81
    // init global module stuff
    mp_module_init();
82

83
    // initialise the __main__ module
84
85
    mp_obj_dict_init(&dict_main, 1);
    mp_obj_dict_store(&dict_main, MP_OBJ_NEW_QSTR(MP_QSTR___name__), MP_OBJ_NEW_QSTR(MP_QSTR___main__));
86
87

    // locals = globals for outer module (see Objects/frameobject.c/PyFrame_New())
88
    dict_locals = dict_globals = &dict_main;
Damien's avatar
Damien committed
89
90
}

Damien George's avatar
Damien George committed
91
void mp_deinit(void) {
92
    //mp_obj_dict_free(&dict_main);
93
    mp_module_deinit();
stijn's avatar
stijn committed
94
95
96
97
98

    // call port specific deinitialization if any 
#ifdef MICROPY_PORT_INIT_FUNC
    MICROPY_PORT_DEINIT_FUNC;
#endif
Damien's avatar
Damien committed
99
100
}

101
102
103
104
105
106
107
mp_obj_t mp_load_const_int(qstr qstr) {
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
    uint len;
    const byte* data = qstr_data(qstr, &len);
    return mp_parse_num_integer((const char*)data, len, 0);
}

Damien George's avatar
Damien George committed
108
mp_obj_t mp_load_const_dec(qstr qstr) {
Damien's avatar
Damien committed
109
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
110
111
    uint len;
    const byte* data = qstr_data(qstr, &len);
112
    return mp_parse_num_decimal((const char*)data, len, true, false);
Damien's avatar
Damien committed
113
114
}

Damien George's avatar
Damien George committed
115
mp_obj_t mp_load_const_str(qstr qstr) {
Damien's avatar
Damien committed
116
    DEBUG_OP_printf("load '%s'\n", qstr_str(qstr));
117
    return MP_OBJ_NEW_QSTR(qstr);
Damien's avatar
Damien committed
118
119
}

Damien George's avatar
Damien George committed
120
mp_obj_t mp_load_const_bytes(qstr qstr) {
121
122
123
124
125
126
    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
127
mp_obj_t mp_load_name(qstr qstr) {
Damien's avatar
Damien committed
128
    // logic: search locals, globals, builtins
129
    DEBUG_OP_printf("load name %s\n", qstr_str(qstr));
130
    // If we're at the outer scope (locals == globals), dispatch to load_global right away
131
132
    if (dict_locals != dict_globals) {
        mp_map_elem_t *elem = mp_map_lookup(&dict_locals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
133
134
135
        if (elem != NULL) {
            return elem->value;
        }
Damien's avatar
Damien committed
136
    }
137
    return mp_load_global(qstr);
Damien's avatar
Damien committed
138
139
}

Damien George's avatar
Damien George committed
140
mp_obj_t mp_load_global(qstr qstr) {
141
142
    // logic: search globals, builtins
    DEBUG_OP_printf("load global %s\n", qstr_str(qstr));
143
    mp_map_elem_t *elem = mp_map_lookup(&dict_globals->map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
144
    if (elem == NULL) {
145
146
        // TODO lookup in dynamic table of builtins first
        elem = mp_map_lookup((mp_map_t*)&mp_builtin_object_dict_obj.map, MP_OBJ_NEW_QSTR(qstr), MP_MAP_LOOKUP);
147
        if (elem == NULL) {
148
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_NameError, "name '%s' is not defined", qstr_str(qstr)));
149
150
151
        }
    }
    return elem->value;
Damien's avatar
Damien committed
152
153
}

Damien George's avatar
Damien George committed
154
mp_obj_t mp_load_build_class(void) {
Damien's avatar
Damien committed
155
    DEBUG_OP_printf("load_build_class\n");
156
157
158
    // TODO lookup __build_class__ in dynamic table of builtins first
    // ... else no user-defined __build_class__, return builtin one
    return (mp_obj_t)&mp_builtin___build_class___obj;
Damien's avatar
Damien committed
159
160
}

Damien George's avatar
Damien George committed
161
void mp_store_name(qstr qstr, mp_obj_t obj) {
162
    DEBUG_OP_printf("store name %s <- %p\n", qstr_str(qstr), obj);
163
    mp_obj_dict_store(dict_locals, MP_OBJ_NEW_QSTR(qstr), obj);
164
165
}

Damien George's avatar
Damien George committed
166
void mp_delete_name(qstr qstr) {
167
    DEBUG_OP_printf("delete name %s\n", qstr_str(qstr));
168
169
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_locals, MP_OBJ_NEW_QSTR(qstr));
170
171
}

Damien George's avatar
Damien George committed
172
void mp_store_global(qstr qstr, mp_obj_t obj) {
173
    DEBUG_OP_printf("store global %s <- %p\n", qstr_str(qstr), obj);
174
    mp_obj_dict_store(dict_globals, MP_OBJ_NEW_QSTR(qstr), obj);
Damien's avatar
Damien committed
175
176
}

177
178
179
180
181
182
void mp_delete_global(qstr qstr) {
    DEBUG_OP_printf("delete global %s\n", qstr_str(qstr));
    // TODO convert KeyError to NameError if qstr not found
    mp_obj_dict_delete(dict_globals, MP_OBJ_NEW_QSTR(qstr));
}

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

186
187
    if (MP_OBJ_IS_SMALL_INT(arg)) {
        mp_small_int_t val = MP_OBJ_SMALL_INT_VALUE(arg);
Damien's avatar
Damien committed
188
        switch (op) {
Damien George's avatar
Damien George committed
189
            case MP_UNARY_OP_BOOL:
190
                return MP_BOOL(val != 0);
Damien George's avatar
Damien George committed
191
            case MP_UNARY_OP_POSITIVE:
192
                return arg;
Damien George's avatar
Damien George committed
193
            case MP_UNARY_OP_NEGATIVE:
194
195
196
197
198
199
                // 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
200
            case MP_UNARY_OP_INVERT:
201
202
203
204
                return MP_OBJ_NEW_SMALL_INT(~val);
            default:
                assert(0);
                return arg;
205
        }
206
207
208
209
    } 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);
210
            if (result != MP_OBJ_NULL) {
211
212
                return result;
            }
Damien's avatar
Damien committed
213
        }
214
        // TODO specify in error message what the operator is
215
        nlr_raise(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
216
    }
Damien's avatar
Damien committed
217
218
}

Damien George's avatar
Damien George committed
219
mp_obj_t mp_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Damien's avatar
Damien committed
220
    DEBUG_OP_printf("binary %d %p %p\n", op, lhs, rhs);
221
222
223
224
225
226
227
228
229
230

    // 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 +=

231
    // deal with is
Damien George's avatar
Damien George committed
232
    if (op == MP_BINARY_OP_IS) {
233
234
235
        return MP_BOOL(lhs == rhs);
    }

236
    // deal with == and != for all types
Damien George's avatar
Damien George committed
237
    if (op == MP_BINARY_OP_EQUAL || op == MP_BINARY_OP_NOT_EQUAL) {
238
        if (mp_obj_equal(lhs, rhs)) {
Damien George's avatar
Damien George committed
239
            if (op == MP_BINARY_OP_EQUAL) {
240
241
242
243
244
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        } else {
Damien George's avatar
Damien George committed
245
            if (op == MP_BINARY_OP_EQUAL) {
246
247
248
249
250
251
252
253
                return mp_const_false;
            } else {
                return mp_const_true;
            }
        }
    }

    // deal with exception_match for all types
Damien George's avatar
Damien George committed
254
    if (op == MP_BINARY_OP_EXCEPTION_MATCH) {
255
256
257
258
259
260
        // 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);
            }
261
            if (mp_obj_is_subclass_fast(lhs, rhs)) {
262
263
264
265
266
                return mp_const_true;
            } else {
                return mp_const_false;
            }
        }
267
268
        assert(0);
        return mp_const_false;
269
270
    }

271
    if (MP_OBJ_IS_SMALL_INT(lhs)) {
272
        mp_small_int_t lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs);
273
274
        if (MP_OBJ_IS_SMALL_INT(rhs)) {
            mp_small_int_t rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs);
275
276
277
278
279
280
281
282
283
            // 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
284
            switch (op) {
Damien George's avatar
Damien George committed
285
286
287
288
289
290
291
292
                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: {
293
294
                    if (rhs_val < 0) {
                        // negative shift not allowed
295
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
296
297
298
299
300
301
302
303
304
305
                    } 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
306
307
                case MP_BINARY_OP_RSHIFT:
                case MP_BINARY_OP_INPLACE_RSHIFT:
308
309
                    if (rhs_val < 0) {
                        // negative shift not allowed
310
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative shift count"));
311
312
313
314
315
                    } else {
                        // standard precision is enough for right-shift
                        lhs_val >>= rhs_val;
                    }
                    break;
Damien George's avatar
Damien George committed
316
317
318
319
320
321
                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: {
322
323
324

                    // If long long type exists and is larger than machine_int_t, then
                    // we can use the following code to perform overflow-checked multiplication.
325
                    // Otherwise (eg in x64 case) we must use mp_small_int_mul_overflow.
326
327
328
329
330
331
332
333
334
335
336
337
                    #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

338
339
340
341
342
343
344
345
                    if (mp_small_int_mul_overflow(lhs_val, rhs_val)) {
                        // use higher precision
                        lhs = mp_obj_new_int_from_ll(lhs_val);
                        goto generic_binary_op;
                    } else {
                        // use standard precision
                        return MP_OBJ_NEW_SMALL_INT(lhs_val * rhs_val);
                    }
346
347
                    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
                    if (rhs_val == 0) {
                        goto zero_division;
                    }
353
                    lhs_val = mp_small_int_floor_divide(lhs_val, rhs_val);
354
                    break;
355

356
                #if MICROPY_ENABLE_FLOAT
Damien George's avatar
Damien George committed
357
                case MP_BINARY_OP_TRUE_DIVIDE:
358
359
                case MP_BINARY_OP_INPLACE_TRUE_DIVIDE:
                    if (rhs_val == 0) {
360
                        goto zero_division;
361
362
                    }
                    return mp_obj_new_float((mp_float_t)lhs_val / (mp_float_t)rhs_val);
363
                #endif
364

Damien George's avatar
Damien George committed
365
                case MP_BINARY_OP_MODULO:
366
367
                case MP_BINARY_OP_INPLACE_MODULO: {
                    lhs_val = mp_small_int_modulo(lhs_val, rhs_val);
368
369
                    break;
                }
370

Damien George's avatar
Damien George committed
371
372
                case MP_BINARY_OP_POWER:
                case MP_BINARY_OP_INPLACE_POWER:
373
374
375
376
377
                    if (rhs_val < 0) {
                        #if MICROPY_ENABLE_FLOAT
                        lhs = mp_obj_new_float(lhs_val);
                        goto generic_binary_op;
                        #else
378
                        nlr_raise(mp_obj_new_exception_msg(&mp_type_ValueError, "negative power with no float support"));
379
380
381
382
383
                        #endif
                    } else {
                        machine_int_t ans = 1;
                        while (rhs_val > 0) {
                            if (rhs_val & 1) {
384
                                if (mp_small_int_mul_overflow(ans, lhs_val)) {
385
386
                                    goto power_overflow;
                                }
387
                                ans *= lhs_val;
388
389
390
                            }
                            if (rhs_val == 1) {
                                break;
391
392
                            }
                            rhs_val /= 2;
393
                            if (mp_small_int_mul_overflow(lhs_val, lhs_val)) {
394
395
                                goto power_overflow;
                            }
396
                            lhs_val *= lhs_val;
397
                        }
398
                        lhs_val = ans;
399
                    }
400
                    break;
401
402
403
404
405
406

                power_overflow:
                    // use higher precision
                    lhs = mp_obj_new_int_from_ll(MP_OBJ_SMALL_INT_VALUE(lhs));
                    goto generic_binary_op;

Damien George's avatar
Damien George committed
407
408
409
410
                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;
411

412
413
                default:
                    goto unsupported_op;
414
            }
415
416
            // TODO: We just should make mp_obj_new_int() inline and use that
            if (MP_OBJ_FITS_SMALL_INT(lhs_val)) {
417
                return MP_OBJ_NEW_SMALL_INT(lhs_val);
418
419
            } else {
                return mp_obj_new_int(lhs_val);
420
            }
421
#if MICROPY_ENABLE_FLOAT
422
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_float)) {
423
424
425
426
427
428
            mp_obj_t res = mp_obj_float_binary_op(op, lhs_val, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
429
        } else if (MP_OBJ_IS_TYPE(rhs, &mp_type_complex)) {
430
431
432
433
434
435
            mp_obj_t res = mp_obj_complex_binary_op(op, lhs_val, 0, rhs);
            if (res == MP_OBJ_NULL) {
                goto unsupported_op;
            } else {
                return res;
            }
436
#endif
437
        }
438
    }
439

440
    /* deal with `in`
441
442
     *
     * NOTE `a in b` is `b.__contains__(a)`, hence why the generic dispatch
Damien George's avatar
Damien George committed
443
     * needs to go below with swapped arguments
444
     */
Damien George's avatar
Damien George committed
445
    if (op == MP_BINARY_OP_IN) {
446
447
448
        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);
449
            if (res != MP_OBJ_NULL) {
450
                return res;
John R. Lenton's avatar
John R. Lenton committed
451
            }
452
453
454
455
        }
        if (type->getiter != NULL) {
            /* second attempt, walk the iterator */
            mp_obj_t next = NULL;
Damien George's avatar
Damien George committed
456
            mp_obj_t iter = mp_getiter(rhs);
457
            while ((next = mp_iternext(iter)) != MP_OBJ_STOP_ITERATION) {
458
                if (mp_obj_equal(next, lhs)) {
459
                    return mp_const_true;
John R. Lenton's avatar
John R. Lenton committed
460
                }
461
            }
462
            return mp_const_false;
463
464
        }

465
        nlr_raise(mp_obj_new_exception_msg_varg(
466
                     &mp_type_TypeError, "'%s' object is not iterable",
467
468
469
470
                     mp_obj_get_type_str(rhs)));
        return mp_const_none;
    }

471
    // generic binary_op supplied by type
472
473
474
    mp_obj_type_t *type;
generic_binary_op:
    type = mp_obj_get_type(lhs);
475
476
    if (type->binary_op != NULL) {
        mp_obj_t result = type->binary_op(op, lhs, rhs);
477
        if (result != MP_OBJ_NULL) {
478
            return result;
Damien's avatar
Damien committed
479
480
        }
    }
481

482
483
    // TODO implement dispatch for reverse binary ops

John R. Lenton's avatar
John R. Lenton committed
484
    // TODO specify in error message what the operator is
485
unsupported_op:
486
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError,
John R. Lenton's avatar
John R. Lenton committed
487
488
        "unsupported operand types for binary operator: '%s', '%s'",
        mp_obj_get_type_str(lhs), mp_obj_get_type_str(rhs)));
489
    return mp_const_none;
490
491

zero_division:
492
    nlr_raise(mp_obj_new_exception_msg(&mp_type_ZeroDivisionError, "division by zero"));
Damien's avatar
Damien committed
493
494
}

Damien George's avatar
Damien George committed
495
496
mp_obj_t mp_call_function_0(mp_obj_t fun) {
    return mp_call_function_n_kw(fun, 0, 0, NULL);
497
498
}

Damien George's avatar
Damien George committed
499
500
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);
501
502
}

Damien George's avatar
Damien George committed
503
mp_obj_t mp_call_function_2(mp_obj_t fun, mp_obj_t arg1, mp_obj_t arg2) {
504
    mp_obj_t args[2];
505
506
    args[0] = arg1;
    args[1] = arg2;
Damien George's avatar
Damien George committed
507
    return mp_call_function_n_kw(fun, 2, 0, args);
508
509
}

510
511
// 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
512
513
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);
514
515
}

516
// args contains, eg: arg0  arg1  key0  value0  key1  value1
Damien George's avatar
Damien George committed
517
mp_obj_t mp_call_function_n_kw(mp_obj_t fun_in, uint n_args, uint n_kw, const mp_obj_t *args) {
518
519
    // 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
520

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

523
524
525
526
527
    // get the type
    mp_obj_type_t *type = mp_obj_get_type(fun_in);

    // do the call
    if (type->call != NULL) {
528
529
530
531
        mp_obj_t res = type->call(fun_in, n_args, n_kw, args);
        if (res != NULL) {
            return res;
        }
532
    }
533
534

    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not callable", mp_obj_get_type_str(fun_in)));
535
536
}

537
538
// 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
539
mp_obj_t mp_call_method_n_kw(uint n_args, uint n_kw, const mp_obj_t *args) {
540
541
    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
542
    return mp_call_function_n_kw(args[0], n_args + adjust, n_kw, args + 2 - adjust);
543
544
}

545
mp_obj_t mp_call_method_n_kw_var(bool have_self, uint n_args_n_kw, const mp_obj_t *args) {
546
547
548
549
550
551
552
    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;
553
554
    mp_obj_t pos_seq = args[n_args + 2 * n_kw]; // map be MP_OBJ_NULL
    mp_obj_t kw_dict = args[n_args + 2 * n_kw + 1]; // map be MP_OBJ_NULL
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

    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
588
        mp_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
        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
609
        mp_seq_cat(args2 + args2_len, args, n_args, items, len, mp_obj_t);
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
        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
625
        mp_seq_copy(args2 + args2_len, args, n_args, mp_obj_t);
626
627
628
629

        // extract the variable position args from the iterator
        mp_obj_t iterable = mp_getiter(pos_seq);
        mp_obj_t item;
630
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
631
632
633
634
635
636
637
638
639
640
641
642
            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.
643
    mp_seq_copy(args2 + args2_len, args + n_args, 2 * n_kw, mp_obj_t);
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
    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;
667
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
            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;
}

689
// unpacked items are stored in reverse order into the array pointed to by items
Damien George's avatar
Damien George committed
690
void mp_unpack_sequence(mp_obj_t seq_in, uint num, mp_obj_t *items) {
691
    uint seq_len;
692
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
693
        mp_obj_t *seq_items;
694
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
695
696
697
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
698
        }
699
        if (seq_len < num) {
700
            goto too_short;
701
        } else if (seq_len > num) {
702
            goto too_long;
703
        }
704
705
706
        for (uint i = 0; i < num; i++) {
            items[i] = seq_items[num - 1 - i];
        }
707
    } else {
Damien George's avatar
Damien George committed
708
        mp_obj_t iterable = mp_getiter(seq_in);
709
710

        for (seq_len = 0; seq_len < num; seq_len++) {
Damien George's avatar
Damien George committed
711
            mp_obj_t el = mp_iternext(iterable);
712
            if (el == MP_OBJ_STOP_ITERATION) {
713
714
715
716
                goto too_short;
            }
            items[num - 1 - seq_len] = el;
        }
717
        if (mp_iternext(iterable) != MP_OBJ_STOP_ITERATION) {
718
719
            goto too_long;
        }
720
    }
721
722
723
    return;

too_short:
724
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
725
too_long:
726
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "too many values to unpack (expected %d)", num));
727
728
}

729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
// unpacked items are stored in reverse order into the array pointed to by items
void mp_unpack_ex(mp_obj_t seq_in, uint num_in, mp_obj_t *items) {
    uint num_left = num_in & 0xff;
    uint num_right = (num_in >> 8) & 0xff;
    DEBUG_OP_printf("unpack ex %d %d\n", num_left, num_right);
    uint seq_len;
    if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(seq_in, &mp_type_list)) {
        mp_obj_t *seq_items;
        if (MP_OBJ_IS_TYPE(seq_in, &mp_type_tuple)) {
            mp_obj_tuple_get(seq_in, &seq_len, &seq_items);
        } else {
            if (num_left == 0 && num_right == 0) {
                // *a, = b # sets a to b if b is a list
                items[0] = seq_in;
                return;
            }
            mp_obj_list_get(seq_in, &seq_len, &seq_items);
        }
        if (seq_len < num_left + num_right) {
            goto too_short;
        }
        for (uint i = 0; i < num_right; i++) {
            items[i] = seq_items[seq_len - 1 - i];
        }
        items[num_right] = mp_obj_new_list(seq_len - num_left - num_right, seq_items + num_left);
        for (uint i = 0; i < num_left; i++) {
            items[num_right + 1 + i] = seq_items[num_left - 1 - i];
        }
    } else {
        // Generic iterable; this gets a bit messy: we unpack known left length to the
        // items destination array, then the rest to a dynamically created list.  Once the
        // iterable is exhausted, we take from this list for the right part of the items.
        // TODO Improve to waste less memory in the dynamically created list.
        mp_obj_t iterable = mp_getiter(seq_in);
        mp_obj_t item;
        for (seq_len = 0; seq_len < num_left; seq_len++) {
            item = mp_iternext(iterable);
766
            if (item == MP_OBJ_STOP_ITERATION) {
767
768
769
770
771
                goto too_short;
            }
            items[num_left + num_right + 1 - 1 - seq_len] = item;
        }
        mp_obj_t rest = mp_obj_new_list(0, NULL);
772
        while ((item = mp_iternext(iterable)) != MP_OBJ_STOP_ITERATION) {
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
            mp_obj_list_append(rest, item);
        }
        uint rest_len;
        mp_obj_t *rest_items;
        mp_obj_list_get(rest, &rest_len, &rest_items);
        if (rest_len < num_right) {
            goto too_short;
        }
        items[num_right] = rest;
        for (uint i = 0; i < num_right; i++) {
            items[num_right - 1 - i] = rest_items[rest_len - num_right + i];
        }
        mp_obj_list_set_len(rest, rest_len - num_right);
    }
    return;

too_short:
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_ValueError, "need more than %d values to unpack", seq_len));
}

793
mp_obj_t mp_load_attr(mp_obj_t base, qstr attr) {
794
    DEBUG_OP_printf("load attr %p.%s\n", base, qstr_str(attr));
795
    // use load_method
796
    mp_obj_t dest[2];
797
798
    mp_load_method(base, attr, dest);
    if (dest[1] == MP_OBJ_NULL) {
799
        // load_method returned just a normal attribute
800
        return dest[0];
801
802
803
    } 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
804
805
806
    }
}

807
808
809
// 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
810
void mp_load_method_maybe(mp_obj_t base, qstr attr, mp_obj_t *dest) {
811
812
813
814
815
816
817
    // 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);

Damien George's avatar
Damien George committed
818
819
    // look for built-in names
    if (0) {
820
#if MICROPY_CPYTHON_COMPAT
Damien George's avatar
Damien George committed
821
822
823
    } else if (attr == MP_QSTR___class__) {
        // a.__class__ is equivalent to type(a)
        dest[0] = type;
824
#endif
Damien George's avatar
Damien George committed
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849

    } else if (attr == MP_QSTR___next__ && type->iternext != NULL) {
        dest[0] = (mp_obj_t)&mp_builtin_next_obj;
        dest[1] = base;

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

    } else if (type->locals_dict != NULL) {
        // generic method lookup
        // this is a lookup in the object (ie not class or type)
        assert(MP_OBJ_IS_TYPE(type->locals_dict, &mp_type_dict)); // Micro Python restriction, for now
        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);
850
851
852
            } else if (MP_OBJ_IS_TYPE(elem->value, &mp_type_type)) {
                // Don't try to bind types
                dest[0] = elem->value;
Damien George's avatar
Damien George committed
853
854
855
856
857
858
859
            } else if (mp_obj_is_callable(elem->value)) {
                // return a bound method, with self being this object
                dest[0] = elem->value;
                dest[1] = base;
            } else {
                // class member is a value, so just return that value
                dest[0] = elem->value;
Damien's avatar
Damien committed
860
861
            }
        }
862
    }
863
864
}

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

Damien George's avatar
Damien George committed
868
    mp_load_method_maybe(base, attr, dest);
869

870
    if (dest[0] == MP_OBJ_NULL) {
871
872
        // no attribute/method called attr
        // following CPython, we give a more detailed error message for type objects
873
        if (MP_OBJ_IS_TYPE(base, &mp_type_type)) {
874
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError,
875
                "type object '%s' has no attribute '%s'", qstr_str(((mp_obj_type_t*)base)->name), qstr_str(attr)));
876
        } else {
877
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
878
879
        }
    }
880
881
}

Damien George's avatar
Damien George committed
882
void mp_store_attr(mp_obj_t base, qstr attr, mp_obj_t value) {
Damien's avatar
Damien committed
883
    DEBUG_OP_printf("store attr %p.%s <- %p\n", base, qstr_str(attr), value);
884
885
886
887
888
    mp_obj_type_t *type = mp_obj_get_type(base);
    if (type->store_attr != NULL) {
        if (type->store_attr(base, attr, value)) {
            return;
        }
889
    }
890
    nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_AttributeError, "'%s' object has no attribute '%s'", mp_obj_get_type_str(base), qstr_str(attr)));
891
892
}

Damien George's avatar
Damien George committed
893
mp_obj_t mp_getiter(mp_obj_t o_in) {
894
    assert(o_in);
895
896
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->getiter != NULL) {
897
898
899
900
901
        mp_obj_t iter = type->getiter(o_in);
        if (iter == MP_OBJ_NULL) {
            goto not_iterable;
        }
        return iter;
902
    } else {
903
        // check for __iter__ method
904
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
905
        mp_load_method_maybe(o_in, MP_QSTR___iter__, dest);
906
        if (dest[0] != MP_OBJ_NULL) {
907
            // __iter__ exists, call it and return its result
Damien George's avatar
Damien George committed
908
            return mp_call_method_n_kw(0, 0, dest);
909
        } else {
Damien George's avatar
Damien George committed
910
            mp_load_method_maybe(o_in, MP_QSTR___getitem__, dest);
911
912
913
914
915
            if (dest[0] != MP_OBJ_NULL) {
                // __getitem__ exists, create an iterator
                return mp_obj_new_getitem_iter(dest);
            } else {
                // object not iterable
916
not_iterable:
917
                nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not iterable", mp_obj_get_type_str(o_in)));
918
            }
919
        }
920
921
    }
}
922

923
// may return MP_OBJ_STOP_ITERATION as an optimisation instead of raise StopIteration()
924
// may also raise StopIteration()
Damien George's avatar
Damien George committed
925
mp_obj_t mp_iternext_allow_raise(mp_obj_t o_in) {
926
927
928
    mp_obj_type_t *type = mp_obj_get_type(o_in);
    if (type->iternext != NULL) {
        return type->iternext(o_in);
929
    } else {
930
931
        // check for __next__ method
        mp_obj_t dest[2];
Damien George's avatar
Damien George committed
932
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
933
934
        if (dest[0] != MP_OBJ_NULL) {
            // __next__ exists, call it and return its result
Damien George's avatar
Damien George committed
935
            return mp_call_method_n_kw(0, 0, dest);
936
        } else {
937
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
938
        }
939
940
941
    }
}

942
// will always return MP_OBJ_STOP_ITERATION instead of raising StopIteration() (or any subclass thereof)
943
// may raise other exceptions
Damien George's avatar
Damien George committed
944
mp_obj_t mp_iternext(mp_obj_t o_in) {
945
946
947
948
949
950
    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
951
        mp_load_method_maybe(o_in, MP_QSTR___next__, dest);
952
953
954
955
        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
956
                mp_obj_t ret = mp_call_method_n_kw(0, 0, dest);
957
958
959
960
                nlr_pop();
                return ret;
            } else {
                if (mp_obj_is_subclass_fast(mp_obj_get_type(nlr.ret_val), &mp_type_StopIteration)) {
961
                    return MP_OBJ_STOP_ITERATION;
962
                } else {
963
                    nlr_raise(nlr.ret_val);
964
965
966
                }
            }
        } else {
967
            nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "'%s' object is not an iterator", mp_obj_get_type_str(o_in)));
968
969
970
971
        }
    }
}

972
973
// TODO: Unclear what to do with StopIterarion exception here.
mp_vm_return_kind_t mp_resume(mp_obj_t self_in, mp_obj_t send_value, mp_obj_t throw_value, mp_obj_t *ret_val) {
974
    assert((send_value != MP_OBJ_NULL) ^ (throw_value != MP_OBJ_NULL));
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
    mp_obj_type_t *type = mp_obj_get_type(self_in);

    if (type == &mp_type_gen_instance) {
        return mp_obj_gen_resume(self_in, send_value, throw_value, ret_val);
    }

    if (type->iternext != NULL && send_value == mp_const_none) {
        mp_obj_t ret = type->iternext(self_in);
        if (ret != MP_OBJ_NULL) {
            *ret_val = ret;
            return MP_VM_RETURN_YIELD;
        } else {
            // Emulate raise StopIteration()
            // Special case, handled in vm.c
            *ret_val = MP_OBJ_NULL;
            return MP_VM_RETURN_NORMAL;
        }
    }

    mp_obj_t dest[3]; // Reserve slot for send() arg

    if (send_value == mp_const_none) {
        mp_load_method_maybe(self_in, MP_QSTR___next__, dest);
        if (dest[0] != MP_OBJ_NULL) {
            *ret_val = mp_call_method_n_kw(0, 0, dest);
            return MP_VM_RETURN_YIELD;