aboutsummaryrefslogtreecommitdiff
path: root/stdlib/gen-tst-strtod-round.c
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/gen-tst-strtod-round.c')
-rw-r--r--stdlib/gen-tst-strtod-round.c131
1 files changed, 131 insertions, 0 deletions
diff --git a/stdlib/gen-tst-strtod-round.c b/stdlib/gen-tst-strtod-round.c
new file mode 100644
index 0000000000..0a89ff71af
--- /dev/null
+++ b/stdlib/gen-tst-strtod-round.c
@@ -0,0 +1,131 @@
+/* Generate table of tests in tst-strtod-round.c from
+ tst-strtod-round-data.
+ Copyright (C) 2012 Free Software Foundation, Inc.
+ This file is part of the GNU C Library.
+
+ The GNU C Library is free software; you can redistribute it and/or
+ modify it under the terms of the GNU Lesser General Public
+ License as published by the Free Software Foundation; either
+ version 2.1 of the License, or (at your option) any later version.
+
+ The GNU C Library is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ Lesser General Public License for more details.
+
+ You should have received a copy of the GNU Lesser General Public
+ License along with the GNU C Library; if not, see
+ <http://www.gnu.org/licenses/>. */
+
+#define _GNU_SOURCE
+#include <stdbool.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <mpfr.h>
+
+/* Work around incorrect ternary value from mpfr_strtofr
+ <https://sympa.inria.fr/sympa/arc/mpfr/2012-08/msg00005.html>. */
+#define WORKAROUND
+
+static int
+string_to_fp (mpfr_t f, const char *s, mpfr_rnd_t rnd)
+{
+#ifdef WORKAROUND
+ mpfr_t f2;
+ mpfr_init2 (f2, 100000);
+ int r0 = mpfr_strtofr (f2, s, NULL, 0, rnd);
+ int r = mpfr_set (f, f2, rnd);
+ mpfr_subnormalize (f, r, rnd);
+ mpfr_clear (f2);
+ return r0 | r;
+#else
+ int r = mpfr_strtofr (f, s, NULL, 0, rnd);
+ mpfr_subnormalize (f, r, rnd);
+ return r;
+#endif
+}
+
+static void
+print_fp (mpfr_t f, const char *suffix, const char *suffix2)
+{
+ if (mpfr_inf_p (f))
+ mpfr_printf ("\t%sINFINITY%s", mpfr_signbit (f) ? "-" : "", suffix2);
+ else
+ mpfr_printf ("\t%Ra%s%s", f, suffix, suffix2);
+}
+
+static void
+round_str (const char *s, const char *suffix,
+ int prec, int emin, int emax, bool need_exact)
+{
+ mpfr_t f;
+ mpfr_set_default_prec (prec);
+ mpfr_set_emin (emin);
+ mpfr_set_emax (emax);
+ mpfr_init (f);
+ int r = string_to_fp (f, s, MPFR_RNDD);
+ if (need_exact)
+ mpfr_printf ("\t%s,\n", r ? "false" : "true");
+ print_fp (f, suffix, ",\n");
+ string_to_fp (f, s, MPFR_RNDN);
+ print_fp (f, suffix, ",\n");
+ string_to_fp (f, s, MPFR_RNDZ);
+ print_fp (f, suffix, ",\n");
+ string_to_fp (f, s, MPFR_RNDU);
+ print_fp (f, suffix, "");
+ mpfr_clear (f);
+}
+
+static void
+round_for_all (const char *s)
+{
+ static const struct fmt {
+ const char *suffix;
+ int prec;
+ int emin;
+ int emax;
+ bool need_exact;
+ } formats[6] = {
+ { "f", 24, -148, 128, false },
+ { "", 53, -1073, 1024, false },
+ { "L", 53, -1073, 1024, false },
+ { "L", 64, -16444, 16384, false },
+ { "L", 106, -1073, 1024, true },
+ { "L", 113, -16493, 16384, false },
+ };
+ mpfr_printf (" TEST (\"");
+ const char *p;
+ for (p = s; *p; p++)
+ {
+ putchar (*p);
+ if ((p - s) % 60 == 59 && p[1])
+ mpfr_printf ("\"\n\t\"");
+ }
+ mpfr_printf ("\",\n");
+ int i;
+ for (i = 0; i < 6; i++)
+ {
+ round_str (s, formats[i].suffix, formats[i].prec,
+ formats[i].emin, formats[i].emax, formats[i].need_exact);
+ if (i < 5)
+ mpfr_printf (",\n");
+ }
+ mpfr_printf ("),\n");
+}
+
+int
+main (void)
+{
+ char *p = NULL;
+ size_t len;
+ ssize_t nbytes;
+ while ((nbytes = getline (&p, &len, stdin)) != -1)
+ {
+ if (p[nbytes - 1] == '\n')
+ p[nbytes - 1] = 0;
+ round_for_all (p);
+ free (p);
+ p = NULL;
+ }
+ return 0;
+}