Types.h 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244
  1. #ifndef MANDEL_TYPES_H
  2. #define MANDEL_TYPES_H
  3. #include <cinttypes>
  4. #include <cmath>
  5. #include <string>
  6. #include "Fixed.h"
  7. #ifndef WITH_QD
  8. #define WITH_QD
  9. #endif
  10. #ifdef WITH_BOOST
  11. # include <boost/multiprecision/cpp_bin_float.hpp>
  12. # if defined(__GNUC__) || defined(__INTEL_COMPILER)
  13. //# include <boost/multiprecision/float128.hpp>
  14. # endif
  15. # include <boost/multiprecision/cpp_int.hpp>
  16. # include <boost/functional/hash.hpp>
  17. #endif
  18. #include <qd/dd_real.h>
  19. #include <qd/qd_real.h>
  20. #include "LightDoubleDouble.h"
  21. namespace mnd
  22. {
  23. #ifdef WITH_BOOST
  24. # if 0//defined(__GNUC__) || defined(__INTEL_COMPILER)
  25. using Float128 = boost::multiprecision::float128;
  26. # else
  27. using Float128 = boost::multiprecision::cpp_bin_float_quad;
  28. /*using Float128 = boost::multiprecision::number<
  29. boost::multiprecision::backends::cpp_bin_float<
  30. 112, boost::multiprecision::backends::digit_base_2, void, boost::int16_t, -16382, 16383>,
  31. boost::multiprecision::et_off>;*/
  32. # endif
  33. inline Float128 abs(const Float128& x) { return boost::multiprecision::abs(x); }
  34. inline Float128 sqrt(const Float128& x) { return boost::multiprecision::sqrt(x); }
  35. inline Float128 floor(const Float128& x) { return boost::multiprecision::floor(x); }
  36. inline Float128 log(const Float128& x) { return boost::multiprecision::log(x); }
  37. inline Float128 log2(const Float128& x) { return boost::multiprecision::log2(x); }
  38. inline Float128 pow(const Float128& x, const Float128& y) { return boost::multiprecision::pow(x, y); }
  39. inline Float128 atan2(const Float128& y, const Float128& x) { return boost::multiprecision::atan2(y, x); }
  40. inline Float128 cos(const Float128& x) { return boost::multiprecision::cos(x); }
  41. inline Float128 sin(const Float128& x) { return boost::multiprecision::sin(x); }
  42. inline Float128 exp(const Float128& x) { return boost::multiprecision::exp(x); }
  43. using Float256 = boost::multiprecision::number<
  44. boost::multiprecision::backends::cpp_bin_float<
  45. 240, boost::multiprecision::backends::digit_base_2, void, boost::int16_t, -16382, 16383>,
  46. boost::multiprecision::et_off>;
  47. //using Float256 = long double;
  48. inline Float256 abs(const Float256& x) { return boost::multiprecision::abs(x); }
  49. inline Float256 sqrt(const Float256& x) { return boost::multiprecision::sqrt(x); }
  50. inline Float256 floor(const Float256& x) { return boost::multiprecision::floor(x); }
  51. inline Float256 log(const Float256& x) { return boost::multiprecision::log(x); }
  52. inline Float256 log2(const Float256& x) { return boost::multiprecision::log2(x); }
  53. inline Float256 pow(const Float256& x, const Float256& y) { return boost::multiprecision::pow(x, y); }
  54. inline Float256 atan2(const Float256& y, const Float256& x) { return boost::multiprecision::atan2(y, x); }
  55. inline Float256 cos(const Float256& x) { return boost::multiprecision::cos(x); }
  56. inline Float256 sin(const Float256& x) { return boost::multiprecision::sin(x); }
  57. inline Float256 exp(const Float256& x) { return boost::multiprecision::exp(x); }
  58. using Float512 = boost::multiprecision::number<
  59. boost::multiprecision::backends::cpp_bin_float<
  60. 496, boost::multiprecision::backends::digit_base_2, void, boost::int16_t, -16382, 16383>,
  61. boost::multiprecision::et_off>;
  62. inline Float512 abs(const Float512& x) { return boost::multiprecision::abs(x); }
  63. inline Float512 sqrt(const Float512& x) { return boost::multiprecision::sqrt(x); }
  64. inline Float512 floor(const Float512& x) { return boost::multiprecision::floor(x); }
  65. inline Float512 log(const Float512& x) { return boost::multiprecision::log(x); }
  66. inline Float512 log2(const Float512& x) { return boost::multiprecision::log2(x); }
  67. inline Float512 pow(const Float512& x, const Float512& y) { return boost::multiprecision::pow(x, y); }
  68. inline Float512 atan2(const Float512& y, const Float512& x) { return boost::multiprecision::atan2(y, x); }
  69. inline Float512 cos(const Float512& x) { return boost::multiprecision::cos(x); }
  70. inline Float512 sin(const Float512& x) { return boost::multiprecision::sin(x); }
  71. inline Float512 exp(const Float512& x) { return boost::multiprecision::exp(x); }
  72. using Real = Float512;
  73. using Integer = boost::multiprecision::int512_t;
  74. /*boost::multiprecision::number<
  75. boost::multiprecision::backends::cpp_bin_float<
  76. 1500, boost::multiprecision::backends::digit_base_2, void, boost::int16_t, -16382, 16383>,
  77. boost::multiprecision::et_off>;
  78. inline Real abs(const Real& x) { return boost::multiprecision::abs(x); }
  79. inline Real sqrt(const Real& x) { return boost::multiprecision::sqrt(x); }
  80. inline Real floor(const Real& x) { return boost::multiprecision::floor(x); }
  81. inline Real log(const Real& x) { return boost::multiprecision::log(x); }
  82. inline Real log2(const Real& x) { return boost::multiprecision::log2(x); }
  83. inline Real pow(const Real& x, const Real& y) { return boost::multiprecision::pow(x, y); }
  84. inline Real atan2(const Real& y, const Real& x) { return boost::multiprecision::atan2(y, x); }
  85. inline Real cos(const Real& x) { return boost::multiprecision::cos(x); }
  86. inline Real sin(const Real& x) { return boost::multiprecision::sin(x); }
  87. inline Real exp(const Real& x) { return boost::multiprecision::exp(x); }
  88. */
  89. #else
  90. using Real = double;
  91. using Integer = int64_t;
  92. #endif
  93. using DoubleDouble = dd_real;
  94. using QuadDouble = qd_real;
  95. inline DoubleDouble abs(const DoubleDouble& x) { return ::abs(x); }
  96. inline DoubleDouble sqrt(const DoubleDouble& x) { return ::sqrt(x); }
  97. inline DoubleDouble floor(const DoubleDouble& x) { return ::floor(x); }
  98. inline DoubleDouble log(const DoubleDouble& x) { return ::log(x); }
  99. inline DoubleDouble log2(const DoubleDouble& x) { return ::log(x) / ::log(DoubleDouble(2.0)); }
  100. inline DoubleDouble pow(const DoubleDouble& x, const DoubleDouble& y) { return ::pow(x, y); }
  101. inline DoubleDouble atan2(const DoubleDouble& y, const DoubleDouble& x) { return ::atan2(y, x); }
  102. inline DoubleDouble cos(const DoubleDouble& x) { return ::cos(x); }
  103. inline DoubleDouble sin(const DoubleDouble& x) { return ::sin(x); }
  104. inline DoubleDouble exp(const DoubleDouble& x) { return ::exp(x); }
  105. inline QuadDouble abs(const QuadDouble& x) { return ::abs(x); }
  106. inline QuadDouble sqrt(const QuadDouble& x) { return ::sqrt(x); }
  107. inline QuadDouble floor(const QuadDouble& x) { return ::floor(x); }
  108. inline QuadDouble log(const QuadDouble& x) { return ::log(x); }
  109. inline QuadDouble log2(const QuadDouble& x) { return ::log(x) / ::log(QuadDouble(2.0)); }
  110. inline QuadDouble pow(const QuadDouble& x, const QuadDouble& y) { return ::pow(x, y); }
  111. inline QuadDouble atan2(const QuadDouble& y, const QuadDouble& x) { return ::atan2(y, x); }
  112. inline QuadDouble cos(const QuadDouble& x) { return ::cos(x); }
  113. inline QuadDouble sin(const QuadDouble& x) { return ::sin(x); }
  114. inline QuadDouble exp(const QuadDouble& x) { return ::exp(x); }
  115. inline double abs(double x) { return ::abs(x); }
  116. inline float abs(float x) { return ::abs(x); }
  117. inline double sqrt(double x) { return ::sqrt(x); }
  118. inline float sqrt(float x) { return ::sqrtf(x); }
  119. inline double floor(double x) { return ::floor(x); }
  120. inline float floor(float x) { return ::floorf(x); }
  121. inline double log(double x) { return ::log(x); }
  122. inline float log(float x) { return ::logf(x); }
  123. inline double log2(double x) { return ::log2(x); }
  124. inline float log2(float x) { return ::log2f(x); }
  125. inline double atan2(double x, double y) { return ::atan2(x, y); }
  126. inline float atan2(float x, float y) { return ::atan2(x, y); }
  127. inline double pow(double x, double y) { return ::pow(x, y); }
  128. inline float pow(float x, float y) { return ::powf(x, y); }
  129. inline double cos(double x) { return ::cos(x); }
  130. inline float cos(float x) { return ::cos(x); }
  131. inline double sin(double x) { return ::sin(x); }
  132. inline float sin(float x) { return ::sin(x); }
  133. inline double exp(double x) { return ::exp(x); }
  134. inline float exp(float x) { return ::exp(x); }
  135. template<typename T, typename U>
  136. T convert(const U& x)
  137. {
  138. return static_cast<T>(x);
  139. }
  140. #if defined(WITH_BOOST)
  141. template<>
  142. inline DoubleDouble convert<DoubleDouble, Real>(const Real& x)
  143. {
  144. double s = static_cast<double>(x);
  145. double e = static_cast<double>(x - s);
  146. return DoubleDouble{ s, e };
  147. }
  148. template<>
  149. inline LightDoubleDouble convert<LightDoubleDouble, Real>(const Real& x)
  150. {
  151. double s = static_cast<double>(x);
  152. double e = static_cast<double>(x - s);
  153. return LightDoubleDouble{ s, e };
  154. }
  155. template<>
  156. inline float convert<float, DoubleDouble>(const DoubleDouble& x)
  157. {
  158. return float(x.x[0] + x.x[1]);
  159. }
  160. template<>
  161. inline float convert<float, LightDoubleDouble>(const LightDoubleDouble& x)
  162. {
  163. return float(x[0] + x[1]);
  164. }
  165. template<>
  166. inline QuadDouble convert<QuadDouble, Real>(const Real& x)
  167. {
  168. double s = static_cast<double>(x);
  169. Real tmp = x - s;
  170. double e1 = static_cast<double>(tmp);
  171. tmp = tmp - e1;
  172. double e2 = static_cast<double>(tmp);
  173. tmp = tmp - e2;
  174. double e3 = static_cast<double>(tmp);
  175. return QuadDouble{ s, e1, e2, e3 };
  176. }
  177. template<>
  178. inline float convert<float, QuadDouble>(const QuadDouble& x)
  179. {
  180. return float(x.x[0] + x.x[1] + x.x[2] + x.x[3]);
  181. }
  182. template<>
  183. inline float convert<float, Fixed512>(const Fixed512& x)
  184. {
  185. return float(Real(x));
  186. }
  187. template<>
  188. inline Fixed64 convert<Fixed64, Real>(const Real& x)
  189. {
  190. return Fixed64{ static_cast<int64_t>(x * 0xFFFFFFFFFFFFLL), true };
  191. }
  192. template<>
  193. inline Fixed128 convert<Fixed128, Real>(const Real& x)
  194. {
  195. mnd::Integer i = mnd::Integer(x * mnd::pow(Real(1LL << 32), 3));
  196. uint64_t lo = uint64_t(i & 0xFFFFFFFFFFFFFFFFULL);
  197. uint64_t hi = uint64_t((i >> 64) & 0xFFFFFFFFFFFFFFFFULL);
  198. return Fixed128(hi, lo);
  199. }
  200. #endif
  201. std::string toString(const Real& num);
  202. std::string toLegibleString(const Real& num);
  203. /*
  204. template<typename T>
  205. constexpr mnd::Real precision(void);
  206. */
  207. }
  208. #endif // MANDEL_TYPES_H