Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 1 | /* |
| 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 George | 9ddbe29 | 2014-12-29 01:02:19 +0000 | [diff] [blame] | 26 | #ifndef __MICROPY_INCLUDED_PY_MISC_H__ |
| 27 | #define __MICROPY_INCLUDED_PY_MISC_H__ |
Damien George | 04b9147 | 2014-05-03 23:27:38 +0100 | [diff] [blame] | 28 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 29 | // a mini library of useful types and functions |
| 30 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 31 | /** types *******************************************************/ |
| 32 | |
ian-v | 5fd8fd2 | 2014-01-06 13:51:53 -0800 | [diff] [blame] | 33 | #include <stdbool.h> |
bvernoux | f6f248b | 2014-09-28 09:54:35 +0200 | [diff] [blame] | 34 | #include <stddef.h> |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 35 | |
| 36 | typedef unsigned char byte; |
| 37 | typedef unsigned int uint; |
| 38 | |
Paul Sokolovsky | 6e6b888 | 2014-02-05 00:44:55 +0200 | [diff] [blame] | 39 | /** generic ops *************************************************/ |
| 40 | |
Damien George | e09ffa1 | 2014-02-05 23:57:48 +0000 | [diff] [blame] | 41 | #ifndef MIN |
Paul Sokolovsky | 6e6b888 | 2014-02-05 00:44:55 +0200 | [diff] [blame] | 42 | #define MIN(x, y) ((x) < (y) ? (x) : (y)) |
Damien George | e09ffa1 | 2014-02-05 23:57:48 +0000 | [diff] [blame] | 43 | #endif |
| 44 | #ifndef MAX |
Paul Sokolovsky | 6e6b888 | 2014-02-05 00:44:55 +0200 | [diff] [blame] | 45 | #define MAX(x, y) ((x) > (y) ? (x) : (y)) |
Damien George | e09ffa1 | 2014-02-05 23:57:48 +0000 | [diff] [blame] | 46 | #endif |
Paul Sokolovsky | 6e6b888 | 2014-02-05 00:44:55 +0200 | [diff] [blame] | 47 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 48 | /** memomry allocation ******************************************/ |
| 49 | |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 50 | // TODO make a lazy m_renew that can increase by a smaller amount than requested (but by at least 1 more element) |
| 51 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 52 | #define m_new(type, num) ((type*)(m_malloc(sizeof(type) * (num)))) |
Damien George | 1b82e9a | 2014-05-10 17:36:41 +0100 | [diff] [blame] | 53 | #define m_new_maybe(type, num) ((type*)(m_malloc_maybe(sizeof(type) * (num)))) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 54 | #define m_new0(type, num) ((type*)(m_malloc0(sizeof(type) * (num)))) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 55 | #define m_new_obj(type) (m_new(type, 1)) |
Damien George | 9bf5f28 | 2014-10-09 16:53:37 +0100 | [diff] [blame] | 56 | #define m_new_obj_maybe(type) (m_new_maybe(type, 1)) |
Damien | d99b052 | 2013-12-21 18:17:45 +0000 | [diff] [blame] | 57 | #define m_new_obj_var(obj_type, var_type, var_num) ((obj_type*)m_malloc(sizeof(obj_type) + sizeof(var_type) * (var_num))) |
Damien George | 58ba4c3 | 2014-04-10 14:27:31 +0000 | [diff] [blame] | 58 | #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 George | 12bab72 | 2014-04-05 20:35:48 +0100 | [diff] [blame] | 59 | #if MICROPY_ENABLE_FINALISER |
| 60 | #define m_new_obj_with_finaliser(type) ((type*)(m_malloc_with_finaliser(sizeof(type)))) |
| 61 | #else |
| 62 | #define m_new_obj_with_finaliser(type) m_new_obj(type) |
| 63 | #endif |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 64 | #define m_renew(type, ptr, old_num, new_num) ((type*)(m_realloc((ptr), sizeof(type) * (old_num), sizeof(type) * (new_num)))) |
Damien George | 58ba4c3 | 2014-04-10 14:27:31 +0000 | [diff] [blame] | 65 | #define m_renew_maybe(type, ptr, old_num, new_num) ((type*)(m_realloc_maybe((ptr), sizeof(type) * (old_num), sizeof(type) * (new_num)))) |
Damien | 732407f | 2013-12-29 19:33:23 +0000 | [diff] [blame] | 66 | #define m_del(type, ptr, num) m_free(ptr, sizeof(type) * (num)) |
| 67 | #define m_del_obj(type, ptr) (m_del(type, ptr, 1)) |
John R. Lenton | 07205ec | 2014-01-13 02:31:00 +0000 | [diff] [blame] | 68 | #define m_del_var(obj_type, var_type, var_num, ptr) (m_free(ptr, sizeof(obj_type) + sizeof(var_type) * (var_num))) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 69 | |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 70 | void *m_malloc(size_t num_bytes); |
| 71 | void *m_malloc_maybe(size_t num_bytes); |
| 72 | void *m_malloc_with_finaliser(size_t num_bytes); |
| 73 | void *m_malloc0(size_t num_bytes); |
| 74 | void *m_realloc(void *ptr, size_t old_num_bytes, size_t new_num_bytes); |
| 75 | void *m_realloc_maybe(void *ptr, size_t old_num_bytes, size_t new_num_bytes); |
| 76 | void m_free(void *ptr, size_t num_bytes); |
| 77 | void *m_malloc_fail(size_t num_bytes); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 78 | |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 79 | #if MICROPY_MEM_STATS |
| 80 | size_t m_get_total_bytes_allocated(void); |
| 81 | size_t m_get_current_bytes_allocated(void); |
| 82 | size_t m_get_peak_bytes_allocated(void); |
| 83 | #endif |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 84 | |
Damien George | 6d3c5e4 | 2014-04-26 10:47:29 +0100 | [diff] [blame] | 85 | /** array helpers ***********************************************/ |
| 86 | |
| 87 | // get the number of elements in a fixed-size array |
Emmanuel Blot | f6932d6 | 2014-06-19 18:54:34 +0200 | [diff] [blame] | 88 | #define MP_ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0])) |
Damien George | 6d3c5e4 | 2014-04-26 10:47:29 +0100 | [diff] [blame] | 89 | |
Paul Sokolovsky | 564e464 | 2014-07-12 15:55:47 +0300 | [diff] [blame] | 90 | // align ptr to the nearest multiple of "alignment" |
| 91 | #define MP_ALIGN(ptr, alignment) (void*)(((mp_uint_t)(ptr) + ((alignment) - 1)) & ~((alignment) - 1)) |
| 92 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 93 | /** unichar / UTF-8 *********************************************/ |
| 94 | |
| 95 | typedef int unichar; // TODO |
| 96 | |
Paul Sokolovsky | b0bb458 | 2014-06-14 06:18:34 +0300 | [diff] [blame] | 97 | unichar utf8_get_char(const byte *s); |
| 98 | const byte *utf8_next_char(const byte *s); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 99 | |
ian-v | 5fd8fd2 | 2014-01-06 13:51:53 -0800 | [diff] [blame] | 100 | bool unichar_isspace(unichar c); |
| 101 | bool unichar_isalpha(unichar c); |
| 102 | bool unichar_isprint(unichar c); |
| 103 | bool unichar_isdigit(unichar c); |
Paul Sokolovsky | 0b7184d | 2014-01-22 22:40:02 +0200 | [diff] [blame] | 104 | bool unichar_isxdigit(unichar c); |
Kim Bauters | a3f4b83 | 2014-05-31 07:30:03 +0100 | [diff] [blame] | 105 | bool unichar_isupper(unichar c); |
| 106 | bool unichar_islower(unichar c); |
Paul Sokolovsky | 6913521 | 2014-05-10 19:47:41 +0300 | [diff] [blame] | 107 | unichar unichar_tolower(unichar c); |
| 108 | unichar unichar_toupper(unichar c); |
Damien George | 40f3c02 | 2014-07-03 13:25:24 +0100 | [diff] [blame] | 109 | mp_uint_t unichar_charlen(const char *str, mp_uint_t len); |
Chris Angelico | c88987c | 2014-06-04 05:28:12 +1000 | [diff] [blame] | 110 | #define UTF8_IS_NONASCII(ch) ((ch) & 0x80) |
| 111 | #define UTF8_IS_CONT(ch) (((ch) & 0xC0) == 0x80) |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 112 | |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 113 | /** variable string *********************************************/ |
| 114 | |
Damien | 68f59a9 | 2013-10-20 14:39:58 +0100 | [diff] [blame] | 115 | typedef struct _vstr_t { |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 116 | size_t alloc; |
| 117 | size_t len; |
Damien | 68f59a9 | 2013-10-20 14:39:58 +0100 | [diff] [blame] | 118 | char *buf; |
Damien George | 5104775 | 2014-02-26 17:40:52 +0000 | [diff] [blame] | 119 | bool had_error : 1; |
| 120 | bool fixed_buf : 1; |
Damien | 68f59a9 | 2013-10-20 14:39:58 +0100 | [diff] [blame] | 121 | } vstr_t; |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 122 | |
Damien George | 354d15a | 2014-02-06 21:11:19 +0000 | [diff] [blame] | 123 | // convenience macro to declare a vstr with a fixed size buffer on the stack |
| 124 | #define VSTR_FIXED(vstr, alloc) vstr_t vstr; char vstr##_buf[(alloc)]; vstr_init_fixed_buf(&vstr, (alloc), vstr##_buf); |
| 125 | |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 126 | void vstr_init(vstr_t *vstr, size_t alloc); |
Damien George | 05005f6 | 2015-01-21 22:48:37 +0000 | [diff] [blame] | 127 | void vstr_init_len(vstr_t *vstr, size_t len); |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 128 | void vstr_init_fixed_buf(vstr_t *vstr, size_t alloc, char *buf); |
Damien | 68f59a9 | 2013-10-20 14:39:58 +0100 | [diff] [blame] | 129 | void vstr_clear(vstr_t *vstr); |
Damien | 8b3a7c2 | 2013-10-23 20:20:17 +0100 | [diff] [blame] | 130 | vstr_t *vstr_new(void); |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 131 | vstr_t *vstr_new_size(size_t alloc); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 132 | void vstr_free(vstr_t *vstr); |
| 133 | void vstr_reset(vstr_t *vstr); |
ian-v | 5fd8fd2 | 2014-01-06 13:51:53 -0800 | [diff] [blame] | 134 | bool vstr_had_error(vstr_t *vstr); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 135 | char *vstr_str(vstr_t *vstr); |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 136 | size_t vstr_len(vstr_t *vstr); |
| 137 | void vstr_hint_size(vstr_t *vstr, size_t size); |
| 138 | char *vstr_extend(vstr_t *vstr, size_t size); |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 139 | char *vstr_add_len(vstr_t *vstr, size_t len); |
Damien | 68f59a9 | 2013-10-20 14:39:58 +0100 | [diff] [blame] | 140 | void vstr_add_byte(vstr_t *vstr, byte v); |
| 141 | void vstr_add_char(vstr_t *vstr, unichar chr); |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 142 | void vstr_add_str(vstr_t *vstr, const char *str); |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 143 | void vstr_add_strn(vstr_t *vstr, const char *str, size_t len); |
| 144 | void vstr_ins_byte(vstr_t *vstr, size_t byte_pos, byte b); |
| 145 | void vstr_ins_char(vstr_t *vstr, size_t char_pos, unichar chr); |
| 146 | void vstr_cut_head_bytes(vstr_t *vstr, size_t bytes_to_cut); |
| 147 | void vstr_cut_tail_bytes(vstr_t *vstr, size_t bytes_to_cut); |
| 148 | void vstr_cut_out_bytes(vstr_t *vstr, size_t byte_pos, size_t bytes_to_cut); |
Damien | 2f06c57 | 2013-11-03 18:20:56 +0000 | [diff] [blame] | 149 | void vstr_printf(vstr_t *vstr, const char *fmt, ...); |
Damien | 96a0add | 2013-11-03 18:30:10 +0000 | [diff] [blame] | 150 | |
Paul Sokolovsky | e11b17c | 2014-02-05 00:47:06 +0200 | [diff] [blame] | 151 | /** non-dynamic size-bounded variable buffer/string *************/ |
| 152 | |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 153 | #define CHECKBUF(buf, max_size) char buf[max_size + 1]; size_t buf##_len = max_size; char *buf##_p = buf; |
Damien George | e09ffa1 | 2014-02-05 23:57:48 +0000 | [diff] [blame] | 154 | #define CHECKBUF_RESET(buf, max_size) buf##_len = max_size; buf##_p = buf; |
Paul Sokolovsky | e11b17c | 2014-02-05 00:47:06 +0200 | [diff] [blame] | 155 | #define CHECKBUF_APPEND(buf, src, src_len) \ |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 156 | { size_t l = MIN(src_len, buf##_len); \ |
Paul Sokolovsky | e11b17c | 2014-02-05 00:47:06 +0200 | [diff] [blame] | 157 | memcpy(buf##_p, src, l); \ |
| 158 | buf##_len -= l; \ |
| 159 | buf##_p += l; } |
| 160 | #define CHECKBUF_APPEND_0(buf) { *buf##_p = 0; } |
| 161 | #define CHECKBUF_LEN(buf) (buf##_p - buf) |
| 162 | |
Damien | 96a0add | 2013-11-03 18:30:10 +0000 | [diff] [blame] | 163 | #ifdef va_start |
Damien | 2f06c57 | 2013-11-03 18:20:56 +0000 | [diff] [blame] | 164 | void vstr_vprintf(vstr_t *vstr, const char *fmt, va_list ap); |
Damien | 96a0add | 2013-11-03 18:30:10 +0000 | [diff] [blame] | 165 | #endif |
Damien | 429d719 | 2013-10-04 19:53:11 +0100 | [diff] [blame] | 166 | |
Paul Sokolovsky | 44739e2 | 2014-02-16 18:11:42 +0200 | [diff] [blame] | 167 | // Debugging helpers |
| 168 | int DEBUG_printf(const char *fmt, ...); |
| 169 | |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 170 | extern mp_uint_t mp_verbose_flag; |
Paul Sokolovsky | 6b344d7 | 2014-05-05 00:50:05 +0300 | [diff] [blame] | 171 | |
Paul Sokolovsky | ce81312 | 2014-06-15 23:13:41 +0300 | [diff] [blame] | 172 | // This is useful for unicode handling. Some CPU archs has |
| 173 | // special instructions for efficient implentation of this |
| 174 | // function (e.g. CLZ on ARM). |
Damien George | e04a44e | 2014-06-28 10:27:23 +0100 | [diff] [blame] | 175 | // NOTE: this function is unused at the moment |
Paul Sokolovsky | ce81312 | 2014-06-15 23:13:41 +0300 | [diff] [blame] | 176 | #ifndef count_lead_ones |
Damien George | b026134 | 2014-09-23 18:10:17 +0100 | [diff] [blame] | 177 | static inline mp_uint_t count_lead_ones(byte val) { |
| 178 | mp_uint_t c = 0; |
Paul Sokolovsky | ce81312 | 2014-06-15 23:13:41 +0300 | [diff] [blame] | 179 | for (byte mask = 0x80; val & mask; mask >>= 1) { |
| 180 | c++; |
| 181 | } |
| 182 | return c; |
| 183 | } |
| 184 | #endif |
| 185 | |
David Steinberg | c585ad1 | 2015-01-13 15:19:37 +0000 | [diff] [blame] | 186 | /** float internals *************/ |
| 187 | |
| 188 | #if MICROPY_PY_BUILTINS_FLOAT |
| 189 | #if MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_DOUBLE |
| 190 | #define MP_FLOAT_EXP_BITS (11) |
| 191 | #define MP_FLOAT_FRAC_BITS (52) |
| 192 | #elif MICROPY_FLOAT_IMPL == MICROPY_FLOAT_IMPL_FLOAT |
| 193 | #define MP_FLOAT_EXP_BITS (8) |
| 194 | #define MP_FLOAT_FRAC_BITS (23) |
| 195 | #endif |
| 196 | #define MP_FLOAT_EXP_BIAS ((1 << (MP_FLOAT_EXP_BITS - 1)) - 1) |
| 197 | #endif // MICROPY_PY_BUILTINS_FLOAT |
| 198 | |
Damien George | 9ddbe29 | 2014-12-29 01:02:19 +0000 | [diff] [blame] | 199 | #endif // __MICROPY_INCLUDED_PY_MISC_H__ |