objint_longlong.c 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295
  1. /*
  2. * This file is part of the MicroPython project, http://micropython.org/
  3. *
  4. * The MIT License (MIT)
  5. *
  6. * Copyright (c) 2013, 2014 Damien P. George
  7. * Copyright (c) 2014 Paul Sokolovsky
  8. *
  9. * Permission is hereby granted, free of charge, to any person obtaining a copy
  10. * of this software and associated documentation files (the "Software"), to deal
  11. * in the Software without restriction, including without limitation the rights
  12. * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  13. * copies of the Software, and to permit persons to whom the Software is
  14. * furnished to do so, subject to the following conditions:
  15. *
  16. * The above copyright notice and this permission notice shall be included in
  17. * all copies or substantial portions of the Software.
  18. *
  19. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  20. * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  21. * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  22. * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  23. * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  24. * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  25. * THE SOFTWARE.
  26. */
  27. #include <stdlib.h>
  28. #include <string.h>
  29. #include "py/smallint.h"
  30. #include "py/objint.h"
  31. #include "py/runtime.h"
  32. #if MICROPY_PY_BUILTINS_FLOAT
  33. #include <math.h>
  34. #endif
  35. #if MICROPY_LONGINT_IMPL == MICROPY_LONGINT_IMPL_LONGLONG
  36. #if MICROPY_PY_SYS_MAXSIZE
  37. // Export value for sys.maxsize
  38. const mp_obj_int_t mp_sys_maxsize_obj = {{&mp_type_int}, MP_SSIZE_MAX};
  39. #endif
  40. mp_obj_t mp_obj_int_from_bytes_impl(bool big_endian, size_t len, const byte *buf) {
  41. int delta = 1;
  42. if (!big_endian) {
  43. buf += len - 1;
  44. delta = -1;
  45. }
  46. mp_longint_impl_t value = 0;
  47. for (; len--; buf += delta) {
  48. value = (value << 8) | *buf;
  49. }
  50. return mp_obj_new_int_from_ll(value);
  51. }
  52. void mp_obj_int_to_bytes_impl(mp_obj_t self_in, bool big_endian, size_t len, byte *buf) {
  53. assert(mp_obj_is_exact_type(self_in, &mp_type_int));
  54. mp_obj_int_t *self = self_in;
  55. long long val = self->val;
  56. if (big_endian) {
  57. byte *b = buf + len;
  58. while (b > buf) {
  59. *--b = val;
  60. val >>= 8;
  61. }
  62. } else {
  63. for (; len > 0; --len) {
  64. *buf++ = val;
  65. val >>= 8;
  66. }
  67. }
  68. }
  69. int mp_obj_int_sign(mp_obj_t self_in) {
  70. mp_longint_impl_t val;
  71. if (mp_obj_is_small_int(self_in)) {
  72. val = MP_OBJ_SMALL_INT_VALUE(self_in);
  73. } else {
  74. mp_obj_int_t *self = self_in;
  75. val = self->val;
  76. }
  77. if (val < 0) {
  78. return -1;
  79. } else if (val > 0) {
  80. return 1;
  81. } else {
  82. return 0;
  83. }
  84. }
  85. mp_obj_t mp_obj_int_unary_op(mp_unary_op_t op, mp_obj_t o_in) {
  86. mp_obj_int_t *o = o_in;
  87. switch (op) {
  88. case MP_UNARY_OP_BOOL:
  89. return mp_obj_new_bool(o->val != 0);
  90. // truncate value to fit in mp_int_t, which gives the same hash as
  91. // small int if the value fits without truncation
  92. case MP_UNARY_OP_HASH:
  93. return MP_OBJ_NEW_SMALL_INT((mp_int_t)o->val);
  94. case MP_UNARY_OP_POSITIVE:
  95. return o_in;
  96. case MP_UNARY_OP_NEGATIVE:
  97. return mp_obj_new_int_from_ll(-o->val);
  98. case MP_UNARY_OP_INVERT:
  99. return mp_obj_new_int_from_ll(~o->val);
  100. case MP_UNARY_OP_ABS: {
  101. mp_obj_int_t *self = MP_OBJ_TO_PTR(o_in);
  102. if (self->val >= 0) {
  103. return o_in;
  104. }
  105. self = mp_obj_new_int_from_ll(self->val);
  106. // TODO could overflow long long
  107. self->val = -self->val;
  108. return MP_OBJ_FROM_PTR(self);
  109. }
  110. case MP_UNARY_OP_INT_MAYBE:
  111. return o_in;
  112. default:
  113. return MP_OBJ_NULL; // op not supported
  114. }
  115. }
  116. mp_obj_t mp_obj_int_binary_op(mp_binary_op_t op, mp_obj_t lhs_in, mp_obj_t rhs_in) {
  117. long long lhs_val;
  118. long long rhs_val;
  119. if (mp_obj_is_small_int(lhs_in)) {
  120. lhs_val = MP_OBJ_SMALL_INT_VALUE(lhs_in);
  121. } else {
  122. assert(mp_obj_is_exact_type(lhs_in, &mp_type_int));
  123. lhs_val = ((mp_obj_int_t *)lhs_in)->val;
  124. }
  125. if (mp_obj_is_small_int(rhs_in)) {
  126. rhs_val = MP_OBJ_SMALL_INT_VALUE(rhs_in);
  127. } else if (mp_obj_is_exact_type(rhs_in, &mp_type_int)) {
  128. rhs_val = ((mp_obj_int_t *)rhs_in)->val;
  129. } else {
  130. // delegate to generic function to check for extra cases
  131. return mp_obj_int_binary_op_extra_cases(op, lhs_in, rhs_in);
  132. }
  133. switch (op) {
  134. case MP_BINARY_OP_ADD:
  135. case MP_BINARY_OP_INPLACE_ADD:
  136. return mp_obj_new_int_from_ll(lhs_val + rhs_val);
  137. case MP_BINARY_OP_SUBTRACT:
  138. case MP_BINARY_OP_INPLACE_SUBTRACT:
  139. return mp_obj_new_int_from_ll(lhs_val - rhs_val);
  140. case MP_BINARY_OP_MULTIPLY:
  141. case MP_BINARY_OP_INPLACE_MULTIPLY:
  142. return mp_obj_new_int_from_ll(lhs_val * rhs_val);
  143. case MP_BINARY_OP_FLOOR_DIVIDE:
  144. case MP_BINARY_OP_INPLACE_FLOOR_DIVIDE:
  145. if (rhs_val == 0) {
  146. goto zero_division;
  147. }
  148. return mp_obj_new_int_from_ll(lhs_val / rhs_val);
  149. case MP_BINARY_OP_MODULO:
  150. case MP_BINARY_OP_INPLACE_MODULO:
  151. if (rhs_val == 0) {
  152. goto zero_division;
  153. }
  154. return mp_obj_new_int_from_ll(lhs_val % rhs_val);
  155. case MP_BINARY_OP_AND:
  156. case MP_BINARY_OP_INPLACE_AND:
  157. return mp_obj_new_int_from_ll(lhs_val & rhs_val);
  158. case MP_BINARY_OP_OR:
  159. case MP_BINARY_OP_INPLACE_OR:
  160. return mp_obj_new_int_from_ll(lhs_val | rhs_val);
  161. case MP_BINARY_OP_XOR:
  162. case MP_BINARY_OP_INPLACE_XOR:
  163. return mp_obj_new_int_from_ll(lhs_val ^ rhs_val);
  164. case MP_BINARY_OP_LSHIFT:
  165. case MP_BINARY_OP_INPLACE_LSHIFT:
  166. return mp_obj_new_int_from_ll(lhs_val << (int)rhs_val);
  167. case MP_BINARY_OP_RSHIFT:
  168. case MP_BINARY_OP_INPLACE_RSHIFT:
  169. return mp_obj_new_int_from_ll(lhs_val >> (int)rhs_val);
  170. case MP_BINARY_OP_POWER:
  171. case MP_BINARY_OP_INPLACE_POWER: {
  172. if (rhs_val < 0) {
  173. #if MICROPY_PY_BUILTINS_FLOAT
  174. return mp_obj_float_binary_op(op, lhs_val, rhs_in);
  175. #else
  176. mp_raise_ValueError(MP_ERROR_TEXT("negative power with no float support"));
  177. #endif
  178. }
  179. long long ans = 1;
  180. while (rhs_val > 0) {
  181. if (rhs_val & 1) {
  182. ans *= lhs_val;
  183. }
  184. if (rhs_val == 1) {
  185. break;
  186. }
  187. rhs_val /= 2;
  188. lhs_val *= lhs_val;
  189. }
  190. return mp_obj_new_int_from_ll(ans);
  191. }
  192. case MP_BINARY_OP_LESS:
  193. return mp_obj_new_bool(lhs_val < rhs_val);
  194. case MP_BINARY_OP_MORE:
  195. return mp_obj_new_bool(lhs_val > rhs_val);
  196. case MP_BINARY_OP_LESS_EQUAL:
  197. return mp_obj_new_bool(lhs_val <= rhs_val);
  198. case MP_BINARY_OP_MORE_EQUAL:
  199. return mp_obj_new_bool(lhs_val >= rhs_val);
  200. case MP_BINARY_OP_EQUAL:
  201. return mp_obj_new_bool(lhs_val == rhs_val);
  202. default:
  203. return MP_OBJ_NULL; // op not supported
  204. }
  205. zero_division:
  206. mp_raise_msg(&mp_type_ZeroDivisionError, MP_ERROR_TEXT("divide by zero"));
  207. }
  208. mp_obj_t mp_obj_new_int(mp_int_t value) {
  209. if (MP_SMALL_INT_FITS(value)) {
  210. return MP_OBJ_NEW_SMALL_INT(value);
  211. }
  212. return mp_obj_new_int_from_ll(value);
  213. }
  214. mp_obj_t mp_obj_new_int_from_uint(mp_uint_t value) {
  215. // SMALL_INT accepts only signed numbers, so make sure the input
  216. // value fits completely in the small-int positive range.
  217. if ((value & ~MP_SMALL_INT_POSITIVE_MASK) == 0) {
  218. return MP_OBJ_NEW_SMALL_INT(value);
  219. }
  220. return mp_obj_new_int_from_ll(value);
  221. }
  222. mp_obj_t mp_obj_new_int_from_ll(long long val) {
  223. mp_obj_int_t *o = mp_obj_malloc(mp_obj_int_t, &mp_type_int);
  224. o->val = val;
  225. return o;
  226. }
  227. mp_obj_t mp_obj_new_int_from_ull(unsigned long long val) {
  228. // TODO raise an exception if the unsigned long long won't fit
  229. if (val >> (sizeof(unsigned long long) * 8 - 1) != 0) {
  230. mp_raise_msg(&mp_type_OverflowError, MP_ERROR_TEXT("ulonglong too large"));
  231. }
  232. mp_obj_int_t *o = mp_obj_malloc(mp_obj_int_t, &mp_type_int);
  233. o->val = val;
  234. return o;
  235. }
  236. mp_obj_t mp_obj_new_int_from_str_len(const char **str, size_t len, bool neg, unsigned int base) {
  237. // TODO this does not honor the given length of the string, but it all cases it should anyway be null terminated
  238. // TODO check overflow
  239. mp_obj_int_t *o = mp_obj_malloc(mp_obj_int_t, &mp_type_int);
  240. char *endptr;
  241. o->val = strtoll(*str, &endptr, base);
  242. *str = endptr;
  243. return o;
  244. }
  245. mp_int_t mp_obj_int_get_truncated(mp_const_obj_t self_in) {
  246. if (mp_obj_is_small_int(self_in)) {
  247. return MP_OBJ_SMALL_INT_VALUE(self_in);
  248. } else {
  249. const mp_obj_int_t *self = self_in;
  250. return self->val;
  251. }
  252. }
  253. mp_int_t mp_obj_int_get_checked(mp_const_obj_t self_in) {
  254. // TODO: Check overflow
  255. return mp_obj_int_get_truncated(self_in);
  256. }
  257. #if MICROPY_PY_BUILTINS_FLOAT
  258. mp_float_t mp_obj_int_as_float_impl(mp_obj_t self_in) {
  259. assert(mp_obj_is_exact_type(self_in, &mp_type_int));
  260. mp_obj_int_t *self = self_in;
  261. return self->val;
  262. }
  263. #endif
  264. #endif