blob: 7d6258b7d4001012b862d3799e1e75bafa384ba7 [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 George813ed3b2014-05-28 14:09:46 +010056 if (MP_OBJ_IS_INT(args[0])) {
57 // already an int (small or long), just return it
58 return args[0];
59 } else if (MP_OBJ_IS_STR(args[0])) {
Damien George5573f9f2014-01-15 22:58:39 +000060 // a string, parse it
Damien George5fa93b62014-01-22 14:35:10 +000061 uint l;
Damien George698ec212014-02-08 18:17:23 +000062 const char *s = mp_obj_str_get_data(args[0], &l);
Damien George20773972014-02-22 18:12:43 +000063 return mp_parse_num_integer(s, l, 0);
Damien George6433bd92014-03-30 23:13:16 +010064#if MICROPY_ENABLE_FLOAT
65 } else if (MP_OBJ_IS_TYPE(args[0], &mp_type_float)) {
66 return MP_OBJ_NEW_SMALL_INT((machine_int_t)(MICROPY_FLOAT_C_FUN(trunc)(mp_obj_float_get(args[0]))));
67#endif
Damien George5573f9f2014-01-15 22:58:39 +000068 } else {
Damien George813ed3b2014-05-28 14:09:46 +010069 // try to convert to small int (eg from bool)
Damien George5573f9f2014-01-15 22:58:39 +000070 return MP_OBJ_NEW_SMALL_INT(mp_obj_get_int(args[0]));
71 }
Damien George45b43c22014-01-05 01:50:45 +000072
xybc178ea42014-01-14 21:39:05 +080073 case 2:
Damien Georgeee7a8802014-05-11 18:37:21 +010074 default: {
Damien George5573f9f2014-01-15 22:58:39 +000075 // should be a string, parse it
76 // TODO proper error checking of argument types
Damien George5fa93b62014-01-22 14:35:10 +000077 uint l;
Damien George698ec212014-02-08 18:17:23 +000078 const char *s = mp_obj_str_get_data(args[0], &l);
Damien George20773972014-02-22 18:12:43 +000079 return mp_parse_num_integer(s, l, mp_obj_get_int(args[1]));
Damien George5fa93b62014-01-22 14:35:10 +000080 }
Damien George45b43c22014-01-05 01:50:45 +000081 }
82}
83
Damien Georgee8208a72014-04-04 15:08:23 +010084void 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 -070085 // The size of this buffer is rather arbitrary. If it's not large
86 // enough, a dynamic one will be allocated.
87 char stack_buf[sizeof(machine_int_t) * 4];
88 char *buf = stack_buf;
89 int buf_size = sizeof(stack_buf);
90 int fmt_size;
91
92 char *str = mp_obj_int_formatted(&buf, &buf_size, &fmt_size, self_in, 10, NULL, '\0', '\0');
93 print(env, "%s", str);
94
95 if (buf != stack_buf) {
96 m_free(buf, buf_size);
Damien George5fa93b62014-01-22 14:35:10 +000097 }
Damien George45b43c22014-01-05 01:50:45 +000098}
Paul Sokolovsky48b35722014-01-12 17:30:48 +020099
Dave Hylandsc4029e52014-04-07 11:19:51 -0700100#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG
Damien George88d7bba2014-04-08 23:30:46 +0100101typedef mp_longint_impl_t fmt_int_t;
Dave Hylandsc4029e52014-04-07 11:19:51 -0700102#else
Damien George88d7bba2014-04-08 23:30:46 +0100103typedef mp_small_int_t fmt_int_t;
Dave Hylandsc4029e52014-04-07 11:19:51 -0700104#endif
105
Damien George88d7bba2014-04-08 23:30:46 +0100106STATIC const uint log_base2_floor[] = {
Dave Hylandsc4029e52014-04-07 11:19:51 -0700107 0,
108 0, 1, 1, 2,
109 2, 2, 2, 3,
110 3, 3, 3, 3,
111 3, 3, 3, 4,
112 4, 4, 4, 4,
113 4, 4, 4, 4,
114 4, 4, 4, 4,
115 4, 4, 4, 5
116};
117
Damien George88d7bba2014-04-08 23:30:46 +0100118STATIC uint int_as_str_size_formatted(uint base, const char *prefix, char comma) {
Dave Hylandsc4029e52014-04-07 11:19:51 -0700119 if (base < 2 || base > 32) {
120 return 0;
121 }
122
123 uint num_digits = sizeof(fmt_int_t) * 8 / log_base2_floor[base] + 1;
124 uint num_commas = comma ? num_digits / 3: 0;
125 uint prefix_len = prefix ? strlen(prefix) : 0;
126 return num_digits + num_commas + prefix_len + 2; // +1 for sign, +1 for null byte
127}
128
129// This routine expects you to pass in a buffer and size (in *buf and buf_size).
130// If, for some reason, this buffer is too small, then it will allocate a
131// buffer and return the allocated buffer and size in *buf and *buf_size. It
132// is the callers responsibility to free this allocated buffer.
133//
134// The resulting formatted string will be returned from this function and the
135// formatted size will be in *fmt_size.
Paul Sokolovskyab7bf282014-05-17 11:08:33 +0300136char *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 -0700137 int base, const char *prefix, char base_char, char comma) {
Damien George88d7bba2014-04-08 23:30:46 +0100138 fmt_int_t num;
139 if (MP_OBJ_IS_SMALL_INT(self_in)) {
140 // A small int; get the integer value to format.
141 num = mp_obj_get_int(self_in);
142#if MICROPY_LONGINT_IMPL != MICROPY_LONGINT_IMPL_NONE
143 } else if (MP_OBJ_IS_TYPE(self_in, &mp_type_int)) {
144 // Not a small int.
145#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG
Damien George503d6112014-05-28 14:07:21 +0100146 const mp_obj_int_t *self = self_in;
Damien George88d7bba2014-04-08 23:30:46 +0100147 // Get the value to format; mp_obj_get_int truncates to machine_int_t.
148 num = self->val;
149#else
150 // Delegate to the implementation for the long int.
151 return mp_obj_int_formatted_impl(buf, buf_size, fmt_size, self_in, base, prefix, base_char, comma);
152#endif
153#endif
154 } else {
155 // Not an int.
Dave Hylandsc4029e52014-04-07 11:19:51 -0700156 buf[0] = '\0';
157 *fmt_size = 0;
158 return *buf;
159 }
Damien George88d7bba2014-04-08 23:30:46 +0100160
Dave Hylandsc4029e52014-04-07 11:19:51 -0700161 char sign = '\0';
162 if (num < 0) {
163 num = -num;
164 sign = '-';
165 }
166
167 uint needed_size = int_as_str_size_formatted(base, prefix, comma);
168 if (needed_size > *buf_size) {
169 *buf = m_new(char, needed_size);
170 *buf_size = needed_size;
171 }
172 char *str = *buf;
173
174 char *b = str + needed_size;
175 *(--b) = '\0';
176 char *last_comma = b;
177
178 if (num == 0) {
179 *(--b) = '0';
180 } else {
181 do {
182 int c = num % base;
183 num /= base;
184 if (c >= 10) {
185 c += base_char - 10;
186 } else {
187 c += '0';
188 }
189 *(--b) = c;
190 if (comma && num != 0 && b > str && (last_comma - b) == 3) {
191 *(--b) = comma;
192 last_comma = b;
193 }
194 }
195 while (b > str && num != 0);
196 }
197 if (prefix) {
198 size_t prefix_len = strlen(prefix);
199 char *p = b - prefix_len;
200 if (p > str) {
201 b = p;
202 while (*prefix) {
203 *p++ = *prefix++;
204 }
205 }
206 }
207 if (sign && b > str) {
208 *(--b) = sign;
209 }
210 *fmt_size = *buf + needed_size - b - 1;
211
212 return b;
213}
214
Damien George88d7bba2014-04-08 23:30:46 +0100215#if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE
216
Dave Hylandsc4029e52014-04-07 11:19:51 -0700217bool mp_obj_int_is_positive(mp_obj_t self_in) {
218 return mp_obj_get_int(self_in) >= 0;
219}
Dave Hylandsc4029e52014-04-07 11:19:51 -0700220
Damien George660aef62014-04-02 12:22:07 +0100221// This is called for operations on SMALL_INT that are not handled by mp_unary_op
Damien Georgee8208a72014-04-04 15:08:23 +0100222mp_obj_t mp_obj_int_unary_op(int op, mp_obj_t o_in) {
Damien George6ac5dce2014-05-21 19:42:43 +0100223 return MP_OBJ_NULL; // op not supported
Paul Sokolovsky9b00dad2014-01-27 09:05:50 +0200224}
225
Damien George660aef62014-04-02 12:22:07 +0100226// This is called for operations on SMALL_INT that are not handled by mp_binary_op
Damien Georgee8208a72014-04-04 15:08:23 +0100227mp_obj_t mp_obj_int_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
228 return mp_obj_int_binary_op_extra_cases(op, lhs_in, rhs_in);
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200229}
230
231// This is called only with strings whose value doesn't fit in SMALL_INT
Damien George503d6112014-05-28 14:07:21 +0100232mp_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 +0100233 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "long int not supported in this build"));
Damien George23005372014-01-13 19:39:01 +0000234 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200235}
236
Damien George9d68e9c2014-03-12 15:38:15 +0000237// This is called when an integer larger than a SMALL_INT is needed (although val might still fit in a SMALL_INT)
238mp_obj_t mp_obj_new_int_from_ll(long long val) {
Damien Georgeea13f402014-04-05 18:32:08 +0100239 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George9d68e9c2014-03-12 15:38:15 +0000240 return mp_const_none;
241}
242
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200243mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value) {
244 // SMALL_INT accepts only signed numbers, of one bit less size
245 // then word size, which totals 2 bits less for unsigned numbers.
246 if ((value & (WORD_MSBIT_HIGH | (WORD_MSBIT_HIGH >> 1))) == 0) {
247 return MP_OBJ_NEW_SMALL_INT(value);
248 }
Damien Georgeea13f402014-04-05 18:32:08 +0100249 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George23005372014-01-13 19:39:01 +0000250 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200251}
252
253mp_obj_t mp_obj_new_int(machine_int_t value) {
254 if (MP_OBJ_FITS_SMALL_INT(value)) {
255 return MP_OBJ_NEW_SMALL_INT(value);
256 }
Damien Georgeea13f402014-04-05 18:32:08 +0100257 nlr_raise(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow"));
Damien George23005372014-01-13 19:39:01 +0000258 return mp_const_none;
Paul Sokolovsky48b35722014-01-12 17:30:48 +0200259}
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200260
Damien George503d6112014-05-28 14:07:21 +0100261machine_int_t mp_obj_int_get(mp_const_obj_t self_in) {
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200262 return MP_OBJ_SMALL_INT_VALUE(self_in);
263}
264
Sven Wegener7ba0fed2014-05-17 11:17:48 +0200265machine_int_t mp_obj_int_get_checked(mp_const_obj_t self_in) {
Paul Sokolovskyd26b3792014-01-18 16:07:16 +0200266 return MP_OBJ_SMALL_INT_VALUE(self_in);
267}
268
Damien Georgeeabdf672014-03-22 20:54:01 +0000269#if MICROPY_ENABLE_FLOAT
270mp_float_t mp_obj_int_as_float(mp_obj_t self_in) {
271 return MP_OBJ_SMALL_INT_VALUE(self_in);
272}
273#endif
274
Damien George5fa93b62014-01-22 14:35:10 +0000275#endif // MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE
276
Damien Georgee8208a72014-04-04 15:08:23 +0100277// This dispatcher function is expected to be independent of the implementation of long int
278// It handles the extra cases for integer-like arithmetic
279mp_obj_t mp_obj_int_binary_op_extra_cases(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
280 if (rhs_in == mp_const_false) {
281 // false acts as 0
282 return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(0));
283 } else if (rhs_in == mp_const_true) {
284 // true acts as 0
285 return mp_binary_op(op, lhs_in, MP_OBJ_NEW_SMALL_INT(1));
286 } else if (op == MP_BINARY_OP_MULTIPLY) {
287 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)) {
288 // multiply is commutative for these types, so delegate to them
289 return mp_binary_op(op, rhs_in, lhs_in);
290 }
291 }
Damien George6ac5dce2014-05-21 19:42:43 +0100292 return MP_OBJ_NULL; // op not supported
Damien Georgee8208a72014-04-04 15:08:23 +0100293}
294
Damien George5213eb32014-04-13 12:24:13 +0100295// this is a classmethod
Paul Sokolovskya985b452014-04-09 00:40:58 +0300296STATIC mp_obj_t int_from_bytes(uint n_args, const mp_obj_t *args) {
Paul Sokolovskya985b452014-04-09 00:40:58 +0300297 // TODO: Support long ints
Damien George5213eb32014-04-13 12:24:13 +0100298 // TODO: Support byteorder param (assumes 'little' at the moment)
299 // TODO: Support signed param (assumes signed=False at the moment)
300
301 // get the buffer info
Damien George57a4b4f2014-04-18 22:29:21 +0100302 mp_buffer_info_t bufinfo;
Damien Georgeb11b85a2014-04-18 22:59:24 +0100303 mp_get_buffer_raise(args[1], &bufinfo, MP_BUFFER_READ);
Damien George5213eb32014-04-13 12:24:13 +0100304
305 // convert the bytes to an integer
306 machine_uint_t value = 0;
stijn01d6be42014-05-05 12:18:27 +0200307 for (const byte* buf = (const byte*)bufinfo.buf + bufinfo.len - 1; buf >= (byte*)bufinfo.buf; buf--) {
Damien Georgeb9e7ed42014-04-13 12:40:50 +0100308 value = (value << 8) | *buf;
Damien George5213eb32014-04-13 12:24:13 +0100309 }
310
311 return mp_obj_new_int_from_uint(value);
Paul Sokolovskya985b452014-04-09 00:40:58 +0300312}
313
Damien George5213eb32014-04-13 12:24:13 +0100314STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_from_bytes_fun_obj, 2, 3, int_from_bytes);
315STATIC 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 +0300316
317STATIC mp_obj_t int_to_bytes(uint n_args, const mp_obj_t *args) {
318 machine_int_t val = mp_obj_int_get_checked(args[0]);
319
320 uint len = MP_OBJ_SMALL_INT_VALUE(args[1]);
321 byte *data;
322
323 // TODO: Support long ints
324 // TODO: Support byteorder param
325 // TODO: Support signed param
326 mp_obj_t o = mp_obj_str_builder_start(&mp_type_bytes, len, &data);
327 memset(data, 0, len);
328 memcpy(data, &val, len < sizeof(machine_int_t) ? len : sizeof(machine_int_t));
329 return mp_obj_str_builder_end(o);
330}
331
332STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(int_to_bytes_obj, 2, 4, int_to_bytes);
333
334STATIC const mp_map_elem_t int_locals_dict_table[] = {
335 { MP_OBJ_NEW_QSTR(MP_QSTR_from_bytes), (mp_obj_t)&int_from_bytes_obj },
336 { MP_OBJ_NEW_QSTR(MP_QSTR_to_bytes), (mp_obj_t)&int_to_bytes_obj },
337};
338
339STATIC MP_DEFINE_CONST_DICT(int_locals_dict, int_locals_dict_table);
340
Damien George3e1a5c12014-03-29 13:43:38 +0000341const mp_obj_type_t mp_type_int = {
Damien Georgec5966122014-02-15 16:10:44 +0000342 { &mp_type_type },
Damien Georgea71c83a2014-02-15 11:34:50 +0000343 .name = MP_QSTR_int,
Damien Georgee8208a72014-04-04 15:08:23 +0100344 .print = mp_obj_int_print,
345 .make_new = mp_obj_int_make_new,
346 .unary_op = mp_obj_int_unary_op,
347 .binary_op = mp_obj_int_binary_op,
Paul Sokolovskya985b452014-04-09 00:40:58 +0300348 .locals_dict = (mp_obj_t)&int_locals_dict,
Damien George5fa93b62014-01-22 14:35:10 +0000349};