blob: 683ba350458efe2bc7046baa1ec6fe176968b5e9 [file] [log] [blame]
Damien George04b91472014-05-03 23:27:38 +01001/*
2 * This file is part of the Micro Python project, http://micropython.org/
3 *
4 * The MIT License (MIT)
5 *
6 * Copyright (c) 2013, 2014 Damien P. George
7 *
8 * Permission is hereby granted, free of charge, to any person obtaining a copy
9 * of this software and associated documentation files (the "Software"), to deal
10 * in the Software without restriction, including without limitation the rights
11 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
12 * copies of the Software, and to permit persons to whom the Software is
13 * furnished to do so, subject to the following conditions:
14 *
15 * The above copyright notice and this permission notice shall be included in
16 * all copies or substantial portions of the Software.
17 *
18 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
19 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
20 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
21 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
22 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
23 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
24 * THE SOFTWARE.
25 */
26
Paul Sokolovsky8bc35162014-02-14 17:16:35 +020027#include <stdint.h>
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030028#include <stdlib.h>
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030029#include <stddef.h>
Paul Sokolovsky62798832014-06-02 16:04:26 +030030#include <string.h>
Paul Sokolovsky8bc35162014-02-14 17:16:35 +020031#include <assert.h>
32
Damien George51dfcb42015-01-01 20:27:54 +000033#include "py/binary.h"
34#include "py/smallint.h"
Paul Sokolovsky8bc35162014-02-14 17:16:35 +020035
36// Helpers to work with binary-encoded data
37
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030038#ifndef alignof
39#define alignof(type) offsetof(struct { char c; type t; }, t)
40#endif
41
Damien George4abff752014-08-30 14:59:21 +010042int mp_binary_get_size(char struct_type, char val_type, mp_uint_t *palign) {
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030043 int size = 0;
44 int align = 1;
45 switch (struct_type) {
46 case '<': case '>':
47 switch (val_type) {
48 case 'b': case 'B':
49 size = 1; break;
50 case 'h': case 'H':
51 size = 2; break;
52 case 'i': case 'I':
53 size = 4; break;
54 case 'l': case 'L':
55 size = 4; break;
56 case 'q': case 'Q':
57 size = 8; break;
Paul Sokolovsky78fde482014-09-06 19:24:52 +030058 case 'P': case 'O': case 'S':
59 size = sizeof(void*); break;
Damien Georgec9f8f652014-11-21 18:16:25 +000060 case 'f':
61 size = sizeof(float); break;
62 case 'd':
63 size = sizeof(double); break;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030064 }
65 break;
66 case '@': {
67 // TODO:
68 // The simplest heuristic for alignment is to align by value
69 // size, but that doesn't work for "bigger than int" types,
70 // for example, long long may very well have long alignment
71 // So, we introduce separate alignment handling, but having
72 // formal support for that is different from actually supporting
73 // particular (or any) ABI.
74 switch (val_type) {
75 case BYTEARRAY_TYPECODE:
76 case 'b': case 'B':
77 align = size = 1; break;
78 case 'h': case 'H':
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030079 align = alignof(short);
80 size = sizeof(short); break;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030081 case 'i': case 'I':
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030082 align = alignof(int);
83 size = sizeof(int); break;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030084 case 'l': case 'L':
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030085 align = alignof(long);
86 size = sizeof(long); break;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030087 case 'q': case 'Q':
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030088 align = alignof(long long);
89 size = sizeof(long long); break;
Paul Sokolovsky62798832014-06-02 16:04:26 +030090 case 'P': case 'O': case 'S':
Paul Sokolovskyecca53b2014-08-10 20:16:39 +030091 align = alignof(void*);
92 size = sizeof(void*); break;
Damien Georgec9f8f652014-11-21 18:16:25 +000093 case 'f':
94 align = alignof(float);
95 size = sizeof(float); break;
96 case 'd':
97 align = alignof(double);
98 size = sizeof(double); break;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +030099 }
100 }
Paul Sokolovskyc2033242014-02-14 20:21:50 +0200101 }
Paul Sokolovsky1355cf42014-04-19 01:25:49 +0300102 if (palign != NULL) {
103 *palign = align;
104 }
105 return size;
Paul Sokolovskyc2033242014-02-14 20:21:50 +0200106}
107
Damien George42f3de92014-10-03 17:44:14 +0000108mp_obj_t mp_binary_get_val_array(char typecode, void *p, mp_uint_t index) {
Damien George40f3c022014-07-03 13:25:24 +0100109 mp_int_t val = 0;
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200110 switch (typecode) {
111 case 'b':
112 val = ((int8_t*)p)[index];
113 break;
114 case BYTEARRAY_TYPECODE:
115 case 'B':
116 val = ((uint8_t*)p)[index];
117 break;
118 case 'h':
119 val = ((int16_t*)p)[index];
120 break;
121 case 'H':
122 val = ((uint16_t*)p)[index];
123 break;
124 case 'i':
125 case 'l':
126 return mp_obj_new_int(((int32_t*)p)[index]);
127 case 'I':
128 case 'L':
129 return mp_obj_new_int_from_uint(((uint32_t*)p)[index]);
Damien George96056a62014-02-15 23:02:00 +0000130#if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200131 case 'q':
132 case 'Q':
133 // TODO: Explode API more to cover signedness
134 return mp_obj_new_int_from_ll(((long long*)p)[index]);
135#endif
Damien Georgefb510b32014-06-01 13:32:54 +0100136#if MICROPY_PY_BUILTINS_FLOAT
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200137 case 'f':
138 return mp_obj_new_float(((float*)p)[index]);
139 case 'd':
140 return mp_obj_new_float(((double*)p)[index]);
141#endif
142 }
143 return MP_OBJ_NEW_SMALL_INT(val);
144}
145
Damien George95307432014-09-10 22:10:33 +0100146// The long long type is guaranteed to hold at least 64 bits, and size is at
147// most 8 (for q and Q), so we will always be able to parse the given data
148// and fit it into a long long.
Damien George9336ee32014-10-06 15:05:35 +0000149long long mp_binary_get_int(mp_uint_t size, bool is_signed, bool big_endian, const byte *src) {
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300150 int delta;
151 if (!big_endian) {
152 delta = -1;
Damien George9336ee32014-10-06 15:05:35 +0000153 src += size - 1;
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300154 } else {
155 delta = 1;
156 }
157
Damien George95307432014-09-10 22:10:33 +0100158 long long val = 0;
Damien George9336ee32014-10-06 15:05:35 +0000159 if (is_signed && *src & 0x80) {
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300160 val = -1;
161 }
162 for (uint i = 0; i < size; i++) {
163 val <<= 8;
Damien George9336ee32014-10-06 15:05:35 +0000164 val |= *src;
165 src += delta;
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300166 }
167
168 return val;
169}
170
Paul Sokolovsky6582d642014-04-10 22:19:32 +0300171#define is_signed(typecode) (typecode > 'Z')
Paul Sokolovsky0c43cf92014-04-11 03:47:21 +0300172mp_obj_t mp_binary_get_val(char struct_type, char val_type, byte **ptr) {
Paul Sokolovskye9db8402014-04-10 03:45:38 +0300173 byte *p = *ptr;
Damien George4abff752014-08-30 14:59:21 +0100174 mp_uint_t align;
Paul Sokolovsky1355cf42014-04-19 01:25:49 +0300175
176 int size = mp_binary_get_size(struct_type, val_type, &align);
177 if (struct_type == '@') {
178 // Make pointer aligned
Damien George40f3c022014-07-03 13:25:24 +0100179 p = (byte*)(((mp_uint_t)p + align - 1) & ~((mp_uint_t)align - 1));
Paul Sokolovsky1355cf42014-04-19 01:25:49 +0300180 #if MP_ENDIANNESS_LITTLE
181 struct_type = '<';
182 #else
183 struct_type = '>';
184 #endif
Paul Sokolovskye9db8402014-04-10 03:45:38 +0300185 }
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300186 *ptr = p + size;
Paul Sokolovsky6582d642014-04-10 22:19:32 +0300187
Damien George95307432014-09-10 22:10:33 +0100188 long long val = mp_binary_get_int(size, is_signed(val_type), (struct_type == '>'), p);
Paul Sokolovsky6582d642014-04-10 22:19:32 +0300189
Paul Sokolovsky0f836ef2014-04-20 05:19:10 +0300190 if (val_type == 'O') {
Damien George95307432014-09-10 22:10:33 +0100191 return (mp_obj_t)(mp_uint_t)val;
Paul Sokolovsky62798832014-06-02 16:04:26 +0300192 } else if (val_type == 'S') {
Damien George95307432014-09-10 22:10:33 +0100193 const char *s_val = (const char*)(mp_uint_t)val;
194 return mp_obj_new_str(s_val, strlen(s_val), false);
Paul Sokolovsky0f836ef2014-04-20 05:19:10 +0300195 } else if (is_signed(val_type)) {
Damien George95307432014-09-10 22:10:33 +0100196 if ((long long)MP_SMALL_INT_MIN <= val && val <= (long long)MP_SMALL_INT_MAX) {
197 return mp_obj_new_int((mp_int_t)val);
198 } else {
199 return mp_obj_new_int_from_ll(val);
200 }
Paul Sokolovsky6582d642014-04-10 22:19:32 +0300201 } else {
Damien George95307432014-09-10 22:10:33 +0100202 if ((unsigned long long)val <= (unsigned long long)MP_SMALL_INT_MAX) {
203 return mp_obj_new_int_from_uint((mp_uint_t)val);
204 } else {
205 return mp_obj_new_int_from_ull(val);
206 }
Paul Sokolovsky6582d642014-04-10 22:19:32 +0300207 }
Paul Sokolovskye9db8402014-04-10 03:45:38 +0300208}
209
Damien George9336ee32014-10-06 15:05:35 +0000210void mp_binary_set_int(mp_uint_t val_sz, bool big_endian, byte *dest, mp_uint_t val) {
211 if (MP_ENDIANNESS_LITTLE && !big_endian) {
212 memcpy(dest, &val, val_sz);
213 } else if (MP_ENDIANNESS_BIG && big_endian) {
214 // only copy the least-significant val_sz bytes
215 memcpy(dest, (byte*)&val + sizeof(mp_uint_t) - val_sz, val_sz);
Paul Sokolovsky5fa5ca42014-07-05 23:43:00 +0300216 } else {
Damien George9336ee32014-10-06 15:05:35 +0000217 const byte *src;
218 if (MP_ENDIANNESS_LITTLE) {
219 src = (const byte*)&val + val_sz;
220 } else {
221 src = (const byte*)&val + sizeof(mp_uint_t);
222 }
223 while (val_sz--) {
224 *dest++ = *--src;
225 }
Paul Sokolovsky5fa5ca42014-07-05 23:43:00 +0300226 }
227}
228
Paul Sokolovsky62044602014-04-19 03:13:15 +0300229void mp_binary_set_val(char struct_type, char val_type, mp_obj_t val_in, byte **ptr) {
230 byte *p = *ptr;
Damien George4abff752014-08-30 14:59:21 +0100231 mp_uint_t align;
Paul Sokolovsky62044602014-04-19 03:13:15 +0300232
233 int size = mp_binary_get_size(struct_type, val_type, &align);
234 if (struct_type == '@') {
235 // Make pointer aligned
Damien George40f3c022014-07-03 13:25:24 +0100236 p = (byte*)(((mp_uint_t)p + align - 1) & ~((mp_uint_t)align - 1));
Damien George9336ee32014-10-06 15:05:35 +0000237 if (MP_ENDIANNESS_LITTLE) {
238 struct_type = '<';
239 } else {
240 struct_type = '>';
241 }
Paul Sokolovsky62044602014-04-19 03:13:15 +0300242 }
Paul Sokolovsky7a2f1662014-06-25 22:25:53 +0300243 *ptr = p + size;
Paul Sokolovsky62044602014-04-19 03:13:15 +0300244
Damien George9336ee32014-10-06 15:05:35 +0000245 mp_uint_t val;
Paul Sokolovsky0f836ef2014-04-20 05:19:10 +0300246 switch (val_type) {
247 case 'O':
Damien George9336ee32014-10-06 15:05:35 +0000248 val = (mp_uint_t)val_in;
Paul Sokolovsky0f836ef2014-04-20 05:19:10 +0300249 break;
250 default:
Damien Georgebe6d8be2014-12-05 23:13:52 +0000251 // we handle large ints here by calling the truncated accessor
252 if (MP_OBJ_IS_TYPE(val_in, &mp_type_int)) {
253 val = mp_obj_int_get_truncated(val_in);
254 } else {
255 val = mp_obj_get_int(val_in);
256 }
Paul Sokolovsky0f836ef2014-04-20 05:19:10 +0300257 }
258
Damien George963a5a32015-01-16 17:47:07 +0000259 mp_binary_set_int(MIN((size_t)size, sizeof(val)), struct_type == '>', p, val);
Paul Sokolovsky62044602014-04-19 03:13:15 +0300260}
261
Damien George42f3de92014-10-03 17:44:14 +0000262void mp_binary_set_val_array(char typecode, void *p, mp_uint_t index, mp_obj_t val_in) {
Damien George71e9bfa2014-04-18 23:28:12 +0100263 switch (typecode) {
Damien Georgefb510b32014-06-01 13:32:54 +0100264#if MICROPY_PY_BUILTINS_FLOAT
Damien George71e9bfa2014-04-18 23:28:12 +0100265 case 'f':
Damien Georgec9f8f652014-11-21 18:16:25 +0000266 ((float*)p)[index] = mp_obj_get_float(val_in);
Damien George71e9bfa2014-04-18 23:28:12 +0100267 break;
268 case 'd':
Damien Georgec9f8f652014-11-21 18:16:25 +0000269 ((double*)p)[index] = mp_obj_get_float(val_in);
Damien George71e9bfa2014-04-18 23:28:12 +0100270 break;
271#endif
272 default:
273 mp_binary_set_val_array_from_int(typecode, p, index, mp_obj_get_int(val_in));
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200274 }
Damien George71e9bfa2014-04-18 23:28:12 +0100275}
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200276
Damien George42f3de92014-10-03 17:44:14 +0000277void mp_binary_set_val_array_from_int(char typecode, void *p, mp_uint_t index, mp_int_t val) {
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200278 switch (typecode) {
279 case 'b':
280 ((int8_t*)p)[index] = val;
281 break;
282 case BYTEARRAY_TYPECODE:
283 case 'B':
284 val = ((uint8_t*)p)[index] = val;
285 break;
286 case 'h':
287 val = ((int16_t*)p)[index] = val;
288 break;
289 case 'H':
290 val = ((uint16_t*)p)[index] = val;
291 break;
292 case 'i':
293 case 'l':
294 ((int32_t*)p)[index] = val;
295 break;
296 case 'I':
297 case 'L':
298 ((uint32_t*)p)[index] = val;
299 break;
300#if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
301 case 'q':
302 case 'Q':
303 assert(0);
304 ((long long*)p)[index] = val;
305 break;
306#endif
Damien Georgefb510b32014-06-01 13:32:54 +0100307#if MICROPY_PY_BUILTINS_FLOAT
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200308 case 'f':
Damien George71e9bfa2014-04-18 23:28:12 +0100309 ((float*)p)[index] = val;
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200310 break;
311 case 'd':
Damien George71e9bfa2014-04-18 23:28:12 +0100312 ((double*)p)[index] = val;
Paul Sokolovsky8bc35162014-02-14 17:16:35 +0200313 break;
314#endif
315 }
316}