summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMark Dickinson <dickinsm@gmail.com>2009-04-07 11:53:52 (GMT)
committerMark Dickinson <dickinsm@gmail.com>2009-04-07 11:53:52 (GMT)
commit638805f8603f6ac8fb5cef6fcc2017fa41925416 (patch)
treed3ed092cedbba4999d1b38ffe78d9b5069758253
parent79d0b0e0ad577b2cca14d27d501beab04a57470c (diff)
downloadcpython-638805f8603f6ac8fb5cef6fcc2017fa41925416.zip
cpython-638805f8603f6ac8fb5cef6fcc2017fa41925416.tar.gz
cpython-638805f8603f6ac8fb5cef6fcc2017fa41925416.tar.bz2
Revert removal of atof.c and strtod.c in r71341. We're not quite
ready for this yet---this removal should happen as part of the py3k-short-float-repr merge.
-rw-r--r--Python/atof.c50
-rw-r--r--Python/strtod.c156
2 files changed, 206 insertions, 0 deletions
diff --git a/Python/atof.c b/Python/atof.c
new file mode 100644
index 0000000..8fbde38
--- /dev/null
+++ b/Python/atof.c
@@ -0,0 +1,50 @@
+
+/* Just in case you haven't got an atof() around...
+ This one doesn't check for bad syntax or overflow,
+ and is slow and inaccurate.
+ But it's good enough for the occasional string literal... */
+
+#include "pyconfig.h"
+
+#include <ctype.h>
+
+double atof(char *s)
+{
+ double a = 0.0;
+ int e = 0;
+ int c;
+ while ((c = *s++) != '\0' && isdigit(c)) {
+ a = a*10.0 + (c - '0');
+ }
+ if (c == '.') {
+ while ((c = *s++) != '\0' && isdigit(c)) {
+ a = a*10.0 + (c - '0');
+ e = e-1;
+ }
+ }
+ if (c == 'e' || c == 'E') {
+ int sign = 1;
+ int i = 0;
+ c = *s++;
+ if (c == '+')
+ c = *s++;
+ else if (c == '-') {
+ c = *s++;
+ sign = -1;
+ }
+ while (isdigit(c)) {
+ i = i*10 + (c - '0');
+ c = *s++;
+ }
+ e += i*sign;
+ }
+ while (e > 0) {
+ a *= 10.0;
+ e--;
+ }
+ while (e < 0) {
+ a *= 0.1;
+ e++;
+ }
+ return a;
+}
diff --git a/Python/strtod.c b/Python/strtod.c
new file mode 100644
index 0000000..a248460
--- /dev/null
+++ b/Python/strtod.c
@@ -0,0 +1,156 @@
+#include "pyconfig.h"
+
+/* comp.sources.misc strtod(), as posted in comp.lang.tcl,
+ with bugfix for "123000.0" and acceptance of space after 'e' sign nuked.
+
+ ************************************************************
+ * YOU MUST EDIT THE MACHINE-DEPENDENT DEFINITIONS BELOW!!! *
+ ************************************************************
+*/
+
+/* File : stdtod.c (Modified version of str2dbl.c)
+ Author : Richard A. O'Keefe @ Quintus Computer Systems, Inc.
+ Updated: Tuesday August 2nd, 1988
+ Defines: double strtod (char *str, char**ptr)
+*/
+
+/* This is an implementation of the strtod() function described in the
+ System V manuals, with a different name to avoid linker problems.
+ All that str2dbl() does itself is check that the argument is well-formed
+ and is in range. It leaves the work of conversion to atof(), which is
+ assumed to exist and deliver correct results (if they can be represented).
+
+ There are two reasons why this should be provided to the net:
+ (a) some UNIX systems do not yet have strtod(), or do not have it
+ available in the BSD "universe" (but they do have atof()).
+ (b) some of the UNIX systems that *do* have it get it wrong.
+ (some crash with large arguments, some assign the wrong *ptr value).
+ There is a reason why *we* are providing it: we need a correct version
+ of strtod(), and if we give this one away maybe someone will look for
+ mistakes in it and fix them for us (:-).
+*/
+
+/* The following constants are machine-specific. MD{MIN,MAX}EXPT are
+ integers and MD{MIN,MAX}FRAC are strings such that
+ 0.${MDMAXFRAC}e${MDMAXEXPT} is the largest representable double,
+ 0.${MDMINFRAC}e${MDMINEXPT} is the smallest representable +ve double
+ MD{MIN,MAX}FRAC must not have any trailing zeros.
+ The values here are for IEEE-754 64-bit floats.
+ It is not perfectly clear to me whether an IEEE infinity should be
+ returned for overflow, nor what a portable way of writing one is,
+ so HUGE is just 0.MAXFRAC*10**MAXEXPT (this seems still to be the
+ UNIX convention).
+
+ I do know about <values.h>, but the whole point of this file is that
+ we can't always trust that stuff to be there or to be correct.
+*/
+static int MDMINEXPT = -323;
+static char MDMINFRAC[] = "494065645841246544";
+static double ZERO = 0.0;
+
+static int MDMAXEXPT = 309;
+static char MDMAXFRAC[] = "17976931348623157";
+static double HUGE = 1.7976931348623157e308;
+
+extern double atof(const char *); /* Only called when result known to be ok */
+
+#ifdef HAVE_ERRNO_H
+#include <errno.h>
+#endif
+extern int errno;
+
+double strtod(char *str, char **ptr)
+{
+ int sign, scale, dotseen;
+ int esign, expt;
+ char *save;
+ register char *sp, *dp;
+ register int c;
+ char *buforg, *buflim;
+ char buffer[64]; /* 45-digit significant + */
+ /* 13-digit exponent */
+ sp = str;
+ while (*sp == ' ') sp++;
+ sign = 1;
+ if (*sp == '-') sign -= 2, sp++;
+ dotseen = 0, scale = 0;
+ dp = buffer;
+ *dp++ = '0'; *dp++ = '.';
+ buforg = dp, buflim = buffer+48;
+ for (save = sp; c = *sp; sp++)
+ if (c == '.') {
+ if (dotseen) break;
+ dotseen++;
+ } else
+ if ((unsigned)(c-'0') > (unsigned)('9'-'0')) {
+ break;
+ } else
+ if (c == '0') {
+ if (dp != buforg) {
+ /* This is not the first digit, so we want to keep it */
+ if (dp < buflim) *dp++ = c;
+ if (!dotseen) scale++;
+ } else {
+ /* No non-zero digits seen yet */
+ /* If a . has been seen, scale must be adjusted */
+ if (dotseen) scale--;
+ }
+ } else {
+ /* This is a nonzero digit, so we want to keep it */
+ if (dp < buflim) *dp++ = c;
+ /* If it precedes a ., scale must be adjusted */
+ if (!dotseen) scale++;
+ }
+ if (sp == save) {
+ if (ptr) *ptr = str;
+ errno = EDOM; /* what should this be? */
+ return ZERO;
+ }
+
+ while (dp > buforg && dp[-1] == '0') --dp;
+ if (dp == buforg) *dp++ = '0';
+ *dp = '\0';
+ /* Now the contents of buffer are
+ +--+--------+-+--------+
+ |0.|fraction|\|leftover|
+ +--+--------+-+--------+
+ ^dp points here
+ where fraction begins with 0 iff it is "0", and has at most
+ 45 digits in it, and leftover is at least 16 characters.
+ */
+ save = sp, expt = 0, esign = 1;
+ do {
+ c = *sp++;
+ if (c != 'e' && c != 'E') break;
+ c = *sp++;
+ if (c == '-') esign -= 2, c = *sp++; else
+ if (c == '+' /* || c == ' ' */ ) c = *sp++;
+ if ((unsigned)(c-'0') > (unsigned)('9'-'0')) break;
+ while (c == '0') c = *sp++;
+ for (; (unsigned)(c-'0') <= (unsigned)('9'-'0'); c = *sp++)
+ expt = expt*10 + c-'0';
+ if (esign < 0) expt = -expt;
+ save = sp-1;
+ } while (0);
+ if (ptr) *ptr = save;
+ expt += scale;
+ /* Now the number is sign*0.fraction*10**expt */
+ errno = ERANGE;
+ if (expt > MDMAXEXPT) {
+ return HUGE*sign;
+ } else
+ if (expt == MDMAXEXPT) {
+ if (strcmp(buforg, MDMAXFRAC) > 0) return HUGE*sign;
+ } else
+ if (expt < MDMINEXPT) {
+ return ZERO*sign;
+ } else
+ if (expt == MDMINEXPT) {
+ if (strcmp(buforg, MDMINFRAC) < 0) return ZERO*sign;
+ }
+ /* We have now established that the number can be */
+ /* represented without overflow or underflow */
+ (void) sprintf(dp, "E%d", expt);
+ errno = 0;
+ return atof(buffer)*sign;
+}