blob: d776147c85d32e5107486285166a6e5cbd04502d [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;
Tim Petersc54d1902000-10-06 00:36:09 +0000452
453 /* Sort out special cases here instead of relying on pow() */
454 if (iw == 0) { /* x**0 is 1, even 0**0 */
455 PyFPE_START_PROTECT("pow", return NULL)
456 if ((PyObject *)z != Py_None) {
457 ix = fmod(1.0, z->ob_fval);
458 if (ix != 0 && z->ob_fval < 0)
459 ix += z->ob_fval;
Guido van Rossum70d93461991-05-28 21:57:39 +0000460 }
Tim Petersc54d1902000-10-06 00:36:09 +0000461 else
462 ix = 1.0;
463 PyFPE_END_PROTECT(ix)
464 return PyFloat_FromDouble(ix);
465 }
466 if (iv == 0.0) {
467 if (iw < 0.0) {
468 PyErr_SetString(PyExc_ZeroDivisionError,
469 "0.0 to a negative power");
470 return NULL;
471 }
472 return PyFloat_FromDouble(0.0);
473 }
474
475 if (iw == intw && intw > LONG_MIN) {
476 /* ruled out LONG_MIN because -LONG_MIN isn't representable */
Guido van Rossum86c04c21996-08-09 20:50:14 +0000477 errno = 0;
Tim Petersc54d1902000-10-06 00:36:09 +0000478 PyFPE_START_PROTECT("pow", return NULL)
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000479 if (intw > 0)
480 ix = powu(iv, intw);
481 else
482 ix = 1./powu(iv, -intw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000483 PyFPE_END_PROTECT(ix)
Guido van Rossum86c04c21996-08-09 20:50:14 +0000484 }
485 else {
486 /* Sort out special cases here instead of relying on pow() */
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000487 if (iv < 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000488 PyErr_SetString(PyExc_ValueError,
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000489 "negative number to a float power");
490 return NULL;
491 }
Guido van Rossum39739ea1996-01-12 01:22:56 +0000492 errno = 0;
Tim Petersc54d1902000-10-06 00:36:09 +0000493 PyFPE_START_PROTECT("pow", return NULL)
Guido van Rossum39739ea1996-01-12 01:22:56 +0000494 ix = pow(iv, iw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000495 PyFPE_END_PROTECT(ix)
Guido van Rossum70d93461991-05-28 21:57:39 +0000496 }
Guido van Rossum7fa52f81991-12-16 15:43:14 +0000497 CHECK(ix);
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000498 if (errno != 0) {
499 /* XXX could it be another type of error? */
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000500 PyErr_SetFromErrno(PyExc_OverflowError);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000501 return NULL;
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000502 }
Tim Petersc54d1902000-10-06 00:36:09 +0000503 if ((PyObject *)z != Py_None) {
504 PyFPE_START_PROTECT("pow", return NULL)
505 ix = fmod(ix, z->ob_fval); /* XXX To Be Rewritten */
506 if (ix != 0 &&
507 ((iv < 0 && z->ob_fval > 0) ||
508 (iv > 0 && z->ob_fval < 0)
509 )) {
510 ix += z->ob_fval;
511 }
Guido van Rossum45b83911997-03-14 04:32:50 +0000512 PyFPE_END_PROTECT(ix)
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000513 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000514 return PyFloat_FromDouble(ix);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000515}
516
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000517static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000518float_neg(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000519{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000520 return PyFloat_FromDouble(-v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000521}
522
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000523static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000524float_pos(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000525{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000526 Py_INCREF(v);
527 return (PyObject *)v;
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000528}
529
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000530static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000531float_abs(PyFloatObject *v)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000532{
533 if (v->ob_fval < 0)
534 return float_neg(v);
535 else
536 return float_pos(v);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000537}
538
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000539static int
Fred Drakefd99de62000-07-09 05:02:18 +0000540float_nonzero(PyFloatObject *v)
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000541{
542 return v->ob_fval != 0.0;
543}
544
Guido van Rossum234f9421993-06-17 12:35:49 +0000545static int
Fred Drakefd99de62000-07-09 05:02:18 +0000546float_coerce(PyObject **pv, PyObject **pw)
Guido van Rossume6eefc21992-08-14 12:06:52 +0000547{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000548 if (PyInt_Check(*pw)) {
549 long x = PyInt_AsLong(*pw);
550 *pw = PyFloat_FromDouble((double)x);
551 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000552 return 0;
553 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000554 else if (PyLong_Check(*pw)) {
555 *pw = PyFloat_FromDouble(PyLong_AsDouble(*pw));
556 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000557 return 0;
558 }
559 return 1; /* Can't do it */
560}
561
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000562static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000563float_int(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000564{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000565 double x = PyFloat_AsDouble(v);
Guido van Rossum03093a21994-09-28 15:51:32 +0000566 if (x < 0 ? (x = ceil(x)) < (double)LONG_MIN
567 : (x = floor(x)) > (double)LONG_MAX) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000568 PyErr_SetString(PyExc_OverflowError,
569 "float too large to convert");
Guido van Rossum03093a21994-09-28 15:51:32 +0000570 return NULL;
571 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000572 return PyInt_FromLong((long)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_long(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000577{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000578 double x = PyFloat_AsDouble(v);
579 return PyLong_FromDouble(x);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000580}
581
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000582static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000583float_float(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000584{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000585 Py_INCREF(v);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000586 return v;
587}
588
589
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000590static PyNumberMethods float_as_number = {
Guido van Rossumb6775db1994-08-01 11:34:53 +0000591 (binaryfunc)float_add, /*nb_add*/
592 (binaryfunc)float_sub, /*nb_subtract*/
593 (binaryfunc)float_mul, /*nb_multiply*/
594 (binaryfunc)float_div, /*nb_divide*/
595 (binaryfunc)float_rem, /*nb_remainder*/
596 (binaryfunc)float_divmod, /*nb_divmod*/
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000597 (ternaryfunc)float_pow, /*nb_power*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000598 (unaryfunc)float_neg, /*nb_negative*/
599 (unaryfunc)float_pos, /*nb_positive*/
600 (unaryfunc)float_abs, /*nb_absolute*/
601 (inquiry)float_nonzero, /*nb_nonzero*/
Guido van Rossum27acb331991-10-24 14:55:28 +0000602 0, /*nb_invert*/
603 0, /*nb_lshift*/
604 0, /*nb_rshift*/
605 0, /*nb_and*/
606 0, /*nb_xor*/
607 0, /*nb_or*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000608 (coercion)float_coerce, /*nb_coerce*/
609 (unaryfunc)float_int, /*nb_int*/
610 (unaryfunc)float_long, /*nb_long*/
611 (unaryfunc)float_float, /*nb_float*/
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000612 0, /*nb_oct*/
613 0, /*nb_hex*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000614};
615
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000616PyTypeObject PyFloat_Type = {
617 PyObject_HEAD_INIT(&PyType_Type)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000618 0,
619 "float",
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000620 sizeof(PyFloatObject),
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000621 0,
Guido van Rossumb6775db1994-08-01 11:34:53 +0000622 (destructor)float_dealloc, /*tp_dealloc*/
623 (printfunc)float_print, /*tp_print*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000624 0, /*tp_getattr*/
625 0, /*tp_setattr*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000626 (cmpfunc)float_compare, /*tp_compare*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000627 (reprfunc)float_repr, /*tp_repr*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000628 &float_as_number, /*tp_as_number*/
629 0, /*tp_as_sequence*/
630 0, /*tp_as_mapping*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000631 (hashfunc)float_hash, /*tp_hash*/
632 0, /*tp_call*/
633 (reprfunc)float_str, /*tp_str*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000634};
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000635
636void
Fred Drakefd99de62000-07-09 05:02:18 +0000637PyFloat_Fini(void)
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000638{
Guido van Rossum3fce8831999-03-12 19:43:17 +0000639 PyFloatObject *p;
640 PyFloatBlock *list, *next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000641 int i;
642 int bc, bf; /* block count, number of freed blocks */
643 int frem, fsum; /* remaining unfreed floats per block, total */
644
645 bc = 0;
646 bf = 0;
647 fsum = 0;
648 list = block_list;
649 block_list = NULL;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000650 free_list = NULL;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000651 while (list != NULL) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000652 bc++;
653 frem = 0;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000654 for (i = 0, p = &list->objects[0];
655 i < N_FLOATOBJECTS;
656 i++, p++) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000657 if (PyFloat_Check(p) && p->ob_refcnt != 0)
658 frem++;
659 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000660 next = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000661 if (frem) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000662 list->next = block_list;
663 block_list = list;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000664 for (i = 0, p = &list->objects[0];
665 i < N_FLOATOBJECTS;
666 i++, p++) {
667 if (!PyFloat_Check(p) || p->ob_refcnt == 0) {
668 p->ob_type = (struct _typeobject *)
669 free_list;
670 free_list = p;
671 }
672 }
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000673 }
674 else {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000675 PyMem_FREE(list); /* XXX PyObject_FREE ??? */
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000676 bf++;
677 }
678 fsum += frem;
Guido van Rossum3fce8831999-03-12 19:43:17 +0000679 list = next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000680 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000681 if (!Py_VerboseFlag)
682 return;
683 fprintf(stderr, "# cleanup floats");
684 if (!fsum) {
685 fprintf(stderr, "\n");
686 }
687 else {
688 fprintf(stderr,
689 ": %d unfreed float%s in %d out of %d block%s\n",
690 fsum, fsum == 1 ? "" : "s",
691 bc - bf, bc, bc == 1 ? "" : "s");
692 }
693 if (Py_VerboseFlag > 1) {
694 list = block_list;
695 while (list != NULL) {
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000696 for (i = 0, p = &list->objects[0];
697 i < N_FLOATOBJECTS;
698 i++, p++) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000699 if (PyFloat_Check(p) && p->ob_refcnt != 0) {
700 char buf[100];
701 PyFloat_AsString(buf, p);
702 fprintf(stderr,
Fred Drakea44d3532000-06-30 15:01:00 +0000703 "# <float at %p, refcnt=%d, val=%s>\n",
704 p, p->ob_refcnt, buf);
Guido van Rossum3fce8831999-03-12 19:43:17 +0000705 }
706 }
707 list = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000708 }
709 }
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000710}