blob: 17f70b2210389593f8a16b03de29c5060043d21a [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Float object implementation */
3
Guido van Rossum2a9096b1990-10-21 22:15:08 +00004/* XXX There should be overflow checks here, but it's hard to check
5 for any kind of float exception without losing portability. */
6
Guido van Rossumc0b618a1997-05-02 03:12:38 +00007#include "Python.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00008
Guido van Rossum3f5da241990-12-20 15:06:42 +00009#include <ctype.h>
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000010
Guido van Rossum9575a441993-04-07 14:06:14 +000011#ifdef i860
12/* Cray APP has bogus definition of HUGE_VAL in <math.h> */
13#undef HUGE_VAL
14#endif
15
Guido van Rossum9d81b551996-06-26 18:27:19 +000016#if defined(HUGE_VAL) && !defined(CHECK)
Guido van Rossum7fa52f81991-12-16 15:43:14 +000017#define CHECK(x) if (errno != 0) ; \
18 else if (-HUGE_VAL <= (x) && (x) <= HUGE_VAL) ; \
19 else errno = ERANGE
Guido van Rossum9d81b551996-06-26 18:27:19 +000020#endif
21
22#ifndef CHECK
Guido van Rossum7fa52f81991-12-16 15:43:14 +000023#define CHECK(x) /* Don't know how to check */
24#endif
25
Guido van Rossum07e3a7e1995-02-27 10:13:37 +000026#if !defined(__STDC__) && !defined(macintosh)
Tim Petersdbd9ba62000-07-09 03:09:57 +000027extern double fmod(double, double);
28extern double pow(double, double);
Guido van Rossum6923e131990-11-02 17:50:43 +000029#endif
30
Guido van Rossum3c03fa81997-10-31 17:00:30 +000031#ifdef sun
32/* On SunOS4.1 only libm.a exists. Make sure that references to all
33 needed math functions exist in the executable, so that dynamic
34 loading of mathmodule does not fail. */
35double (*_Py_math_funcs_hack[])() = {
36 acos, asin, atan, atan2, ceil, cos, cosh, exp, fabs, floor,
37 fmod, log, log10, pow, sin, sinh, sqrt, tan, tanh
38};
39#endif
40
Guido van Rossum93ad0df1997-05-13 21:00:42 +000041/* Special free list -- see comments for same code in intobject.c. */
Guido van Rossum93ad0df1997-05-13 21:00:42 +000042#define BLOCK_SIZE 1000 /* 1K less typical malloc overhead */
Guido van Rossum3fce8831999-03-12 19:43:17 +000043#define BHEAD_SIZE 8 /* Enough for a 64-bit pointer */
Guido van Rossumf61bbc81999-03-12 00:12:21 +000044#define N_FLOATOBJECTS ((BLOCK_SIZE - BHEAD_SIZE) / sizeof(PyFloatObject))
Guido van Rossum3fce8831999-03-12 19:43:17 +000045
Guido van Rossum3fce8831999-03-12 19:43:17 +000046struct _floatblock {
47 struct _floatblock *next;
48 PyFloatObject objects[N_FLOATOBJECTS];
49};
50
51typedef struct _floatblock PyFloatBlock;
52
53static PyFloatBlock *block_list = NULL;
54static PyFloatObject *free_list = NULL;
55
Guido van Rossum93ad0df1997-05-13 21:00:42 +000056static PyFloatObject *
Fred Drakefd99de62000-07-09 05:02:18 +000057fill_free_list(void)
Guido van Rossum93ad0df1997-05-13 21:00:42 +000058{
59 PyFloatObject *p, *q;
Guido van Rossumb18618d2000-05-03 23:44:39 +000060 /* XXX Float blocks escape the object heap. Use PyObject_MALLOC ??? */
61 p = (PyFloatObject *) PyMem_MALLOC(sizeof(PyFloatBlock));
Guido van Rossum93ad0df1997-05-13 21:00:42 +000062 if (p == NULL)
Guido van Rossumb18618d2000-05-03 23:44:39 +000063 return (PyFloatObject *) PyErr_NoMemory();
Guido van Rossum3fce8831999-03-12 19:43:17 +000064 ((PyFloatBlock *)p)->next = block_list;
65 block_list = (PyFloatBlock *)p;
66 p = &((PyFloatBlock *)p)->objects[0];
Guido van Rossum93ad0df1997-05-13 21:00:42 +000067 q = p + N_FLOATOBJECTS;
68 while (--q > p)
Guido van Rossumf61bbc81999-03-12 00:12:21 +000069 q->ob_type = (struct _typeobject *)(q-1);
70 q->ob_type = NULL;
Guido van Rossum93ad0df1997-05-13 21:00:42 +000071 return p + N_FLOATOBJECTS - 1;
72}
73
Guido van Rossumc0b618a1997-05-02 03:12:38 +000074PyObject *
Guido van Rossumc0b618a1997-05-02 03:12:38 +000075PyFloat_FromDouble(double fval)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000076{
Guido van Rossum93ad0df1997-05-13 21:00:42 +000077 register PyFloatObject *op;
78 if (free_list == NULL) {
79 if ((free_list = fill_free_list()) == NULL)
80 return NULL;
81 }
Guido van Rossumb18618d2000-05-03 23:44:39 +000082 /* PyObject_New is inlined */
Guido van Rossum93ad0df1997-05-13 21:00:42 +000083 op = free_list;
Guido van Rossumf61bbc81999-03-12 00:12:21 +000084 free_list = (PyFloatObject *)op->ob_type;
Guido van Rossumb18618d2000-05-03 23:44:39 +000085 PyObject_INIT(op, &PyFloat_Type);
Guido van Rossum2a9096b1990-10-21 22:15:08 +000086 op->ob_fval = fval;
Guido van Rossumc0b618a1997-05-02 03:12:38 +000087 return (PyObject *) op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000088}
89
Tim Petersef14d732000-09-23 03:39:17 +000090/**************************************************************************
91RED_FLAG 22-Sep-2000 tim
92PyFloat_FromString's pend argument is braindead. Prior to this RED_FLAG,
93
941. If v was a regular string, *pend was set to point to its terminating
95 null byte. That's useless (the caller can find that without any
96 help from this function!).
97
982. If v was a Unicode string, or an object convertible to a character
99 buffer, *pend was set to point into stack trash (the auto temp
100 vector holding the character buffer). That was downright dangerous.
101
102Since we can't change the interface of a public API function, pend is
103still supported but now *officially* useless: if pend is not NULL,
104*pend is set to NULL.
105**************************************************************************/
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000106PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000107PyFloat_FromString(PyObject *v, char **pend)
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000108{
Guido van Rossum4c08d552000-03-10 22:55:18 +0000109 const char *s, *last, *end;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000110 double x;
Tim Petersef14d732000-09-23 03:39:17 +0000111 char buffer[256]; /* for errors */
112 char s_buffer[256]; /* for objects convertible to a char buffer */
Guido van Rossum4c08d552000-03-10 22:55:18 +0000113 int len;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000114
Tim Petersef14d732000-09-23 03:39:17 +0000115 if (pend)
116 *pend = NULL;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000117 if (PyString_Check(v)) {
118 s = PyString_AS_STRING(v);
119 len = PyString_GET_SIZE(v);
120 }
Guido van Rossum9e896b32000-04-05 20:11:21 +0000121 else if (PyUnicode_Check(v)) {
Guido van Rossum9e896b32000-04-05 20:11:21 +0000122 if (PyUnicode_GET_SIZE(v) >= sizeof(s_buffer)) {
123 PyErr_SetString(PyExc_ValueError,
Tim Petersef14d732000-09-23 03:39:17 +0000124 "Unicode float() literal too long to convert");
Guido van Rossum9e896b32000-04-05 20:11:21 +0000125 return NULL;
126 }
Tim Petersef14d732000-09-23 03:39:17 +0000127 if (PyUnicode_EncodeDecimal(PyUnicode_AS_UNICODE(v),
Guido van Rossum9e896b32000-04-05 20:11:21 +0000128 PyUnicode_GET_SIZE(v),
129 s_buffer,
130 NULL))
131 return NULL;
132 s = s_buffer;
Trent Micka248fb62000-08-12 21:37:39 +0000133 len = (int)strlen(s);
Guido van Rossum9e896b32000-04-05 20:11:21 +0000134 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000135 else if (PyObject_AsCharBuffer(v, &s, &len)) {
136 PyErr_SetString(PyExc_TypeError,
137 "float() needs a string argument");
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000138 return NULL;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000139 }
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000140
Guido van Rossum4c08d552000-03-10 22:55:18 +0000141 last = s + len;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000142 while (*s && isspace(Py_CHARMASK(*s)))
143 s++;
Tim Petersef14d732000-09-23 03:39:17 +0000144 if (*s == '\0') {
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000145 PyErr_SetString(PyExc_ValueError, "empty string for float()");
146 return NULL;
147 }
Tim Petersef14d732000-09-23 03:39:17 +0000148 /* We don't care about overflow or underflow. If the platform supports
149 * them, infinities and signed zeroes (on underflow) are fine.
150 * However, strtod can return 0 for denormalized numbers, where atof
151 * does not. So (alas!) we special-case a zero result. Note that
152 * whether strtod sets errno on underflow is not defined, so we can't
153 * key off errno.
154 */
Tim Peters858346e2000-09-25 21:01:28 +0000155 PyFPE_START_PROTECT("strtod", return NULL)
Tim Petersef14d732000-09-23 03:39:17 +0000156 x = strtod(s, (char **)&end);
Tim Peters858346e2000-09-25 21:01:28 +0000157 PyFPE_END_PROTECT(x)
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000158 errno = 0;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000159 /* Believe it or not, Solaris 2.6 can move end *beyond* the null
Tim Petersef14d732000-09-23 03:39:17 +0000160 byte at the end of the string, when the input is inf(inity). */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000161 if (end > last)
162 end = last;
Tim Petersef14d732000-09-23 03:39:17 +0000163 if (end == s) {
164 sprintf(buffer, "invalid literal for float(): %.200s", s);
165 PyErr_SetString(PyExc_ValueError, buffer);
166 return NULL;
167 }
168 /* Since end != s, the platform made *some* kind of sense out
169 of the input. Trust it. */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000170 while (*end && isspace(Py_CHARMASK(*end)))
171 end++;
172 if (*end != '\0') {
173 sprintf(buffer, "invalid literal for float(): %.200s", s);
174 PyErr_SetString(PyExc_ValueError, buffer);
175 return NULL;
176 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000177 else if (end != last) {
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000178 PyErr_SetString(PyExc_ValueError,
179 "null byte in argument for float()");
180 return NULL;
181 }
Tim Petersef14d732000-09-23 03:39:17 +0000182 if (x == 0.0) {
183 /* See above -- may have been strtod being anal
184 about denorms. */
Tim Peters858346e2000-09-25 21:01:28 +0000185 PyFPE_START_PROTECT("atof", return NULL)
Tim Petersef14d732000-09-23 03:39:17 +0000186 x = atof(s);
Tim Peters858346e2000-09-25 21:01:28 +0000187 PyFPE_END_PROTECT(x)
Tim Petersef14d732000-09-23 03:39:17 +0000188 errno = 0; /* whether atof ever set errno is undefined */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000189 }
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000190 return PyFloat_FromDouble(x);
191}
192
Guido van Rossum234f9421993-06-17 12:35:49 +0000193static void
Fred Drakefd99de62000-07-09 05:02:18 +0000194float_dealloc(PyFloatObject *op)
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000195{
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000196 op->ob_type = (struct _typeobject *)free_list;
Guido van Rossum93ad0df1997-05-13 21:00:42 +0000197 free_list = op;
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000198}
199
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000200double
Fred Drakefd99de62000-07-09 05:02:18 +0000201PyFloat_AsDouble(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000202{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000203 PyNumberMethods *nb;
204 PyFloatObject *fo;
Guido van Rossumb6775db1994-08-01 11:34:53 +0000205 double val;
206
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000207 if (op && PyFloat_Check(op))
208 return PyFloat_AS_DOUBLE((PyFloatObject*) op);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000209
210 if (op == NULL || (nb = op->ob_type->tp_as_number) == NULL ||
211 nb->nb_float == NULL) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000212 PyErr_BadArgument();
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000213 return -1;
214 }
Guido van Rossumb6775db1994-08-01 11:34:53 +0000215
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000216 fo = (PyFloatObject*) (*nb->nb_float) (op);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000217 if (fo == NULL)
218 return -1;
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000219 if (!PyFloat_Check(fo)) {
220 PyErr_SetString(PyExc_TypeError,
221 "nb_float should return float object");
Guido van Rossumb6775db1994-08-01 11:34:53 +0000222 return -1;
223 }
224
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000225 val = PyFloat_AS_DOUBLE(fo);
226 Py_DECREF(fo);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000227
228 return val;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000229}
230
231/* Methods */
232
Guido van Rossum27dec7e1991-06-04 19:42:53 +0000233void
Fred Drakefd99de62000-07-09 05:02:18 +0000234PyFloat_AsStringEx(char *buf, PyFloatObject *v, int precision)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000235{
236 register char *cp;
237 /* Subroutine for float_repr and float_print.
238 We want float numbers to be recognizable as such,
239 i.e., they should contain a decimal point or an exponent.
240 However, %g may print the number as an integer;
241 in such cases, we append ".0" to the string. */
Guido van Rossum57072eb1999-12-23 19:00:28 +0000242 sprintf(buf, "%.*g", precision, v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000243 cp = buf;
244 if (*cp == '-')
245 cp++;
246 for (; *cp != '\0'; cp++) {
247 /* Any non-digit means it's not an integer;
248 this takes care of NAN and INF as well. */
Guido van Rossum9fa2c111995-02-10 17:00:37 +0000249 if (!isdigit(Py_CHARMASK(*cp)))
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000250 break;
251 }
252 if (*cp == '\0') {
253 *cp++ = '.';
254 *cp++ = '0';
255 *cp++ = '\0';
256 }
257}
258
Guido van Rossum57072eb1999-12-23 19:00:28 +0000259/* Precisions used by repr() and str(), respectively.
260
261 The repr() precision (17 significant decimal digits) is the minimal number
262 that is guaranteed to have enough precision so that if the number is read
263 back in the exact same binary value is recreated. This is true for IEEE
264 floating point by design, and also happens to work for all other modern
265 hardware.
266
267 The str() precision is chosen so that in most cases, the rounding noise
268 created by various operations is suppressed, while giving plenty of
269 precision for practical use.
270
271*/
272
273#define PREC_REPR 17
274#define PREC_STR 12
275
276void
Fred Drakefd99de62000-07-09 05:02:18 +0000277PyFloat_AsString(char *buf, PyFloatObject *v)
Guido van Rossum57072eb1999-12-23 19:00:28 +0000278{
279 PyFloat_AsStringEx(buf, v, PREC_STR);
280}
281
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000282/* ARGSUSED */
Guido van Rossum90933611991-06-07 16:10:43 +0000283static int
Fred Drakefd99de62000-07-09 05:02:18 +0000284float_print(PyFloatObject *v, FILE *fp, int flags)
285 /* flags -- not used but required by interface */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000286{
287 char buf[100];
Guido van Rossum57072eb1999-12-23 19:00:28 +0000288 PyFloat_AsStringEx(buf, v, flags&Py_PRINT_RAW ? PREC_STR : PREC_REPR);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000289 fputs(buf, fp);
Guido van Rossum90933611991-06-07 16:10:43 +0000290 return 0;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000291}
292
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000293static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000294float_repr(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000295{
296 char buf[100];
Guido van Rossum57072eb1999-12-23 19:00:28 +0000297 PyFloat_AsStringEx(buf, v, PREC_REPR);
298 return PyString_FromString(buf);
299}
300
301static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000302float_str(PyFloatObject *v)
Guido van Rossum57072eb1999-12-23 19:00:28 +0000303{
304 char buf[100];
305 PyFloat_AsStringEx(buf, v, PREC_STR);
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000306 return PyString_FromString(buf);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000307}
308
309static int
Fred Drakefd99de62000-07-09 05:02:18 +0000310float_compare(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000311{
312 double i = v->ob_fval;
313 double j = w->ob_fval;
314 return (i < j) ? -1 : (i > j) ? 1 : 0;
315}
316
Fred Drake13634cf2000-06-29 19:17:04 +0000317
Guido van Rossum9bfef441993-03-29 10:43:31 +0000318static long
Fred Drakefd99de62000-07-09 05:02:18 +0000319float_hash(PyFloatObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000320{
Tim Peters39dce292000-08-15 03:34:48 +0000321 return _Py_HashDouble(v->ob_fval);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000322}
323
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000324static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000325float_add(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000326{
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000327 double result;
328 PyFPE_START_PROTECT("add", return 0)
329 result = v->ob_fval + w->ob_fval;
Guido van Rossum45b83911997-03-14 04:32:50 +0000330 PyFPE_END_PROTECT(result)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000331 return PyFloat_FromDouble(result);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000332}
333
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000334static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000335float_sub(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000336{
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000337 double result;
338 PyFPE_START_PROTECT("subtract", return 0)
339 result = v->ob_fval - w->ob_fval;
Guido van Rossum45b83911997-03-14 04:32:50 +0000340 PyFPE_END_PROTECT(result)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000341 return PyFloat_FromDouble(result);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000342}
343
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000344static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000345float_mul(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000346{
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000347 double result;
348
349 PyFPE_START_PROTECT("multiply", return 0)
350 result = v->ob_fval * w->ob_fval;
Guido van Rossum45b83911997-03-14 04:32:50 +0000351 PyFPE_END_PROTECT(result)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000352 return PyFloat_FromDouble(result);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000353}
354
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000355static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000356float_div(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000357{
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000358 double result;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000359 if (w->ob_fval == 0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000360 PyErr_SetString(PyExc_ZeroDivisionError, "float division");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000361 return NULL;
362 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000363 PyFPE_START_PROTECT("divide", return 0)
364 result = v->ob_fval / w->ob_fval;
Guido van Rossum45b83911997-03-14 04:32:50 +0000365 PyFPE_END_PROTECT(result)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000366 return PyFloat_FromDouble(result);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000367}
368
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000369static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000370float_rem(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000371{
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000372 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000373 double mod;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000374 wx = w->ob_fval;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000375 if (wx == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000376 PyErr_SetString(PyExc_ZeroDivisionError, "float modulo");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000377 return NULL;
378 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000379 PyFPE_START_PROTECT("modulo", return 0)
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000380 vx = v->ob_fval;
381 mod = fmod(vx, wx);
Guido van Rossum9263e781999-05-06 14:26:34 +0000382 /* note: checking mod*wx < 0 is incorrect -- underflows to
383 0 if wx < sqrt(smallest nonzero double) */
384 if (mod && ((wx < 0) != (mod < 0))) {
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000385 mod += wx;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000386 }
Guido van Rossum45b83911997-03-14 04:32:50 +0000387 PyFPE_END_PROTECT(mod)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000388 return PyFloat_FromDouble(mod);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000389}
390
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000391static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000392float_divmod(PyFloatObject *v, PyFloatObject *w)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000393{
Guido van Rossum15ecff41991-10-20 20:16:45 +0000394 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000395 double div, mod, floordiv;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000396 wx = w->ob_fval;
Guido van Rossum15ecff41991-10-20 20:16:45 +0000397 if (wx == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000398 PyErr_SetString(PyExc_ZeroDivisionError, "float divmod()");
Guido van Rossum15ecff41991-10-20 20:16:45 +0000399 return NULL;
400 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000401 PyFPE_START_PROTECT("divmod", return 0)
Guido van Rossum15ecff41991-10-20 20:16:45 +0000402 vx = v->ob_fval;
403 mod = fmod(vx, wx);
Tim Peters78fc0b52000-09-16 03:54:24 +0000404 /* fmod is typically exact, so vx-mod is *mathematically* an
Guido van Rossum9263e781999-05-06 14:26:34 +0000405 exact multiple of wx. But this is fp arithmetic, and fp
406 vx - mod is an approximation; the result is that div may
407 not be an exact integral value after the division, although
408 it will always be very close to one.
409 */
Guido van Rossum15ecff41991-10-20 20:16:45 +0000410 div = (vx - mod) / wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000411 /* note: checking mod*wx < 0 is incorrect -- underflows to
412 0 if wx < sqrt(smallest nonzero double) */
413 if (mod && ((wx < 0) != (mod < 0))) {
Guido van Rossum15ecff41991-10-20 20:16:45 +0000414 mod += wx;
415 div -= 1.0;
416 }
Guido van Rossum9263e781999-05-06 14:26:34 +0000417 /* snap quotient to nearest integral value */
418 floordiv = floor(div);
419 if (div - floordiv > 0.5)
420 floordiv += 1.0;
Guido van Rossum45b83911997-03-14 04:32:50 +0000421 PyFPE_END_PROTECT(div)
Guido van Rossum9263e781999-05-06 14:26:34 +0000422 return Py_BuildValue("(dd)", floordiv, mod);
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000423}
424
Fred Drakefd99de62000-07-09 05:02:18 +0000425static double powu(double x, long n)
Guido van Rossum39739ea1996-01-12 01:22:56 +0000426{
427 double r = 1.;
428 double p = x;
429 long mask = 1;
430 while (mask > 0 && n >= mask) {
431 if (n & mask)
432 r *= p;
433 mask <<= 1;
434 p *= p;
435 }
436 return r;
437}
438
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000439static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000440float_pow(PyFloatObject *v, PyObject *w, PyFloatObject *z)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000441{
442 double iv, iw, ix;
Guido van Rossum39739ea1996-01-12 01:22:56 +0000443 long intw;
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000444 /* XXX Doesn't handle overflows if z!=None yet; it may never do so :(
445 * The z parameter is really only going to be useful for integers and
446 * long integers. Maybe something clever with logarithms could be done.
447 * [AMK]
448 */
Guido van Rossum39739ea1996-01-12 01:22:56 +0000449 iv = v->ob_fval;
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000450 iw = ((PyFloatObject *)w)->ob_fval;
Guido van Rossum39739ea1996-01-12 01:22:56 +0000451 intw = (long)iw;
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000452 if (iw == intw && -10000 < intw && intw < 10000) {
Guido van Rossum39739ea1996-01-12 01:22:56 +0000453 /* Sort out special cases here instead of relying on pow() */
Guido van Rossum86c04c21996-08-09 20:50:14 +0000454 if (intw == 0) { /* x**0 is 1, even 0**0 */
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000455 PyFPE_START_PROTECT("pow", return 0)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000456 if ((PyObject *)z!=Py_None) {
Guido van Rossum39739ea1996-01-12 01:22:56 +0000457 ix=fmod(1.0, z->ob_fval);
458 if (ix!=0 && z->ob_fval<0) ix+=z->ob_fval;
459 }
460 else ix=1.0;
Guido van Rossum45b83911997-03-14 04:32:50 +0000461 PyFPE_END_PROTECT(ix)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000462 return PyFloat_FromDouble(ix);
Guido van Rossum70d93461991-05-28 21:57:39 +0000463 }
Guido van Rossum86c04c21996-08-09 20:50:14 +0000464 errno = 0;
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000465 PyFPE_START_PROTECT("pow", return 0)
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000466 if (intw > 0)
467 ix = powu(iv, intw);
468 else
469 ix = 1./powu(iv, -intw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000470 PyFPE_END_PROTECT(ix)
Guido van Rossum86c04c21996-08-09 20:50:14 +0000471 }
472 else {
473 /* Sort out special cases here instead of relying on pow() */
Guido van Rossum39739ea1996-01-12 01:22:56 +0000474 if (iv == 0.0) {
475 if (iw < 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000476 PyErr_SetString(PyExc_ValueError,
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000477 "0.0 to a negative power");
Guido van Rossum39739ea1996-01-12 01:22:56 +0000478 return NULL;
479 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000480 return PyFloat_FromDouble(0.0);
Guido van Rossum39739ea1996-01-12 01:22:56 +0000481 }
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000482 if (iv < 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000483 PyErr_SetString(PyExc_ValueError,
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000484 "negative number to a float power");
485 return NULL;
486 }
Guido van Rossum39739ea1996-01-12 01:22:56 +0000487 errno = 0;
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000488 PyFPE_START_PROTECT("pow", return 0)
Guido van Rossum39739ea1996-01-12 01:22:56 +0000489 ix = pow(iv, iw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000490 PyFPE_END_PROTECT(ix)
Guido van Rossum70d93461991-05-28 21:57:39 +0000491 }
Guido van Rossum7fa52f81991-12-16 15:43:14 +0000492 CHECK(ix);
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000493 if (errno != 0) {
494 /* XXX could it be another type of error? */
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000495 PyErr_SetFromErrno(PyExc_OverflowError);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000496 return NULL;
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000497 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000498 if ((PyObject *)z!=Py_None) {
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000499 PyFPE_START_PROTECT("pow", return 0)
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000500 ix=fmod(ix, z->ob_fval); /* XXX To Be Rewritten */
501 if ( ix!=0 &&
502 ((iv<0 && z->ob_fval>0) || (iv>0 && z->ob_fval<0) )) {
503 ix+=z->ob_fval;
504 }
Guido van Rossum45b83911997-03-14 04:32:50 +0000505 PyFPE_END_PROTECT(ix)
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000506 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000507 return PyFloat_FromDouble(ix);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000508}
509
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000510static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000511float_neg(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000512{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000513 return PyFloat_FromDouble(-v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000514}
515
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000516static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000517float_pos(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000518{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000519 Py_INCREF(v);
520 return (PyObject *)v;
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000521}
522
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000523static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000524float_abs(PyFloatObject *v)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000525{
526 if (v->ob_fval < 0)
527 return float_neg(v);
528 else
529 return float_pos(v);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000530}
531
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000532static int
Fred Drakefd99de62000-07-09 05:02:18 +0000533float_nonzero(PyFloatObject *v)
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000534{
535 return v->ob_fval != 0.0;
536}
537
Guido van Rossum234f9421993-06-17 12:35:49 +0000538static int
Fred Drakefd99de62000-07-09 05:02:18 +0000539float_coerce(PyObject **pv, PyObject **pw)
Guido van Rossume6eefc21992-08-14 12:06:52 +0000540{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000541 if (PyInt_Check(*pw)) {
542 long x = PyInt_AsLong(*pw);
543 *pw = PyFloat_FromDouble((double)x);
544 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000545 return 0;
546 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000547 else if (PyLong_Check(*pw)) {
548 *pw = PyFloat_FromDouble(PyLong_AsDouble(*pw));
549 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000550 return 0;
551 }
552 return 1; /* Can't do it */
553}
554
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000555static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000556float_int(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000557{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000558 double x = PyFloat_AsDouble(v);
Guido van Rossum03093a21994-09-28 15:51:32 +0000559 if (x < 0 ? (x = ceil(x)) < (double)LONG_MIN
560 : (x = floor(x)) > (double)LONG_MAX) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000561 PyErr_SetString(PyExc_OverflowError,
562 "float too large to convert");
Guido van Rossum03093a21994-09-28 15:51:32 +0000563 return NULL;
564 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000565 return PyInt_FromLong((long)x);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000566}
567
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000568static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000569float_long(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000570{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000571 double x = PyFloat_AsDouble(v);
572 return PyLong_FromDouble(x);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000573}
574
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000575static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000576float_float(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000577{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000578 Py_INCREF(v);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000579 return v;
580}
581
582
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000583static PyNumberMethods float_as_number = {
Guido van Rossumb6775db1994-08-01 11:34:53 +0000584 (binaryfunc)float_add, /*nb_add*/
585 (binaryfunc)float_sub, /*nb_subtract*/
586 (binaryfunc)float_mul, /*nb_multiply*/
587 (binaryfunc)float_div, /*nb_divide*/
588 (binaryfunc)float_rem, /*nb_remainder*/
589 (binaryfunc)float_divmod, /*nb_divmod*/
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000590 (ternaryfunc)float_pow, /*nb_power*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000591 (unaryfunc)float_neg, /*nb_negative*/
592 (unaryfunc)float_pos, /*nb_positive*/
593 (unaryfunc)float_abs, /*nb_absolute*/
594 (inquiry)float_nonzero, /*nb_nonzero*/
Guido van Rossum27acb331991-10-24 14:55:28 +0000595 0, /*nb_invert*/
596 0, /*nb_lshift*/
597 0, /*nb_rshift*/
598 0, /*nb_and*/
599 0, /*nb_xor*/
600 0, /*nb_or*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000601 (coercion)float_coerce, /*nb_coerce*/
602 (unaryfunc)float_int, /*nb_int*/
603 (unaryfunc)float_long, /*nb_long*/
604 (unaryfunc)float_float, /*nb_float*/
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000605 0, /*nb_oct*/
606 0, /*nb_hex*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000607};
608
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000609PyTypeObject PyFloat_Type = {
610 PyObject_HEAD_INIT(&PyType_Type)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000611 0,
612 "float",
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000613 sizeof(PyFloatObject),
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000614 0,
Guido van Rossumb6775db1994-08-01 11:34:53 +0000615 (destructor)float_dealloc, /*tp_dealloc*/
616 (printfunc)float_print, /*tp_print*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000617 0, /*tp_getattr*/
618 0, /*tp_setattr*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000619 (cmpfunc)float_compare, /*tp_compare*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000620 (reprfunc)float_repr, /*tp_repr*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000621 &float_as_number, /*tp_as_number*/
622 0, /*tp_as_sequence*/
623 0, /*tp_as_mapping*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000624 (hashfunc)float_hash, /*tp_hash*/
625 0, /*tp_call*/
626 (reprfunc)float_str, /*tp_str*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000627};
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000628
629void
Fred Drakefd99de62000-07-09 05:02:18 +0000630PyFloat_Fini(void)
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000631{
Guido van Rossum3fce8831999-03-12 19:43:17 +0000632 PyFloatObject *p;
633 PyFloatBlock *list, *next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000634 int i;
635 int bc, bf; /* block count, number of freed blocks */
636 int frem, fsum; /* remaining unfreed floats per block, total */
637
638 bc = 0;
639 bf = 0;
640 fsum = 0;
641 list = block_list;
642 block_list = NULL;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000643 free_list = NULL;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000644 while (list != NULL) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000645 bc++;
646 frem = 0;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000647 for (i = 0, p = &list->objects[0];
648 i < N_FLOATOBJECTS;
649 i++, p++) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000650 if (PyFloat_Check(p) && p->ob_refcnt != 0)
651 frem++;
652 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000653 next = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000654 if (frem) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000655 list->next = block_list;
656 block_list = list;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000657 for (i = 0, p = &list->objects[0];
658 i < N_FLOATOBJECTS;
659 i++, p++) {
660 if (!PyFloat_Check(p) || p->ob_refcnt == 0) {
661 p->ob_type = (struct _typeobject *)
662 free_list;
663 free_list = p;
664 }
665 }
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000666 }
667 else {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000668 PyMem_FREE(list); /* XXX PyObject_FREE ??? */
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000669 bf++;
670 }
671 fsum += frem;
Guido van Rossum3fce8831999-03-12 19:43:17 +0000672 list = next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000673 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000674 if (!Py_VerboseFlag)
675 return;
676 fprintf(stderr, "# cleanup floats");
677 if (!fsum) {
678 fprintf(stderr, "\n");
679 }
680 else {
681 fprintf(stderr,
682 ": %d unfreed float%s in %d out of %d block%s\n",
683 fsum, fsum == 1 ? "" : "s",
684 bc - bf, bc, bc == 1 ? "" : "s");
685 }
686 if (Py_VerboseFlag > 1) {
687 list = block_list;
688 while (list != NULL) {
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000689 for (i = 0, p = &list->objects[0];
690 i < N_FLOATOBJECTS;
691 i++, p++) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000692 if (PyFloat_Check(p) && p->ob_refcnt != 0) {
693 char buf[100];
694 PyFloat_AsString(buf, p);
695 fprintf(stderr,
Fred Drakea44d3532000-06-30 15:01:00 +0000696 "# <float at %p, refcnt=%d, val=%s>\n",
697 p, p->ob_refcnt, buf);
Guido van Rossum3fce8831999-03-12 19:43:17 +0000698 }
699 }
700 list = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000701 }
702 }
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000703}