blob: b4cea6c8d172c6ce837d4fc0b42fe5ba36941a01 [file] [log] [blame]
Paul Sokolovsky427905c2014-01-18 19:24:47 +02001#include <stdlib.h>
2#include <stdint.h>
3#include <string.h>
4#include <stdarg.h>
5#include <assert.h>
6
7#include "nlr.h"
8#include "misc.h"
9#include "mpconfig.h"
Damien George55baff42014-01-21 21:40:13 +000010#include "qstr.h"
Paul Sokolovsky427905c2014-01-18 19:24:47 +020011#include "obj.h"
12#include "map.h"
13#include "runtime0.h"
14#include "runtime.h"
15
16// Use special typecode to differentiate repr() of bytearray vs array.array('B')
17// (underlyingly they're same).
18#define BYTEARRAY_TYPECODE 0
19
20typedef struct _mp_obj_array_t {
21 mp_obj_base_t base;
22 struct {
23 machine_uint_t typecode : 8;
24 // free is number of unused elements after len used elements
25 // alloc size = len + free
26 machine_uint_t free : (8 * sizeof(machine_uint_t) - 8);
27 };
28 machine_uint_t len; // in elements
29 void *items;
30} mp_obj_array_t;
31
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +020032STATIC mp_obj_t array_iterator_new(mp_obj_t array_in);
33STATIC mp_obj_array_t *array_new(char typecode, uint n);
34STATIC mp_obj_t array_append(mp_obj_t self_in, mp_obj_t arg);
Paul Sokolovsky427905c2014-01-18 19:24:47 +020035
36/******************************************************************************/
37/* array */
38
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +020039STATIC machine_int_t array_get_el_size(char typecode) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +020040 // This assumes that unsigned and signed types are of the same type,
41 // which is invariant for [u]intN_t.
42 switch (typecode) {
43 case BYTEARRAY_TYPECODE:
44 case 'b':
45 case 'B':
46 return sizeof(int8_t);
47 case 'h':
48 case 'H':
49 return sizeof(int16_t);
50 case 'i':
51 case 'I':
52 return sizeof(int32_t);
53 case 'l':
54 case 'L':
55 return sizeof(int32_t);
56 }
57 return -1;
58}
59
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +020060STATIC machine_int_t array_get_el(mp_obj_array_t *o, int index) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +020061 machine_int_t val = 0;
62 switch (o->typecode) {
63 case 'b':
64 val = ((int8_t*)o->items)[index];
65 break;
66 case BYTEARRAY_TYPECODE:
67 case 'B':
68 val = ((uint8_t*)o->items)[index];
69 break;
70 case 'h':
71 val = ((int16_t*)o->items)[index];
72 break;
73 case 'H':
74 val = ((uint16_t*)o->items)[index];
75 break;
76 case 'i':
77 val = ((int32_t*)o->items)[index];
78 break;
79 case 'I':
80 val = ((uint32_t*)o->items)[index];
81 break;
82 case 'l':
83 val = ((int32_t*)o->items)[index];
84 break;
85 case 'L':
86 val = ((uint32_t*)o->items)[index];
87 break;
88 }
89 return val;
90}
91
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +020092STATIC void array_set_el(mp_obj_array_t *o, int index, mp_obj_t val_in) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +020093 machine_int_t val = mp_obj_int_get(val_in);
94 switch (o->typecode) {
95 case 'b':
96 ((int8_t*)o->items)[index] = val;
97 break;
98 case BYTEARRAY_TYPECODE:
99 case 'B':
100 ((uint8_t*)o->items)[index] = val;
101 break;
102 case 'h':
103 ((int16_t*)o->items)[index] = val;
104 break;
105 case 'H':
106 ((uint16_t*)o->items)[index] = val;
107 break;
108 case 'i':
109 ((int32_t*)o->items)[index] = val;
110 break;
111 case 'I':
112 ((uint32_t*)o->items)[index] = val;
113 break;
114 case 'l':
115 ((int32_t*)o->items)[index] = val;
116 break;
117 case 'L':
118 ((uint32_t*)o->items)[index] = val;
119 break;
120 }
121}
122
123
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200124STATIC void array_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t o_in, mp_print_kind_t kind) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200125 mp_obj_array_t *o = o_in;
126 if (o->typecode == BYTEARRAY_TYPECODE) {
Paul Sokolovsky18014212014-01-28 03:40:48 +0200127 print(env, "bytearray(b", o->typecode);
128 mp_str_print_quoted(print, env, o->items, o->len);
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200129 } else {
Paul Sokolovsky7e652af2014-01-28 03:14:20 +0200130 print(env, "array('%c'", o->typecode);
Paul Sokolovsky18014212014-01-28 03:40:48 +0200131 if (o->len > 0) {
132 print(env, ", [", o->typecode);
133 for (int i = 0; i < o->len; i++) {
134 if (i > 0) {
135 print(env, ", ");
136 }
137 print(env, "%d", array_get_el(o, i));
Paul Sokolovsky7e652af2014-01-28 03:14:20 +0200138 }
Paul Sokolovsky18014212014-01-28 03:40:48 +0200139 print(env, "]");
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200140 }
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200141 }
Paul Sokolovsky7e652af2014-01-28 03:14:20 +0200142 print(env, ")");
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200143}
144
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200145STATIC mp_obj_t array_construct(char typecode, mp_obj_t initializer) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200146 uint len;
147 // Try to create array of exact len if initializer len is known
148 mp_obj_t len_in = mp_obj_len_maybe(initializer);
149 if (len_in == MP_OBJ_NULL) {
150 len = 0;
151 } else {
152 len = MP_OBJ_SMALL_INT_VALUE(len_in);
153 }
154
155 mp_obj_array_t *array = array_new(typecode, len);
156
157 mp_obj_t iterable = rt_getiter(initializer);
158 mp_obj_t item;
159 int i = 0;
160 while ((item = rt_iternext(iterable)) != mp_const_stop_iteration) {
161 if (len == 0) {
162 array_append(array, item);
163 } else {
164 array_set_el(array, i++, item);
165 }
166 }
167
168 return array;
169}
170
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200171STATIC mp_obj_t array_make_new(mp_obj_t type_in, uint n_args, uint n_kw, const mp_obj_t *args) {
Paul Sokolovsky11973b42014-01-28 02:31:52 +0200172 if (n_args < 1 || n_args > 2) {
173 nlr_jump(mp_obj_new_exception_msg_varg(MP_QSTR_TypeError, "unexpected # of arguments, %d given", n_args));
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200174 }
Paul Sokolovsky11973b42014-01-28 02:31:52 +0200175 // TODO check args
176 uint l;
Damien George698ec212014-02-08 18:17:23 +0000177 const char *typecode = mp_obj_str_get_data(args[0], &l);
Paul Sokolovsky11973b42014-01-28 02:31:52 +0200178 if (n_args == 1) {
179 return array_new(*typecode, 0);
180 }
181
182 return array_construct(*typecode, args[1]);
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200183}
184
185// This is top-level factory function, not virtual method
186// TODO: "bytearray" really should be type, not function
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200187STATIC mp_obj_t mp_builtin_bytearray(mp_obj_t arg) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200188 return array_construct(BYTEARRAY_TYPECODE, arg);
189}
190MP_DEFINE_CONST_FUN_OBJ_1(mp_builtin_bytearray_obj, mp_builtin_bytearray);
191
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200192STATIC mp_obj_t array_unary_op(int op, mp_obj_t o_in) {
Paul Sokolovskyc1d9bbc2014-01-30 04:37:19 +0200193 mp_obj_array_t *o = o_in;
194 switch (op) {
195 case RT_UNARY_OP_BOOL: return MP_BOOL(o->len != 0);
196 case RT_UNARY_OP_LEN: return MP_OBJ_NEW_SMALL_INT(o->len);
197 default: return MP_OBJ_NULL; // op not supported
198 }
199}
200
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200201STATIC mp_obj_t array_binary_op(int op, mp_obj_t lhs, mp_obj_t rhs) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200202 mp_obj_array_t *o = lhs;
203 switch (op) {
204 case RT_BINARY_OP_SUBSCR:
205 {
206 uint index = mp_get_index(o->base.type, o->len, rhs);
207 machine_int_t val = array_get_el(o, index);
208 return mp_obj_new_int(val);
209 }
210
211 default:
212 // op not supported
213 return MP_OBJ_NULL;
214 }
215}
216
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200217STATIC mp_obj_t array_append(mp_obj_t self_in, mp_obj_t arg) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200218 assert(MP_OBJ_IS_TYPE(self_in, &array_type));
219 mp_obj_array_t *self = self_in;
220 if (self->free == 0) {
221 int item_sz = array_get_el_size(self->typecode);
222 // TODO: alloc policy
223 self->free = 8;
224 self->items = m_realloc(self->items, item_sz * self->len, item_sz * (self->len + self->free));
225 }
226 array_set_el(self, self->len++, arg);
227 self->free--;
228 return mp_const_none; // return None, as per CPython
229}
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200230STATIC MP_DEFINE_CONST_FUN_OBJ_2(array_append_obj, array_append);
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200231
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200232STATIC bool array_store_item(mp_obj_t self_in, mp_obj_t index_in, mp_obj_t value) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200233 mp_obj_array_t *o = self_in;
234 uint index = mp_get_index(o->base.type, o->len, index_in);
235 array_set_el(o, index, value);
236 return true;
237}
238
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200239STATIC machine_int_t array_get_buffer(mp_obj_t o_in, buffer_info_t *bufinfo, int flags) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200240 mp_obj_array_t *o = o_in;
241 bufinfo->buf = o->items;
242 bufinfo->len = o->len * array_get_el_size(o->typecode);
243 return 0;
244}
245
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200246STATIC const mp_method_t array_type_methods[] = {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200247 { "append", &array_append_obj },
248 { NULL, NULL },
249};
250
251const mp_obj_type_t array_type = {
252 { &mp_const_type },
253 "array",
254 .print = array_print,
255 .make_new = array_make_new,
Paul Sokolovsky09ce0592014-01-21 23:45:19 +0200256 .getiter = array_iterator_new,
Paul Sokolovskyc1d9bbc2014-01-30 04:37:19 +0200257 .unary_op = array_unary_op,
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200258 .binary_op = array_binary_op,
259 .store_item = array_store_item,
260 .methods = array_type_methods,
261 .buffer_p = { .get_buffer = array_get_buffer },
262};
263
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200264STATIC mp_obj_array_t *array_new(char typecode, uint n) {
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200265 mp_obj_array_t *o = m_new_obj(mp_obj_array_t);
266 o->base.type = &array_type;
267 o->typecode = typecode;
268 o->free = 0;
269 o->len = n;
270 o->items = m_malloc(array_get_el_size(typecode) * o->len);
271 return o;
272}
273
Paul Sokolovsky33996682014-01-21 23:30:10 +0200274uint mp_obj_array_len(mp_obj_t self_in) {
275 return ((mp_obj_array_t *)self_in)->len;
276}
277
Paul Sokolovsky427905c2014-01-18 19:24:47 +0200278mp_obj_t mp_obj_new_bytearray(uint n, void *items) {
279 mp_obj_array_t *o = array_new(BYTEARRAY_TYPECODE, n);
280 memcpy(o->items, items, n);
281 return o;
282}
Paul Sokolovsky09ce0592014-01-21 23:45:19 +0200283
Paul Sokolovsky7f11c792014-01-29 00:21:41 +0200284// Create bytearray which references specified memory area
285mp_obj_t mp_obj_new_bytearray_by_ref(uint n, void *items) {
286 mp_obj_array_t *o = m_new_obj(mp_obj_array_t);
287 o->base.type = &array_type;
288 o->typecode = BYTEARRAY_TYPECODE;
289 o->free = 0;
290 o->len = n;
291 o->items = items;
292 return o;
293}
294
Paul Sokolovsky09ce0592014-01-21 23:45:19 +0200295/******************************************************************************/
296/* array iterator */
297
298typedef struct _mp_obj_array_it_t {
299 mp_obj_base_t base;
300 mp_obj_array_t *array;
301 machine_uint_t cur;
302} mp_obj_array_it_t;
303
304mp_obj_t array_it_iternext(mp_obj_t self_in) {
305 mp_obj_array_it_t *self = self_in;
306 if (self->cur < self->array->len) {
307 machine_int_t val = array_get_el(self->array, self->cur++);
308 return mp_obj_new_int(val);
309 } else {
310 return mp_const_stop_iteration;
311 }
312}
313
Paul Sokolovskyd5df6cd2014-02-12 18:15:40 +0200314STATIC const mp_obj_type_t array_it_type = {
Paul Sokolovsky09ce0592014-01-21 23:45:19 +0200315 { &mp_const_type },
316 "array_iterator",
317 .iternext = array_it_iternext,
318};
319
320mp_obj_t array_iterator_new(mp_obj_t array_in) {
321 mp_obj_array_t *array = array_in;
322 mp_obj_array_it_t *o = m_new_obj(mp_obj_array_it_t);
323 o->base.type = &array_it_type;
324 o->array = array;
325 o->cur = 0;
326 return o;
327}