Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 1 | #include <stdint.h> |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 2 | #include <assert.h> |
| 3 | |
| 4 | #include "nlr.h" |
| 5 | #include "misc.h" |
| 6 | #include "mpconfig.h" |
Damien George | 55baff4 | 2014-01-21 21:40:13 +0000 | [diff] [blame] | 7 | #include "qstr.h" |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 8 | #include "obj.h" |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 9 | #include "parsenum.h" |
Damien George | 438c88d | 2014-02-22 19:25:23 +0000 | [diff] [blame] | 10 | #include "mpz.h" |
Paul Sokolovsky | 76a90f2 | 2014-01-13 22:31:01 +0200 | [diff] [blame] | 11 | #include "objint.h" |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 12 | |
| 13 | // This dispatcher function is expected to be independent of the implementation |
| 14 | // of long int |
Paul Sokolovsky | d5df6cd | 2014-02-12 18:15:40 +0200 | [diff] [blame] | 15 | STATIC mp_obj_t 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] | 16 | // TODO check n_kw == 0 |
| 17 | |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 18 | switch (n_args) { |
| 19 | case 0: |
| 20 | return MP_OBJ_NEW_SMALL_INT(0); |
| 21 | |
| 22 | case 1: |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 23 | if (MP_OBJ_IS_STR(args[0])) { |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 24 | // a string, parse it |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 25 | uint l; |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 26 | const char *s = mp_obj_str_get_data(args[0], &l); |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 27 | return mp_parse_num_integer(s, l, 0); |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 28 | } else { |
| 29 | return MP_OBJ_NEW_SMALL_INT(mp_obj_get_int(args[0])); |
| 30 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 31 | |
xyb | c178ea4 | 2014-01-14 21:39:05 +0800 | [diff] [blame] | 32 | case 2: |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 33 | { |
Damien George | 5573f9f | 2014-01-15 22:58:39 +0000 | [diff] [blame] | 34 | // should be a string, parse it |
| 35 | // TODO proper error checking of argument types |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 36 | uint l; |
Damien George | 698ec21 | 2014-02-08 18:17:23 +0000 | [diff] [blame] | 37 | const char *s = mp_obj_str_get_data(args[0], &l); |
Damien George | 2077397 | 2014-02-22 18:12:43 +0000 | [diff] [blame] | 38 | 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] | 39 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 40 | |
| 41 | default: |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 42 | nlr_jump(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] | 43 | } |
| 44 | } |
| 45 | |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 46 | #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 47 | |
Paul Sokolovsky | 76d982e | 2014-01-13 19:19:16 +0200 | [diff] [blame] | 48 | void int_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) { |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 49 | if (MP_OBJ_IS_SMALL_INT(self_in)) { |
Damien George | 0379b55 | 2014-02-22 17:34:09 +0000 | [diff] [blame] | 50 | print(env, INT_FMT, MP_OBJ_SMALL_INT_VALUE(self_in)); |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 51 | } |
Damien George | 45b43c2 | 2014-01-05 01:50:45 +0000 | [diff] [blame] | 52 | } |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 53 | |
| 54 | // This is called only for non-SMALL_INT |
Paul Sokolovsky | 9b00dad | 2014-01-27 09:05:50 +0200 | [diff] [blame] | 55 | mp_obj_t int_unary_op(int op, mp_obj_t o_in) { |
| 56 | assert(0); |
| 57 | return mp_const_none; |
| 58 | } |
| 59 | |
| 60 | // This is called only for non-SMALL_INT |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 61 | mp_obj_t int_binary_op(int op, mp_obj_t lhs_in, mp_obj_t rhs_in) { |
| 62 | assert(0); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 63 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | // This is called only with strings whose value doesn't fit in SMALL_INT |
| 67 | mp_obj_t mp_obj_new_int_from_long_str(const char *s) { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 68 | nlr_jump(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] | 69 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 70 | } |
| 71 | |
Damien George | 9d68e9c | 2014-03-12 15:38:15 +0000 | [diff] [blame] | 72 | // This is called when an integer larger than a SMALL_INT is needed (although val might still fit in a SMALL_INT) |
| 73 | mp_obj_t mp_obj_new_int_from_ll(long long val) { |
| 74 | nlr_jump(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
| 75 | return mp_const_none; |
| 76 | } |
| 77 | |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 78 | mp_obj_t mp_obj_new_int_from_uint(machine_uint_t value) { |
| 79 | // SMALL_INT accepts only signed numbers, of one bit less size |
| 80 | // then word size, which totals 2 bits less for unsigned numbers. |
| 81 | if ((value & (WORD_MSBIT_HIGH | (WORD_MSBIT_HIGH >> 1))) == 0) { |
| 82 | return MP_OBJ_NEW_SMALL_INT(value); |
| 83 | } |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 84 | nlr_jump(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 85 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | mp_obj_t mp_obj_new_int(machine_int_t value) { |
| 89 | if (MP_OBJ_FITS_SMALL_INT(value)) { |
| 90 | return MP_OBJ_NEW_SMALL_INT(value); |
| 91 | } |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 92 | nlr_jump(mp_obj_new_exception_msg(&mp_type_OverflowError, "small int overflow")); |
Damien George | 2300537 | 2014-01-13 19:39:01 +0000 | [diff] [blame] | 93 | return mp_const_none; |
Paul Sokolovsky | 48b3572 | 2014-01-12 17:30:48 +0200 | [diff] [blame] | 94 | } |
Paul Sokolovsky | d26b379 | 2014-01-18 16:07:16 +0200 | [diff] [blame] | 95 | |
| 96 | machine_int_t mp_obj_int_get(mp_obj_t self_in) { |
| 97 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 98 | } |
| 99 | |
| 100 | machine_int_t mp_obj_int_get_checked(mp_obj_t self_in) { |
| 101 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 102 | } |
| 103 | |
Damien George | eabdf67 | 2014-03-22 20:54:01 +0000 | [diff] [blame] | 104 | #if MICROPY_ENABLE_FLOAT |
| 105 | mp_float_t mp_obj_int_as_float(mp_obj_t self_in) { |
| 106 | return MP_OBJ_SMALL_INT_VALUE(self_in); |
| 107 | } |
| 108 | #endif |
| 109 | |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 110 | #endif // MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_NONE |
| 111 | |
Damien George | 3e1a5c1 | 2014-03-29 13:43:38 +0000 | [diff] [blame^] | 112 | const mp_obj_type_t mp_type_int = { |
Damien George | c596612 | 2014-02-15 16:10:44 +0000 | [diff] [blame] | 113 | { &mp_type_type }, |
Damien George | a71c83a | 2014-02-15 11:34:50 +0000 | [diff] [blame] | 114 | .name = MP_QSTR_int, |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 115 | .print = int_print, |
| 116 | .make_new = int_make_new, |
Paul Sokolovsky | 9b00dad | 2014-01-27 09:05:50 +0200 | [diff] [blame] | 117 | .unary_op = int_unary_op, |
Damien George | 5fa93b6 | 2014-01-22 14:35:10 +0000 | [diff] [blame] | 118 | .binary_op = int_binary_op, |
| 119 | }; |