Damien George | 660aef6 | 2014-04-02 12:22:07 +0100 | [diff] [blame] | 1 | #include <stdlib.h> |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 2 | #include <stdint.h> |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 3 | #include <assert.h> |
Dave Hylands | c4029e5 | 2014-04-07 11:19:51 -0700 | [diff] [blame] | 4 | #include <string.h> |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 5 | |
| 6 | #include "nlr.h" |
| 7 | #include "misc.h" |
| 8 | #include "mpconfig.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 9 | #include "qstr.h" |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 10 | #include "obj.h" |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 11 | #include "parsenum.h" |
Damien George | 438c88d | 2014-02-22 19:25:23 +0000 | [diff] [blame] | 12 | #include "mpz.h" |
Paul Sokolovsky | 76a90f2 | 2014-01-13 22:31:01 +0200 | [diff] [blame] | 13 | #include "objint.h" |
Damien George | 660aef6 | 2014-04-02 12:22:07 +0100 | [diff] [blame] | 14 | #include "runtime0.h" |
| 15 | #include "runtime.h" |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 16 | |
Damien George | 6433bd9 | 2014-03-30 23:13:16 +0100 | [diff] [blame] | 17 | #if MICROPY_ENABLE_FLOAT |
| 18 | #include <math.h> |
| 19 | #endif |
| 20 | |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 21 | // This dispatcher function is expected to be independent of the implementation of long int |
| 22 | STATIC mp_obj_t mp_obj_int_make_new(mp_obj_t type_in, uint n_args, uint n_kw, const mp_obj_t *args) { |
Damien George | 20006db | 2014-01-18 14:10:48 +0000 | [diff] [blame] | 23 | // TODO check n_kw == 0 |
| 24 | |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 25 | switch (n_args) { |
| 26 | case 0: |
| 27 | return MP_OBJ_NEW_SMALL_INT(0); |
| 28 | |
| 29 | case 1: |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 30 | if (MP_OBJ_IS_STR(args[0])) { |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 31 | // a string, parse it |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 32 | uint l; |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 33 | const char *s = mp_obj_str_get_data(args[0], &l); |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 34 | return mp_parse_num_integer(s, l, 0); |
Damien George | 6433bd9 | 2014-03-30 23:13:16 +0100 | [diff] [blame] | 35 | #if MICROPY_ENABLE_FLOAT |
| 36 | } else if (MP_OBJ_IS_TYPE(args[0], &mp_type_float)) { |
| 37 | return MP_OBJ_NEW_SMALL_INT((machine_int_t)(MICROPY_FLOAT_C_FUN(trunc)(mp_obj_float_get(args[0])))); |
| 38 | #endif |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 39 | } else { |
| 40 | return MP_OBJ_NEW_SMALL_INT(mp_obj_get_int(args[0])); |
| 41 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 42 | |
xyb | c178ea4 | 2014-01-14 21:39:05 +0800 | [diff] [blame] | 43 | case 2: |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 44 | { |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 45 | // should be a string, parse it |
| 46 | // TODO proper error checking of argument types |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 47 | uint l; |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 48 | const char *s = mp_obj_str_get_data(args[0], &l); |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 49 | return mp_parse_num_integer(s, l, mp_obj_get_int(args[1])); |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 50 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 51 | |
| 52 | default: |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 53 | nlr_raise(mp_obj_new_exception_msg_varg(&mp_type_TypeError, "int takes at most 2 arguments, %d given", n_args)); |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 54 | } |
| 55 | } |
| 56 | |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 57 | void mp_obj_int_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) { |
Dave Hylands | c4029e5 | 2014-04-07 11:19:51 -0700 | [diff] [blame] | 58 | // The size of this buffer is rather arbitrary. If it's not large |
| 59 | // enough, a dynamic one will be allocated. |
| 60 | char stack_buf[sizeof(machine_int_t) * 4]; |
| 61 | char *buf = stack_buf; |
| 62 | int buf_size = sizeof(stack_buf); |
| 63 | int fmt_size; |
| 64 | |
| 65 | char *str = mp_obj_int_formatted(&buf, &buf_size, &fmt_size, self_in, 10, NULL, '\0', '\0'); |
| 66 | print(env, "%s", str); |
| 67 | |
| 68 | if (buf != stack_buf) { |
| 69 | m_free(buf, buf_size); |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 70 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 71 | } |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 72 | |
Dave Hylands | c4029e5 | 2014-04-07 11:19:51 -0700 | [diff] [blame] | 73 | #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE || MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG |
| 74 | |
| 75 | #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG |
| 76 | typedef mp_longint_impl_t fmt_int_t; |
| 77 | #else |
| 78 | typedef mp_small_int_t fmt_int_t; |
| 79 | #endif |
| 80 | |
| 81 | static const uint log_base2_floor[] = { |
| 82 | 0, |
| 83 | 0, 1, 1, 2, |
| 84 | 2, 2, 2, 3, |
| 85 | 3, 3, 3, 3, |
| 86 | 3, 3, 3, 4, |
| 87 | 4, 4, 4, 4, |
| 88 | 4, 4, 4, 4, |
| 89 | 4, 4, 4, 4, |
| 90 | 4, 4, 4, 5 |
| 91 | }; |
| 92 | |
| 93 | uint int_as_str_size_formatted(uint base, const char *prefix, char comma) { |
| 94 | if (base < 2 || base > 32) { |
| 95 | return 0; |
| 96 | } |
| 97 | |
| 98 | uint num_digits = sizeof(fmt_int_t) * 8 / log_base2_floor[base] + 1; |
| 99 | uint num_commas = comma ? num_digits / 3: 0; |
| 100 | uint prefix_len = prefix ? strlen(prefix) : 0; |
| 101 | return num_digits + num_commas + prefix_len + 2; // +1 for sign, +1 for null byte |
| 102 | } |
| 103 | |
| 104 | // This routine expects you to pass in a buffer and size (in *buf and buf_size). |
| 105 | // If, for some reason, this buffer is too small, then it will allocate a |
| 106 | // buffer and return the allocated buffer and size in *buf and *buf_size. It |
| 107 | // is the callers responsibility to free this allocated buffer. |
| 108 | // |
| 109 | // The resulting formatted string will be returned from this function and the |
| 110 | // formatted size will be in *fmt_size. |
| 111 | char *mp_obj_int_formatted(char **buf, int *buf_size, int *fmt_size, mp_obj_t self_in, |
| 112 | int base, const char *prefix, char base_char, char comma) { |
| 113 | if (!MP_OBJ_IS_INT(self_in)) { |
| 114 | buf[0] = '\0'; |
| 115 | *fmt_size = 0; |
| 116 | return *buf; |
| 117 | } |
Dave Hylands | 23dc6d0 | 2014-04-07 13:44:12 -0700 | [diff] [blame] | 118 | fmt_int_t num; |
| 119 | #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG |
| 120 | mp_obj_int_t *self = self_in; |
| 121 | if (MP_OBJ_IS_TYPE(self_in, &mp_type_int)) { |
| 122 | // mp_obj_get_int truncates to machine_int_t |
| 123 | num = self->val; |
| 124 | } else |
| 125 | #endif |
| 126 | { |
| 127 | num = mp_obj_get_int(self_in); |
| 128 | } |
Dave Hylands | c4029e5 | 2014-04-07 11:19:51 -0700 | [diff] [blame] | 129 | char sign = '\0'; |
| 130 | if (num < 0) { |
| 131 | num = -num; |
| 132 | sign = '-'; |
| 133 | } |
| 134 | |
| 135 | uint needed_size = int_as_str_size_formatted(base, prefix, comma); |
| 136 | if (needed_size > *buf_size) { |
| 137 | *buf = m_new(char, needed_size); |
| 138 | *buf_size = needed_size; |
| 139 | } |
| 140 | char *str = *buf; |
| 141 | |
| 142 | char *b = str + needed_size; |
| 143 | *(--b) = '\0'; |
| 144 | char *last_comma = b; |
| 145 | |
| 146 | if (num == 0) { |
| 147 | *(--b) = '0'; |
| 148 | } else { |
| 149 | do { |
| 150 | int c = num % base; |
| 151 | num /= base; |
| 152 | if (c >= 10) { |
| 153 | c += base_char - 10; |
| 154 | } else { |
| 155 | c += '0'; |
| 156 | } |
| 157 | *(--b) = c; |
| 158 | if (comma && num != 0 && b > str && (last_comma - b) == 3) { |
| 159 | *(--b) = comma; |
| 160 | last_comma = b; |
| 161 | } |
| 162 | } |
| 163 | while (b > str && num != 0); |
| 164 | } |
| 165 | if (prefix) { |
| 166 | size_t prefix_len = strlen(prefix); |
| 167 | char *p = b - prefix_len; |
| 168 | if (p > str) { |
| 169 | b = p; |
| 170 | while (*prefix) { |
| 171 | *p++ = *prefix++; |
| 172 | } |
| 173 | } |
| 174 | } |
| 175 | if (sign && b > str) { |
| 176 | *(--b) = sign; |
| 177 | } |
| 178 | *fmt_size = *buf + needed_size - b - 1; |
| 179 | |
| 180 | return b; |
| 181 | } |
| 182 | |
| 183 | bool mp_obj_int_is_positive(mp_obj_t self_in) { |
| 184 | return mp_obj_get_int(self_in) >= 0; |
| 185 | } |
| 186 | #endif // LONGLONG or NONE |
| 187 | |
| 188 | #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE |
| 189 | |
Damien George | 660aef6 | 2014-04-02 12:22:07 +0100 | [diff] [blame] | 190 | // This is called for operations on SMALL_INT that are not handled by mp_unary_op |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 191 | mp_obj_t mp_obj_int_unary_op(int op, mp_obj_t o_in) { |
Damien George | 660aef6 | 2014-04-02 12:22:07 +0100 | [diff] [blame] | 192 | return MP_OBJ_NULL; |
Paul Sokolovsky | 9b00dad | 2014-01-27 09:05:50 +0200 | [diff] [blame] | 193 | } |
| 194 | |
Damien George | 660aef6 | 2014-04-02 12:22:07 +0100 | [diff] [blame] | 195 | // This is called for operations on SMALL_INT that are not handled by mp_binary_op |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 196 | mp_obj_t mp_obj_int_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) { |
| 197 | return mp_obj_int_binary_op_extra_cases(op, lhs_in, rhs_in); |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 198 | } |
| 199 | |
| 200 | // This is called only with strings whose value doesn't fit in SMALL_INT |
| 201 | mp_obj_t mp_obj_new_int_from_long_str(const char *s) { |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 202 | nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "long int not supported in this build")); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 203 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 204 | } |
| 205 | |
Damien George | 9d68e9c | 2014-03-12 15:38:15 +0000 | [diff] [blame] | 206 | // This is called when an integer larger than a SMALL_INT is needed (although val might still fit in a SMALL_INT) |
| 207 | mp_obj_t mp_obj_new_int_from_ll(long long val) { |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 208 | nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
Damien George | 9d68e9c | 2014-03-12 15:38:15 +0000 | [diff] [blame] | 209 | return mp_const_none; |
| 210 | } |
| 211 | |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 212 | mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value) { |
| 213 | // SMALL_INT accepts only signed numbers, of one bit less size |
| 214 | // then word size, which totals 2 bits less for unsigned numbers. |
| 215 | if ((value & (WORD_MSBIT_HIGH | (WORD_MSBIT_HIGH >> 1))) == 0) { |
| 216 | return MP_OBJ_NEW_SMALL_INT(value); |
| 217 | } |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 218 | nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 219 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 220 | } |
| 221 | |
| 222 | mp_obj_t mp_obj_new_int(machine_int_t value) { |
| 223 | if (MP_OBJ_FITS_SMALL_INT(value)) { |
| 224 | return MP_OBJ_NEW_SMALL_INT(value); |
| 225 | } |
Damien George | ea13f40 | 2014-04-05 18:32:08 +0100 | [diff] [blame] | 226 | nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 227 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 228 | } |
Paul Sokolovsky | d26b379 | 2014-01-18 16:07:16 +0200 | [diff] [blame] | 229 | |
| 230 | machine_int_t mp_obj_int_get(mp_obj_t self_in) { |
| 231 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 232 | } |
| 233 | |
| 234 | machine_int_t mp_obj_int_get_checked(mp_obj_t self_in) { |
| 235 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 236 | } |
| 237 | |
Damien George | eabdf67 | 2014-03-22 20:54:01 +0000 | [diff] [blame] | 238 | #if MICROPY_ENABLE_FLOAT |
| 239 | mp_float_t mp_obj_int_as_float(mp_obj_t self_in) { |
| 240 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 241 | } |
| 242 | #endif |
| 243 | |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 244 | #endif // MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE |
| 245 | |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 246 | // This dispatcher function is expected to be independent of the implementation of long int |
| 247 | // It handles the extra cases for integer-like arithmetic |
| 248 | mp_obj_t mp_obj_int_binary_op_extra_cases(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) { |
| 249 | if (rhs_in == mp_const_false) { |
| 250 | // false acts as 0 |
| 251 | return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(0)); |
| 252 | } else if (rhs_in == mp_const_true) { |
| 253 | // true acts as 0 |
| 254 | return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(1)); |
| 255 | } else if (op == MP_BINARY_OP_MULTIPLY) { |
| 256 | if (MP_OBJ_IS_STR(rhs_in) || MP_OBJ_IS_TYPE(rhs_in, &mp_type_tuple) || MP_OBJ_IS_TYPE(rhs_in, &mp_type_list)) { |
| 257 | // multiply is commutative for these types, so delegate to them |
| 258 | return mp_binary_op(op, rhs_in, lhs_in); |
| 259 | } |
| 260 | } |
| 261 | return MP_OBJ_NULL; |
| 262 | } |
| 263 | |
Paul Sokolovsky | a985b45 | 2014-04-09 00:40:58 +0300 | [diff] [blame^] | 264 | STATIC mp_obj_t int_from_bytes(uint n_args, const mp_obj_t *args) { |
| 265 | buffer_info_t bufinfo; |
| 266 | mp_get_buffer_raise(args[0], &bufinfo); |
| 267 | |
| 268 | assert(bufinfo.len >= sizeof(machine_int_t)); |
| 269 | // TODO: Support long ints |
| 270 | // TODO: Support byteorder param |
| 271 | // TODO: Support signed param |
| 272 | return mp_obj_new_int_from_uint(*(machine_uint_t*)bufinfo.buf); |
| 273 | } |
| 274 | |
| 275 | STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_from_bytes_obj, 1, 3, int_from_bytes); |
| 276 | |
| 277 | STATIC mp_obj_t int_to_bytes(uint n_args, const mp_obj_t *args) { |
| 278 | machine_int_t val = mp_obj_int_get_checked(args[0]); |
| 279 | |
| 280 | uint len = MP_OBJ_SMALL_INT_VALUE(args[1]); |
| 281 | byte *data; |
| 282 | |
| 283 | // TODO: Support long ints |
| 284 | // TODO: Support byteorder param |
| 285 | // TODO: Support signed param |
| 286 | mp_obj_t o = mp_obj_str_builder_start(&mp_type_bytes, len, &data); |
| 287 | memset(data, 0, len); |
| 288 | memcpy(data, &val, len < sizeof(machine_int_t) ? len : sizeof(machine_int_t)); |
| 289 | return mp_obj_str_builder_end(o); |
| 290 | } |
| 291 | |
| 292 | STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_to_bytes_obj, 2, 4, int_to_bytes); |
| 293 | |
| 294 | STATIC const mp_map_elem_t int_locals_dict_table[] = { |
| 295 | { MP_OBJ_NEW_QSTR(MP_QSTR_from_bytes), (mp_obj_t)&int_from_bytes_obj }, |
| 296 | { MP_OBJ_NEW_QSTR(MP_QSTR_to_bytes), (mp_obj_t)&int_to_bytes_obj }, |
| 297 | }; |
| 298 | |
| 299 | STATIC MP_DEFINE_CONST_DICT(int_locals_dict, int_locals_dict_table); |
| 300 | |
Damien George | 3e1a5c1 | 2014-03-29 13:43:38 +0000 | [diff] [blame] | 301 | const mp_obj_type_t mp_type_int = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 302 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 303 | .name = MP_QSTR_int, |
Damien George | e8208a7 | 2014-04-04 15:08:23 +0100 | [diff] [blame] | 304 | .print = mp_obj_int_print, |
| 305 | .make_new = mp_obj_int_make_new, |
| 306 | .unary_op = mp_obj_int_unary_op, |
| 307 | .binary_op = mp_obj_int_binary_op, |
Paul Sokolovsky | a985b45 | 2014-04-09 00:40:58 +0300 | [diff] [blame^] | 308 | .locals_dict = (mp_obj_t)&int_locals_dict, |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 309 | }; |