Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 1 | #include <string.h> |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 2 | |
Paul Sokolovsky | f54bcbf | 2014-05-02 17:47:01 +0300 | [diff] [blame] | 3 | #include "mpconfig.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 4 | #include "nlr.h" |
| 5 | #include "misc.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 6 | #include "qstr.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 7 | #include "obj.h" |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 8 | #include "objtuple.h" |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 9 | #include "runtime.h" |
| 10 | |
| 11 | typedef struct _mp_obj_closure_t { |
| 12 | mp_obj_base_t base; |
| 13 | mp_obj_t fun; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 14 | machine_uint_t n_closed; |
| 15 | mp_obj_t closed[]; |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 16 | } mp_obj_closure_t; |
| 17 | |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 18 | mp_obj_t closure_call(mp_obj_t self_in, uint n_args, uint n_kw, const mp_obj_t *args) { |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 19 | mp_obj_closure_t *self = self_in; |
| 20 | |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 21 | // need to concatenate closed-over-vars and args |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 22 | |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 23 | int n_total = self->n_closed + n_args + 2 * n_kw; |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 24 | if (n_total <= 5) { |
| 25 | // use stack to allocate temporary args array |
| 26 | mp_obj_t args2[5]; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 27 | memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t)); |
| 28 | memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t)); |
| 29 | return mp_call_function_n_kw(self->fun, self->n_closed + n_args, n_kw, args2); |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 30 | } else { |
| 31 | // use heap to allocate temporary args array |
| 32 | mp_obj_t *args2 = m_new(mp_obj_t, n_total); |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 33 | memcpy(args2, self->closed, self->n_closed * sizeof(mp_obj_t)); |
| 34 | memcpy(args2 + self->n_closed, args, (n_args + 2 * n_kw) * sizeof(mp_obj_t)); |
| 35 | mp_obj_t res = mp_call_function_n_kw(self->fun, self->n_closed + n_args, n_kw, args2); |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 36 | m_del(mp_obj_t, args2, n_total); |
| 37 | return res; |
| 38 | } |
Damien George | 6baf76e | 2013-12-30 22:32:17 +0000 | [diff] [blame] | 39 | } |
| 40 | |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 41 | #if 0 |
| 42 | STATIC void closure_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) { |
| 43 | mp_obj_closure_t *o = o_in; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 44 | print(env, "<closure %p, n_closed=%u ", o, o->n_closed); |
| 45 | for (int i = 0; i < o->n_closed; i++) { |
| 46 | if (o->closed[i] == MP_OBJ_NULL) { |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 47 | print(env, "(nil)"); |
| 48 | } else { |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 49 | mp_obj_print_helper(print, env, o->closed[i], PRINT_REPR); |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 50 | } |
| 51 | print(env, " "); |
| 52 | } |
| 53 | print(env, ">"); |
| 54 | } |
| 55 | #endif |
| 56 | |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 57 | const mp_obj_type_t closure_type = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 58 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 59 | .name = MP_QSTR_closure, |
Paul Sokolovsky | bc5f0c1 | 2014-04-20 13:03:39 +0300 | [diff] [blame] | 60 | //.print = closure_print, |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 61 | .call = closure_call, |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 62 | }; |
| 63 | |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 64 | mp_obj_t mp_obj_new_closure(mp_obj_t fun, uint n_closed_over, const mp_obj_t *closed) { |
| 65 | mp_obj_closure_t *o = m_new_obj_var(mp_obj_closure_t, mp_obj_t, n_closed_over); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 66 | o->base.type = &closure_type; |
| 67 | o->fun = fun; |
Damien George | 3558f62 | 2014-04-20 17:50:40 +0100 | [diff] [blame] | 68 | o->n_closed = n_closed_over; |
| 69 | memcpy(o->closed, closed, n_closed_over * sizeof(mp_obj_t)); |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 70 | return o; |
| 71 | } |