You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

fpconv.c 6.9KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332
  1. #include <stdbool.h>
  2. #include <string.h>
  3. #include "fpconv.h"
  4. #include "powers.h"
  5. #define fracmask 0x000FFFFFFFFFFFFFU
  6. #define expmask 0x7FF0000000000000U
  7. #define hiddenbit 0x0010000000000000U
  8. #define signmask 0x8000000000000000U
  9. #define expbias (1023 + 52)
  10. #define absv(n) ((n) < 0 ? -(n) : (n))
  11. #define minv(a, b) ((a) < (b) ? (a) : (b))
  12. static uint64_t tens[] = {
  13. 10000000000000000000U, 1000000000000000000U, 100000000000000000U,
  14. 10000000000000000U, 1000000000000000U, 100000000000000U,
  15. 10000000000000U, 1000000000000U, 100000000000U,
  16. 10000000000U, 1000000000U, 100000000U,
  17. 10000000U, 1000000U, 100000U,
  18. 10000U, 1000U, 100U,
  19. 10U, 1U
  20. };
  21. static inline uint64_t get_dbits(double d)
  22. {
  23. union {
  24. double dbl;
  25. uint64_t i;
  26. } dbl_bits = { d };
  27. return dbl_bits.i;
  28. }
  29. static Fp build_fp(double d)
  30. {
  31. uint64_t bits = get_dbits(d);
  32. Fp fp;
  33. fp.frac = bits & fracmask;
  34. fp.exp = (bits & expmask) >> 52;
  35. if(fp.exp) {
  36. fp.frac += hiddenbit;
  37. fp.exp -= expbias;
  38. } else {
  39. fp.exp = -expbias + 1;
  40. }
  41. return fp;
  42. }
  43. static void normalize(Fp* fp)
  44. {
  45. while ((fp->frac & hiddenbit) == 0) {
  46. fp->frac <<= 1;
  47. fp->exp--;
  48. }
  49. int shift = 64 - 52 - 1;
  50. fp->frac <<= shift;
  51. fp->exp -= shift;
  52. }
  53. static void get_normalized_boundaries(Fp* fp, Fp* lower, Fp* upper)
  54. {
  55. upper->frac = (fp->frac << 1) + 1;
  56. upper->exp = fp->exp - 1;
  57. while ((upper->frac & (hiddenbit << 1)) == 0) {
  58. upper->frac <<= 1;
  59. upper->exp--;
  60. }
  61. int u_shift = 64 - 52 - 2;
  62. upper->frac <<= u_shift;
  63. upper->exp = upper->exp - u_shift;
  64. int l_shift = fp->frac == hiddenbit ? 2 : 1;
  65. lower->frac = (fp->frac << l_shift) - 1;
  66. lower->exp = fp->exp - l_shift;
  67. lower->frac <<= lower->exp - upper->exp;
  68. lower->exp = upper->exp;
  69. }
  70. static Fp multiply(Fp* a, Fp* b)
  71. {
  72. const uint64_t lomask = 0x00000000FFFFFFFF;
  73. uint64_t ah_bl = (a->frac >> 32) * (b->frac & lomask);
  74. uint64_t al_bh = (a->frac & lomask) * (b->frac >> 32);
  75. uint64_t al_bl = (a->frac & lomask) * (b->frac & lomask);
  76. uint64_t ah_bh = (a->frac >> 32) * (b->frac >> 32);
  77. uint64_t tmp = (ah_bl & lomask) + (al_bh & lomask) + (al_bl >> 32);
  78. /* round up */
  79. tmp += 1U << 31;
  80. Fp fp = {
  81. ah_bh + (ah_bl >> 32) + (al_bh >> 32) + (tmp >> 32),
  82. a->exp + b->exp + 64
  83. };
  84. return fp;
  85. }
  86. static void round_digit(char* digits, int ndigits, uint64_t delta, uint64_t rem, uint64_t kappa, uint64_t frac)
  87. {
  88. while (rem < frac && delta - rem >= kappa &&
  89. (rem + kappa < frac || frac - rem > rem + kappa - frac)) {
  90. digits[ndigits - 1]--;
  91. rem += kappa;
  92. }
  93. }
  94. static int generate_digits(Fp* fp, Fp* upper, Fp* lower, char* digits, int* K)
  95. {
  96. uint64_t wfrac = upper->frac - fp->frac;
  97. uint64_t delta = upper->frac - lower->frac;
  98. Fp one;
  99. one.frac = 1ULL << -upper->exp;
  100. one.exp = upper->exp;
  101. uint64_t part1 = upper->frac >> -one.exp;
  102. uint64_t part2 = upper->frac & (one.frac - 1);
  103. int idx = 0, kappa = 10;
  104. uint64_t* divp;
  105. /* 1000000000 */
  106. for(divp = tens + 10; kappa > 0; divp++) {
  107. uint64_t div = *divp;
  108. unsigned digit = part1 / div;
  109. if (digit || idx) {
  110. digits[idx++] = digit + '0';
  111. }
  112. part1 -= digit * div;
  113. kappa--;
  114. uint64_t tmp = (part1 <<-one.exp) + part2;
  115. if (tmp <= delta) {
  116. *K += kappa;
  117. round_digit(digits, idx, delta, tmp, div << -one.exp, wfrac);
  118. return idx;
  119. }
  120. }
  121. /* 10 */
  122. uint64_t* unit = tens + 18;
  123. while(true) {
  124. part2 *= 10;
  125. delta *= 10;
  126. kappa--;
  127. unsigned digit = part2 >> -one.exp;
  128. if (digit || idx) {
  129. digits[idx++] = digit + '0';
  130. }
  131. part2 &= one.frac - 1;
  132. if (part2 < delta) {
  133. *K += kappa;
  134. round_digit(digits, idx, delta, part2, one.frac, wfrac * *unit);
  135. return idx;
  136. }
  137. unit--;
  138. }
  139. }
  140. static int grisu2(double d, char* digits, int* K)
  141. {
  142. Fp w = build_fp(d);
  143. Fp lower, upper;
  144. get_normalized_boundaries(&w, &lower, &upper);
  145. normalize(&w);
  146. int k;
  147. Fp cp = find_cachedpow10(upper.exp, &k);
  148. w = multiply(&w, &cp);
  149. upper = multiply(&upper, &cp);
  150. lower = multiply(&lower, &cp);
  151. lower.frac++;
  152. upper.frac--;
  153. *K = -k;
  154. return generate_digits(&w, &upper, &lower, digits, K);
  155. }
  156. static int emit_digits(char* digits, int ndigits, char* dest, int K, bool neg)
  157. {
  158. int exp = absv(K + ndigits - 1);
  159. /* write plain integer */
  160. if(K >= 0 && (exp < (ndigits + 7))) {
  161. memcpy(dest, digits, ndigits);
  162. memset(dest + ndigits, '0', K);
  163. return ndigits + K;
  164. }
  165. /* write decimal w/o scientific notation */
  166. if(K < 0 && (K > -7 || exp < 4)) {
  167. int offset = ndigits - absv(K);
  168. /* fp < 1.0 -> write leading zero */
  169. if(offset <= 0) {
  170. offset = -offset;
  171. dest[0] = '0';
  172. dest[1] = '.';
  173. memset(dest + 2, '0', offset);
  174. memcpy(dest + offset + 2, digits, ndigits);
  175. return ndigits + 2 + offset;
  176. /* fp > 1.0 */
  177. } else {
  178. memcpy(dest, digits, offset);
  179. dest[offset] = '.';
  180. memcpy(dest + offset + 1, digits + offset, ndigits - offset);
  181. return ndigits + 1;
  182. }
  183. }
  184. /* write decimal w/ scientific notation */
  185. ndigits = minv(ndigits, 18 - neg);
  186. int idx = 0;
  187. dest[idx++] = digits[0];
  188. if(ndigits > 1) {
  189. dest[idx++] = '.';
  190. memcpy(dest + idx, digits + 1, ndigits - 1);
  191. idx += ndigits - 1;
  192. }
  193. dest[idx++] = 'e';
  194. char sign = K + ndigits - 1 < 0 ? '-' : '+';
  195. dest[idx++] = sign;
  196. int cent = 0;
  197. if(exp > 99) {
  198. cent = exp / 100;
  199. dest[idx++] = cent + '0';
  200. exp -= cent * 100;
  201. }
  202. if(exp > 9) {
  203. int dec = exp / 10;
  204. dest[idx++] = dec + '0';
  205. exp -= dec * 10;
  206. } else if(cent) {
  207. dest[idx++] = '0';
  208. }
  209. dest[idx++] = exp % 10 + '0';
  210. return idx;
  211. }
  212. static int filter_special(double fp, char* dest)
  213. {
  214. if(fp == 0.0) {
  215. dest[0] = '0';
  216. return 1;
  217. }
  218. uint64_t bits = get_dbits(fp);
  219. bool nan = (bits & expmask) == expmask;
  220. if(!nan) {
  221. return 0;
  222. }
  223. if(bits & fracmask) {
  224. dest[0] = 'n'; dest[1] = 'a'; dest[2] = 'n';
  225. } else {
  226. dest[0] = 'i'; dest[1] = 'n'; dest[2] = 'f';
  227. }
  228. return 3;
  229. }
  230. int fpconv_dtoa(double d, char dest[24])
  231. {
  232. char digits[18];
  233. int str_len = 0;
  234. bool neg = false;
  235. if(get_dbits(d) & signmask) {
  236. dest[0] = '-';
  237. str_len++;
  238. neg = true;
  239. }
  240. int spec = filter_special(d, dest + str_len);
  241. if(spec) {
  242. return str_len + spec;
  243. }
  244. int K = 0;
  245. int ndigits = grisu2(d, digits, &K);
  246. str_len += emit_digits(digits, ndigits, dest + str_len, K, neg);
  247. return str_len;
  248. }