blob: e60665e591e4fb8950253ac7ab8dc7223bf17c85 [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 */
Damien George9ddbe292014-12-29 01:02:19 +000026#ifndef __MICROPY_INCLUDED_PY_MISC_H__
27#define __MICROPY_INCLUDED_PY_MISC_H__
Damien George04b91472014-05-03 23:27:38 +010028
Damien429d7192013-10-04 19:53:11 +010029// a mini library of useful types and functions
30
Damien429d7192013-10-04 19:53:11 +010031/** types *******************************************************/
32
ian-v5fd8fd22014-01-06 13:51:53 -080033#include <stdbool.h>
Paul Sokolovsky9f001b02015-12-07 20:08:07 +020034#include <stdint.h>
bvernouxf6f248b2014-09-28 09:54:35 +020035#include <stddef.h>
Damien429d7192013-10-04 19:53:11 +010036
37typedef unsigned char byte;
38typedef unsigned int uint;
39
Paul Sokolovsky6e6b8882014-02-05 00:44:55 +020040/** generic ops *************************************************/
41
Damien Georgee09ffa12014-02-05 23:57:48 +000042#ifndef MIN
Paul Sokolovsky6e6b8882014-02-05 00:44:55 +020043#define MIN(x, y) ((x) < (y) ? (x) : (y))
Damien Georgee09ffa12014-02-05 23:57:48 +000044#endif
45#ifndef MAX
Paul Sokolovsky6e6b8882014-02-05 00:44:55 +020046#define MAX(x, y) ((x) > (y) ? (x) : (y))
Damien Georgee09ffa12014-02-05 23:57:48 +000047#endif
Paul Sokolovsky6e6b8882014-02-05 00:44:55 +020048
Damien429d7192013-10-04 19:53:11 +010049/** memomry allocation ******************************************/
50
Damien732407f2013-12-29 19:33:23 +000051// TODO make a lazy m_renew that can increase by a smaller amount than requested (but by at least 1 more element)
52
Damien429d7192013-10-04 19:53:11 +010053#define m_new(type, num) ((type*)(m_malloc(sizeof(type) * (num))))
Damien George1b82e9a2014-05-10 17:36:41 +010054#define m_new_maybe(type, num) ((type*)(m_malloc_maybe(sizeof(type) * (num))))
Damien429d7192013-10-04 19:53:11 +010055#define m_new0(type, num) ((type*)(m_malloc0(sizeof(type) * (num))))
Damiend99b0522013-12-21 18:17:45 +000056#define m_new_obj(type) (m_new(type, 1))
Damien George9bf5f282014-10-09 16:53:37 +010057#define m_new_obj_maybe(type) (m_new_maybe(type, 1))
Damiend99b0522013-12-21 18:17:45 +000058#define m_new_obj_var(obj_type, var_type, var_num) ((obj_type*)m_malloc(sizeof(obj_type) + sizeof(var_type) * (var_num)))
Damien George58ba4c32014-04-10 14:27:31 +000059#define m_new_obj_var_maybe(obj_type, var_type, var_num) ((obj_type*)m_malloc_maybe(sizeof(obj_type) + sizeof(var_type) * (var_num)))
Damien George12bab722014-04-05 20:35:48 +010060#if MICROPY_ENABLE_FINALISER
61#define m_new_obj_with_finaliser(type) ((type*)(m_malloc_with_finaliser(sizeof(type))))
62#else
63#define m_new_obj_with_finaliser(type) m_new_obj(type)
64#endif
Damien Georged8914522015-02-27 09:54:12 +000065#if MICROPY_MALLOC_USES_ALLOCATED_SIZE
Damien732407f2013-12-29 19:33:23 +000066#define m_renew(type, ptr, old_num, new_num) ((type*)(m_realloc((ptr), sizeof(type) * (old_num), sizeof(type) * (new_num))))
Damien Georgeade9a052015-06-13 21:53:22 +010067#define m_renew_maybe(type, ptr, old_num, new_num, allow_move) ((type*)(m_realloc_maybe((ptr), sizeof(type) * (old_num), sizeof(type) * (new_num), (allow_move))))
Damien732407f2013-12-29 19:33:23 +000068#define m_del(type, ptr, num) m_free(ptr, sizeof(type) * (num))
John R. Lenton07205ec2014-01-13 02:31:00 +000069#define m_del_var(obj_type, var_type, var_num, ptr) (m_free(ptr, sizeof(obj_type) + sizeof(var_type) * (var_num)))
Damien Georged8914522015-02-27 09:54:12 +000070#else
71#define m_renew(type, ptr, old_num, new_num) ((type*)(m_realloc((ptr), sizeof(type) * (new_num))))
Damien Georgeade9a052015-06-13 21:53:22 +010072#define m_renew_maybe(type, ptr, old_num, new_num, allow_move) ((type*)(m_realloc_maybe((ptr), sizeof(type) * (new_num), (allow_move))))
Damien Georged8914522015-02-27 09:54:12 +000073#define m_del(type, ptr, num) ((void)(num), m_free(ptr))
74#define m_del_var(obj_type, var_type, var_num, ptr) ((void)(var_num), m_free(ptr))
75#endif
76#define m_del_obj(type, ptr) (m_del(type, ptr, 1))
Damien429d7192013-10-04 19:53:11 +010077
Damien Georgeb0261342014-09-23 18:10:17 +010078void *m_malloc(size_t num_bytes);
79void *m_malloc_maybe(size_t num_bytes);
80void *m_malloc_with_finaliser(size_t num_bytes);
81void *m_malloc0(size_t num_bytes);
Damien Georged8914522015-02-27 09:54:12 +000082#if MICROPY_MALLOC_USES_ALLOCATED_SIZE
Damien Georgeb0261342014-09-23 18:10:17 +010083void *m_realloc(void *ptr, size_t old_num_bytes, size_t new_num_bytes);
Damien Georgeade9a052015-06-13 21:53:22 +010084void *m_realloc_maybe(void *ptr, size_t old_num_bytes, size_t new_num_bytes, bool allow_move);
Damien Georgeb0261342014-09-23 18:10:17 +010085void m_free(void *ptr, size_t num_bytes);
Damien Georged8914522015-02-27 09:54:12 +000086#else
87void *m_realloc(void *ptr, size_t new_num_bytes);
Damien Georgeade9a052015-06-13 21:53:22 +010088void *m_realloc_maybe(void *ptr, size_t new_num_bytes, bool allow_move);
Damien Georged8914522015-02-27 09:54:12 +000089void m_free(void *ptr);
90#endif
Damien Georgeb0261342014-09-23 18:10:17 +010091void *m_malloc_fail(size_t num_bytes);
Damien429d7192013-10-04 19:53:11 +010092
Damien Georgeb0261342014-09-23 18:10:17 +010093#if MICROPY_MEM_STATS
94size_t m_get_total_bytes_allocated(void);
95size_t m_get_current_bytes_allocated(void);
96size_t m_get_peak_bytes_allocated(void);
97#endif
Damien429d7192013-10-04 19:53:11 +010098
Damien George6d3c5e42014-04-26 10:47:29 +010099/** array helpers ***********************************************/
100
101// get the number of elements in a fixed-size array
Emmanuel Blotf6932d62014-06-19 18:54:34 +0200102#define MP_ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0]))
Damien George6d3c5e42014-04-26 10:47:29 +0100103
Paul Sokolovsky564e4642014-07-12 15:55:47 +0300104// align ptr to the nearest multiple of "alignment"
Damien George999cedb2015-11-27 17:01:44 +0000105#define MP_ALIGN(ptr, alignment) (void*)(((uintptr_t)(ptr) + ((alignment) - 1)) & ~((alignment) - 1))
Paul Sokolovsky564e4642014-07-12 15:55:47 +0300106
Damien429d7192013-10-04 19:53:11 +0100107/** unichar / UTF-8 *********************************************/
108
Damien George16677ce2015-01-28 14:07:11 +0000109#if MICROPY_PY_BUILTINS_STR_UNICODE
Damien George16677ce2015-01-28 14:07:11 +0000110// with unicode enabled we need a type which can fit chars up to 0x10ffff
111typedef uint32_t unichar;
112#else
113// without unicode enabled we can only need to fit chars up to 0xff
114// (on 16-bit archs uint is 16-bits and more efficient than uint32_t)
115typedef uint unichar;
116#endif
Damien429d7192013-10-04 19:53:11 +0100117
Paul Sokolovskyb0bb4582014-06-14 06:18:34 +0300118unichar utf8_get_char(const byte *s);
119const byte *utf8_next_char(const byte *s);
Damien429d7192013-10-04 19:53:11 +0100120
ian-v5fd8fd22014-01-06 13:51:53 -0800121bool unichar_isspace(unichar c);
122bool unichar_isalpha(unichar c);
123bool unichar_isprint(unichar c);
124bool unichar_isdigit(unichar c);
Paul Sokolovsky0b7184d2014-01-22 22:40:02 +0200125bool unichar_isxdigit(unichar c);
Alex March69d9e7d2016-02-16 13:36:18 +0000126bool unichar_isident(unichar c);
Kim Bautersa3f4b832014-05-31 07:30:03 +0100127bool unichar_isupper(unichar c);
128bool unichar_islower(unichar c);
Paul Sokolovsky69135212014-05-10 19:47:41 +0300129unichar unichar_tolower(unichar c);
130unichar unichar_toupper(unichar c);
Dave Hylands3ad94d62015-05-18 14:41:25 -0700131mp_uint_t unichar_xdigit_value(unichar c);
Damien George40f3c022014-07-03 13:25:24 +0100132mp_uint_t unichar_charlen(const char *str, mp_uint_t len);
Chris Angelicoc88987c2014-06-04 05:28:12 +1000133#define UTF8_IS_NONASCII(ch) ((ch) & 0x80)
134#define UTF8_IS_CONT(ch) (((ch) & 0xC0) == 0x80)
Damien429d7192013-10-04 19:53:11 +0100135
Damien429d7192013-10-04 19:53:11 +0100136/** variable string *********************************************/
137
Damien68f59a92013-10-20 14:39:58 +0100138typedef struct _vstr_t {
Damien Georgeb0261342014-09-23 18:10:17 +0100139 size_t alloc;
140 size_t len;
Damien68f59a92013-10-20 14:39:58 +0100141 char *buf;
Damien George51047752014-02-26 17:40:52 +0000142 bool fixed_buf : 1;
Damien68f59a92013-10-20 14:39:58 +0100143} vstr_t;
Damien429d7192013-10-04 19:53:11 +0100144
Damien George354d15a2014-02-06 21:11:19 +0000145// convenience macro to declare a vstr with a fixed size buffer on the stack
146#define VSTR_FIXED(vstr, alloc) vstr_t vstr; char vstr##_buf[(alloc)]; vstr_init_fixed_buf(&vstr, (alloc), vstr##_buf);
147
Damien Georgeb0261342014-09-23 18:10:17 +0100148void vstr_init(vstr_t *vstr, size_t alloc);
Damien George05005f62015-01-21 22:48:37 +0000149void vstr_init_len(vstr_t *vstr, size_t len);
Damien Georgeb0261342014-09-23 18:10:17 +0100150void vstr_init_fixed_buf(vstr_t *vstr, size_t alloc, char *buf);
Damien George7f9d1d62015-04-09 23:56:15 +0100151struct _mp_print_t;
152void vstr_init_print(vstr_t *vstr, size_t alloc, struct _mp_print_t *print);
Damien68f59a92013-10-20 14:39:58 +0100153void vstr_clear(vstr_t *vstr);
Damien George824f5c52016-10-14 16:46:34 +1100154vstr_t *vstr_new(size_t alloc);
Damien429d7192013-10-04 19:53:11 +0100155void vstr_free(vstr_t *vstr);
Damien George5da0d292016-09-19 11:17:02 +1000156static inline void vstr_reset(vstr_t *vstr) { vstr->len = 0; }
157static inline char *vstr_str(vstr_t *vstr) { return vstr->buf; }
158static inline size_t vstr_len(vstr_t *vstr) { return vstr->len; }
Damien Georgeb0261342014-09-23 18:10:17 +0100159void vstr_hint_size(vstr_t *vstr, size_t size);
160char *vstr_extend(vstr_t *vstr, size_t size);
Damien Georgeb0261342014-09-23 18:10:17 +0100161char *vstr_add_len(vstr_t *vstr, size_t len);
Damien George827b0f72015-01-29 13:57:23 +0000162char *vstr_null_terminated_str(vstr_t *vstr);
Damien68f59a92013-10-20 14:39:58 +0100163void vstr_add_byte(vstr_t *vstr, byte v);
164void vstr_add_char(vstr_t *vstr, unichar chr);
Damien429d7192013-10-04 19:53:11 +0100165void vstr_add_str(vstr_t *vstr, const char *str);
Damien Georgeb0261342014-09-23 18:10:17 +0100166void vstr_add_strn(vstr_t *vstr, const char *str, size_t len);
167void vstr_ins_byte(vstr_t *vstr, size_t byte_pos, byte b);
168void vstr_ins_char(vstr_t *vstr, size_t char_pos, unichar chr);
169void vstr_cut_head_bytes(vstr_t *vstr, size_t bytes_to_cut);
170void vstr_cut_tail_bytes(vstr_t *vstr, size_t bytes_to_cut);
171void vstr_cut_out_bytes(vstr_t *vstr, size_t byte_pos, size_t bytes_to_cut);
Damien2f06c572013-11-03 18:20:56 +0000172void vstr_printf(vstr_t *vstr, const char *fmt, ...);
Damien96a0add2013-11-03 18:30:10 +0000173
Paul Sokolovskye11b17c2014-02-05 00:47:06 +0200174/** non-dynamic size-bounded variable buffer/string *************/
175
Damien Georgeb0261342014-09-23 18:10:17 +0100176#define CHECKBUF(buf, max_size) char buf[max_size + 1]; size_t buf##_len = max_size; char *buf##_p = buf;
Damien Georgee09ffa12014-02-05 23:57:48 +0000177#define CHECKBUF_RESET(buf, max_size) buf##_len = max_size; buf##_p = buf;
Paul Sokolovskye11b17c2014-02-05 00:47:06 +0200178#define CHECKBUF_APPEND(buf, src, src_len) \
Damien Georgeb0261342014-09-23 18:10:17 +0100179 { size_t l = MIN(src_len, buf##_len); \
Paul Sokolovskye11b17c2014-02-05 00:47:06 +0200180 memcpy(buf##_p, src, l); \
181 buf##_len -= l; \
182 buf##_p += l; }
183#define CHECKBUF_APPEND_0(buf) { *buf##_p = 0; }
184#define CHECKBUF_LEN(buf) (buf##_p - buf)
185
Damien96a0add2013-11-03 18:30:10 +0000186#ifdef va_start
Damien2f06c572013-11-03 18:20:56 +0000187void vstr_vprintf(vstr_t *vstr, const char *fmt, va_list ap);
Damien96a0add2013-11-03 18:30:10 +0000188#endif
Damien429d7192013-10-04 19:53:11 +0100189
Paul Sokolovsky44739e22014-02-16 18:11:42 +0200190// Debugging helpers
191int DEBUG_printf(const char *fmt, ...);
192
Damien Georgeb0261342014-09-23 18:10:17 +0100193extern mp_uint_t mp_verbose_flag;
Paul Sokolovsky6b344d72014-05-05 00:50:05 +0300194
Paul Sokolovskyce813122014-06-15 23:13:41 +0300195// This is useful for unicode handling. Some CPU archs has
196// special instructions for efficient implentation of this
197// function (e.g. CLZ on ARM).
Damien Georgee04a44e2014-06-28 10:27:23 +0100198// NOTE: this function is unused at the moment
Paul Sokolovskyce813122014-06-15 23:13:41 +0300199#ifndef count_lead_ones
Damien Georgeb0261342014-09-23 18:10:17 +0100200static inline mp_uint_t count_lead_ones(byte val) {
201 mp_uint_t c = 0;
Paul Sokolovskyce813122014-06-15 23:13:41 +0300202 for (byte mask = 0x80; val & mask; mask >>= 1) {
203 c++;
204 }
205 return c;
206}
207#endif
208
David Steinbergc585ad12015-01-13 15:19:37 +0000209/** float internals *************/
210
211#if MICROPY_PY_BUILTINS_FLOAT
212#if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_DOUBLE
213#define MP_FLOAT_EXP_BITS (11)
214#define MP_FLOAT_FRAC_BITS (52)
215#elif MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT
216#define MP_FLOAT_EXP_BITS (8)
217#define MP_FLOAT_FRAC_BITS (23)
218#endif
219#define MP_FLOAT_EXP_BIAS ((1 << (MP_FLOAT_EXP_BITS - 1)) - 1)
220#endif // MICROPY_PY_BUILTINS_FLOAT
221
Damien George9ddbe292014-12-29 01:02:19 +0000222#endif // __MICROPY_INCLUDED_PY_MISC_H__