blob: 328fb11e80b7daae12417a41444877b497fdd5f7 [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
Damien George660aef62014-04-02 12:22:07 +010027#include <stdlib.h>
Damien George45b43c22014-01-05 01:50:45 +000028#include <stdint.h>
Damien George45b43c22014-01-05 01:50:45 +000029#include <assert.h>
Dave Hylandsc4029e52014-04-07 11:19:51 -070030#include <string.h>
Damien George45b43c22014-01-05 01:50:45 +000031
Paul Sokolovskyf54bcbf2014-05-02 17:47:01 +030032#include "mpconfig.h"
Damien George45b43c22014-01-05 01:50:45 +000033#include "nlr.h"
34#include "misc.h"
Damien George55baff42014-01-21 21:40:13 +000035#include "qstr.h"
Damien George45b43c22014-01-05 01:50:45 +000036#include "obj.h"
Damien George20773972014-02-22 18:12:43 +000037#include "parsenum.h"
Damien George438c88d2014-02-22 19:25:23 +000038#include "mpz.h"
Paul Sokolovsky76a90f22014-01-13 22:31:01 +020039#include "objint.h"
Damien George660aef62014-04-02 12:22:07 +010040#include "runtime0.h"
41#include "runtime.h"
Paul Sokolovsky48b35722014-01-12 17:30:48 +020042
Damien George6433bd92014-03-30 23:13:16 +010043#if MICROPY_ENABLE_FLOAT
44#include <math.h>
45#endif
46
Damien Georgee8208a72014-04-04 15:08:23 +010047// This dispatcher function is expected to be independent of the implementation of long int
48STATIC 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 Georgeee7a8802014-05-11 18:37:21 +010049 mp_arg_check_num(n_args, n_kw, 0, 2, false);
Damien George20006db2014-01-18 14:10:48 +000050
Damien George45b43c22014-01-05 01:50:45 +000051 switch (n_args) {
52 case 0:
53 return MP_OBJ_NEW_SMALL_INT(0);
54
55 case 1:
Damien George5fa93b62014-01-22 14:35:10 +000056 if (MP_OBJ_IS_STR(args[0])) {
Damien George5573f9f2014-01-15 22:58:39 +000057 // a string, parse it
Damien George5fa93b62014-01-22 14:35:10 +000058 uint l;
Damien George698ec212014-02-08 18:17:23 +000059 const char *s = mp_obj_str_get_data(args[0], &l);
Damien George20773972014-02-22 18:12:43 +000060 return mp_parse_num_integer(s, l, 0);
Damien George6433bd92014-03-30 23:13:16 +010061#if MICROPY_ENABLE_FLOAT
62 } else if (MP_OBJ_IS_TYPE(args[0], &mp_type_float)) {
63 return MP_OBJ_NEW_SMALL_INT((machine_int_t)(MICROPY_FLOAT_C_FUN(trunc)(mp_obj_float_get(args[0]))));
64#endif
Damien George5573f9f2014-01-15 22:58:39 +000065 } else {
66 return MP_OBJ_NEW_SMALL_INT(mp_obj_get_int(args[0]));
67 }
Damien George45b43c22014-01-05 01:50:45 +000068
xybc178ea42014-01-14 21:39:05 +080069 case 2:
Damien Georgeee7a8802014-05-11 18:37:21 +010070 default: {
Damien George5573f9f2014-01-15 22:58:39 +000071 // should be a string, parse it
72 // TODO proper error checking of argument types
Damien George5fa93b62014-01-22 14:35:10 +000073 uint l;
Damien George698ec212014-02-08 18:17:23 +000074 const char *s = mp_obj_str_get_data(args[0], &l);
Damien George20773972014-02-22 18:12:43 +000075 return mp_parse_num_integer(s, l, mp_obj_get_int(args[1]));
Damien George5fa93b62014-01-22 14:35:10 +000076 }
Damien George45b43c22014-01-05 01:50:45 +000077 }
78}
79
Damien Georgee8208a72014-04-04 15:08:23 +010080void mp_obj_int_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {
Dave Hylandsc4029e52014-04-07 11:19:51 -070081 // The size of this buffer is rather arbitrary. If it's not large
82 // enough, a dynamic one will be allocated.
83 char stack_buf[sizeof(machine_int_t) * 4];
84 char *buf = stack_buf;
85 int buf_size = sizeof(stack_buf);
86 int fmt_size;
87
88 char *str = mp_obj_int_formatted(&buf, &buf_size, &fmt_size, self_in, 10, NULL, '\0', '\0');
89 print(env, "%s", str);
90
91 if (buf != stack_buf) {
92 m_free(buf, buf_size);
Damien George5fa93b62014-01-22 14:35:10 +000093 }
Damien George45b43c22014-01-05 01:50:45 +000094}
Paul Sokolovsky48b35722014-01-12 17:30:48 +020095
Dave Hylandsc4029e52014-04-07 11:19:51 -070096#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG
Damien George88d7bba2014-04-08 23:30:46 +010097typedef mp_longint_impl_t fmt_int_t;
Dave Hylandsc4029e52014-04-07 11:19:51 -070098#else
Damien George88d7bba2014-04-08 23:30:46 +010099typedef mp_small_int_t fmt_int_t;
Dave Hylandsc4029e52014-04-07 11:19:51 -0700100#endif
101
Damien George88d7bba2014-04-08 23:30:46 +0100102STATIC const uint log_base2_floor[] = {
Dave Hylandsc4029e52014-04-07 11:19:51 -0700103 0,
104 0, 1, 1, 2,
105 2, 2, 2, 3,
106 3, 3, 3, 3,
107 3, 3, 3, 4,
108 4, 4, 4, 4,
109 4, 4, 4, 4,
110 4, 4, 4, 4,
111 4, 4, 4, 5
112};
113
Damien George88d7bba2014-04-08 23:30:46 +0100114STATIC uint int_as_str_size_formatted(uint base, const char *prefix, char comma) {
Dave Hylandsc4029e52014-04-07 11:19:51 -0700115 if (base < 2 || base > 32) {
116 return 0;
117 }
118
119 uint num_digits = sizeof(fmt_int_t) * 8 / log_base2_floor[base] + 1;
120 uint num_commas = comma ? num_digits / 3: 0;
121 uint prefix_len = prefix ? strlen(prefix) : 0;
122 return num_digits + num_commas + prefix_len + 2; // +1 for sign, +1 for null byte
123}
124
125// This routine expects you to pass in a buffer and size (in *buf and buf_size).
126// If, for some reason, this buffer is too small, then it will allocate a
127// buffer and return the allocated buffer and size in *buf and *buf_size. It
128// is the callers responsibility to free this allocated buffer.
129//
130// The resulting formatted string will be returned from this function and the
131// formatted size will be in *fmt_size.
Paul Sokolovskyab7bf282014-05-17 11:08:33 +0300132char *mp_obj_int_formatted(char **buf, int *buf_size, int *fmt_size, mp_const_obj_t self_in,
Dave Hylandsc4029e52014-04-07 11:19:51 -0700133 int base, const char *prefix, char base_char, char comma) {
Damien George88d7bba2014-04-08 23:30:46 +0100134 fmt_int_t num;
135 if (MP_OBJ_IS_SMALL_INT(self_in)) {
136 // A small int; get the integer value to format.
137 num = mp_obj_get_int(self_in);
138#if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
139 } else if (MP_OBJ_IS_TYPE(self_in, &mp_type_int)) {
140 // Not a small int.
141#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG
Damien George503d6112014-05-28 14:07:21 +0100142 const mp_obj_int_t *self = self_in;
Damien George88d7bba2014-04-08 23:30:46 +0100143 // Get the value to format; mp_obj_get_int truncates to machine_int_t.
144 num = self->val;
145#else
146 // Delegate to the implementation for the long int.
147 return mp_obj_int_formatted_impl(buf, buf_size, fmt_size, self_in, base, prefix, base_char, comma);
148#endif
149#endif
150 } else {
151 // Not an int.
Dave Hylandsc4029e52014-04-07 11:19:51 -0700152 buf[0] = '\0';
153 *fmt_size = 0;
154 return *buf;
155 }
Damien George88d7bba2014-04-08 23:30:46 +0100156
Dave Hylandsc4029e52014-04-07 11:19:51 -0700157 char sign = '\0';
158 if (num < 0) {
159 num = -num;
160 sign = '-';
161 }
162
163 uint needed_size = int_as_str_size_formatted(base, prefix, comma);
164 if (needed_size > *buf_size) {
165 *buf = m_new(char, needed_size);
166 *buf_size = needed_size;
167 }
168 char *str = *buf;
169
170 char *b = str + needed_size;
171 *(--b) = '\0';
172 char *last_comma = b;
173
174 if (num == 0) {
175 *(--b) = '0';
176 } else {
177 do {
178 int c = num % base;
179 num /= base;
180 if (c >= 10) {
181 c += base_char - 10;
182 } else {
183 c += '0';
184 }
185 *(--b) = c;
186 if (comma && num != 0 && b > str && (last_comma - b) == 3) {
187 *(--b) = comma;
188 last_comma = b;
189 }
190 }
191 while (b > str && num != 0);
192 }
193 if (prefix) {
194 size_t prefix_len = strlen(prefix);
195 char *p = b - prefix_len;
196 if (p > str) {
197 b = p;
198 while (*prefix) {
199 *p++ = *prefix++;
200 }
201 }
202 }
203 if (sign && b > str) {
204 *(--b) = sign;
205 }
206 *fmt_size = *buf + needed_size - b - 1;
207
208 return b;
209}
210
Damien George88d7bba2014-04-08 23:30:46 +0100211#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE
212
Dave Hylandsc4029e52014-04-07 11:19:51 -0700213bool mp_obj_int_is_positive(mp_obj_t self_in) {
214 return mp_obj_get_int(self_in) >= 0;
215}
Dave Hylandsc4029e52014-04-07 11:19:51 -0700216
Damien George660aef62014-04-02 12:22:07 +0100217// This is called for operations on SMALL_INT that are not handled by mp_unary_op
Damien Georgee8208a72014-04-04 15:08:23 +0100218mp_obj_t mp_obj_int_unary_op(int op, mp_obj_t o_in) {
Damien George6ac5dce2014-05-21 19:42:43 +0100219 return MP_OBJ_NULL; // op not supported
Paul Sokolovsky9b00dad2014-01-27 09:05:50 +0200220}
221
Damien George660aef62014-04-02 12:22:07 +0100222// This is called for operations on SMALL_INT that are not handled by mp_binary_op
Damien Georgee8208a72014-04-04 15:08:23 +0100223mp_obj_t mp_obj_int_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
224 return mp_obj_int_binary_op_extra_cases(op, lhs_in, rhs_in);
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200225}
226
227// This is called only with strings whose value doesn't fit in SMALL_INT
Damien George503d6112014-05-28 14:07:21 +0100228mp_obj_t mp_obj_new_int_from_str_len(const char **str, uint len, bool neg, uint base) {
Damien Georgeea13f402014-04-05 18:32:08 +0100229 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "long int not supported in this build"));
Damien George23005372014-01-13 19:39:01 +0000230 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200231}
232
Damien George9d68e9c2014-03-12 15:38:15 +0000233// This is called when an integer larger than a SMALL_INT is needed (although val might still fit in a SMALL_INT)
234mp_obj_t mp_obj_new_int_from_ll(long long val) {
Damien Georgeea13f402014-04-05 18:32:08 +0100235 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George9d68e9c2014-03-12 15:38:15 +0000236 return mp_const_none;
237}
238
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200239mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value) {
240 // SMALL_INT accepts only signed numbers, of one bit less size
241 // then word size, which totals 2 bits less for unsigned numbers.
242 if ((value & (WORD_MSBIT_HIGH | (WORD_MSBIT_HIGH >> 1))) == 0) {
243 return MP_OBJ_NEW_SMALL_INT(value);
244 }
Damien Georgeea13f402014-04-05 18:32:08 +0100245 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George23005372014-01-13 19:39:01 +0000246 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200247}
248
249mp_obj_t mp_obj_new_int(machine_int_t value) {
250 if (MP_OBJ_FITS_SMALL_INT(value)) {
251 return MP_OBJ_NEW_SMALL_INT(value);
252 }
Damien Georgeea13f402014-04-05 18:32:08 +0100253 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George23005372014-01-13 19:39:01 +0000254 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200255}
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200256
Damien George503d6112014-05-28 14:07:21 +0100257machine_int_t mp_obj_int_get(mp_const_obj_t self_in) {
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200258 return MP_OBJ_SMALL_INT_VALUE(self_in);
259}
260
Sven Wegener7ba0fed2014-05-17 11:17:48 +0200261machine_int_t mp_obj_int_get_checked(mp_const_obj_t self_in) {
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200262 return MP_OBJ_SMALL_INT_VALUE(self_in);
263}
264
Damien Georgeeabdf672014-03-22 20:54:01 +0000265#if MICROPY_ENABLE_FLOAT
266mp_float_t mp_obj_int_as_float(mp_obj_t self_in) {
267 return MP_OBJ_SMALL_INT_VALUE(self_in);
268}
269#endif
270
Damien George5fa93b62014-01-22 14:35:10 +0000271#endif // MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE
272
Damien Georgee8208a72014-04-04 15:08:23 +0100273// This dispatcher function is expected to be independent of the implementation of long int
274// It handles the extra cases for integer-like arithmetic
275mp_obj_t mp_obj_int_binary_op_extra_cases(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
276 if (rhs_in == mp_const_false) {
277 // false acts as 0
278 return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(0));
279 } else if (rhs_in == mp_const_true) {
280 // true acts as 0
281 return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(1));
282 } else if (op == MP_BINARY_OP_MULTIPLY) {
283 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)) {
284 // multiply is commutative for these types, so delegate to them
285 return mp_binary_op(op, rhs_in, lhs_in);
286 }
287 }
Damien George6ac5dce2014-05-21 19:42:43 +0100288 return MP_OBJ_NULL; // op not supported
Damien Georgee8208a72014-04-04 15:08:23 +0100289}
290
Damien George5213eb32014-04-13 12:24:13 +0100291// this is a classmethod
Paul Sokolovskya985b452014-04-09 00:40:58 +0300292STATIC mp_obj_t int_from_bytes(uint n_args, const mp_obj_t *args) {
Paul Sokolovskya985b452014-04-09 00:40:58 +0300293 // TODO: Support long ints
Damien George5213eb32014-04-13 12:24:13 +0100294 // TODO: Support byteorder param (assumes 'little' at the moment)
295 // TODO: Support signed param (assumes signed=False at the moment)
296
297 // get the buffer info
Damien George57a4b4f2014-04-18 22:29:21 +0100298 mp_buffer_info_t bufinfo;
Damien Georgeb11b85a2014-04-18 22:59:24 +0100299 mp_get_buffer_raise(args[1], &bufinfo, MP_BUFFER_READ);
Damien George5213eb32014-04-13 12:24:13 +0100300
301 // convert the bytes to an integer
302 machine_uint_t value = 0;
stijn01d6be42014-05-05 12:18:27 +0200303 for (const byte* buf = (const byte*)bufinfo.buf + bufinfo.len - 1; buf >= (byte*)bufinfo.buf; buf--) {
Damien Georgeb9e7ed42014-04-13 12:40:50 +0100304 value = (value << 8) | *buf;
Damien George5213eb32014-04-13 12:24:13 +0100305 }
306
307 return mp_obj_new_int_from_uint(value);
Paul Sokolovskya985b452014-04-09 00:40:58 +0300308}
309
Damien George5213eb32014-04-13 12:24:13 +0100310STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_from_bytes_fun_obj, 2, 3, int_from_bytes);
311STATIC MP_DEFINE_CONST_CLASSMETHOD_OBJ(int_from_bytes_obj, (const mp_obj_t)&int_from_bytes_fun_obj);
Paul Sokolovskya985b452014-04-09 00:40:58 +0300312
313STATIC mp_obj_t int_to_bytes(uint n_args, const mp_obj_t *args) {
314 machine_int_t val = mp_obj_int_get_checked(args[0]);
315
316 uint len = MP_OBJ_SMALL_INT_VALUE(args[1]);
317 byte *data;
318
319 // TODO: Support long ints
320 // TODO: Support byteorder param
321 // TODO: Support signed param
322 mp_obj_t o = mp_obj_str_builder_start(&mp_type_bytes, len, &data);
323 memset(data, 0, len);
324 memcpy(data, &val, len < sizeof(machine_int_t) ? len : sizeof(machine_int_t));
325 return mp_obj_str_builder_end(o);
326}
327
328STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_to_bytes_obj, 2, 4, int_to_bytes);
329
330STATIC const mp_map_elem_t int_locals_dict_table[] = {
331 { MP_OBJ_NEW_QSTR(MP_QSTR_from_bytes), (mp_obj_t)&int_from_bytes_obj },
332 { MP_OBJ_NEW_QSTR(MP_QSTR_to_bytes), (mp_obj_t)&int_to_bytes_obj },
333};
334
335STATIC MP_DEFINE_CONST_DICT(int_locals_dict, int_locals_dict_table);
336
Damien George3e1a5c12014-03-29 13:43:38 +0000337const mp_obj_type_t mp_type_int = {
Damien Georgec5966122014-02-15 16:10:44 +0000338 { &mp_type_type },
Damien Georgea71c83a2014-02-15 11:34:50 +0000339 .name = MP_QSTR_int,
Damien Georgee8208a72014-04-04 15:08:23 +0100340 .print = mp_obj_int_print,
341 .make_new = mp_obj_int_make_new,
342 .unary_op = mp_obj_int_unary_op,
343 .binary_op = mp_obj_int_binary_op,
Paul Sokolovskya985b452014-04-09 00:40:58 +0300344 .locals_dict = (mp_obj_t)&int_locals_dict,
Damien George5fa93b62014-01-22 14:35:10 +0000345};