| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542 |
- /*
- * This file is part of the MicroPython project, http://micropython.org/
- *
- * The MIT License (MIT)
- *
- * Copyright (c) 2014-2017 Paul Sokolovsky
- * Copyright (c) 2014-2019 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.
- */
- #include <stdint.h>
- #include <stdlib.h>
- #include <stddef.h>
- #include <string.h>
- #include <assert.h>
- #include "py/binary.h"
- #include "py/smallint.h"
- #include "py/objint.h"
- #include "py/runtime.h"
- // Helpers to work with binary-encoded data
- #ifndef alignof
- #define alignof(type) offsetof(struct { char c; type t; }, t)
- #endif
- size_t mp_binary_get_size(char struct_type, char val_type, size_t *palign) {
- size_t size = 0;
- int align = 1;
- switch (struct_type) {
- case '<':
- case '>':
- switch (val_type) {
- case 'b':
- case 'B':
- size = 1;
- break;
- case 'h':
- case 'H':
- size = 2;
- break;
- case 'i':
- case 'I':
- size = 4;
- break;
- case 'l':
- case 'L':
- size = 4;
- break;
- case 'q':
- case 'Q':
- size = 8;
- break;
- case 'P':
- case 'O':
- case 'S':
- size = sizeof(void *);
- break;
- case 'e':
- size = 2;
- break;
- case 'f':
- size = 4;
- break;
- case 'd':
- size = 8;
- break;
- }
- break;
- case '@': {
- // TODO:
- // The simplest heuristic for alignment is to align by value
- // size, but that doesn't work for "bigger than int" types,
- // for example, long long may very well have long alignment
- // So, we introduce separate alignment handling, but having
- // formal support for that is different from actually supporting
- // particular (or any) ABI.
- switch (val_type) {
- case BYTEARRAY_TYPECODE:
- case 'b':
- case 'B':
- align = size = 1;
- break;
- case 'h':
- case 'H':
- align = alignof(short);
- size = sizeof(short);
- break;
- case 'i':
- case 'I':
- align = alignof(int);
- size = sizeof(int);
- break;
- case 'l':
- case 'L':
- align = alignof(long);
- size = sizeof(long);
- break;
- case 'q':
- case 'Q':
- align = alignof(long long);
- size = sizeof(long long);
- break;
- case 'P':
- case 'O':
- case 'S':
- align = alignof(void *);
- size = sizeof(void *);
- break;
- case 'e':
- align = 2;
- size = 2;
- break;
- case 'f':
- align = alignof(float);
- size = sizeof(float);
- break;
- case 'd':
- align = alignof(double);
- size = sizeof(double);
- break;
- }
- }
- }
- if (size == 0) {
- mp_raise_ValueError(MP_ERROR_TEXT("bad typecode"));
- }
- if (palign != NULL) {
- *palign = align;
- }
- return size;
- }
- #if MICROPY_PY_BUILTINS_FLOAT && MICROPY_FLOAT_USE_NATIVE_FLT16
- static inline float mp_decode_half_float(uint16_t hf) {
- union {
- uint16_t i;
- _Float16 f;
- } fpu = { .i = hf };
- return fpu.f;
- }
- static inline uint16_t mp_encode_half_float(float x) {
- union {
- uint16_t i;
- _Float16 f;
- } fp_sp = { .f = (_Float16)x };
- return fp_sp.i;
- }
- #elif MICROPY_PY_BUILTINS_FLOAT
- static float mp_decode_half_float(uint16_t hf) {
- union {
- uint32_t i;
- float f;
- } fpu;
- uint16_t m = hf & 0x3ff;
- int e = (hf >> 10) & 0x1f;
- if (e == 0x1f) {
- // Half-float is infinity.
- e = 0xff;
- } else if (e) {
- // Half-float is normal.
- e += 127 - 15;
- } else if (m) {
- // Half-float is subnormal, make it normal.
- e = 127 - 15;
- while (!(m & 0x400)) {
- m <<= 1;
- --e;
- }
- m -= 0x400;
- ++e;
- }
- fpu.i = ((hf & 0x8000) << 16) | (e << 23) | (m << 13);
- return fpu.f;
- }
- static uint16_t mp_encode_half_float(float x) {
- union {
- uint32_t i;
- float f;
- } fpu = { .f = x };
- uint16_t m = (fpu.i >> 13) & 0x3ff;
- if (fpu.i & (1 << 12)) {
- // Round up.
- ++m;
- }
- int e = (fpu.i >> 23) & 0xff;
- if (e == 0xff) {
- // Infinity.
- e = 0x1f;
- } else if (e != 0) {
- e -= 127 - 15;
- if (e < 0) {
- // Underflow: denormalized, or zero.
- if (e >= -11) {
- m = (m | 0x400) >> -e;
- if (m & 1) {
- m = (m >> 1) + 1;
- } else {
- m >>= 1;
- }
- } else {
- m = 0;
- }
- e = 0;
- } else if (e > 0x3f) {
- // Overflow: infinity.
- e = 0x1f;
- m = 0;
- }
- }
- uint16_t bits = ((fpu.i >> 16) & 0x8000) | (e << 10) | m;
- return bits;
- }
- #endif
- mp_obj_t mp_binary_get_val_array(char typecode, void *p, size_t index) {
- mp_int_t val = 0;
- switch (typecode) {
- case 'b':
- val = ((signed char *)p)[index];
- break;
- case BYTEARRAY_TYPECODE:
- case 'B':
- val = ((unsigned char *)p)[index];
- break;
- case 'h':
- val = ((short *)p)[index];
- break;
- case 'H':
- val = ((unsigned short *)p)[index];
- break;
- case 'i':
- return mp_obj_new_int(((int *)p)[index]);
- case 'I':
- return mp_obj_new_int_from_uint(((unsigned int *)p)[index]);
- case 'l':
- return mp_obj_new_int(((long *)p)[index]);
- case 'L':
- return mp_obj_new_int_from_uint(((unsigned long *)p)[index]);
- #if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
- case 'q':
- return mp_obj_new_int_from_ll(((long long *)p)[index]);
- case 'Q':
- return mp_obj_new_int_from_ull(((unsigned long long *)p)[index]);
- #endif
- #if MICROPY_PY_BUILTINS_FLOAT
- case 'f':
- return mp_obj_new_float_from_f(((float *)p)[index]);
- case 'd':
- return mp_obj_new_float_from_d(((double *)p)[index]);
- #endif
- // Extension to CPython: array of objects
- case 'O':
- return ((mp_obj_t *)p)[index];
- // Extension to CPython: array of pointers
- case 'P':
- return mp_obj_new_int((mp_int_t)(uintptr_t)((void **)p)[index]);
- }
- return MP_OBJ_NEW_SMALL_INT(val);
- }
- // The long long type is guaranteed to hold at least 64 bits, and size is at
- // most 8 (for q and Q), so we will always be able to parse the given data
- // and fit it into a long long.
- long long mp_binary_get_int(size_t size, bool is_signed, bool big_endian, const byte *src) {
- int delta;
- if (!big_endian) {
- delta = -1;
- src += size - 1;
- } else {
- delta = 1;
- }
- unsigned long long val = 0;
- if (is_signed && *src & 0x80) {
- val = -1;
- }
- for (uint i = 0; i < size; i++) {
- val <<= 8;
- val |= *src;
- src += delta;
- }
- return val;
- }
- #define is_signed(typecode) (typecode > 'Z')
- mp_obj_t mp_binary_get_val(char struct_type, char val_type, byte *p_base, byte **ptr) {
- byte *p = *ptr;
- size_t align;
- size_t size = mp_binary_get_size(struct_type, val_type, &align);
- if (struct_type == '@') {
- // Align p relative to p_base
- p = p_base + (uintptr_t)MP_ALIGN(p - p_base, align);
- #if MP_ENDIANNESS_LITTLE
- struct_type = '<';
- #else
- struct_type = '>';
- #endif
- }
- *ptr = p + size;
- long long val = mp_binary_get_int(size, is_signed(val_type), (struct_type == '>'), p);
- if (val_type == 'O') {
- return (mp_obj_t)(mp_uint_t)val;
- } else if (val_type == 'S') {
- const char *s_val = (const char *)(uintptr_t)(mp_uint_t)val;
- return mp_obj_new_str(s_val, strlen(s_val));
- #if MICROPY_PY_BUILTINS_FLOAT
- } else if (val_type == 'e') {
- return mp_obj_new_float_from_f(mp_decode_half_float(val));
- } else if (val_type == 'f') {
- union {
- uint32_t i;
- float f;
- } fpu = {val};
- return mp_obj_new_float_from_f(fpu.f);
- } else if (val_type == 'd') {
- union {
- uint64_t i;
- double f;
- } fpu = {val};
- return mp_obj_new_float_from_d(fpu.f);
- #endif
- } else if (is_signed(val_type)) {
- if ((long long)MP_SMALL_INT_MIN <= val && val <= (long long)MP_SMALL_INT_MAX) {
- return mp_obj_new_int((mp_int_t)val);
- } else {
- return mp_obj_new_int_from_ll(val);
- }
- } else {
- if ((unsigned long long)val <= (unsigned long long)MP_SMALL_INT_MAX) {
- return mp_obj_new_int_from_uint((mp_uint_t)val);
- } else {
- return mp_obj_new_int_from_ull(val);
- }
- }
- }
- void mp_binary_set_int(size_t val_sz, bool big_endian, byte *dest, mp_uint_t val) {
- if (MP_ENDIANNESS_LITTLE && !big_endian) {
- memcpy(dest, &val, val_sz);
- } else if (MP_ENDIANNESS_BIG && big_endian) {
- // only copy the least-significant val_sz bytes
- memcpy(dest, (byte *)&val + sizeof(mp_uint_t) - val_sz, val_sz);
- } else {
- const byte *src;
- if (MP_ENDIANNESS_LITTLE) {
- src = (const byte *)&val + val_sz;
- } else {
- src = (const byte *)&val + sizeof(mp_uint_t);
- }
- while (val_sz--) {
- *dest++ = *--src;
- }
- }
- }
- void mp_binary_set_val(char struct_type, char val_type, mp_obj_t val_in, byte *p_base, byte **ptr) {
- byte *p = *ptr;
- size_t align;
- size_t size = mp_binary_get_size(struct_type, val_type, &align);
- if (struct_type == '@') {
- // Align p relative to p_base
- p = p_base + (uintptr_t)MP_ALIGN(p - p_base, align);
- if (MP_ENDIANNESS_LITTLE) {
- struct_type = '<';
- } else {
- struct_type = '>';
- }
- }
- *ptr = p + size;
- mp_uint_t val;
- switch (val_type) {
- case 'O':
- val = (mp_uint_t)val_in;
- break;
- #if MICROPY_PY_BUILTINS_FLOAT
- case 'e':
- val = mp_encode_half_float(mp_obj_get_float_to_f(val_in));
- break;
- case 'f': {
- union {
- uint32_t i;
- float f;
- } fp_sp;
- fp_sp.f = mp_obj_get_float_to_f(val_in);
- val = fp_sp.i;
- break;
- }
- case 'd': {
- union {
- uint64_t i64;
- uint32_t i32[2];
- double f;
- } fp_dp;
- fp_dp.f = mp_obj_get_float_to_d(val_in);
- if (MP_BYTES_PER_OBJ_WORD == 8) {
- val = fp_dp.i64;
- } else {
- int be = struct_type == '>';
- mp_binary_set_int(sizeof(uint32_t), be, p, fp_dp.i32[MP_ENDIANNESS_BIG ^ be]);
- p += sizeof(uint32_t);
- val = fp_dp.i32[MP_ENDIANNESS_LITTLE ^ be];
- }
- break;
- }
- #endif
- default:
- #if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
- if (mp_obj_is_exact_type(val_in, &mp_type_int)) {
- mp_obj_int_to_bytes_impl(val_in, struct_type == '>', size, p);
- return;
- }
- #endif
- val = mp_obj_get_int(val_in);
- // zero/sign extend if needed
- if (MP_BYTES_PER_OBJ_WORD < 8 && size > sizeof(val)) {
- int c = (mp_int_t)val < 0 ? 0xff : 0x00;
- memset(p, c, size);
- if (struct_type == '>') {
- p += size - sizeof(val);
- }
- }
- break;
- }
- mp_binary_set_int(MIN((size_t)size, sizeof(val)), struct_type == '>', p, val);
- }
- void mp_binary_set_val_array(char typecode, void *p, size_t index, mp_obj_t val_in) {
- switch (typecode) {
- #if MICROPY_PY_BUILTINS_FLOAT
- case 'f':
- ((float *)p)[index] = mp_obj_get_float_to_f(val_in);
- break;
- case 'd':
- ((double *)p)[index] = mp_obj_get_float_to_d(val_in);
- break;
- #endif
- // Extension to CPython: array of objects
- case 'O':
- ((mp_obj_t *)p)[index] = val_in;
- break;
- default:
- #if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
- if (mp_obj_is_exact_type(val_in, &mp_type_int)) {
- size_t size = mp_binary_get_size('@', typecode, NULL);
- mp_obj_int_to_bytes_impl(val_in, MP_ENDIANNESS_BIG,
- size, (uint8_t *)p + index * size);
- return;
- }
- #endif
- mp_binary_set_val_array_from_int(typecode, p, index, mp_obj_get_int(val_in));
- }
- }
- void mp_binary_set_val_array_from_int(char typecode, void *p, size_t index, mp_int_t val) {
- switch (typecode) {
- case 'b':
- ((signed char *)p)[index] = val;
- break;
- case BYTEARRAY_TYPECODE:
- case 'B':
- ((unsigned char *)p)[index] = val;
- break;
- case 'h':
- ((short *)p)[index] = val;
- break;
- case 'H':
- ((unsigned short *)p)[index] = val;
- break;
- case 'i':
- ((int *)p)[index] = val;
- break;
- case 'I':
- ((unsigned int *)p)[index] = val;
- break;
- case 'l':
- ((long *)p)[index] = val;
- break;
- case 'L':
- ((unsigned long *)p)[index] = val;
- break;
- #if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
- case 'q':
- ((long long *)p)[index] = val;
- break;
- case 'Q':
- ((unsigned long long *)p)[index] = val;
- break;
- #endif
- #if MICROPY_PY_BUILTINS_FLOAT
- case 'f':
- ((float *)p)[index] = (float)val;
- break;
- case 'd':
- ((double *)p)[index] = (double)val;
- break;
- #endif
- // Extension to CPython: array of pointers
- case 'P':
- ((void **)p)[index] = (void *)(uintptr_t)val;
- break;
- }
- }
|