generic_float.odin 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437
  1. package strconv
  2. using import "core:decimal"
  3. Int_Flag :: enum {
  4. Prefix,
  5. Plus,
  6. Space,
  7. }
  8. Int_Flags :: bit_set[Int_Flag];
  9. Decimal_Slice :: struct {
  10. digits: []byte,
  11. count: int,
  12. decimal_point: int,
  13. neg: bool,
  14. }
  15. Float_Info :: struct {
  16. mantbits: uint,
  17. expbits: uint,
  18. bias: int,
  19. }
  20. _f16_info := Float_Info{10, 5, -15};
  21. _f32_info := Float_Info{23, 8, -127};
  22. _f64_info := Float_Info{52, 11, -1023};
  23. generic_ftoa :: proc(buf: []byte, val: f64, fmt: byte, prec, bit_size: int) -> []byte {
  24. bits: u64;
  25. flt: ^Float_Info;
  26. switch bit_size {
  27. case 32:
  28. bits = u64(transmute(u32)f32(val));
  29. flt = &_f32_info;
  30. case 64:
  31. bits = transmute(u64)val;
  32. flt = &_f64_info;
  33. case:
  34. panic("strconv: invalid bit_size");
  35. }
  36. neg := bits>>(flt.expbits+flt.mantbits) != 0;
  37. exp := int(bits>>flt.mantbits) & (1<<flt.expbits - 1);
  38. mant := bits & (u64(1) << flt.mantbits - 1);
  39. switch exp {
  40. case 1<<flt.expbits - 1:
  41. s: string;
  42. if mant != 0 {
  43. s = "NaN";
  44. } else if neg {
  45. s = "-Inf";
  46. } else {
  47. s = "+Inf";
  48. }
  49. n := copy(buf, cast([]byte)s);
  50. return buf[:n];
  51. case 0: // denormalized
  52. exp += 1;
  53. case:
  54. mant |= u64(1) << flt.mantbits;
  55. }
  56. exp += flt.bias;
  57. d_: Decimal;
  58. d := &d_;
  59. assign(d, mant);
  60. shift(d, exp - int(flt.mantbits));
  61. digs: Decimal_Slice;
  62. shortest := prec < 0;
  63. if shortest {
  64. round_shortest(d, mant, exp, flt);
  65. digs = Decimal_Slice{digits = d.digits[:], count = d.count, decimal_point = d.decimal_point};
  66. switch fmt {
  67. case 'e', 'E': prec = digs.count-1;
  68. case 'f', 'F': prec = max(digs.count-digs.decimal_point, 0);
  69. case 'g', 'G': prec = digs.count;
  70. }
  71. } else {
  72. switch fmt {
  73. case 'e', 'E': round(d, prec+1);
  74. case 'f', 'F': round(d, d.decimal_point+prec);
  75. case 'g', 'G':
  76. if prec == 0 {
  77. prec = 1;
  78. }
  79. round(d, prec);
  80. }
  81. digs = Decimal_Slice{digits = d.digits[:], count = d.count, decimal_point = d.decimal_point};
  82. }
  83. return format_digits(buf, shortest, neg, digs, prec, fmt);
  84. }
  85. format_digits :: proc(buf: []byte, shortest: bool, neg: bool, digs: Decimal_Slice, prec: int, fmt: byte) -> []byte {
  86. Buffer :: struct {
  87. b: []byte,
  88. n: int,
  89. }
  90. to_bytes :: proc(b: Buffer) -> []byte do return b.b[:b.n];
  91. add_bytes :: proc(buf: ^Buffer, bytes: ..byte) {
  92. buf.n += copy(buf.b[buf.n:], bytes);
  93. }
  94. b := Buffer{b = buf};
  95. switch fmt {
  96. case 'f', 'F':
  97. add_bytes(&b, neg ? '-' : '+');
  98. // integer, padded with zeros when needed
  99. if digs.decimal_point > 0 {
  100. m := min(digs.count, digs.decimal_point);
  101. add_bytes(&b, ..digs.digits[0:m]);
  102. for ; m < digs.decimal_point; m += 1 {
  103. add_bytes(&b, '0');
  104. }
  105. } else {
  106. add_bytes(&b, '0');
  107. }
  108. // fractional part
  109. if prec > 0 {
  110. add_bytes(&b, '.');
  111. for i in 0..<prec {
  112. c: byte = '0';
  113. if j := digs.decimal_point + i; 0 <= j && j < digs.count {
  114. c = digs.digits[j];
  115. }
  116. add_bytes(&b, c);
  117. }
  118. }
  119. return to_bytes(b);
  120. case 'e', 'E':
  121. add_bytes(&b, neg ? '-' : '+');
  122. ch := byte('0');
  123. if digs.count != 0 {
  124. ch = digs.digits[0];
  125. }
  126. add_bytes(&b, ch);
  127. if prec > 0 {
  128. add_bytes(&b, '.');
  129. i := 1;
  130. m := min(digs.count, prec+1);
  131. if i < m {
  132. add_bytes(&b, ..digs.digits[i:m]);
  133. i = m;
  134. }
  135. for ; i <= prec; i += 1 {
  136. add_bytes(&b, '0');
  137. }
  138. }
  139. add_bytes(&b, fmt);
  140. exp := digs.decimal_point-1;
  141. if digs.count == 0 {
  142. // Zero has exponent of 0
  143. exp = 0;
  144. }
  145. ch = '+';
  146. if exp < 0 {
  147. ch = '-';
  148. exp = -exp;
  149. }
  150. add_bytes(&b, ch);
  151. switch {
  152. case exp < 10: add_bytes(&b, '0', byte(exp)+'0'); // add prefix 0
  153. case exp < 100: add_bytes(&b, byte(exp/10)+'0', byte(exp%10)+'0');
  154. case: add_bytes(&b, byte(exp/100)+'0', byte(exp/10)%10+'0', byte(exp%10)+'0');
  155. }
  156. return to_bytes(b);
  157. case 'g', 'G':
  158. eprec := prec;
  159. if eprec > digs.count && digs.count >= digs.decimal_point {
  160. eprec = digs.count;
  161. }
  162. if shortest {
  163. eprec = 6;
  164. }
  165. exp := digs.decimal_point - 1;
  166. if exp < -4 || exp >= eprec {
  167. if prec > digs.count {
  168. prec = digs.count;
  169. }
  170. return format_digits(buf, shortest, neg, digs, prec-1, fmt+'e'-'g'); // keep the same case
  171. }
  172. if prec > digs.decimal_point {
  173. prec = digs.count;
  174. }
  175. return format_digits(buf, shortest, neg, digs, max(prec-digs.decimal_point, 0), 'f');
  176. case:
  177. add_bytes(&b, '%', fmt);
  178. return to_bytes(b);
  179. }
  180. }
  181. round_shortest :: proc(d: ^Decimal, mant: u64, exp: int, flt: ^Float_Info) {
  182. if mant == 0 { // If mantissa is zero, the number is zero
  183. d.count = 0;
  184. return;
  185. }
  186. /*
  187. 10^(dp-nd) > 2^(exp-mantbits)
  188. log2(10) * (dp-nd) > exp-mantbits
  189. log(2) >~ 0.332
  190. 332*(dp-nd) >= 100*(exp-mantbits)
  191. */
  192. minexp := flt.bias+1;
  193. if exp > minexp && 332*(d.decimal_point-d.count) >= 100*(exp - int(flt.mantbits)) {
  194. // Number is already its shortest
  195. return;
  196. }
  197. upper_: Decimal; upper := &upper_;
  198. assign(upper, 2*mant - 1);
  199. shift(upper, exp - int(flt.mantbits) - 1);
  200. mantlo: u64;
  201. explo: int;
  202. if mant > 1<<flt.mantbits || exp == minexp {
  203. mantlo = mant-1;
  204. explo = exp;
  205. } else {
  206. mantlo = 2*mant - 1;
  207. explo = exp-1;
  208. }
  209. lower_: Decimal; lower := &lower_;
  210. assign(lower, 2*mantlo + 1);
  211. shift(lower, explo - int(flt.mantbits) - 1);
  212. inclusive := mant%2 == 0;
  213. for i in 0..<d.count {
  214. l: byte = '0'; // lower digit
  215. if i < lower.count {
  216. l = lower.digits[i];
  217. }
  218. m := d.digits[i]; // middle digit
  219. u: byte = '0'; // upper digit
  220. if i < upper.count {
  221. u = upper.digits[i];
  222. }
  223. ok_round_down := l != m || inclusive && i+1 == lower.count;
  224. ok_round_up := m != u && (inclusive || m+1 < u || i+1 < upper.count);
  225. if ok_round_down && ok_round_up {
  226. round(d, i+1);
  227. return;
  228. }
  229. if ok_round_down {
  230. round_down(d, i+1);
  231. return;
  232. }
  233. if ok_round_up {
  234. round_up(d, i+1);
  235. return;
  236. }
  237. }
  238. }
  239. MAX_BASE :: 32;
  240. digits := "0123456789abcdefghijklmnopqrstuvwxyz";
  241. is_integer_negative :: proc(u: u64, is_signed: bool, bit_size: int) -> (unsigned: u64, neg: bool) {
  242. if is_signed {
  243. switch bit_size {
  244. case 8:
  245. i := i8(u);
  246. neg = i < 0;
  247. u = u64(abs(i64(i)));
  248. case 16:
  249. i := i16(u);
  250. neg = i < 0;
  251. u = u64(abs(i64(i)));
  252. case 32:
  253. i := i32(u);
  254. neg = i < 0;
  255. u = u64(abs(i64(i)));
  256. case 64:
  257. i := i64(u);
  258. neg = i < 0;
  259. u = u64(abs(i64(i)));
  260. case:
  261. panic("is_integer_negative: Unknown integer size");
  262. }
  263. }
  264. return u, neg;
  265. }
  266. append_bits :: proc(buf: []byte, u: u64, base: int, is_signed: bool, bit_size: int, digits: string, flags: Int_Flags) -> string {
  267. if base < 2 || base > MAX_BASE {
  268. panic("strconv: illegal base passed to append_bits");
  269. }
  270. neg: bool;
  271. a: [129]byte;
  272. i := len(a);
  273. u, neg = is_integer_negative(u, is_signed, bit_size);
  274. b := u64(base);
  275. for u >= b {
  276. i-=1; a[i] = digits[u % b];
  277. u /= b;
  278. }
  279. i-=1; a[i] = digits[u % b];
  280. if .Prefix in flags {
  281. ok := true;
  282. switch base {
  283. case 2: i-=1; a[i] = 'b';
  284. case 8: i-=1; a[i] = 'o';
  285. case 10: i-=1; a[i] = 'd';
  286. case 12: i-=1; a[i] = 'z';
  287. case 16: i-=1; a[i] = 'x';
  288. case: ok = false;
  289. }
  290. if ok {
  291. i-=1; a[i] = '0';
  292. }
  293. }
  294. switch {
  295. case neg:
  296. i-=1; a[i] = '-';
  297. case .Plus in flags:
  298. i-=1; a[i] = '+';
  299. case .Space in flags:
  300. i-=1; a[i] = ' ';
  301. }
  302. out := a[i:];
  303. copy(buf, out);
  304. return string(buf[0:len(out)]);
  305. }
  306. is_integer_negative_128 :: proc(u: u128, is_signed: bool, bit_size: int) -> (unsigned: u128, neg: bool) {
  307. if is_signed {
  308. switch bit_size {
  309. case 8:
  310. i := i8(u);
  311. neg = i < 0;
  312. u = u128(abs(i128(i)));
  313. case 16:
  314. i := i16(u);
  315. neg = i < 0;
  316. u = u128(abs(i128(i)));
  317. case 32:
  318. i := i32(u);
  319. neg = i < 0;
  320. u = u128(abs(i128(i)));
  321. case 64:
  322. i := i64(u);
  323. neg = i < 0;
  324. u = u128(abs(i128(i)));
  325. case 128:
  326. i := i128(u);
  327. neg = i < 0;
  328. u = u128(abs(i128(i)));
  329. case:
  330. panic("is_integer_negative: Unknown integer size");
  331. }
  332. }
  333. return u, neg;
  334. }
  335. append_bits_128 :: proc(buf: []byte, u: u128, base: int, is_signed: bool, bit_size: int, digits: string, flags: Int_Flags) -> string {
  336. if base < 2 || base > MAX_BASE {
  337. panic("strconv: illegal base passed to append_bits");
  338. }
  339. neg: bool;
  340. a: [140]byte;
  341. i := len(a);
  342. u, neg = is_integer_negative_128(u, is_signed, bit_size);
  343. b := u128(base);
  344. for u >= b {
  345. i-=1; a[i] = digits[u % b];
  346. u /= b;
  347. }
  348. i-=1; a[i] = digits[u % b];
  349. if .Prefix in flags {
  350. ok := true;
  351. switch base {
  352. case 2: i-=1; a[i] = 'b';
  353. case 8: i-=1; a[i] = 'o';
  354. case 10: i-=1; a[i] = 'd';
  355. case 12: i-=1; a[i] = 'z';
  356. case 16: i-=1; a[i] = 'x';
  357. case: ok = false;
  358. }
  359. if ok {
  360. i-=1; a[i] = '0';
  361. }
  362. }
  363. switch {
  364. case neg:
  365. i-=1; a[i] = '-';
  366. case .Plus in flags:
  367. i-=1; a[i] = '+';
  368. case .Space in flags:
  369. i-=1; a[i] = ' ';
  370. }
  371. out := a[i:];
  372. copy(buf, out);
  373. return string(buf[0:len(out)]);
  374. }