mpz.h 5.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154
  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. *
  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. #ifndef MICROPY_INCLUDED_PY_MPZ_H
  27. #define MICROPY_INCLUDED_PY_MPZ_H
  28. #include <stdint.h>
  29. #include "py/mpconfig.h"
  30. #include "py/misc.h"
  31. // This mpz module implements arbitrary precision integers.
  32. //
  33. // The storage for each digit is defined by mpz_dig_t. The actual number of
  34. // bits in mpz_dig_t that are used is defined by MPZ_DIG_SIZE. The machine must
  35. // also provide a type that is twice as wide as mpz_dig_t, in both signed and
  36. // unsigned versions.
  37. //
  38. // MPZ_DIG_SIZE can be between 4 and 8*sizeof(mpz_dig_t), but it makes most
  39. // sense to have it as large as possible. If MPZ_DIG_SIZE is not already
  40. // defined then it is auto-detected below, depending on the machine. The types
  41. // are then set based on the value of MPZ_DIG_SIZE (although they can be freely
  42. // changed so long as the constraints mentioned above are met).
  43. #ifndef MPZ_DIG_SIZE
  44. #if defined(__x86_64__) || defined(_WIN64)
  45. // 64-bit machine, using 32-bit storage for digits
  46. #define MPZ_DIG_SIZE (32)
  47. #else
  48. // default: 32-bit machine, using 16-bit storage for digits
  49. #define MPZ_DIG_SIZE (16)
  50. #endif
  51. #endif
  52. #if MPZ_DIG_SIZE > 16
  53. #define MPZ_DBL_DIG_SIZE (64)
  54. typedef uint32_t mpz_dig_t;
  55. typedef uint64_t mpz_dbl_dig_t;
  56. typedef int64_t mpz_dbl_dig_signed_t;
  57. #elif MPZ_DIG_SIZE > 8
  58. #define MPZ_DBL_DIG_SIZE (32)
  59. typedef uint16_t mpz_dig_t;
  60. typedef uint32_t mpz_dbl_dig_t;
  61. typedef int32_t mpz_dbl_dig_signed_t;
  62. #elif MPZ_DIG_SIZE > 4
  63. #define MPZ_DBL_DIG_SIZE (16)
  64. typedef uint8_t mpz_dig_t;
  65. typedef uint16_t mpz_dbl_dig_t;
  66. typedef int16_t mpz_dbl_dig_signed_t;
  67. #else
  68. #define MPZ_DBL_DIG_SIZE (8)
  69. typedef uint8_t mpz_dig_t;
  70. typedef uint8_t mpz_dbl_dig_t;
  71. typedef int8_t mpz_dbl_dig_signed_t;
  72. #endif
  73. #ifdef _WIN64
  74. #ifdef __MINGW32__
  75. #define MPZ_LONG_1 1LL
  76. #else
  77. #define MPZ_LONG_1 1i64
  78. #endif
  79. #else
  80. #define MPZ_LONG_1 1L
  81. #endif
  82. // these define the maximum storage needed to hold an int or long long
  83. #define MPZ_NUM_DIG_FOR_INT ((sizeof(mp_int_t) * 8 + MPZ_DIG_SIZE - 1) / MPZ_DIG_SIZE)
  84. #define MPZ_NUM_DIG_FOR_LL ((sizeof(long long) * 8 + MPZ_DIG_SIZE - 1) / MPZ_DIG_SIZE)
  85. typedef struct _mpz_t {
  86. // Zero has neg=0, len=0. Negative zero is not allowed.
  87. size_t neg : 1;
  88. size_t fixed_dig : 1;
  89. size_t alloc : (8 * sizeof(size_t) - 2);
  90. size_t len;
  91. mpz_dig_t *dig;
  92. } mpz_t;
  93. // convenience macro to declare an mpz with a digit array from the stack, initialised by an integer
  94. #define MPZ_CONST_INT(z, val) mpz_t z; mpz_dig_t z##_digits[MPZ_NUM_DIG_FOR_INT]; mpz_init_fixed_from_int(&z, z_digits, MPZ_NUM_DIG_FOR_INT, val);
  95. void mpz_init_zero(mpz_t *z);
  96. void mpz_init_from_int(mpz_t *z, mp_int_t val);
  97. void mpz_init_fixed_from_int(mpz_t *z, mpz_dig_t *dig, size_t dig_alloc, mp_int_t val);
  98. void mpz_deinit(mpz_t *z);
  99. void mpz_set(mpz_t *dest, const mpz_t *src);
  100. void mpz_set_from_int(mpz_t *z, mp_int_t src);
  101. void mpz_set_from_ll(mpz_t *z, long long i, bool is_signed);
  102. #if MICROPY_PY_BUILTINS_FLOAT
  103. void mpz_set_from_float(mpz_t *z, mp_float_t src);
  104. #endif
  105. size_t mpz_set_from_str(mpz_t *z, const char *str, size_t len, bool neg, unsigned int base);
  106. void mpz_set_from_bytes(mpz_t *z, bool big_endian, size_t len, const byte *buf);
  107. static inline bool mpz_is_zero(const mpz_t *z) {
  108. return z->len == 0;
  109. }
  110. static inline bool mpz_is_neg(const mpz_t *z) {
  111. return z->neg != 0;
  112. }
  113. int mpz_cmp(const mpz_t *lhs, const mpz_t *rhs);
  114. void mpz_abs_inpl(mpz_t *dest, const mpz_t *z);
  115. void mpz_neg_inpl(mpz_t *dest, const mpz_t *z);
  116. void mpz_not_inpl(mpz_t *dest, const mpz_t *z);
  117. void mpz_shl_inpl(mpz_t *dest, const mpz_t *lhs, mp_uint_t rhs);
  118. void mpz_shr_inpl(mpz_t *dest, const mpz_t *lhs, mp_uint_t rhs);
  119. void mpz_add_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  120. void mpz_sub_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  121. void mpz_mul_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  122. void mpz_pow_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  123. void mpz_pow3_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs, const mpz_t *mod);
  124. void mpz_and_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  125. void mpz_or_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  126. void mpz_xor_inpl(mpz_t *dest, const mpz_t *lhs, const mpz_t *rhs);
  127. void mpz_divmod_inpl(mpz_t *dest_quo, mpz_t *dest_rem, const mpz_t *lhs, const mpz_t *rhs);
  128. static inline size_t mpz_max_num_bits(const mpz_t *z) {
  129. return z->len * MPZ_DIG_SIZE;
  130. }
  131. mp_int_t mpz_hash(const mpz_t *z);
  132. bool mpz_as_int_checked(const mpz_t *z, mp_int_t *value);
  133. bool mpz_as_uint_checked(const mpz_t *z, mp_uint_t *value);
  134. void mpz_as_bytes(const mpz_t *z, bool big_endian, size_t len, byte *buf);
  135. #if MICROPY_PY_BUILTINS_FLOAT
  136. mp_float_t mpz_as_float(const mpz_t *z);
  137. #endif
  138. size_t mpz_as_str_inpl(const mpz_t *z, unsigned int base, const char *prefix, char base_char, char comma, char *str);
  139. #endif // MICROPY_INCLUDED_PY_MPZ_H