blob: ff5c0f6a699c655bf8c52c99e168b7b3d864173a [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"
Christian Heimesd32ed6f2008-01-14 18:49:24 +00008#include "structseq.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00009
Guido van Rossum3f5da241990-12-20 15:06:42 +000010#include <ctype.h>
Christian Heimes93852662007-12-01 12:22:32 +000011#include <float.h>
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000012
Mark Dickinson65fe25e2008-07-16 11:30:51 +000013#undef MAX
14#undef MIN
15#define MAX(x, y) ((x) < (y) ? (y) : (x))
16#define MIN(x, y) ((x) < (y) ? (x) : (y))
17
Christian Heimesbbe741d2008-03-28 10:53:29 +000018#ifdef HAVE_IEEEFP_H
19#include <ieeefp.h>
20#endif
21
Guido van Rossum6923e131990-11-02 17:50:43 +000022
Christian Heimes969fe572008-01-25 11:23:10 +000023#ifdef _OSF_SOURCE
24/* OSF1 5.1 doesn't make this available with XOPEN_SOURCE_EXTENDED defined */
25extern int finite(double);
26#endif
27
Guido van Rossum93ad0df1997-05-13 21:00:42 +000028/* Special free list -- see comments for same code in intobject.c. */
Guido van Rossum93ad0df1997-05-13 21:00:42 +000029#define BLOCK_SIZE 1000 /* 1K less typical malloc overhead */
Guido van Rossum3fce8831999-03-12 19:43:17 +000030#define BHEAD_SIZE 8 /* Enough for a 64-bit pointer */
Guido van Rossumf61bbc81999-03-12 00:12:21 +000031#define N_FLOATOBJECTS ((BLOCK_SIZE - BHEAD_SIZE) / sizeof(PyFloatObject))
Guido van Rossum3fce8831999-03-12 19:43:17 +000032
Guido van Rossum3fce8831999-03-12 19:43:17 +000033struct _floatblock {
34 struct _floatblock *next;
35 PyFloatObject objects[N_FLOATOBJECTS];
36};
37
38typedef struct _floatblock PyFloatBlock;
39
40static PyFloatBlock *block_list = NULL;
41static PyFloatObject *free_list = NULL;
42
Guido van Rossum93ad0df1997-05-13 21:00:42 +000043static PyFloatObject *
Fred Drakefd99de62000-07-09 05:02:18 +000044fill_free_list(void)
Guido van Rossum93ad0df1997-05-13 21:00:42 +000045{
46 PyFloatObject *p, *q;
Guido van Rossumb18618d2000-05-03 23:44:39 +000047 /* XXX Float blocks escape the object heap. Use PyObject_MALLOC ??? */
48 p = (PyFloatObject *) PyMem_MALLOC(sizeof(PyFloatBlock));
Guido van Rossum93ad0df1997-05-13 21:00:42 +000049 if (p == NULL)
Guido van Rossumb18618d2000-05-03 23:44:39 +000050 return (PyFloatObject *) PyErr_NoMemory();
Guido van Rossum3fce8831999-03-12 19:43:17 +000051 ((PyFloatBlock *)p)->next = block_list;
52 block_list = (PyFloatBlock *)p;
53 p = &((PyFloatBlock *)p)->objects[0];
Guido van Rossum93ad0df1997-05-13 21:00:42 +000054 q = p + N_FLOATOBJECTS;
55 while (--q > p)
Christian Heimes90aa7642007-12-19 02:45:37 +000056 Py_TYPE(q) = (struct _typeobject *)(q-1);
57 Py_TYPE(q) = NULL;
Guido van Rossum93ad0df1997-05-13 21:00:42 +000058 return p + N_FLOATOBJECTS - 1;
59}
60
Christian Heimes93852662007-12-01 12:22:32 +000061double
62PyFloat_GetMax(void)
63{
64 return DBL_MAX;
65}
66
67double
68PyFloat_GetMin(void)
69{
70 return DBL_MIN;
71}
72
Christian Heimesd32ed6f2008-01-14 18:49:24 +000073static PyTypeObject FloatInfoType;
74
75PyDoc_STRVAR(floatinfo__doc__,
Benjamin Peterson78565b22009-06-28 19:19:51 +000076"sys.float_info\n\
Christian Heimesd32ed6f2008-01-14 18:49:24 +000077\n\
78A structseq holding information about the float type. It contains low level\n\
79information about the precision and internal representation. Please study\n\
80your system's :file:`float.h` for more information.");
81
82static PyStructSequence_Field floatinfo_fields[] = {
83 {"max", "DBL_MAX -- maximum representable finite float"},
84 {"max_exp", "DBL_MAX_EXP -- maximum int e such that radix**(e-1) "
85 "is representable"},
86 {"max_10_exp", "DBL_MAX_10_EXP -- maximum int e such that 10**e "
87 "is representable"},
88 {"min", "DBL_MIN -- Minimum positive normalizer float"},
89 {"min_exp", "DBL_MIN_EXP -- minimum int e such that radix**(e-1) "
90 "is a normalized float"},
91 {"min_10_exp", "DBL_MIN_10_EXP -- minimum int e such that 10**e is "
92 "a normalized"},
93 {"dig", "DBL_DIG -- digits"},
94 {"mant_dig", "DBL_MANT_DIG -- mantissa digits"},
95 {"epsilon", "DBL_EPSILON -- Difference between 1 and the next "
96 "representable float"},
97 {"radix", "FLT_RADIX -- radix of exponent"},
98 {"rounds", "FLT_ROUNDS -- addition rounds"},
99 {0}
100};
101
102static PyStructSequence_Desc floatinfo_desc = {
Benjamin Peterson78565b22009-06-28 19:19:51 +0000103 "sys.float_info", /* name */
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000104 floatinfo__doc__, /* doc */
105 floatinfo_fields, /* fields */
106 11
107};
108
Christian Heimes93852662007-12-01 12:22:32 +0000109PyObject *
110PyFloat_GetInfo(void)
111{
Christian Heimes7b3ce6a2008-01-31 14:31:45 +0000112 PyObject* floatinfo;
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000113 int pos = 0;
Christian Heimes93852662007-12-01 12:22:32 +0000114
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000115 floatinfo = PyStructSequence_New(&FloatInfoType);
116 if (floatinfo == NULL) {
117 return NULL;
118 }
Christian Heimes93852662007-12-01 12:22:32 +0000119
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000120#define SetIntFlag(flag) \
121 PyStructSequence_SET_ITEM(floatinfo, pos++, PyLong_FromLong(flag))
122#define SetDblFlag(flag) \
123 PyStructSequence_SET_ITEM(floatinfo, pos++, PyFloat_FromDouble(flag))
Christian Heimes93852662007-12-01 12:22:32 +0000124
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000125 SetDblFlag(DBL_MAX);
126 SetIntFlag(DBL_MAX_EXP);
127 SetIntFlag(DBL_MAX_10_EXP);
128 SetDblFlag(DBL_MIN);
129 SetIntFlag(DBL_MIN_EXP);
130 SetIntFlag(DBL_MIN_10_EXP);
131 SetIntFlag(DBL_DIG);
132 SetIntFlag(DBL_MANT_DIG);
133 SetDblFlag(DBL_EPSILON);
134 SetIntFlag(FLT_RADIX);
135 SetIntFlag(FLT_ROUNDS);
136#undef SetIntFlag
137#undef SetDblFlag
138
139 if (PyErr_Occurred()) {
140 Py_CLEAR(floatinfo);
141 return NULL;
142 }
Christian Heimesd32ed6f2008-01-14 18:49:24 +0000143 return floatinfo;
Christian Heimes93852662007-12-01 12:22:32 +0000144}
145
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000146PyObject *
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000147PyFloat_FromDouble(double fval)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000148{
Guido van Rossum93ad0df1997-05-13 21:00:42 +0000149 register PyFloatObject *op;
150 if (free_list == NULL) {
151 if ((free_list = fill_free_list()) == NULL)
152 return NULL;
153 }
Guido van Rossume3a8e7e2002-08-19 19:26:42 +0000154 /* Inline PyObject_New */
Guido van Rossum93ad0df1997-05-13 21:00:42 +0000155 op = free_list;
Christian Heimes90aa7642007-12-19 02:45:37 +0000156 free_list = (PyFloatObject *)Py_TYPE(op);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000157 PyObject_INIT(op, &PyFloat_Type);
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000158 op->ob_fval = fval;
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000159 return (PyObject *) op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000160}
161
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000162PyObject *
Georg Brandl428f0642007-03-18 18:35:15 +0000163PyFloat_FromString(PyObject *v)
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000164{
Mark Dickinson6d65df12009-04-26 15:30:47 +0000165 const char *s, *last, *end;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000166 double x;
Tim Petersef14d732000-09-23 03:39:17 +0000167 char buffer[256]; /* for errors */
Guido van Rossum2be161d2007-05-15 20:43:51 +0000168 char *s_buffer = NULL;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000169 Py_ssize_t len;
Guido van Rossum2be161d2007-05-15 20:43:51 +0000170 PyObject *result = NULL;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000171
Neal Norwitz6ea45d32007-08-26 04:19:43 +0000172 if (PyUnicode_Check(v)) {
Guido van Rossum2be161d2007-05-15 20:43:51 +0000173 s_buffer = (char *)PyMem_MALLOC(PyUnicode_GET_SIZE(v)+1);
174 if (s_buffer == NULL)
175 return PyErr_NoMemory();
Tim Petersef14d732000-09-23 03:39:17 +0000176 if (PyUnicode_EncodeDecimal(PyUnicode_AS_UNICODE(v),
Guido van Rossum9e896b32000-04-05 20:11:21 +0000177 PyUnicode_GET_SIZE(v),
Tim Petersd2364e82001-11-01 20:09:42 +0000178 s_buffer,
Guido van Rossum9e896b32000-04-05 20:11:21 +0000179 NULL))
Neal Norwitz447e7c32007-08-12 07:11:25 +0000180 goto error;
Guido van Rossum9e896b32000-04-05 20:11:21 +0000181 s = s_buffer;
Martin v. Löwis18e16552006-02-15 17:27:45 +0000182 len = strlen(s);
Guido van Rossum9e896b32000-04-05 20:11:21 +0000183 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000184 else if (PyObject_AsCharBuffer(v, &s, &len)) {
185 PyErr_SetString(PyExc_TypeError,
Mark Dickinsone0d6f602009-10-26 21:12:50 +0000186 "float() argument must be a string or a number");
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000187 return NULL;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000188 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000189 last = s + len;
Mark Dickinson6d65df12009-04-26 15:30:47 +0000190
Mark Dickinsonaa77d262009-05-03 21:07:13 +0000191 while (Py_ISSPACE(*s))
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000192 s++;
Mark Dickinson6d65df12009-04-26 15:30:47 +0000193 /* We don't care about overflow or underflow. If the platform
194 * supports them, infinities and signed zeroes (on underflow) are
195 * fine. */
Mark Dickinson725bfd82009-05-03 20:33:40 +0000196 x = PyOS_string_to_double(s, (char **)&end, NULL);
197 if (x == -1.0 && PyErr_Occurred())
Guido van Rossum2be161d2007-05-15 20:43:51 +0000198 goto error;
Mark Dickinsonaa77d262009-05-03 21:07:13 +0000199 while (Py_ISSPACE(*end))
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000200 end++;
Mark Dickinson725bfd82009-05-03 20:33:40 +0000201 if (end == last)
202 result = PyFloat_FromDouble(x);
203 else {
204 PyOS_snprintf(buffer, sizeof(buffer),
205 "invalid literal for float(): %.200s", s);
206 PyErr_SetString(PyExc_ValueError, buffer);
207 result = NULL;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000208 }
Mark Dickinson725bfd82009-05-03 20:33:40 +0000209
Guido van Rossum2be161d2007-05-15 20:43:51 +0000210 error:
211 if (s_buffer)
212 PyMem_FREE(s_buffer);
213 return result;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000214}
215
Guido van Rossum234f9421993-06-17 12:35:49 +0000216static void
Fred Drakefd99de62000-07-09 05:02:18 +0000217float_dealloc(PyFloatObject *op)
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000218{
Guido van Rossum9475a232001-10-05 20:51:39 +0000219 if (PyFloat_CheckExact(op)) {
Christian Heimes90aa7642007-12-19 02:45:37 +0000220 Py_TYPE(op) = (struct _typeobject *)free_list;
Guido van Rossum9475a232001-10-05 20:51:39 +0000221 free_list = op;
222 }
223 else
Christian Heimes90aa7642007-12-19 02:45:37 +0000224 Py_TYPE(op)->tp_free((PyObject *)op);
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000225}
226
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000227double
Fred Drakefd99de62000-07-09 05:02:18 +0000228PyFloat_AsDouble(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000229{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000230 PyNumberMethods *nb;
231 PyFloatObject *fo;
Guido van Rossumb6775db1994-08-01 11:34:53 +0000232 double val;
Tim Petersd2364e82001-11-01 20:09:42 +0000233
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000234 if (op && PyFloat_Check(op))
235 return PyFloat_AS_DOUBLE((PyFloatObject*) op);
Tim Petersd2364e82001-11-01 20:09:42 +0000236
Neil Schemenauer2c77e902002-11-18 16:06:21 +0000237 if (op == NULL) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000238 PyErr_BadArgument();
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000239 return -1;
240 }
Tim Petersd2364e82001-11-01 20:09:42 +0000241
Christian Heimes90aa7642007-12-19 02:45:37 +0000242 if ((nb = Py_TYPE(op)->tp_as_number) == NULL || nb->nb_float == NULL) {
Neil Schemenauer2c77e902002-11-18 16:06:21 +0000243 PyErr_SetString(PyExc_TypeError, "a float is required");
244 return -1;
245 }
246
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000247 fo = (PyFloatObject*) (*nb->nb_float) (op);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000248 if (fo == NULL)
249 return -1;
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000250 if (!PyFloat_Check(fo)) {
251 PyErr_SetString(PyExc_TypeError,
252 "nb_float should return float object");
Guido van Rossumb6775db1994-08-01 11:34:53 +0000253 return -1;
254 }
Tim Petersd2364e82001-11-01 20:09:42 +0000255
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000256 val = PyFloat_AS_DOUBLE(fo);
257 Py_DECREF(fo);
Tim Petersd2364e82001-11-01 20:09:42 +0000258
Guido van Rossumb6775db1994-08-01 11:34:53 +0000259 return val;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000260}
261
Neil Schemenauer32117e52001-01-04 01:44:34 +0000262/* Macro and helper that convert PyObject obj to a C double and store
Neil Schemenauer16c70752007-09-21 20:19:23 +0000263 the value in dbl. If conversion to double raises an exception, obj is
Tim Peters77d8a4f2001-12-11 20:31:34 +0000264 set to NULL, and the function invoking this macro returns NULL. If
265 obj is not of float, int or long type, Py_NotImplemented is incref'ed,
266 stored in obj, and returned from the function invoking this macro.
267*/
Neil Schemenauer32117e52001-01-04 01:44:34 +0000268#define CONVERT_TO_DOUBLE(obj, dbl) \
269 if (PyFloat_Check(obj)) \
270 dbl = PyFloat_AS_DOUBLE(obj); \
271 else if (convert_to_double(&(obj), &(dbl)) < 0) \
272 return obj;
273
Eric Smith0923d1d2009-04-16 20:16:10 +0000274/* Methods */
275
Neil Schemenauer32117e52001-01-04 01:44:34 +0000276static int
Tim Peters9fffa3e2001-09-04 05:14:19 +0000277convert_to_double(PyObject **v, double *dbl)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000278{
279 register PyObject *obj = *v;
Tim Peters9fffa3e2001-09-04 05:14:19 +0000280
Guido van Rossumddefaf32007-01-14 03:31:43 +0000281 if (PyLong_Check(obj)) {
Neil Schemenauer32117e52001-01-04 01:44:34 +0000282 *dbl = PyLong_AsDouble(obj);
Tim Peters9fffa3e2001-09-04 05:14:19 +0000283 if (*dbl == -1.0 && PyErr_Occurred()) {
284 *v = NULL;
285 return -1;
286 }
Neil Schemenauer32117e52001-01-04 01:44:34 +0000287 }
288 else {
289 Py_INCREF(Py_NotImplemented);
290 *v = Py_NotImplemented;
291 return -1;
292 }
293 return 0;
294}
295
Eric Smith0923d1d2009-04-16 20:16:10 +0000296static PyObject *
Eric Smith63376222009-05-05 14:04:18 +0000297float_str_or_repr(PyFloatObject *v, int precision, char format_code)
Eric Smith0923d1d2009-04-16 20:16:10 +0000298{
299 PyObject *result;
300 char *buf = PyOS_double_to_string(PyFloat_AS_DOUBLE(v),
Eric Smith63376222009-05-05 14:04:18 +0000301 format_code, precision,
302 Py_DTSF_ADD_DOT_0,
Eric Smith0923d1d2009-04-16 20:16:10 +0000303 NULL);
304 if (!buf)
305 return PyErr_NoMemory();
306 result = PyUnicode_FromString(buf);
307 PyMem_Free(buf);
308 return result;
309}
Guido van Rossum57072eb1999-12-23 19:00:28 +0000310
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000311static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000312float_repr(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000313{
Eric Smith63376222009-05-05 14:04:18 +0000314 return float_str_or_repr(v, 0, 'r');
Guido van Rossum57072eb1999-12-23 19:00:28 +0000315}
316
317static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000318float_str(PyFloatObject *v)
Guido van Rossum57072eb1999-12-23 19:00:28 +0000319{
Eric Smith63376222009-05-05 14:04:18 +0000320 return float_str_or_repr(v, PyFloat_STR_PRECISION, 'g');
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000321}
322
Tim Peters307fa782004-09-23 08:06:40 +0000323/* Comparison is pretty much a nightmare. When comparing float to float,
324 * we do it as straightforwardly (and long-windedly) as conceivable, so
325 * that, e.g., Python x == y delivers the same result as the platform
326 * C x == y when x and/or y is a NaN.
327 * When mixing float with an integer type, there's no good *uniform* approach.
328 * Converting the double to an integer obviously doesn't work, since we
329 * may lose info from fractional bits. Converting the integer to a double
330 * also has two failure modes: (1) a long int may trigger overflow (too
331 * large to fit in the dynamic range of a C double); (2) even a C long may have
332 * more bits than fit in a C double (e.g., on a a 64-bit box long may have
333 * 63 bits of precision, but a C double probably has only 53), and then
334 * we can falsely claim equality when low-order integer bits are lost by
335 * coercion to double. So this part is painful too.
336 */
337
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000338static PyObject*
339float_richcompare(PyObject *v, PyObject *w, int op)
340{
341 double i, j;
342 int r = 0;
343
Tim Peters307fa782004-09-23 08:06:40 +0000344 assert(PyFloat_Check(v));
345 i = PyFloat_AS_DOUBLE(v);
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000346
Tim Peters307fa782004-09-23 08:06:40 +0000347 /* Switch on the type of w. Set i and j to doubles to be compared,
348 * and op to the richcomp to use.
349 */
350 if (PyFloat_Check(w))
351 j = PyFloat_AS_DOUBLE(w);
352
Thomas Wouters477c8d52006-05-27 19:21:47 +0000353 else if (!Py_IS_FINITE(i)) {
Neal Norwitz1fe5f382007-08-31 04:32:55 +0000354 if (PyLong_Check(w))
Tim Peterse1c69b32004-09-23 19:22:41 +0000355 /* If i is an infinity, its magnitude exceeds any
356 * finite integer, so it doesn't matter which int we
357 * compare i with. If i is a NaN, similarly.
Tim Peters307fa782004-09-23 08:06:40 +0000358 */
359 j = 0.0;
360 else
361 goto Unimplemented;
362 }
363
Tim Peters307fa782004-09-23 08:06:40 +0000364 else if (PyLong_Check(w)) {
365 int vsign = i == 0.0 ? 0 : i < 0.0 ? -1 : 1;
366 int wsign = _PyLong_Sign(w);
367 size_t nbits;
Tim Peters307fa782004-09-23 08:06:40 +0000368 int exponent;
369
370 if (vsign != wsign) {
371 /* Magnitudes are irrelevant -- the signs alone
372 * determine the outcome.
373 */
374 i = (double)vsign;
375 j = (double)wsign;
376 goto Compare;
377 }
378 /* The signs are the same. */
379 /* Convert w to a double if it fits. In particular, 0 fits. */
380 nbits = _PyLong_NumBits(w);
381 if (nbits == (size_t)-1 && PyErr_Occurred()) {
382 /* This long is so large that size_t isn't big enough
Tim Peterse1c69b32004-09-23 19:22:41 +0000383 * to hold the # of bits. Replace with little doubles
384 * that give the same outcome -- w is so large that
385 * its magnitude must exceed the magnitude of any
386 * finite float.
Tim Peters307fa782004-09-23 08:06:40 +0000387 */
388 PyErr_Clear();
389 i = (double)vsign;
390 assert(wsign != 0);
391 j = wsign * 2.0;
392 goto Compare;
393 }
394 if (nbits <= 48) {
395 j = PyLong_AsDouble(w);
396 /* It's impossible that <= 48 bits overflowed. */
397 assert(j != -1.0 || ! PyErr_Occurred());
398 goto Compare;
399 }
400 assert(wsign != 0); /* else nbits was 0 */
401 assert(vsign != 0); /* if vsign were 0, then since wsign is
402 * not 0, we would have taken the
403 * vsign != wsign branch at the start */
404 /* We want to work with non-negative numbers. */
405 if (vsign < 0) {
406 /* "Multiply both sides" by -1; this also swaps the
407 * comparator.
408 */
409 i = -i;
410 op = _Py_SwappedOp[op];
411 }
412 assert(i > 0.0);
Neal Norwitzb2da01b2006-01-08 01:11:25 +0000413 (void) frexp(i, &exponent);
Tim Peters307fa782004-09-23 08:06:40 +0000414 /* exponent is the # of bits in v before the radix point;
415 * we know that nbits (the # of bits in w) > 48 at this point
416 */
417 if (exponent < 0 || (size_t)exponent < nbits) {
418 i = 1.0;
419 j = 2.0;
420 goto Compare;
421 }
422 if ((size_t)exponent > nbits) {
423 i = 2.0;
424 j = 1.0;
425 goto Compare;
426 }
427 /* v and w have the same number of bits before the radix
428 * point. Construct two longs that have the same comparison
429 * outcome.
430 */
431 {
432 double fracpart;
433 double intpart;
434 PyObject *result = NULL;
435 PyObject *one = NULL;
436 PyObject *vv = NULL;
437 PyObject *ww = w;
438
439 if (wsign < 0) {
440 ww = PyNumber_Negative(w);
441 if (ww == NULL)
442 goto Error;
443 }
444 else
445 Py_INCREF(ww);
446
447 fracpart = modf(i, &intpart);
448 vv = PyLong_FromDouble(intpart);
449 if (vv == NULL)
450 goto Error;
451
452 if (fracpart != 0.0) {
453 /* Shift left, and or a 1 bit into vv
454 * to represent the lost fraction.
455 */
456 PyObject *temp;
457
Christian Heimes217cfd12007-12-02 14:31:20 +0000458 one = PyLong_FromLong(1);
Tim Peters307fa782004-09-23 08:06:40 +0000459 if (one == NULL)
460 goto Error;
461
462 temp = PyNumber_Lshift(ww, one);
463 if (temp == NULL)
464 goto Error;
465 Py_DECREF(ww);
466 ww = temp;
467
468 temp = PyNumber_Lshift(vv, one);
469 if (temp == NULL)
470 goto Error;
471 Py_DECREF(vv);
472 vv = temp;
473
474 temp = PyNumber_Or(vv, one);
475 if (temp == NULL)
476 goto Error;
477 Py_DECREF(vv);
478 vv = temp;
479 }
480
481 r = PyObject_RichCompareBool(vv, ww, op);
482 if (r < 0)
483 goto Error;
484 result = PyBool_FromLong(r);
485 Error:
486 Py_XDECREF(vv);
487 Py_XDECREF(ww);
488 Py_XDECREF(one);
489 return result;
490 }
491 } /* else if (PyLong_Check(w)) */
492
493 else /* w isn't float, int, or long */
494 goto Unimplemented;
495
496 Compare:
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000497 PyFPE_START_PROTECT("richcompare", return NULL)
498 switch (op) {
499 case Py_EQ:
Tim Peters307fa782004-09-23 08:06:40 +0000500 r = i == j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000501 break;
502 case Py_NE:
Tim Peters307fa782004-09-23 08:06:40 +0000503 r = i != j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000504 break;
505 case Py_LE:
Tim Peters307fa782004-09-23 08:06:40 +0000506 r = i <= j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000507 break;
508 case Py_GE:
Tim Peters307fa782004-09-23 08:06:40 +0000509 r = i >= j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000510 break;
511 case Py_LT:
Tim Peters307fa782004-09-23 08:06:40 +0000512 r = i < j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000513 break;
514 case Py_GT:
Tim Peters307fa782004-09-23 08:06:40 +0000515 r = i > j;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000516 break;
517 }
Michael W. Hudson957f9772004-02-26 12:33:09 +0000518 PyFPE_END_PROTECT(r)
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000519 return PyBool_FromLong(r);
Tim Peters307fa782004-09-23 08:06:40 +0000520
521 Unimplemented:
522 Py_INCREF(Py_NotImplemented);
523 return Py_NotImplemented;
Michael W. Hudsond3b33b52004-02-19 19:35:22 +0000524}
525
Guido van Rossum9bfef441993-03-29 10:43:31 +0000526static long
Fred Drakefd99de62000-07-09 05:02:18 +0000527float_hash(PyFloatObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000528{
Tim Peters39dce292000-08-15 03:34:48 +0000529 return _Py_HashDouble(v->ob_fval);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000530}
531
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000532static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000533float_add(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000534{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000535 double a,b;
536 CONVERT_TO_DOUBLE(v, a);
537 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000538 PyFPE_START_PROTECT("add", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000539 a = a + b;
540 PyFPE_END_PROTECT(a)
541 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000542}
543
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000544static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000545float_sub(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000546{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000547 double a,b;
548 CONVERT_TO_DOUBLE(v, a);
549 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000550 PyFPE_START_PROTECT("subtract", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000551 a = a - b;
552 PyFPE_END_PROTECT(a)
553 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000554}
555
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000556static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000557float_mul(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000558{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000559 double a,b;
560 CONVERT_TO_DOUBLE(v, a);
561 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000562 PyFPE_START_PROTECT("multiply", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000563 a = a * b;
564 PyFPE_END_PROTECT(a)
565 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000566}
567
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000568static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000569float_div(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000570{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000571 double a,b;
572 CONVERT_TO_DOUBLE(v, a);
573 CONVERT_TO_DOUBLE(w, b);
Christian Heimes53876d92008-04-19 00:31:39 +0000574#ifdef Py_NAN
Neil Schemenauer32117e52001-01-04 01:44:34 +0000575 if (b == 0.0) {
Christian Heimes53876d92008-04-19 00:31:39 +0000576 PyErr_SetString(PyExc_ZeroDivisionError,
577 "float division");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000578 return NULL;
579 }
Christian Heimes53876d92008-04-19 00:31:39 +0000580#endif
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000581 PyFPE_START_PROTECT("divide", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000582 a = a / b;
583 PyFPE_END_PROTECT(a)
584 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000585}
586
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000587static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000588float_rem(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000589{
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000590 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000591 double mod;
Christian Heimes53876d92008-04-19 00:31:39 +0000592 CONVERT_TO_DOUBLE(v, vx);
593 CONVERT_TO_DOUBLE(w, wx);
594#ifdef Py_NAN
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000595 if (wx == 0.0) {
Christian Heimes53876d92008-04-19 00:31:39 +0000596 PyErr_SetString(PyExc_ZeroDivisionError,
597 "float modulo");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000598 return NULL;
599 }
Christian Heimes53876d92008-04-19 00:31:39 +0000600#endif
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000601 PyFPE_START_PROTECT("modulo", return 0)
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000602 mod = fmod(vx, wx);
Guido van Rossum9263e781999-05-06 14:26:34 +0000603 /* note: checking mod*wx < 0 is incorrect -- underflows to
604 0 if wx < sqrt(smallest nonzero double) */
605 if (mod && ((wx < 0) != (mod < 0))) {
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000606 mod += wx;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000607 }
Guido van Rossum45b83911997-03-14 04:32:50 +0000608 PyFPE_END_PROTECT(mod)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000609 return PyFloat_FromDouble(mod);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000610}
611
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000612static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000613float_divmod(PyObject *v, PyObject *w)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000614{
Guido van Rossum15ecff41991-10-20 20:16:45 +0000615 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000616 double div, mod, floordiv;
Neil Schemenauer32117e52001-01-04 01:44:34 +0000617 CONVERT_TO_DOUBLE(v, vx);
618 CONVERT_TO_DOUBLE(w, wx);
Guido van Rossum15ecff41991-10-20 20:16:45 +0000619 if (wx == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000620 PyErr_SetString(PyExc_ZeroDivisionError, "float divmod()");
Guido van Rossum15ecff41991-10-20 20:16:45 +0000621 return NULL;
622 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000623 PyFPE_START_PROTECT("divmod", return 0)
Guido van Rossum15ecff41991-10-20 20:16:45 +0000624 mod = fmod(vx, wx);
Tim Peters78fc0b52000-09-16 03:54:24 +0000625 /* fmod is typically exact, so vx-mod is *mathematically* an
Guido van Rossum9263e781999-05-06 14:26:34 +0000626 exact multiple of wx. But this is fp arithmetic, and fp
627 vx - mod is an approximation; the result is that div may
628 not be an exact integral value after the division, although
629 it will always be very close to one.
630 */
Guido van Rossum15ecff41991-10-20 20:16:45 +0000631 div = (vx - mod) / wx;
Tim Petersd2e40d62001-11-01 23:12:27 +0000632 if (mod) {
633 /* ensure the remainder has the same sign as the denominator */
634 if ((wx < 0) != (mod < 0)) {
635 mod += wx;
636 div -= 1.0;
637 }
638 }
639 else {
640 /* the remainder is zero, and in the presence of signed zeroes
641 fmod returns different results across platforms; ensure
642 it has the same sign as the denominator; we'd like to do
643 "mod = wx * 0.0", but that may get optimized away */
Tim Peters4e8ab5d2001-11-01 23:59:56 +0000644 mod *= mod; /* hide "mod = +0" from optimizer */
Tim Petersd2e40d62001-11-01 23:12:27 +0000645 if (wx < 0.0)
646 mod = -mod;
Guido van Rossum15ecff41991-10-20 20:16:45 +0000647 }
Guido van Rossum9263e781999-05-06 14:26:34 +0000648 /* snap quotient to nearest integral value */
Tim Petersd2e40d62001-11-01 23:12:27 +0000649 if (div) {
650 floordiv = floor(div);
651 if (div - floordiv > 0.5)
652 floordiv += 1.0;
653 }
654 else {
655 /* div is zero - get the same sign as the true quotient */
656 div *= div; /* hide "div = +0" from optimizers */
657 floordiv = div * vx / wx; /* zero w/ sign of vx/wx */
658 }
659 PyFPE_END_PROTECT(floordiv)
Guido van Rossum9263e781999-05-06 14:26:34 +0000660 return Py_BuildValue("(dd)", floordiv, mod);
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000661}
662
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000663static PyObject *
Tim Peters63a35712001-12-11 19:57:24 +0000664float_floor_div(PyObject *v, PyObject *w)
665{
666 PyObject *t, *r;
667
668 t = float_divmod(v, w);
Tim Peters77d8a4f2001-12-11 20:31:34 +0000669 if (t == NULL || t == Py_NotImplemented)
670 return t;
671 assert(PyTuple_CheckExact(t));
672 r = PyTuple_GET_ITEM(t, 0);
673 Py_INCREF(r);
674 Py_DECREF(t);
675 return r;
Tim Peters63a35712001-12-11 19:57:24 +0000676}
677
678static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000679float_pow(PyObject *v, PyObject *w, PyObject *z)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000680{
681 double iv, iw, ix;
Tim Peters32f453e2001-09-03 08:35:41 +0000682
683 if ((PyObject *)z != Py_None) {
Tim Peters4c483c42001-09-05 06:24:58 +0000684 PyErr_SetString(PyExc_TypeError, "pow() 3rd argument not "
Tim Peters97f4a332001-09-05 23:49:24 +0000685 "allowed unless all arguments are integers");
Tim Peters32f453e2001-09-03 08:35:41 +0000686 return NULL;
687 }
688
Neil Schemenauer32117e52001-01-04 01:44:34 +0000689 CONVERT_TO_DOUBLE(v, iv);
690 CONVERT_TO_DOUBLE(w, iw);
Tim Petersc54d1902000-10-06 00:36:09 +0000691
692 /* Sort out special cases here instead of relying on pow() */
Tim Peters96685bf2001-08-23 22:31:37 +0000693 if (iw == 0) { /* v**0 is 1, even 0**0 */
Guido van Rossum360e4b82007-05-14 22:51:27 +0000694 return PyFloat_FromDouble(1.0);
Tim Petersc54d1902000-10-06 00:36:09 +0000695 }
Tim Peters96685bf2001-08-23 22:31:37 +0000696 if (iv == 0.0) { /* 0**w is error if w<0, else 1 */
Tim Petersc54d1902000-10-06 00:36:09 +0000697 if (iw < 0.0) {
698 PyErr_SetString(PyExc_ZeroDivisionError,
Fred Drake661ea262000-10-24 19:57:45 +0000699 "0.0 cannot be raised to a negative power");
Tim Petersc54d1902000-10-06 00:36:09 +0000700 return NULL;
701 }
702 return PyFloat_FromDouble(0.0);
703 }
Christian Heimes53876d92008-04-19 00:31:39 +0000704 if (iv == 1.0) { /* 1**w is 1, even 1**inf and 1**nan */
705 return PyFloat_FromDouble(1.0);
706 }
Tim Peterse87568d2003-05-24 20:18:24 +0000707 if (iv < 0.0) {
708 /* Whether this is an error is a mess, and bumps into libm
709 * bugs so we have to figure it out ourselves.
710 */
711 if (iw != floor(iw)) {
Jeffrey Yasskin3404b3c2007-09-07 15:15:49 +0000712 /* Negative numbers raised to fractional powers
713 * become complex.
714 */
715 return PyComplex_Type.tp_as_number->nb_power(v, w, z);
Tim Peterse87568d2003-05-24 20:18:24 +0000716 }
717 /* iw is an exact integer, albeit perhaps a very large one.
718 * -1 raised to an exact integer should never be exceptional.
719 * Alas, some libms (chiefly glibc as of early 2003) return
720 * NaN and set EDOM on pow(-1, large_int) if the int doesn't
721 * happen to be representable in a *C* integer. That's a
722 * bug; we let that slide in math.pow() (which currently
723 * reflects all platform accidents), but not for Python's **.
724 */
Thomas Wouters477c8d52006-05-27 19:21:47 +0000725 if (iv == -1.0 && Py_IS_FINITE(iw)) {
Tim Peterse87568d2003-05-24 20:18:24 +0000726 /* Return 1 if iw is even, -1 if iw is odd; there's
727 * no guarantee that any C integral type is big
728 * enough to hold iw, so we have to check this
729 * indirectly.
730 */
731 ix = floor(iw * 0.5) * 2.0;
732 return PyFloat_FromDouble(ix == iw ? 1.0 : -1.0);
733 }
734 /* Else iv != -1.0, and overflow or underflow are possible.
735 * Unless we're to write pow() ourselves, we have to trust
736 * the platform to do this correctly.
737 */
Guido van Rossum86c04c21996-08-09 20:50:14 +0000738 }
Tim Peters96685bf2001-08-23 22:31:37 +0000739 errno = 0;
740 PyFPE_START_PROTECT("pow", return NULL)
741 ix = pow(iv, iw);
742 PyFPE_END_PROTECT(ix)
Tim Petersdc5a5082002-03-09 04:58:24 +0000743 Py_ADJUST_ERANGE1(ix);
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000744 if (errno != 0) {
Tim Peterse87568d2003-05-24 20:18:24 +0000745 /* We don't expect any errno value other than ERANGE, but
746 * the range of libm bugs appears unbounded.
747 */
748 PyErr_SetFromErrno(errno == ERANGE ? PyExc_OverflowError :
749 PyExc_ValueError);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000750 return NULL;
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000751 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000752 return PyFloat_FromDouble(ix);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000753}
754
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000755static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000756float_neg(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000757{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000758 return PyFloat_FromDouble(-v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000759}
760
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000761static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000762float_abs(PyFloatObject *v)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000763{
Tim Petersfaf0cd22001-11-01 21:51:15 +0000764 return PyFloat_FromDouble(fabs(v->ob_fval));
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000765}
766
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000767static int
Jack Diederich4dafcc42006-11-28 19:15:13 +0000768float_bool(PyFloatObject *v)
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000769{
770 return v->ob_fval != 0.0;
771}
772
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000773static PyObject *
Christian Heimes53876d92008-04-19 00:31:39 +0000774float_is_integer(PyObject *v)
775{
776 double x = PyFloat_AsDouble(v);
777 PyObject *o;
778
779 if (x == -1.0 && PyErr_Occurred())
780 return NULL;
781 if (!Py_IS_FINITE(x))
782 Py_RETURN_FALSE;
Mark Dickinsonc4352b02008-05-09 13:55:01 +0000783 errno = 0;
Christian Heimes53876d92008-04-19 00:31:39 +0000784 PyFPE_START_PROTECT("is_integer", return NULL)
785 o = (floor(x) == x) ? Py_True : Py_False;
786 PyFPE_END_PROTECT(x)
787 if (errno != 0) {
788 PyErr_SetFromErrno(errno == ERANGE ? PyExc_OverflowError :
789 PyExc_ValueError);
790 return NULL;
791 }
792 Py_INCREF(o);
793 return o;
794}
795
796#if 0
797static PyObject *
798float_is_inf(PyObject *v)
799{
800 double x = PyFloat_AsDouble(v);
801 if (x == -1.0 && PyErr_Occurred())
802 return NULL;
803 return PyBool_FromLong((long)Py_IS_INFINITY(x));
804}
805
806static PyObject *
807float_is_nan(PyObject *v)
808{
809 double x = PyFloat_AsDouble(v);
810 if (x == -1.0 && PyErr_Occurred())
811 return NULL;
812 return PyBool_FromLong((long)Py_IS_NAN(x));
813}
814
815static PyObject *
816float_is_finite(PyObject *v)
817{
818 double x = PyFloat_AsDouble(v);
819 if (x == -1.0 && PyErr_Occurred())
820 return NULL;
821 return PyBool_FromLong((long)Py_IS_FINITE(x));
822}
823#endif
824
825static PyObject *
Guido van Rossum2fa33db2007-08-23 22:07:24 +0000826float_trunc(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000827{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000828 double x = PyFloat_AsDouble(v);
Tim Peters7321ec42001-07-26 20:02:17 +0000829 double wholepart; /* integral portion of x, rounded toward 0 */
Tim Peters7321ec42001-07-26 20:02:17 +0000830
831 (void)modf(x, &wholepart);
Tim Peters7d791242002-11-21 22:26:37 +0000832 /* Try to get out cheap if this fits in a Python int. The attempt
833 * to cast to long must be protected, as C doesn't define what
834 * happens if the double is too big to fit in a long. Some rare
835 * systems raise an exception then (RISCOS was mentioned as one,
836 * and someone using a non-default option on Sun also bumped into
837 * that). Note that checking for >= and <= LONG_{MIN,MAX} would
838 * still be vulnerable: if a long has more bits of precision than
839 * a double, casting MIN/MAX to double may yield an approximation,
840 * and if that's rounded up, then, e.g., wholepart=LONG_MAX+1 would
841 * yield true from the C expression wholepart<=LONG_MAX, despite
842 * that wholepart is actually greater than LONG_MAX.
843 */
844 if (LONG_MIN < wholepart && wholepart < LONG_MAX) {
845 const long aslong = (long)wholepart;
Christian Heimes217cfd12007-12-02 14:31:20 +0000846 return PyLong_FromLong(aslong);
Tim Peters7d791242002-11-21 22:26:37 +0000847 }
848 return PyLong_FromDouble(wholepart);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000849}
850
Mark Dickinsone6a076d2009-04-18 11:48:33 +0000851/* double_round: rounds a finite double to the closest multiple of
852 10**-ndigits; here ndigits is within reasonable bounds (typically, -308 <=
853 ndigits <= 323). Returns a Python float, or sets a Python error and
854 returns NULL on failure (OverflowError and memory errors are possible). */
855
856#ifndef PY_NO_SHORT_FLOAT_REPR
857/* version of double_round that uses the correctly-rounded string<->double
858 conversions from Python/dtoa.c */
859
860static PyObject *
861double_round(double x, int ndigits) {
862
863 double rounded;
864 Py_ssize_t buflen, mybuflen=100;
865 char *buf, *buf_end, shortbuf[100], *mybuf=shortbuf;
866 int decpt, sign;
867 PyObject *result = NULL;
868
869 /* round to a decimal string */
870 buf = _Py_dg_dtoa(x, 3, ndigits, &decpt, &sign, &buf_end);
871 if (buf == NULL) {
872 PyErr_NoMemory();
873 return NULL;
874 }
875
876 /* Get new buffer if shortbuf is too small. Space needed <= buf_end -
877 buf + 8: (1 extra for '0', 1 for sign, 5 for exp, 1 for '\0'). */
878 buflen = buf_end - buf;
879 if (buflen + 8 > mybuflen) {
880 mybuflen = buflen+8;
881 mybuf = (char *)PyMem_Malloc(mybuflen);
882 if (mybuf == NULL) {
883 PyErr_NoMemory();
884 goto exit;
885 }
886 }
887 /* copy buf to mybuf, adding exponent, sign and leading 0 */
888 PyOS_snprintf(mybuf, mybuflen, "%s0%se%d", (sign ? "-" : ""),
889 buf, decpt - (int)buflen);
890
891 /* and convert the resulting string back to a double */
892 errno = 0;
893 rounded = _Py_dg_strtod(mybuf, NULL);
894 if (errno == ERANGE && fabs(rounded) >= 1.)
895 PyErr_SetString(PyExc_OverflowError,
896 "rounded value too large to represent");
897 else
898 result = PyFloat_FromDouble(rounded);
899
900 /* done computing value; now clean up */
901 if (mybuf != shortbuf)
902 PyMem_Free(mybuf);
903 exit:
904 _Py_dg_freedtoa(buf);
905 return result;
906}
907
908#else /* PY_NO_SHORT_FLOAT_REPR */
909
910/* fallback version, to be used when correctly rounded binary<->decimal
911 conversions aren't available */
912
913static PyObject *
914double_round(double x, int ndigits) {
915 double pow1, pow2, y, z;
916 if (ndigits >= 0) {
917 if (ndigits > 22) {
918 /* pow1 and pow2 are each safe from overflow, but
919 pow1*pow2 ~= pow(10.0, ndigits) might overflow */
920 pow1 = pow(10.0, (double)(ndigits-22));
921 pow2 = 1e22;
922 }
923 else {
924 pow1 = pow(10.0, (double)ndigits);
925 pow2 = 1.0;
926 }
927 y = (x*pow1)*pow2;
928 /* if y overflows, then rounded value is exactly x */
929 if (!Py_IS_FINITE(y))
930 return PyFloat_FromDouble(x);
931 }
932 else {
933 pow1 = pow(10.0, (double)-ndigits);
934 pow2 = 1.0; /* unused; silences a gcc compiler warning */
935 y = x / pow1;
936 }
937
938 z = round(y);
939 if (fabs(y-z) == 0.5)
940 /* halfway between two integers; use round-half-even */
941 z = 2.0*round(y/2.0);
942
943 if (ndigits >= 0)
944 z = (z / pow2) / pow1;
945 else
946 z *= pow1;
947
948 /* if computation resulted in overflow, raise OverflowError */
949 if (!Py_IS_FINITE(z)) {
950 PyErr_SetString(PyExc_OverflowError,
951 "overflow occurred during round");
952 return NULL;
953 }
954
955 return PyFloat_FromDouble(z);
956}
957
958#endif /* PY_NO_SHORT_FLOAT_REPR */
959
960/* round a Python float v to the closest multiple of 10**-ndigits */
961
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000962static PyObject *
Guido van Rossum2fa33db2007-08-23 22:07:24 +0000963float_round(PyObject *v, PyObject *args)
964{
Mark Dickinsone6a076d2009-04-18 11:48:33 +0000965 double x, rounded;
966 PyObject *o_ndigits = NULL;
967 Py_ssize_t ndigits;
Guido van Rossum2fa33db2007-08-23 22:07:24 +0000968
969 x = PyFloat_AsDouble(v);
Mark Dickinsone6a076d2009-04-18 11:48:33 +0000970 if (!PyArg_ParseTuple(args, "|O", &o_ndigits))
971 return NULL;
972 if (o_ndigits == NULL) {
973 /* single-argument round: round to nearest integer */
974 rounded = round(x);
975 if (fabs(x-rounded) == 0.5)
976 /* halfway case: round to even */
977 rounded = 2.0*round(x/2.0);
978 return PyLong_FromDouble(rounded);
Guido van Rossum2fa33db2007-08-23 22:07:24 +0000979 }
980
Mark Dickinsone6a076d2009-04-18 11:48:33 +0000981 /* interpret second argument as a Py_ssize_t; clips on overflow */
982 ndigits = PyNumber_AsSsize_t(o_ndigits, NULL);
983 if (ndigits == -1 && PyErr_Occurred())
984 return NULL;
Guido van Rossum2fa33db2007-08-23 22:07:24 +0000985
Mark Dickinsone6a076d2009-04-18 11:48:33 +0000986 /* nans and infinities round to themselves */
987 if (!Py_IS_FINITE(x))
988 return PyFloat_FromDouble(x);
989
990 /* Deal with extreme values for ndigits. For ndigits > NDIGITS_MAX, x
991 always rounds to itself. For ndigits < NDIGITS_MIN, x always
992 rounds to +-0.0. Here 0.30103 is an upper bound for log10(2). */
993#define NDIGITS_MAX ((int)((DBL_MANT_DIG-DBL_MIN_EXP) * 0.30103))
994#define NDIGITS_MIN (-(int)((DBL_MAX_EXP + 1) * 0.30103))
995 if (ndigits > NDIGITS_MAX)
996 /* return x */
997 return PyFloat_FromDouble(x);
998 else if (ndigits < NDIGITS_MIN)
999 /* return 0.0, but with sign of x */
1000 return PyFloat_FromDouble(0.0*x);
Guido van Rossum2fa33db2007-08-23 22:07:24 +00001001 else
Mark Dickinsone6a076d2009-04-18 11:48:33 +00001002 /* finite x, and ndigits is not unreasonably large */
1003 return double_round(x, (int)ndigits);
1004#undef NDIGITS_MAX
1005#undef NDIGITS_MIN
Guido van Rossum2fa33db2007-08-23 22:07:24 +00001006}
1007
1008static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +00001009float_float(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +00001010{
Brett Cannonc3647ac2005-04-26 03:45:26 +00001011 if (PyFloat_CheckExact(v))
1012 Py_INCREF(v);
1013 else
1014 v = PyFloat_FromDouble(((PyFloatObject *)v)->ob_fval);
Guido van Rossum1899c2e1992-09-12 11:09:23 +00001015 return v;
1016}
1017
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001018/* turn ASCII hex characters into integer values and vice versa */
1019
1020static char
1021char_from_hex(int x)
1022{
1023 assert(0 <= x && x < 16);
1024 return "0123456789abcdef"[x];
1025}
1026
1027static int
1028hex_from_char(char c) {
1029 int x;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001030 switch(c) {
1031 case '0':
1032 x = 0;
1033 break;
1034 case '1':
1035 x = 1;
1036 break;
1037 case '2':
1038 x = 2;
1039 break;
1040 case '3':
1041 x = 3;
1042 break;
1043 case '4':
1044 x = 4;
1045 break;
1046 case '5':
1047 x = 5;
1048 break;
1049 case '6':
1050 x = 6;
1051 break;
1052 case '7':
1053 x = 7;
1054 break;
1055 case '8':
1056 x = 8;
1057 break;
1058 case '9':
1059 x = 9;
1060 break;
1061 case 'a':
1062 case 'A':
1063 x = 10;
1064 break;
1065 case 'b':
1066 case 'B':
1067 x = 11;
1068 break;
1069 case 'c':
1070 case 'C':
1071 x = 12;
1072 break;
1073 case 'd':
1074 case 'D':
1075 x = 13;
1076 break;
1077 case 'e':
1078 case 'E':
1079 x = 14;
1080 break;
1081 case 'f':
1082 case 'F':
1083 x = 15;
1084 break;
1085 default:
1086 x = -1;
1087 break;
1088 }
1089 return x;
1090}
1091
1092/* convert a float to a hexadecimal string */
1093
1094/* TOHEX_NBITS is DBL_MANT_DIG rounded up to the next integer
1095 of the form 4k+1. */
1096#define TOHEX_NBITS DBL_MANT_DIG + 3 - (DBL_MANT_DIG+2)%4
1097
1098static PyObject *
1099float_hex(PyObject *v)
1100{
1101 double x, m;
1102 int e, shift, i, si, esign;
1103 /* Space for 1+(TOHEX_NBITS-1)/4 digits, a decimal point, and the
1104 trailing NUL byte. */
1105 char s[(TOHEX_NBITS-1)/4+3];
1106
1107 CONVERT_TO_DOUBLE(v, x);
1108
1109 if (Py_IS_NAN(x) || Py_IS_INFINITY(x))
1110 return float_str((PyFloatObject *)v);
1111
1112 if (x == 0.0) {
1113 if(copysign(1.0, x) == -1.0)
1114 return PyUnicode_FromString("-0x0.0p+0");
1115 else
1116 return PyUnicode_FromString("0x0.0p+0");
1117 }
1118
1119 m = frexp(fabs(x), &e);
1120 shift = 1 - MAX(DBL_MIN_EXP - e, 0);
1121 m = ldexp(m, shift);
1122 e -= shift;
1123
1124 si = 0;
1125 s[si] = char_from_hex((int)m);
1126 si++;
1127 m -= (int)m;
1128 s[si] = '.';
1129 si++;
1130 for (i=0; i < (TOHEX_NBITS-1)/4; i++) {
1131 m *= 16.0;
1132 s[si] = char_from_hex((int)m);
1133 si++;
1134 m -= (int)m;
1135 }
1136 s[si] = '\0';
1137
1138 if (e < 0) {
1139 esign = (int)'-';
1140 e = -e;
1141 }
1142 else
1143 esign = (int)'+';
1144
1145 if (x < 0.0)
1146 return PyUnicode_FromFormat("-0x%sp%c%d", s, esign, e);
1147 else
1148 return PyUnicode_FromFormat("0x%sp%c%d", s, esign, e);
1149}
1150
1151PyDoc_STRVAR(float_hex_doc,
1152"float.hex() -> string\n\
1153\n\
1154Return a hexadecimal representation of a floating-point number.\n\
1155>>> (-0.1).hex()\n\
1156'-0x1.999999999999ap-4'\n\
1157>>> 3.14159.hex()\n\
1158'0x1.921f9f01b866ep+1'");
1159
1160/* Convert a hexadecimal string to a float. */
1161
1162static PyObject *
1163float_fromhex(PyObject *cls, PyObject *arg)
1164{
1165 PyObject *result_as_float, *result;
1166 double x;
1167 long exp, top_exp, lsb, key_digit;
1168 char *s, *coeff_start, *s_store, *coeff_end, *exp_start, *s_end;
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001169 int half_eps, digit, round_up, negate=0;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001170 Py_ssize_t length, ndigits, fdigits, i;
1171
1172 /*
1173 * For the sake of simplicity and correctness, we impose an artificial
1174 * limit on ndigits, the total number of hex digits in the coefficient
1175 * The limit is chosen to ensure that, writing exp for the exponent,
1176 *
1177 * (1) if exp > LONG_MAX/2 then the value of the hex string is
1178 * guaranteed to overflow (provided it's nonzero)
1179 *
1180 * (2) if exp < LONG_MIN/2 then the value of the hex string is
1181 * guaranteed to underflow to 0.
1182 *
1183 * (3) if LONG_MIN/2 <= exp <= LONG_MAX/2 then there's no danger of
1184 * overflow in the calculation of exp and top_exp below.
1185 *
1186 * More specifically, ndigits is assumed to satisfy the following
1187 * inequalities:
1188 *
1189 * 4*ndigits <= DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2
1190 * 4*ndigits <= LONG_MAX/2 + 1 - DBL_MAX_EXP
1191 *
1192 * If either of these inequalities is not satisfied, a ValueError is
1193 * raised. Otherwise, write x for the value of the hex string, and
1194 * assume x is nonzero. Then
1195 *
1196 * 2**(exp-4*ndigits) <= |x| < 2**(exp+4*ndigits).
1197 *
1198 * Now if exp > LONG_MAX/2 then:
1199 *
1200 * exp - 4*ndigits >= LONG_MAX/2 + 1 - (LONG_MAX/2 + 1 - DBL_MAX_EXP)
1201 * = DBL_MAX_EXP
1202 *
1203 * so |x| >= 2**DBL_MAX_EXP, which is too large to be stored in C
1204 * double, so overflows. If exp < LONG_MIN/2, then
1205 *
1206 * exp + 4*ndigits <= LONG_MIN/2 - 1 + (
1207 * DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2)
1208 * = DBL_MIN_EXP - DBL_MANT_DIG - 1
1209 *
1210 * and so |x| < 2**(DBL_MIN_EXP-DBL_MANT_DIG-1), hence underflows to 0
1211 * when converted to a C double.
1212 *
1213 * It's easy to show that if LONG_MIN/2 <= exp <= LONG_MAX/2 then both
1214 * exp+4*ndigits and exp-4*ndigits are within the range of a long.
1215 */
1216
Marc-André Lemburg4cc0f242008-08-07 18:54:33 +00001217 s = _PyUnicode_AsStringAndSize(arg, &length);
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001218 if (s == NULL)
1219 return NULL;
1220 s_end = s + length;
1221
1222 /********************
1223 * Parse the string *
1224 ********************/
1225
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001226 /* leading whitespace */
Mark Dickinsonaa77d262009-05-03 21:07:13 +00001227 while (Py_ISSPACE(*s))
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001228 s++;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001229
1230 /* infinities and nans */
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001231 x = _Py_parse_inf_or_nan(s, &coeff_end);
1232 if (coeff_end != s) {
1233 s = coeff_end;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001234 goto finished;
1235 }
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001236
1237 /* optional sign */
1238 if (*s == '-') {
1239 s++;
1240 negate = 1;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001241 }
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001242 else if (*s == '+')
1243 s++;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001244
1245 /* [0x] */
1246 s_store = s;
1247 if (*s == '0') {
1248 s++;
Mark Dickinsonaa77d262009-05-03 21:07:13 +00001249 if (*s == 'x' || *s == 'X')
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001250 s++;
1251 else
1252 s = s_store;
1253 }
1254
1255 /* coefficient: <integer> [. <fraction>] */
1256 coeff_start = s;
Mark Dickinson42a72ee2008-08-21 21:40:15 +00001257 while (hex_from_char(*s) >= 0)
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001258 s++;
1259 s_store = s;
1260 if (*s == '.') {
1261 s++;
Mark Dickinson42a72ee2008-08-21 21:40:15 +00001262 while (hex_from_char(*s) >= 0)
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001263 s++;
1264 coeff_end = s-1;
1265 }
1266 else
1267 coeff_end = s;
1268
1269 /* ndigits = total # of hex digits; fdigits = # after point */
1270 ndigits = coeff_end - coeff_start;
1271 fdigits = coeff_end - s_store;
1272 if (ndigits == 0)
1273 goto parse_error;
1274 if (ndigits > MIN(DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2,
1275 LONG_MAX/2 + 1 - DBL_MAX_EXP)/4)
1276 goto insane_length_error;
1277
1278 /* [p <exponent>] */
Mark Dickinsonaa77d262009-05-03 21:07:13 +00001279 if (*s == 'p' || *s == 'P') {
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001280 s++;
1281 exp_start = s;
1282 if (*s == '-' || *s == '+')
1283 s++;
Mark Dickinson42a72ee2008-08-21 21:40:15 +00001284 if (!('0' <= *s && *s <= '9'))
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001285 goto parse_error;
1286 s++;
Mark Dickinson42a72ee2008-08-21 21:40:15 +00001287 while ('0' <= *s && *s <= '9')
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001288 s++;
1289 exp = strtol(exp_start, NULL, 10);
1290 }
1291 else
1292 exp = 0;
1293
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001294/* for 0 <= j < ndigits, HEX_DIGIT(j) gives the jth most significant digit */
1295#define HEX_DIGIT(j) hex_from_char(*((j) < fdigits ? \
1296 coeff_end-(j) : \
1297 coeff_end-1-(j)))
1298
1299 /*******************************************
1300 * Compute rounded value of the hex string *
1301 *******************************************/
1302
1303 /* Discard leading zeros, and catch extreme overflow and underflow */
1304 while (ndigits > 0 && HEX_DIGIT(ndigits-1) == 0)
1305 ndigits--;
1306 if (ndigits == 0 || exp < LONG_MIN/2) {
Mark Dickinsond1ec8b22009-05-11 15:45:15 +00001307 x = 0.0;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001308 goto finished;
1309 }
1310 if (exp > LONG_MAX/2)
1311 goto overflow_error;
1312
1313 /* Adjust exponent for fractional part. */
1314 exp = exp - 4*((long)fdigits);
1315
1316 /* top_exp = 1 more than exponent of most sig. bit of coefficient */
1317 top_exp = exp + 4*((long)ndigits - 1);
1318 for (digit = HEX_DIGIT(ndigits-1); digit != 0; digit /= 2)
1319 top_exp++;
1320
1321 /* catch almost all nonextreme cases of overflow and underflow here */
1322 if (top_exp < DBL_MIN_EXP - DBL_MANT_DIG) {
Mark Dickinsond1ec8b22009-05-11 15:45:15 +00001323 x = 0.0;
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001324 goto finished;
1325 }
1326 if (top_exp > DBL_MAX_EXP)
1327 goto overflow_error;
1328
1329 /* lsb = exponent of least significant bit of the *rounded* value.
1330 This is top_exp - DBL_MANT_DIG unless result is subnormal. */
1331 lsb = MAX(top_exp, (long)DBL_MIN_EXP) - DBL_MANT_DIG;
1332
1333 x = 0.0;
1334 if (exp >= lsb) {
1335 /* no rounding required */
1336 for (i = ndigits-1; i >= 0; i--)
1337 x = 16.0*x + HEX_DIGIT(i);
Mark Dickinsond1ec8b22009-05-11 15:45:15 +00001338 x = ldexp(x, (int)(exp));
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001339 goto finished;
1340 }
1341 /* rounding required. key_digit is the index of the hex digit
1342 containing the first bit to be rounded away. */
1343 half_eps = 1 << (int)((lsb - exp - 1) % 4);
1344 key_digit = (lsb - exp - 1) / 4;
1345 for (i = ndigits-1; i > key_digit; i--)
1346 x = 16.0*x + HEX_DIGIT(i);
1347 digit = HEX_DIGIT(key_digit);
1348 x = 16.0*x + (double)(digit & (16-2*half_eps));
1349
1350 /* round-half-even: round up if bit lsb-1 is 1 and at least one of
1351 bits lsb, lsb-2, lsb-3, lsb-4, ... is 1. */
1352 if ((digit & half_eps) != 0) {
1353 round_up = 0;
1354 if ((digit & (3*half_eps-1)) != 0 ||
1355 (half_eps == 8 && (HEX_DIGIT(key_digit+1) & 1) != 0))
1356 round_up = 1;
1357 else
1358 for (i = key_digit-1; i >= 0; i--)
1359 if (HEX_DIGIT(i) != 0) {
1360 round_up = 1;
1361 break;
1362 }
1363 if (round_up == 1) {
1364 x += 2*half_eps;
1365 if (top_exp == DBL_MAX_EXP &&
1366 x == ldexp((double)(2*half_eps), DBL_MANT_DIG))
1367 /* overflow corner case: pre-rounded value <
1368 2**DBL_MAX_EXP; rounded=2**DBL_MAX_EXP. */
1369 goto overflow_error;
1370 }
1371 }
Mark Dickinsond1ec8b22009-05-11 15:45:15 +00001372 x = ldexp(x, (int)(exp+4*key_digit));
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001373
1374 finished:
Mark Dickinsond1ec8b22009-05-11 15:45:15 +00001375 /* optional trailing whitespace leading to the end of the string */
1376 while (Py_ISSPACE(*s))
1377 s++;
1378 if (s != s_end)
1379 goto parse_error;
Mark Dickinsonbd16edd2009-05-20 22:05:25 +00001380 result_as_float = Py_BuildValue("(d)", negate ? -x : x);
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001381 if (result_as_float == NULL)
1382 return NULL;
1383 result = PyObject_CallObject(cls, result_as_float);
1384 Py_DECREF(result_as_float);
1385 return result;
1386
1387 overflow_error:
1388 PyErr_SetString(PyExc_OverflowError,
1389 "hexadecimal value too large to represent as a float");
1390 return NULL;
1391
1392 parse_error:
1393 PyErr_SetString(PyExc_ValueError,
1394 "invalid hexadecimal floating-point string");
1395 return NULL;
1396
1397 insane_length_error:
1398 PyErr_SetString(PyExc_ValueError,
1399 "hexadecimal string too long to convert");
1400 return NULL;
1401}
1402
1403PyDoc_STRVAR(float_fromhex_doc,
1404"float.fromhex(string) -> float\n\
1405\n\
1406Create a floating-point number from a hexadecimal string.\n\
1407>>> float.fromhex('0x1.ffffp10')\n\
14082047.984375\n\
1409>>> float.fromhex('-0x1p-1074')\n\
1410-4.9406564584124654e-324");
1411
1412
Christian Heimes26855632008-01-27 23:50:43 +00001413static PyObject *
Christian Heimes292d3512008-02-03 16:51:08 +00001414float_as_integer_ratio(PyObject *v, PyObject *unused)
Christian Heimes26855632008-01-27 23:50:43 +00001415{
1416 double self;
1417 double float_part;
1418 int exponent;
Christian Heimes292d3512008-02-03 16:51:08 +00001419 int i;
1420
Christian Heimes26855632008-01-27 23:50:43 +00001421 PyObject *prev;
Christian Heimes26855632008-01-27 23:50:43 +00001422 PyObject *py_exponent = NULL;
1423 PyObject *numerator = NULL;
1424 PyObject *denominator = NULL;
1425 PyObject *result_pair = NULL;
Christian Heimes292d3512008-02-03 16:51:08 +00001426 PyNumberMethods *long_methods = PyLong_Type.tp_as_number;
Christian Heimes26855632008-01-27 23:50:43 +00001427
1428#define INPLACE_UPDATE(obj, call) \
1429 prev = obj; \
1430 obj = call; \
1431 Py_DECREF(prev); \
1432
1433 CONVERT_TO_DOUBLE(v, self);
1434
1435 if (Py_IS_INFINITY(self)) {
1436 PyErr_SetString(PyExc_OverflowError,
1437 "Cannot pass infinity to float.as_integer_ratio.");
1438 return NULL;
1439 }
1440#ifdef Py_NAN
1441 if (Py_IS_NAN(self)) {
1442 PyErr_SetString(PyExc_ValueError,
Benjamin Petersonf10a79a2008-10-11 00:49:57 +00001443 "Cannot pass NaN to float.as_integer_ratio.");
Christian Heimes26855632008-01-27 23:50:43 +00001444 return NULL;
1445 }
1446#endif
1447
Christian Heimes26855632008-01-27 23:50:43 +00001448 PyFPE_START_PROTECT("as_integer_ratio", goto error);
Christian Heimes292d3512008-02-03 16:51:08 +00001449 float_part = frexp(self, &exponent); /* self == float_part * 2**exponent exactly */
Christian Heimes26855632008-01-27 23:50:43 +00001450 PyFPE_END_PROTECT(float_part);
Christian Heimes292d3512008-02-03 16:51:08 +00001451
1452 for (i=0; i<300 && float_part != floor(float_part) ; i++) {
1453 float_part *= 2.0;
1454 exponent--;
1455 }
1456 /* self == float_part * 2**exponent exactly and float_part is integral.
1457 If FLT_RADIX != 2, the 300 steps may leave a tiny fractional part
1458 to be truncated by PyLong_FromDouble(). */
Christian Heimes26855632008-01-27 23:50:43 +00001459
Christian Heimes292d3512008-02-03 16:51:08 +00001460 numerator = PyLong_FromDouble(float_part);
Christian Heimes26855632008-01-27 23:50:43 +00001461 if (numerator == NULL) goto error;
1462
Christian Heimes292d3512008-02-03 16:51:08 +00001463 /* fold in 2**exponent */
Christian Heimes26855632008-01-27 23:50:43 +00001464 denominator = PyLong_FromLong(1);
Christian Heimes292d3512008-02-03 16:51:08 +00001465 py_exponent = PyLong_FromLong(labs((long)exponent));
Christian Heimes26855632008-01-27 23:50:43 +00001466 if (py_exponent == NULL) goto error;
1467 INPLACE_UPDATE(py_exponent,
1468 long_methods->nb_lshift(denominator, py_exponent));
1469 if (py_exponent == NULL) goto error;
1470 if (exponent > 0) {
1471 INPLACE_UPDATE(numerator,
Christian Heimes292d3512008-02-03 16:51:08 +00001472 long_methods->nb_multiply(numerator, py_exponent));
Christian Heimes26855632008-01-27 23:50:43 +00001473 if (numerator == NULL) goto error;
1474 }
1475 else {
1476 Py_DECREF(denominator);
1477 denominator = py_exponent;
1478 py_exponent = NULL;
1479 }
1480
1481 result_pair = PyTuple_Pack(2, numerator, denominator);
1482
1483#undef INPLACE_UPDATE
1484error:
1485 Py_XDECREF(py_exponent);
Christian Heimes26855632008-01-27 23:50:43 +00001486 Py_XDECREF(denominator);
1487 Py_XDECREF(numerator);
1488 return result_pair;
1489}
1490
1491PyDoc_STRVAR(float_as_integer_ratio_doc,
1492"float.as_integer_ratio() -> (int, int)\n"
1493"\n"
Christian Heimes292d3512008-02-03 16:51:08 +00001494"Returns a pair of integers, whose ratio is exactly equal to the original\n"
1495"float and with a positive denominator.\n"
Benjamin Petersonf10a79a2008-10-11 00:49:57 +00001496"Raises OverflowError on infinities and a ValueError on NaNs.\n"
Christian Heimes26855632008-01-27 23:50:43 +00001497"\n"
1498">>> (10.0).as_integer_ratio()\n"
Christian Heimes292d3512008-02-03 16:51:08 +00001499"(10, 1)\n"
Christian Heimes26855632008-01-27 23:50:43 +00001500">>> (0.0).as_integer_ratio()\n"
1501"(0, 1)\n"
1502">>> (-.25).as_integer_ratio()\n"
Christian Heimes292d3512008-02-03 16:51:08 +00001503"(-1, 4)");
Christian Heimes26855632008-01-27 23:50:43 +00001504
Guido van Rossum1899c2e1992-09-12 11:09:23 +00001505
Jeremy Hylton938ace62002-07-17 16:30:39 +00001506static PyObject *
Guido van Rossumbef14172001-08-29 15:47:46 +00001507float_subtype_new(PyTypeObject *type, PyObject *args, PyObject *kwds);
1508
Tim Peters6d6c1a32001-08-02 04:15:00 +00001509static PyObject *
1510float_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
1511{
1512 PyObject *x = Py_False; /* Integer zero */
Martin v. Löwis15e62742006-02-27 16:46:16 +00001513 static char *kwlist[] = {"x", 0};
Tim Peters6d6c1a32001-08-02 04:15:00 +00001514
Guido van Rossumbef14172001-08-29 15:47:46 +00001515 if (type != &PyFloat_Type)
1516 return float_subtype_new(type, args, kwds); /* Wimp out */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001517 if (!PyArg_ParseTupleAndKeywords(args, kwds, "|O:float", kwlist, &x))
1518 return NULL;
Benjamin Peterson2808d3c2009-04-15 21:34:27 +00001519 /* If it's a string, but not a string subclass, use
1520 PyFloat_FromString. */
1521 if (PyUnicode_CheckExact(x))
Georg Brandl428f0642007-03-18 18:35:15 +00001522 return PyFloat_FromString(x);
Tim Peters6d6c1a32001-08-02 04:15:00 +00001523 return PyNumber_Float(x);
1524}
1525
Guido van Rossumbef14172001-08-29 15:47:46 +00001526/* Wimpy, slow approach to tp_new calls for subtypes of float:
1527 first create a regular float from whatever arguments we got,
1528 then allocate a subtype instance and initialize its ob_fval
1529 from the regular float. The regular float is then thrown away.
1530*/
1531static PyObject *
1532float_subtype_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
1533{
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001534 PyObject *tmp, *newobj;
Guido van Rossumbef14172001-08-29 15:47:46 +00001535
1536 assert(PyType_IsSubtype(type, &PyFloat_Type));
1537 tmp = float_new(&PyFloat_Type, args, kwds);
1538 if (tmp == NULL)
1539 return NULL;
Tim Peters2400fa42001-09-12 19:12:49 +00001540 assert(PyFloat_CheckExact(tmp));
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001541 newobj = type->tp_alloc(type, 0);
1542 if (newobj == NULL) {
Raymond Hettingerf4667932003-06-28 20:04:25 +00001543 Py_DECREF(tmp);
Guido van Rossumbef14172001-08-29 15:47:46 +00001544 return NULL;
Raymond Hettingerf4667932003-06-28 20:04:25 +00001545 }
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001546 ((PyFloatObject *)newobj)->ob_fval = ((PyFloatObject *)tmp)->ob_fval;
Guido van Rossumbef14172001-08-29 15:47:46 +00001547 Py_DECREF(tmp);
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001548 return newobj;
Guido van Rossumbef14172001-08-29 15:47:46 +00001549}
1550
Guido van Rossum5d9113d2003-01-29 17:58:45 +00001551static PyObject *
1552float_getnewargs(PyFloatObject *v)
1553{
1554 return Py_BuildValue("(d)", v->ob_fval);
1555}
1556
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001557/* this is for the benefit of the pack/unpack routines below */
1558
1559typedef enum {
1560 unknown_format, ieee_big_endian_format, ieee_little_endian_format
1561} float_format_type;
1562
1563static float_format_type double_format, float_format;
1564static float_format_type detected_double_format, detected_float_format;
1565
1566static PyObject *
1567float_getformat(PyTypeObject *v, PyObject* arg)
1568{
1569 char* s;
1570 float_format_type r;
1571
Neal Norwitz6ea45d32007-08-26 04:19:43 +00001572 if (!PyUnicode_Check(arg)) {
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001573 PyErr_Format(PyExc_TypeError,
1574 "__getformat__() argument must be string, not %.500s",
Christian Heimes90aa7642007-12-19 02:45:37 +00001575 Py_TYPE(arg)->tp_name);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001576 return NULL;
1577 }
Marc-André Lemburg4cc0f242008-08-07 18:54:33 +00001578 s = _PyUnicode_AsString(arg);
Neal Norwitz6ea45d32007-08-26 04:19:43 +00001579 if (s == NULL)
1580 return NULL;
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001581 if (strcmp(s, "double") == 0) {
1582 r = double_format;
1583 }
1584 else if (strcmp(s, "float") == 0) {
1585 r = float_format;
1586 }
1587 else {
1588 PyErr_SetString(PyExc_ValueError,
1589 "__getformat__() argument 1 must be "
1590 "'double' or 'float'");
1591 return NULL;
1592 }
1593
1594 switch (r) {
1595 case unknown_format:
Walter Dörwald71044582007-06-22 12:26:52 +00001596 return PyUnicode_FromString("unknown");
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001597 case ieee_little_endian_format:
Walter Dörwald71044582007-06-22 12:26:52 +00001598 return PyUnicode_FromString("IEEE, little-endian");
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001599 case ieee_big_endian_format:
Walter Dörwald71044582007-06-22 12:26:52 +00001600 return PyUnicode_FromString("IEEE, big-endian");
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001601 default:
1602 Py_FatalError("insane float_format or double_format");
1603 return NULL;
1604 }
1605}
1606
1607PyDoc_STRVAR(float_getformat_doc,
1608"float.__getformat__(typestr) -> string\n"
1609"\n"
1610"You probably don't want to use this function. It exists mainly to be\n"
1611"used in Python's test suite.\n"
1612"\n"
1613"typestr must be 'double' or 'float'. This function returns whichever of\n"
1614"'unknown', 'IEEE, big-endian' or 'IEEE, little-endian' best describes the\n"
1615"format of floating point numbers used by the C type named by typestr.");
1616
1617static PyObject *
1618float_setformat(PyTypeObject *v, PyObject* args)
1619{
1620 char* typestr;
1621 char* format;
1622 float_format_type f;
1623 float_format_type detected;
1624 float_format_type *p;
1625
1626 if (!PyArg_ParseTuple(args, "ss:__setformat__", &typestr, &format))
1627 return NULL;
1628
1629 if (strcmp(typestr, "double") == 0) {
1630 p = &double_format;
1631 detected = detected_double_format;
1632 }
1633 else if (strcmp(typestr, "float") == 0) {
1634 p = &float_format;
1635 detected = detected_float_format;
1636 }
1637 else {
1638 PyErr_SetString(PyExc_ValueError,
1639 "__setformat__() argument 1 must "
1640 "be 'double' or 'float'");
1641 return NULL;
1642 }
1643
1644 if (strcmp(format, "unknown") == 0) {
1645 f = unknown_format;
1646 }
1647 else if (strcmp(format, "IEEE, little-endian") == 0) {
1648 f = ieee_little_endian_format;
1649 }
1650 else if (strcmp(format, "IEEE, big-endian") == 0) {
1651 f = ieee_big_endian_format;
1652 }
1653 else {
1654 PyErr_SetString(PyExc_ValueError,
1655 "__setformat__() argument 2 must be "
1656 "'unknown', 'IEEE, little-endian' or "
1657 "'IEEE, big-endian'");
1658 return NULL;
1659
1660 }
1661
1662 if (f != unknown_format && f != detected) {
1663 PyErr_Format(PyExc_ValueError,
1664 "can only set %s format to 'unknown' or the "
1665 "detected platform value", typestr);
1666 return NULL;
1667 }
1668
1669 *p = f;
1670 Py_RETURN_NONE;
1671}
1672
1673PyDoc_STRVAR(float_setformat_doc,
1674"float.__setformat__(typestr, fmt) -> None\n"
1675"\n"
1676"You probably don't want to use this function. It exists mainly to be\n"
1677"used in Python's test suite.\n"
1678"\n"
1679"typestr must be 'double' or 'float'. fmt must be one of 'unknown',\n"
1680"'IEEE, big-endian' or 'IEEE, little-endian', and in addition can only be\n"
1681"one of the latter two if it appears to match the underlying C reality.\n"
1682"\n"
1683"Overrides the automatic determination of C-level floating point type.\n"
1684"This affects how floats are converted to and from binary strings.");
1685
Guido van Rossumb43daf72007-08-01 18:08:08 +00001686static PyObject *
1687float_getzero(PyObject *v, void *closure)
1688{
1689 return PyFloat_FromDouble(0.0);
1690}
1691
Eric Smith8c663262007-08-25 02:26:07 +00001692static PyObject *
1693float__format__(PyObject *self, PyObject *args)
1694{
Eric Smith4a7d76d2008-05-30 18:10:19 +00001695 PyObject *format_spec;
1696
1697 if (!PyArg_ParseTuple(args, "U:__format__", &format_spec))
1698 return NULL;
1699 return _PyFloat_FormatAdvanced(self,
1700 PyUnicode_AS_UNICODE(format_spec),
1701 PyUnicode_GET_SIZE(format_spec));
Eric Smith8c663262007-08-25 02:26:07 +00001702}
1703
1704PyDoc_STRVAR(float__format__doc,
1705"float.__format__(format_spec) -> string\n"
1706"\n"
1707"Formats the float according to format_spec.");
1708
1709
Guido van Rossum5d9113d2003-01-29 17:58:45 +00001710static PyMethodDef float_methods[] = {
Christian Heimes53876d92008-04-19 00:31:39 +00001711 {"conjugate", (PyCFunction)float_float, METH_NOARGS,
Guido van Rossumb43daf72007-08-01 18:08:08 +00001712 "Returns self, the complex conjugate of any float."},
Guido van Rossum2fa33db2007-08-23 22:07:24 +00001713 {"__trunc__", (PyCFunction)float_trunc, METH_NOARGS,
1714 "Returns the Integral closest to x between 0 and x."},
1715 {"__round__", (PyCFunction)float_round, METH_VARARGS,
1716 "Returns the Integral closest to x, rounding half toward even.\n"
1717 "When an argument is passed, works like built-in round(x, ndigits)."},
Christian Heimes26855632008-01-27 23:50:43 +00001718 {"as_integer_ratio", (PyCFunction)float_as_integer_ratio, METH_NOARGS,
1719 float_as_integer_ratio_doc},
Mark Dickinson65fe25e2008-07-16 11:30:51 +00001720 {"fromhex", (PyCFunction)float_fromhex,
1721 METH_O|METH_CLASS, float_fromhex_doc},
1722 {"hex", (PyCFunction)float_hex,
1723 METH_NOARGS, float_hex_doc},
Christian Heimes53876d92008-04-19 00:31:39 +00001724 {"is_integer", (PyCFunction)float_is_integer, METH_NOARGS,
1725 "Returns True if the float is an integer."},
1726#if 0
1727 {"is_inf", (PyCFunction)float_is_inf, METH_NOARGS,
1728 "Returns True if the float is positive or negative infinite."},
1729 {"is_finite", (PyCFunction)float_is_finite, METH_NOARGS,
1730 "Returns True if the float is finite, neither infinite nor NaN."},
1731 {"is_nan", (PyCFunction)float_is_nan, METH_NOARGS,
1732 "Returns True if the float is not a number (NaN)."},
1733#endif
Guido van Rossum5d9113d2003-01-29 17:58:45 +00001734 {"__getnewargs__", (PyCFunction)float_getnewargs, METH_NOARGS},
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001735 {"__getformat__", (PyCFunction)float_getformat,
1736 METH_O|METH_CLASS, float_getformat_doc},
1737 {"__setformat__", (PyCFunction)float_setformat,
1738 METH_VARARGS|METH_CLASS, float_setformat_doc},
Eric Smith8c663262007-08-25 02:26:07 +00001739 {"__format__", (PyCFunction)float__format__,
1740 METH_VARARGS, float__format__doc},
Guido van Rossum5d9113d2003-01-29 17:58:45 +00001741 {NULL, NULL} /* sentinel */
1742};
1743
Guido van Rossumb43daf72007-08-01 18:08:08 +00001744static PyGetSetDef float_getset[] = {
1745 {"real",
1746 (getter)float_float, (setter)NULL,
1747 "the real part of a complex number",
1748 NULL},
1749 {"imag",
1750 (getter)float_getzero, (setter)NULL,
1751 "the imaginary part of a complex number",
1752 NULL},
1753 {NULL} /* Sentinel */
1754};
1755
Martin v. Löwis14f8b4c2002-06-13 20:33:02 +00001756PyDoc_STRVAR(float_doc,
Tim Peters6d6c1a32001-08-02 04:15:00 +00001757"float(x) -> floating point number\n\
1758\n\
Martin v. Löwis14f8b4c2002-06-13 20:33:02 +00001759Convert a string or number to a floating point number, if possible.");
Tim Peters6d6c1a32001-08-02 04:15:00 +00001760
1761
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001762static PyNumberMethods float_as_number = {
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001763 float_add, /*nb_add*/
1764 float_sub, /*nb_subtract*/
1765 float_mul, /*nb_multiply*/
1766 float_rem, /*nb_remainder*/
1767 float_divmod, /*nb_divmod*/
1768 float_pow, /*nb_power*/
Guido van Rossumb6775db1994-08-01 11:34:53 +00001769 (unaryfunc)float_neg, /*nb_negative*/
Guido van Rossumb43daf72007-08-01 18:08:08 +00001770 (unaryfunc)float_float, /*nb_positive*/
Guido van Rossumb6775db1994-08-01 11:34:53 +00001771 (unaryfunc)float_abs, /*nb_absolute*/
Jack Diederich4dafcc42006-11-28 19:15:13 +00001772 (inquiry)float_bool, /*nb_bool*/
Guido van Rossum27acb331991-10-24 14:55:28 +00001773 0, /*nb_invert*/
1774 0, /*nb_lshift*/
1775 0, /*nb_rshift*/
1776 0, /*nb_and*/
1777 0, /*nb_xor*/
1778 0, /*nb_or*/
Guido van Rossum2fa33db2007-08-23 22:07:24 +00001779 float_trunc, /*nb_int*/
Mark Dickinson8055afd2009-01-17 10:04:45 +00001780 0, /*nb_reserved*/
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001781 float_float, /*nb_float*/
Guido van Rossum4668b002001-08-08 05:00:18 +00001782 0, /* nb_inplace_add */
1783 0, /* nb_inplace_subtract */
1784 0, /* nb_inplace_multiply */
Guido van Rossum4668b002001-08-08 05:00:18 +00001785 0, /* nb_inplace_remainder */
1786 0, /* nb_inplace_power */
1787 0, /* nb_inplace_lshift */
1788 0, /* nb_inplace_rshift */
1789 0, /* nb_inplace_and */
1790 0, /* nb_inplace_xor */
1791 0, /* nb_inplace_or */
Tim Peters63a35712001-12-11 19:57:24 +00001792 float_floor_div, /* nb_floor_divide */
Guido van Rossum4668b002001-08-08 05:00:18 +00001793 float_div, /* nb_true_divide */
1794 0, /* nb_inplace_floor_divide */
1795 0, /* nb_inplace_true_divide */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001796};
1797
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001798PyTypeObject PyFloat_Type = {
Martin v. Löwis9f2e3462007-07-21 17:22:18 +00001799 PyVarObject_HEAD_INIT(&PyType_Type, 0)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001800 "float",
Guido van Rossumc0b618a1997-05-02 03:12:38 +00001801 sizeof(PyFloatObject),
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001802 0,
Tim Peters6d6c1a32001-08-02 04:15:00 +00001803 (destructor)float_dealloc, /* tp_dealloc */
Guido van Rossum04dbf3b2007-08-07 19:51:00 +00001804 0, /* tp_print */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001805 0, /* tp_getattr */
1806 0, /* tp_setattr */
Mark Dickinsone94c6792009-02-02 20:36:42 +00001807 0, /* tp_reserved */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001808 (reprfunc)float_repr, /* tp_repr */
1809 &float_as_number, /* tp_as_number */
1810 0, /* tp_as_sequence */
1811 0, /* tp_as_mapping */
1812 (hashfunc)float_hash, /* tp_hash */
1813 0, /* tp_call */
1814 (reprfunc)float_str, /* tp_str */
1815 PyObject_GenericGetAttr, /* tp_getattro */
1816 0, /* tp_setattro */
1817 0, /* tp_as_buffer */
Guido van Rossum3cf5b1e2006-07-27 21:53:35 +00001818 Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE, /* tp_flags */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001819 float_doc, /* tp_doc */
1820 0, /* tp_traverse */
1821 0, /* tp_clear */
Thomas Wouters49fd7fa2006-04-21 10:40:58 +00001822 float_richcompare, /* tp_richcompare */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001823 0, /* tp_weaklistoffset */
1824 0, /* tp_iter */
1825 0, /* tp_iternext */
Guido van Rossum5d9113d2003-01-29 17:58:45 +00001826 float_methods, /* tp_methods */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001827 0, /* tp_members */
Guido van Rossumb43daf72007-08-01 18:08:08 +00001828 float_getset, /* tp_getset */
Tim Peters6d6c1a32001-08-02 04:15:00 +00001829 0, /* tp_base */
1830 0, /* tp_dict */
1831 0, /* tp_descr_get */
1832 0, /* tp_descr_set */
1833 0, /* tp_dictoffset */
1834 0, /* tp_init */
1835 0, /* tp_alloc */
1836 float_new, /* tp_new */
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00001837};
Guido van Rossumfbbd57e1997-08-05 02:16:08 +00001838
1839void
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001840_PyFloat_Init(void)
1841{
1842 /* We attempt to determine if this machine is using IEEE
1843 floating point formats by peering at the bits of some
1844 carefully chosen values. If it looks like we are on an
1845 IEEE platform, the float packing/unpacking routines can
1846 just copy bits, if not they resort to arithmetic & shifts
1847 and masks. The shifts & masks approach works on all finite
1848 values, but what happens to infinities, NaNs and signed
1849 zeroes on packing is an accident, and attempting to unpack
1850 a NaN or an infinity will raise an exception.
1851
1852 Note that if we're on some whacked-out platform which uses
1853 IEEE formats but isn't strictly little-endian or big-
1854 endian, we will fall back to the portable shifts & masks
1855 method. */
1856
1857#if SIZEOF_DOUBLE == 8
1858 {
1859 double x = 9006104071832581.0;
1860 if (memcmp(&x, "\x43\x3f\xff\x01\x02\x03\x04\x05", 8) == 0)
1861 detected_double_format = ieee_big_endian_format;
1862 else if (memcmp(&x, "\x05\x04\x03\x02\x01\xff\x3f\x43", 8) == 0)
1863 detected_double_format = ieee_little_endian_format;
1864 else
1865 detected_double_format = unknown_format;
1866 }
1867#else
1868 detected_double_format = unknown_format;
1869#endif
1870
1871#if SIZEOF_FLOAT == 4
1872 {
1873 float y = 16711938.0;
1874 if (memcmp(&y, "\x4b\x7f\x01\x02", 4) == 0)
1875 detected_float_format = ieee_big_endian_format;
1876 else if (memcmp(&y, "\x02\x01\x7f\x4b", 4) == 0)
1877 detected_float_format = ieee_little_endian_format;
1878 else
1879 detected_float_format = unknown_format;
1880 }
1881#else
1882 detected_float_format = unknown_format;
1883#endif
1884
1885 double_format = detected_double_format;
1886 float_format = detected_float_format;
Christian Heimesb76922a2007-12-11 01:06:40 +00001887
Christian Heimes7b3ce6a2008-01-31 14:31:45 +00001888 /* Init float info */
1889 if (FloatInfoType.tp_name == 0)
1890 PyStructSequence_InitType(&FloatInfoType, &floatinfo_desc);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001891}
1892
Georg Brandl2ee470f2008-07-16 12:55:28 +00001893int
1894PyFloat_ClearFreeList(void)
Guido van Rossumfbbd57e1997-08-05 02:16:08 +00001895{
Guido van Rossum3fce8831999-03-12 19:43:17 +00001896 PyFloatObject *p;
1897 PyFloatBlock *list, *next;
Georg Brandl2ee470f2008-07-16 12:55:28 +00001898 int i;
Gregory P. Smithd8fa68b2008-08-18 01:05:25 +00001899 int u; /* remaining unfreed floats per block */
Georg Brandl2ee470f2008-07-16 12:55:28 +00001900 int freelist_size = 0;
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001901
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001902 list = block_list;
1903 block_list = NULL;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +00001904 free_list = NULL;
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001905 while (list != NULL) {
Georg Brandl2ee470f2008-07-16 12:55:28 +00001906 u = 0;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +00001907 for (i = 0, p = &list->objects[0];
1908 i < N_FLOATOBJECTS;
1909 i++, p++) {
Christian Heimes90aa7642007-12-19 02:45:37 +00001910 if (PyFloat_CheckExact(p) && Py_REFCNT(p) != 0)
Georg Brandl2ee470f2008-07-16 12:55:28 +00001911 u++;
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001912 }
Guido van Rossum3fce8831999-03-12 19:43:17 +00001913 next = list->next;
Georg Brandl2ee470f2008-07-16 12:55:28 +00001914 if (u) {
Guido van Rossum3fce8831999-03-12 19:43:17 +00001915 list->next = block_list;
1916 block_list = list;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +00001917 for (i = 0, p = &list->objects[0];
1918 i < N_FLOATOBJECTS;
1919 i++, p++) {
Guido van Rossumdea6ef92001-09-11 16:13:52 +00001920 if (!PyFloat_CheckExact(p) ||
Christian Heimes90aa7642007-12-19 02:45:37 +00001921 Py_REFCNT(p) == 0) {
1922 Py_TYPE(p) = (struct _typeobject *)
Guido van Rossumd7b5fb81999-03-19 20:59:40 +00001923 free_list;
1924 free_list = p;
1925 }
1926 }
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001927 }
1928 else {
Georg Brandl2ee470f2008-07-16 12:55:28 +00001929 PyMem_FREE(list);
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001930 }
Georg Brandl2ee470f2008-07-16 12:55:28 +00001931 freelist_size += u;
Guido van Rossum3fce8831999-03-12 19:43:17 +00001932 list = next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001933 }
Georg Brandl2ee470f2008-07-16 12:55:28 +00001934 return freelist_size;
Christian Heimes15ebc882008-02-04 18:48:49 +00001935}
1936
1937void
1938PyFloat_Fini(void)
1939{
1940 PyFloatObject *p;
1941 PyFloatBlock *list;
Georg Brandl2ee470f2008-07-16 12:55:28 +00001942 int i;
1943 int u; /* total unfreed floats per block */
Christian Heimes15ebc882008-02-04 18:48:49 +00001944
Georg Brandl2ee470f2008-07-16 12:55:28 +00001945 u = PyFloat_ClearFreeList();
Christian Heimes15ebc882008-02-04 18:48:49 +00001946
Guido van Rossum3fce8831999-03-12 19:43:17 +00001947 if (!Py_VerboseFlag)
1948 return;
1949 fprintf(stderr, "# cleanup floats");
Georg Brandl2ee470f2008-07-16 12:55:28 +00001950 if (!u) {
Guido van Rossum3fce8831999-03-12 19:43:17 +00001951 fprintf(stderr, "\n");
1952 }
1953 else {
1954 fprintf(stderr,
Georg Brandl2ee470f2008-07-16 12:55:28 +00001955 ": %d unfreed float%s\n",
1956 u, u == 1 ? "" : "s");
Guido van Rossum3fce8831999-03-12 19:43:17 +00001957 }
1958 if (Py_VerboseFlag > 1) {
1959 list = block_list;
1960 while (list != NULL) {
Guido van Rossumd7b5fb81999-03-19 20:59:40 +00001961 for (i = 0, p = &list->objects[0];
1962 i < N_FLOATOBJECTS;
1963 i++, p++) {
Guido van Rossumdea6ef92001-09-11 16:13:52 +00001964 if (PyFloat_CheckExact(p) &&
Christian Heimes90aa7642007-12-19 02:45:37 +00001965 Py_REFCNT(p) != 0) {
Eric Smith0923d1d2009-04-16 20:16:10 +00001966 char *buf = PyOS_double_to_string(
1967 PyFloat_AS_DOUBLE(p), 'r',
1968 0, 0, NULL);
1969 if (buf) {
1970 /* XXX(twouters) cast
1971 refcount to long
1972 until %zd is
1973 universally
1974 available
1975 */
1976 fprintf(stderr,
Thomas Wouters8b87a0b2006-03-01 05:41:20 +00001977 "# <float at %p, refcnt=%ld, val=%s>\n",
Christian Heimes90aa7642007-12-19 02:45:37 +00001978 p, (long)Py_REFCNT(p), buf);
Eric Smith0923d1d2009-04-16 20:16:10 +00001979 PyMem_Free(buf);
1980 }
Guido van Rossum3fce8831999-03-12 19:43:17 +00001981 }
1982 }
1983 list = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +00001984 }
1985 }
Guido van Rossumfbbd57e1997-08-05 02:16:08 +00001986}
Tim Peters9905b942003-03-20 20:53:32 +00001987
1988/*----------------------------------------------------------------------------
1989 * _PyFloat_{Pack,Unpack}{4,8}. See floatobject.h.
Tim Peters9905b942003-03-20 20:53:32 +00001990 */
1991int
1992_PyFloat_Pack4(double x, unsigned char *p, int le)
1993{
Michael W. Hudsonba283e22005-05-27 15:23:20 +00001994 if (float_format == unknown_format) {
1995 unsigned char sign;
1996 int e;
1997 double f;
1998 unsigned int fbits;
1999 int incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002000
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002001 if (le) {
2002 p += 3;
2003 incr = -1;
2004 }
Tim Peters9905b942003-03-20 20:53:32 +00002005
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002006 if (x < 0) {
2007 sign = 1;
2008 x = -x;
2009 }
2010 else
2011 sign = 0;
Tim Peters9905b942003-03-20 20:53:32 +00002012
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002013 f = frexp(x, &e);
Tim Peters9905b942003-03-20 20:53:32 +00002014
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002015 /* Normalize f to be in the range [1.0, 2.0) */
2016 if (0.5 <= f && f < 1.0) {
2017 f *= 2.0;
2018 e--;
2019 }
2020 else if (f == 0.0)
2021 e = 0;
2022 else {
2023 PyErr_SetString(PyExc_SystemError,
2024 "frexp() result out of range");
2025 return -1;
2026 }
2027
2028 if (e >= 128)
2029 goto Overflow;
2030 else if (e < -126) {
2031 /* Gradual underflow */
2032 f = ldexp(f, 126 + e);
2033 e = 0;
2034 }
2035 else if (!(e == 0 && f == 0.0)) {
2036 e += 127;
2037 f -= 1.0; /* Get rid of leading 1 */
2038 }
2039
2040 f *= 8388608.0; /* 2**23 */
2041 fbits = (unsigned int)(f + 0.5); /* Round */
2042 assert(fbits <= 8388608);
2043 if (fbits >> 23) {
2044 /* The carry propagated out of a string of 23 1 bits. */
2045 fbits = 0;
2046 ++e;
2047 if (e >= 255)
2048 goto Overflow;
2049 }
2050
2051 /* First byte */
2052 *p = (sign << 7) | (e >> 1);
2053 p += incr;
2054
2055 /* Second byte */
2056 *p = (char) (((e & 1) << 7) | (fbits >> 16));
2057 p += incr;
2058
2059 /* Third byte */
2060 *p = (fbits >> 8) & 0xFF;
2061 p += incr;
2062
2063 /* Fourth byte */
2064 *p = fbits & 0xFF;
2065
2066 /* Done */
2067 return 0;
2068
Tim Peters9905b942003-03-20 20:53:32 +00002069 }
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002070 else {
Michael W. Hudson3095ad02005-06-30 00:02:26 +00002071 float y = (float)x;
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002072 const char *s = (char*)&y;
2073 int i, incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002074
Christian Heimesdd15f6c2008-03-16 00:07:10 +00002075 if (Py_IS_INFINITY(y) && !Py_IS_INFINITY(x))
2076 goto Overflow;
2077
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002078 if ((float_format == ieee_little_endian_format && !le)
2079 || (float_format == ieee_big_endian_format && le)) {
2080 p += 3;
2081 incr = -1;
2082 }
Christian Heimesdd15f6c2008-03-16 00:07:10 +00002083
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002084 for (i = 0; i < 4; i++) {
2085 *p = *s++;
2086 p += incr;
2087 }
2088 return 0;
Tim Peters9905b942003-03-20 20:53:32 +00002089 }
Christian Heimesdd15f6c2008-03-16 00:07:10 +00002090 Overflow:
2091 PyErr_SetString(PyExc_OverflowError,
2092 "float too large to pack with f format");
2093 return -1;
Tim Peters9905b942003-03-20 20:53:32 +00002094}
2095
2096int
2097_PyFloat_Pack8(double x, unsigned char *p, int le)
2098{
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002099 if (double_format == unknown_format) {
2100 unsigned char sign;
2101 int e;
2102 double f;
2103 unsigned int fhi, flo;
2104 int incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002105
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002106 if (le) {
2107 p += 7;
2108 incr = -1;
2109 }
Tim Peters9905b942003-03-20 20:53:32 +00002110
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002111 if (x < 0) {
2112 sign = 1;
2113 x = -x;
2114 }
2115 else
2116 sign = 0;
Tim Peters9905b942003-03-20 20:53:32 +00002117
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002118 f = frexp(x, &e);
Tim Peters9905b942003-03-20 20:53:32 +00002119
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002120 /* Normalize f to be in the range [1.0, 2.0) */
2121 if (0.5 <= f && f < 1.0) {
2122 f *= 2.0;
2123 e--;
2124 }
2125 else if (f == 0.0)
2126 e = 0;
2127 else {
2128 PyErr_SetString(PyExc_SystemError,
2129 "frexp() result out of range");
2130 return -1;
2131 }
2132
2133 if (e >= 1024)
2134 goto Overflow;
2135 else if (e < -1022) {
2136 /* Gradual underflow */
2137 f = ldexp(f, 1022 + e);
2138 e = 0;
2139 }
2140 else if (!(e == 0 && f == 0.0)) {
2141 e += 1023;
2142 f -= 1.0; /* Get rid of leading 1 */
2143 }
2144
2145 /* fhi receives the high 28 bits; flo the low 24 bits (== 52 bits) */
2146 f *= 268435456.0; /* 2**28 */
2147 fhi = (unsigned int)f; /* Truncate */
2148 assert(fhi < 268435456);
2149
2150 f -= (double)fhi;
2151 f *= 16777216.0; /* 2**24 */
2152 flo = (unsigned int)(f + 0.5); /* Round */
2153 assert(flo <= 16777216);
2154 if (flo >> 24) {
2155 /* The carry propagated out of a string of 24 1 bits. */
2156 flo = 0;
2157 ++fhi;
2158 if (fhi >> 28) {
2159 /* And it also progagated out of the next 28 bits. */
2160 fhi = 0;
2161 ++e;
2162 if (e >= 2047)
2163 goto Overflow;
2164 }
2165 }
2166
2167 /* First byte */
2168 *p = (sign << 7) | (e >> 4);
2169 p += incr;
2170
2171 /* Second byte */
2172 *p = (unsigned char) (((e & 0xF) << 4) | (fhi >> 24));
2173 p += incr;
2174
2175 /* Third byte */
2176 *p = (fhi >> 16) & 0xFF;
2177 p += incr;
2178
2179 /* Fourth byte */
2180 *p = (fhi >> 8) & 0xFF;
2181 p += incr;
2182
2183 /* Fifth byte */
2184 *p = fhi & 0xFF;
2185 p += incr;
2186
2187 /* Sixth byte */
2188 *p = (flo >> 16) & 0xFF;
2189 p += incr;
2190
2191 /* Seventh byte */
2192 *p = (flo >> 8) & 0xFF;
2193 p += incr;
2194
2195 /* Eighth byte */
2196 *p = flo & 0xFF;
2197 p += incr;
2198
2199 /* Done */
2200 return 0;
2201
2202 Overflow:
2203 PyErr_SetString(PyExc_OverflowError,
2204 "float too large to pack with d format");
Tim Peters9905b942003-03-20 20:53:32 +00002205 return -1;
2206 }
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002207 else {
2208 const char *s = (char*)&x;
2209 int i, incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002210
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002211 if ((double_format == ieee_little_endian_format && !le)
2212 || (double_format == ieee_big_endian_format && le)) {
2213 p += 7;
2214 incr = -1;
Tim Peters9905b942003-03-20 20:53:32 +00002215 }
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002216
2217 for (i = 0; i < 8; i++) {
2218 *p = *s++;
2219 p += incr;
2220 }
2221 return 0;
Tim Peters9905b942003-03-20 20:53:32 +00002222 }
Tim Peters9905b942003-03-20 20:53:32 +00002223}
2224
2225double
2226_PyFloat_Unpack4(const unsigned char *p, int le)
2227{
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002228 if (float_format == unknown_format) {
2229 unsigned char sign;
2230 int e;
2231 unsigned int f;
2232 double x;
2233 int incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002234
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002235 if (le) {
2236 p += 3;
2237 incr = -1;
2238 }
2239
2240 /* First byte */
2241 sign = (*p >> 7) & 1;
2242 e = (*p & 0x7F) << 1;
2243 p += incr;
2244
2245 /* Second byte */
2246 e |= (*p >> 7) & 1;
2247 f = (*p & 0x7F) << 16;
2248 p += incr;
2249
2250 if (e == 255) {
2251 PyErr_SetString(
2252 PyExc_ValueError,
2253 "can't unpack IEEE 754 special value "
2254 "on non-IEEE platform");
2255 return -1;
2256 }
2257
2258 /* Third byte */
2259 f |= *p << 8;
2260 p += incr;
2261
2262 /* Fourth byte */
2263 f |= *p;
2264
2265 x = (double)f / 8388608.0;
2266
2267 /* XXX This sadly ignores Inf/NaN issues */
2268 if (e == 0)
2269 e = -126;
2270 else {
2271 x += 1.0;
2272 e -= 127;
2273 }
2274 x = ldexp(x, e);
2275
2276 if (sign)
2277 x = -x;
2278
2279 return x;
Tim Peters9905b942003-03-20 20:53:32 +00002280 }
Tim Peters9905b942003-03-20 20:53:32 +00002281 else {
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002282 float x;
2283
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002284 if ((float_format == ieee_little_endian_format && !le)
2285 || (float_format == ieee_big_endian_format && le)) {
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002286 char buf[4];
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002287 char *d = &buf[3];
2288 int i;
Tim Peters9905b942003-03-20 20:53:32 +00002289
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002290 for (i = 0; i < 4; i++) {
2291 *d-- = *p++;
2292 }
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002293 memcpy(&x, buf, 4);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002294 }
2295 else {
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002296 memcpy(&x, p, 4);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002297 }
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002298
2299 return x;
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002300 }
Tim Peters9905b942003-03-20 20:53:32 +00002301}
2302
2303double
2304_PyFloat_Unpack8(const unsigned char *p, int le)
2305{
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002306 if (double_format == unknown_format) {
2307 unsigned char sign;
2308 int e;
2309 unsigned int fhi, flo;
2310 double x;
2311 int incr = 1;
Tim Peters9905b942003-03-20 20:53:32 +00002312
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002313 if (le) {
2314 p += 7;
2315 incr = -1;
2316 }
2317
2318 /* First byte */
2319 sign = (*p >> 7) & 1;
2320 e = (*p & 0x7F) << 4;
2321
2322 p += incr;
2323
2324 /* Second byte */
2325 e |= (*p >> 4) & 0xF;
2326 fhi = (*p & 0xF) << 24;
2327 p += incr;
2328
2329 if (e == 2047) {
2330 PyErr_SetString(
2331 PyExc_ValueError,
2332 "can't unpack IEEE 754 special value "
2333 "on non-IEEE platform");
2334 return -1.0;
2335 }
2336
2337 /* Third byte */
2338 fhi |= *p << 16;
2339 p += incr;
2340
2341 /* Fourth byte */
2342 fhi |= *p << 8;
2343 p += incr;
2344
2345 /* Fifth byte */
2346 fhi |= *p;
2347 p += incr;
2348
2349 /* Sixth byte */
2350 flo = *p << 16;
2351 p += incr;
2352
2353 /* Seventh byte */
2354 flo |= *p << 8;
2355 p += incr;
2356
2357 /* Eighth byte */
2358 flo |= *p;
2359
2360 x = (double)fhi + (double)flo / 16777216.0; /* 2**24 */
2361 x /= 268435456.0; /* 2**28 */
2362
2363 if (e == 0)
2364 e = -1022;
2365 else {
2366 x += 1.0;
2367 e -= 1023;
2368 }
2369 x = ldexp(x, e);
2370
2371 if (sign)
2372 x = -x;
2373
2374 return x;
Tim Peters9905b942003-03-20 20:53:32 +00002375 }
Tim Peters9905b942003-03-20 20:53:32 +00002376 else {
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002377 double x;
2378
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002379 if ((double_format == ieee_little_endian_format && !le)
2380 || (double_format == ieee_big_endian_format && le)) {
2381 char buf[8];
2382 char *d = &buf[7];
2383 int i;
2384
2385 for (i = 0; i < 8; i++) {
2386 *d-- = *p++;
2387 }
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002388 memcpy(&x, buf, 8);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002389 }
2390 else {
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002391 memcpy(&x, p, 8);
Michael W. Hudsonba283e22005-05-27 15:23:20 +00002392 }
Michael W. Hudsonb78a5fc2005-12-05 00:27:49 +00002393
2394 return x;
Tim Peters9905b942003-03-20 20:53:32 +00002395 }
Tim Peters9905b942003-03-20 20:53:32 +00002396}