1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632 |
- /* Float object implementation */
- /* XXX There should be overflow checks here, but it's hard to check
- for any kind of float exception without losing portability. */
- #include "Python.h"
- #include "pycore_dtoa.h" // _Py_dg_dtoa()
- #include "pycore_floatobject.h" // _PyFloat_FormatAdvancedWriter()
- #include "pycore_initconfig.h" // _PyStatus_OK()
- #include "pycore_interp.h" // _PyInterpreterState.float_state
- #include "pycore_long.h" // _PyLong_GetOne()
- #include "pycore_object.h" // _PyObject_Init()
- #include "pycore_pymath.h" // _PY_SHORT_FLOAT_REPR
- #include "pycore_pystate.h" // _PyInterpreterState_GET()
- #include "pycore_structseq.h" // _PyStructSequence_FiniBuiltin()
- #include <ctype.h>
- #include <float.h>
- #include <stdlib.h> // strtol()
- /*[clinic input]
- class float "PyObject *" "&PyFloat_Type"
- [clinic start generated code]*/
- /*[clinic end generated code: output=da39a3ee5e6b4b0d input=dd0003f68f144284]*/
- #include "clinic/floatobject.c.h"
- #ifndef PyFloat_MAXFREELIST
- # define PyFloat_MAXFREELIST 100
- #endif
- #if PyFloat_MAXFREELIST > 0
- static struct _Py_float_state *
- get_float_state(void)
- {
- PyInterpreterState *interp = _PyInterpreterState_GET();
- return &interp->float_state;
- }
- #endif
- double
- PyFloat_GetMax(void)
- {
- return DBL_MAX;
- }
- double
- PyFloat_GetMin(void)
- {
- return DBL_MIN;
- }
- static PyTypeObject FloatInfoType;
- PyDoc_STRVAR(floatinfo__doc__,
- "sys.float_info\n\
- \n\
- A named tuple holding information about the float type. It contains low level\n\
- information about the precision and internal representation. Please study\n\
- your system's :file:`float.h` for more information.");
- static PyStructSequence_Field floatinfo_fields[] = {
- {"max", "DBL_MAX -- maximum representable finite float"},
- {"max_exp", "DBL_MAX_EXP -- maximum int e such that radix**(e-1) "
- "is representable"},
- {"max_10_exp", "DBL_MAX_10_EXP -- maximum int e such that 10**e "
- "is representable"},
- {"min", "DBL_MIN -- Minimum positive normalized float"},
- {"min_exp", "DBL_MIN_EXP -- minimum int e such that radix**(e-1) "
- "is a normalized float"},
- {"min_10_exp", "DBL_MIN_10_EXP -- minimum int e such that 10**e is "
- "a normalized float"},
- {"dig", "DBL_DIG -- maximum number of decimal digits that "
- "can be faithfully represented in a float"},
- {"mant_dig", "DBL_MANT_DIG -- mantissa digits"},
- {"epsilon", "DBL_EPSILON -- Difference between 1 and the next "
- "representable float"},
- {"radix", "FLT_RADIX -- radix of exponent"},
- {"rounds", "FLT_ROUNDS -- rounding mode used for arithmetic "
- "operations"},
- {0}
- };
- static PyStructSequence_Desc floatinfo_desc = {
- "sys.float_info", /* name */
- floatinfo__doc__, /* doc */
- floatinfo_fields, /* fields */
- 11
- };
- PyObject *
- PyFloat_GetInfo(void)
- {
- PyObject* floatinfo;
- int pos = 0;
- floatinfo = PyStructSequence_New(&FloatInfoType);
- if (floatinfo == NULL) {
- return NULL;
- }
- #define SetFlag(CALL) \
- do { \
- PyObject *flag = (CALL); \
- if (flag == NULL) { \
- Py_CLEAR(floatinfo); \
- return NULL; \
- } \
- PyStructSequence_SET_ITEM(floatinfo, pos++, flag); \
- } while (0)
- #define SetIntFlag(FLAG) SetFlag(PyLong_FromLong((FLAG)))
- #define SetDblFlag(FLAG) SetFlag(PyFloat_FromDouble((FLAG)))
- SetDblFlag(DBL_MAX);
- SetIntFlag(DBL_MAX_EXP);
- SetIntFlag(DBL_MAX_10_EXP);
- SetDblFlag(DBL_MIN);
- SetIntFlag(DBL_MIN_EXP);
- SetIntFlag(DBL_MIN_10_EXP);
- SetIntFlag(DBL_DIG);
- SetIntFlag(DBL_MANT_DIG);
- SetDblFlag(DBL_EPSILON);
- SetIntFlag(FLT_RADIX);
- SetIntFlag(FLT_ROUNDS);
- #undef SetIntFlag
- #undef SetDblFlag
- #undef SetFlag
- return floatinfo;
- }
- PyObject *
- PyFloat_FromDouble(double fval)
- {
- PyFloatObject *op;
- #if PyFloat_MAXFREELIST > 0
- struct _Py_float_state *state = get_float_state();
- op = state->free_list;
- if (op != NULL) {
- #ifdef Py_DEBUG
- // PyFloat_FromDouble() must not be called after _PyFloat_Fini()
- assert(state->numfree != -1);
- #endif
- state->free_list = (PyFloatObject *) Py_TYPE(op);
- state->numfree--;
- OBJECT_STAT_INC(from_freelist);
- }
- else
- #endif
- {
- op = PyObject_Malloc(sizeof(PyFloatObject));
- if (!op) {
- return PyErr_NoMemory();
- }
- }
- _PyObject_Init((PyObject*)op, &PyFloat_Type);
- op->ob_fval = fval;
- return (PyObject *) op;
- }
- static PyObject *
- float_from_string_inner(const char *s, Py_ssize_t len, void *obj)
- {
- double x;
- const char *end;
- const char *last = s + len;
- /* strip leading whitespace */
- while (s < last && Py_ISSPACE(*s)) {
- s++;
- }
- if (s == last) {
- PyErr_Format(PyExc_ValueError,
- "could not convert string to float: "
- "%R", obj);
- return NULL;
- }
- /* strip trailing whitespace */
- while (s < last - 1 && Py_ISSPACE(last[-1])) {
- last--;
- }
- /* We don't care about overflow or underflow. If the platform
- * supports them, infinities and signed zeroes (on underflow) are
- * fine. */
- x = PyOS_string_to_double(s, (char **)&end, NULL);
- if (end != last) {
- PyErr_Format(PyExc_ValueError,
- "could not convert string to float: "
- "%R", obj);
- return NULL;
- }
- else if (x == -1.0 && PyErr_Occurred()) {
- return NULL;
- }
- else {
- return PyFloat_FromDouble(x);
- }
- }
- PyObject *
- PyFloat_FromString(PyObject *v)
- {
- const char *s;
- PyObject *s_buffer = NULL;
- Py_ssize_t len;
- Py_buffer view = {NULL, NULL};
- PyObject *result = NULL;
- if (PyUnicode_Check(v)) {
- s_buffer = _PyUnicode_TransformDecimalAndSpaceToASCII(v);
- if (s_buffer == NULL)
- return NULL;
- assert(PyUnicode_IS_ASCII(s_buffer));
- /* Simply get a pointer to existing ASCII characters. */
- s = PyUnicode_AsUTF8AndSize(s_buffer, &len);
- assert(s != NULL);
- }
- else if (PyBytes_Check(v)) {
- s = PyBytes_AS_STRING(v);
- len = PyBytes_GET_SIZE(v);
- }
- else if (PyByteArray_Check(v)) {
- s = PyByteArray_AS_STRING(v);
- len = PyByteArray_GET_SIZE(v);
- }
- else if (PyObject_GetBuffer(v, &view, PyBUF_SIMPLE) == 0) {
- s = (const char *)view.buf;
- len = view.len;
- /* Copy to NUL-terminated buffer. */
- s_buffer = PyBytes_FromStringAndSize(s, len);
- if (s_buffer == NULL) {
- PyBuffer_Release(&view);
- return NULL;
- }
- s = PyBytes_AS_STRING(s_buffer);
- }
- else {
- PyErr_Format(PyExc_TypeError,
- "float() argument must be a string or a real number, not '%.200s'",
- Py_TYPE(v)->tp_name);
- return NULL;
- }
- result = _Py_string_to_number_with_underscores(s, len, "float", v, v,
- float_from_string_inner);
- PyBuffer_Release(&view);
- Py_XDECREF(s_buffer);
- return result;
- }
- void
- _PyFloat_ExactDealloc(PyObject *obj)
- {
- assert(PyFloat_CheckExact(obj));
- PyFloatObject *op = (PyFloatObject *)obj;
- #if PyFloat_MAXFREELIST > 0
- struct _Py_float_state *state = get_float_state();
- #ifdef Py_DEBUG
- // float_dealloc() must not be called after _PyFloat_Fini()
- assert(state->numfree != -1);
- #endif
- if (state->numfree >= PyFloat_MAXFREELIST) {
- PyObject_Free(op);
- return;
- }
- state->numfree++;
- Py_SET_TYPE(op, (PyTypeObject *)state->free_list);
- state->free_list = op;
- OBJECT_STAT_INC(to_freelist);
- #else
- PyObject_Free(op);
- #endif
- }
- static void
- float_dealloc(PyObject *op)
- {
- assert(PyFloat_Check(op));
- #if PyFloat_MAXFREELIST > 0
- if (PyFloat_CheckExact(op)) {
- _PyFloat_ExactDealloc(op);
- }
- else
- #endif
- {
- Py_TYPE(op)->tp_free(op);
- }
- }
- double
- PyFloat_AsDouble(PyObject *op)
- {
- PyNumberMethods *nb;
- PyObject *res;
- double val;
- if (op == NULL) {
- PyErr_BadArgument();
- return -1;
- }
- if (PyFloat_Check(op)) {
- return PyFloat_AS_DOUBLE(op);
- }
- nb = Py_TYPE(op)->tp_as_number;
- if (nb == NULL || nb->nb_float == NULL) {
- if (nb && nb->nb_index) {
- PyObject *res = _PyNumber_Index(op);
- if (!res) {
- return -1;
- }
- double val = PyLong_AsDouble(res);
- Py_DECREF(res);
- return val;
- }
- PyErr_Format(PyExc_TypeError, "must be real number, not %.50s",
- Py_TYPE(op)->tp_name);
- return -1;
- }
- res = (*nb->nb_float) (op);
- if (res == NULL) {
- return -1;
- }
- if (!PyFloat_CheckExact(res)) {
- if (!PyFloat_Check(res)) {
- PyErr_Format(PyExc_TypeError,
- "%.50s.__float__ returned non-float (type %.50s)",
- Py_TYPE(op)->tp_name, Py_TYPE(res)->tp_name);
- Py_DECREF(res);
- return -1;
- }
- if (PyErr_WarnFormat(PyExc_DeprecationWarning, 1,
- "%.50s.__float__ returned non-float (type %.50s). "
- "The ability to return an instance of a strict subclass of float "
- "is deprecated, and may be removed in a future version of Python.",
- Py_TYPE(op)->tp_name, Py_TYPE(res)->tp_name)) {
- Py_DECREF(res);
- return -1;
- }
- }
- val = PyFloat_AS_DOUBLE(res);
- Py_DECREF(res);
- return val;
- }
- /* Macro and helper that convert PyObject obj to a C double and store
- the value in dbl. If conversion to double raises an exception, obj is
- set to NULL, and the function invoking this macro returns NULL. If
- obj is not of float or int type, Py_NotImplemented is incref'ed,
- stored in obj, and returned from the function invoking this macro.
- */
- #define CONVERT_TO_DOUBLE(obj, dbl) \
- if (PyFloat_Check(obj)) \
- dbl = PyFloat_AS_DOUBLE(obj); \
- else if (convert_to_double(&(obj), &(dbl)) < 0) \
- return obj;
- /* Methods */
- static int
- convert_to_double(PyObject **v, double *dbl)
- {
- PyObject *obj = *v;
- if (PyLong_Check(obj)) {
- *dbl = PyLong_AsDouble(obj);
- if (*dbl == -1.0 && PyErr_Occurred()) {
- *v = NULL;
- return -1;
- }
- }
- else {
- *v = Py_NewRef(Py_NotImplemented);
- return -1;
- }
- return 0;
- }
- static PyObject *
- float_repr(PyFloatObject *v)
- {
- PyObject *result;
- char *buf;
- buf = PyOS_double_to_string(PyFloat_AS_DOUBLE(v),
- 'r', 0,
- Py_DTSF_ADD_DOT_0,
- NULL);
- if (!buf)
- return PyErr_NoMemory();
- result = _PyUnicode_FromASCII(buf, strlen(buf));
- PyMem_Free(buf);
- return result;
- }
- /* Comparison is pretty much a nightmare. When comparing float to float,
- * we do it as straightforwardly (and long-windedly) as conceivable, so
- * that, e.g., Python x == y delivers the same result as the platform
- * C x == y when x and/or y is a NaN.
- * When mixing float with an integer type, there's no good *uniform* approach.
- * Converting the double to an integer obviously doesn't work, since we
- * may lose info from fractional bits. Converting the integer to a double
- * also has two failure modes: (1) an int may trigger overflow (too
- * large to fit in the dynamic range of a C double); (2) even a C long may have
- * more bits than fit in a C double (e.g., on a 64-bit box long may have
- * 63 bits of precision, but a C double probably has only 53), and then
- * we can falsely claim equality when low-order integer bits are lost by
- * coercion to double. So this part is painful too.
- */
- static PyObject*
- float_richcompare(PyObject *v, PyObject *w, int op)
- {
- double i, j;
- int r = 0;
- assert(PyFloat_Check(v));
- i = PyFloat_AS_DOUBLE(v);
- /* Switch on the type of w. Set i and j to doubles to be compared,
- * and op to the richcomp to use.
- */
- if (PyFloat_Check(w))
- j = PyFloat_AS_DOUBLE(w);
- else if (!Py_IS_FINITE(i)) {
- if (PyLong_Check(w))
- /* If i is an infinity, its magnitude exceeds any
- * finite integer, so it doesn't matter which int we
- * compare i with. If i is a NaN, similarly.
- */
- j = 0.0;
- else
- goto Unimplemented;
- }
- else if (PyLong_Check(w)) {
- int vsign = i == 0.0 ? 0 : i < 0.0 ? -1 : 1;
- int wsign = _PyLong_Sign(w);
- size_t nbits;
- int exponent;
- if (vsign != wsign) {
- /* Magnitudes are irrelevant -- the signs alone
- * determine the outcome.
- */
- i = (double)vsign;
- j = (double)wsign;
- goto Compare;
- }
- /* The signs are the same. */
- /* Convert w to a double if it fits. In particular, 0 fits. */
- nbits = _PyLong_NumBits(w);
- if (nbits == (size_t)-1 && PyErr_Occurred()) {
- /* This long is so large that size_t isn't big enough
- * to hold the # of bits. Replace with little doubles
- * that give the same outcome -- w is so large that
- * its magnitude must exceed the magnitude of any
- * finite float.
- */
- PyErr_Clear();
- i = (double)vsign;
- assert(wsign != 0);
- j = wsign * 2.0;
- goto Compare;
- }
- if (nbits <= 48) {
- j = PyLong_AsDouble(w);
- /* It's impossible that <= 48 bits overflowed. */
- assert(j != -1.0 || ! PyErr_Occurred());
- goto Compare;
- }
- assert(wsign != 0); /* else nbits was 0 */
- assert(vsign != 0); /* if vsign were 0, then since wsign is
- * not 0, we would have taken the
- * vsign != wsign branch at the start */
- /* We want to work with non-negative numbers. */
- if (vsign < 0) {
- /* "Multiply both sides" by -1; this also swaps the
- * comparator.
- */
- i = -i;
- op = _Py_SwappedOp[op];
- }
- assert(i > 0.0);
- (void) frexp(i, &exponent);
- /* exponent is the # of bits in v before the radix point;
- * we know that nbits (the # of bits in w) > 48 at this point
- */
- if (exponent < 0 || (size_t)exponent < nbits) {
- i = 1.0;
- j = 2.0;
- goto Compare;
- }
- if ((size_t)exponent > nbits) {
- i = 2.0;
- j = 1.0;
- goto Compare;
- }
- /* v and w have the same number of bits before the radix
- * point. Construct two ints that have the same comparison
- * outcome.
- */
- {
- double fracpart;
- double intpart;
- PyObject *result = NULL;
- PyObject *vv = NULL;
- PyObject *ww = w;
- if (wsign < 0) {
- ww = PyNumber_Negative(w);
- if (ww == NULL)
- goto Error;
- }
- else
- Py_INCREF(ww);
- fracpart = modf(i, &intpart);
- vv = PyLong_FromDouble(intpart);
- if (vv == NULL)
- goto Error;
- if (fracpart != 0.0) {
- /* Shift left, and or a 1 bit into vv
- * to represent the lost fraction.
- */
- PyObject *temp;
- temp = _PyLong_Lshift(ww, 1);
- if (temp == NULL)
- goto Error;
- Py_SETREF(ww, temp);
- temp = _PyLong_Lshift(vv, 1);
- if (temp == NULL)
- goto Error;
- Py_SETREF(vv, temp);
- temp = PyNumber_Or(vv, _PyLong_GetOne());
- if (temp == NULL)
- goto Error;
- Py_SETREF(vv, temp);
- }
- r = PyObject_RichCompareBool(vv, ww, op);
- if (r < 0)
- goto Error;
- result = PyBool_FromLong(r);
- Error:
- Py_XDECREF(vv);
- Py_XDECREF(ww);
- return result;
- }
- } /* else if (PyLong_Check(w)) */
- else /* w isn't float or int */
- goto Unimplemented;
- Compare:
- switch (op) {
- case Py_EQ:
- r = i == j;
- break;
- case Py_NE:
- r = i != j;
- break;
- case Py_LE:
- r = i <= j;
- break;
- case Py_GE:
- r = i >= j;
- break;
- case Py_LT:
- r = i < j;
- break;
- case Py_GT:
- r = i > j;
- break;
- }
- return PyBool_FromLong(r);
- Unimplemented:
- Py_RETURN_NOTIMPLEMENTED;
- }
- static Py_hash_t
- float_hash(PyFloatObject *v)
- {
- return _Py_HashDouble((PyObject *)v, v->ob_fval);
- }
- static PyObject *
- float_add(PyObject *v, PyObject *w)
- {
- double a,b;
- CONVERT_TO_DOUBLE(v, a);
- CONVERT_TO_DOUBLE(w, b);
- a = a + b;
- return PyFloat_FromDouble(a);
- }
- static PyObject *
- float_sub(PyObject *v, PyObject *w)
- {
- double a,b;
- CONVERT_TO_DOUBLE(v, a);
- CONVERT_TO_DOUBLE(w, b);
- a = a - b;
- return PyFloat_FromDouble(a);
- }
- static PyObject *
- float_mul(PyObject *v, PyObject *w)
- {
- double a,b;
- CONVERT_TO_DOUBLE(v, a);
- CONVERT_TO_DOUBLE(w, b);
- a = a * b;
- return PyFloat_FromDouble(a);
- }
- static PyObject *
- float_div(PyObject *v, PyObject *w)
- {
- double a,b;
- CONVERT_TO_DOUBLE(v, a);
- CONVERT_TO_DOUBLE(w, b);
- if (b == 0.0) {
- PyErr_SetString(PyExc_ZeroDivisionError,
- "float division by zero");
- return NULL;
- }
- a = a / b;
- return PyFloat_FromDouble(a);
- }
- static PyObject *
- float_rem(PyObject *v, PyObject *w)
- {
- double vx, wx;
- double mod;
- CONVERT_TO_DOUBLE(v, vx);
- CONVERT_TO_DOUBLE(w, wx);
- if (wx == 0.0) {
- PyErr_SetString(PyExc_ZeroDivisionError,
- "float modulo");
- return NULL;
- }
- mod = fmod(vx, wx);
- if (mod) {
- /* ensure the remainder has the same sign as the denominator */
- if ((wx < 0) != (mod < 0)) {
- mod += wx;
- }
- }
- else {
- /* the remainder is zero, and in the presence of signed zeroes
- fmod returns different results across platforms; ensure
- it has the same sign as the denominator. */
- mod = copysign(0.0, wx);
- }
- return PyFloat_FromDouble(mod);
- }
- static void
- _float_div_mod(double vx, double wx, double *floordiv, double *mod)
- {
- double div;
- *mod = fmod(vx, wx);
- /* fmod is typically exact, so vx-mod is *mathematically* an
- exact multiple of wx. But this is fp arithmetic, and fp
- vx - mod is an approximation; the result is that div may
- not be an exact integral value after the division, although
- it will always be very close to one.
- */
- div = (vx - *mod) / wx;
- if (*mod) {
- /* ensure the remainder has the same sign as the denominator */
- if ((wx < 0) != (*mod < 0)) {
- *mod += wx;
- div -= 1.0;
- }
- }
- else {
- /* the remainder is zero, and in the presence of signed zeroes
- fmod returns different results across platforms; ensure
- it has the same sign as the denominator. */
- *mod = copysign(0.0, wx);
- }
- /* snap quotient to nearest integral value */
- if (div) {
- *floordiv = floor(div);
- if (div - *floordiv > 0.5) {
- *floordiv += 1.0;
- }
- }
- else {
- /* div is zero - get the same sign as the true quotient */
- *floordiv = copysign(0.0, vx / wx); /* zero w/ sign of vx/wx */
- }
- }
- static PyObject *
- float_divmod(PyObject *v, PyObject *w)
- {
- double vx, wx;
- double mod, floordiv;
- CONVERT_TO_DOUBLE(v, vx);
- CONVERT_TO_DOUBLE(w, wx);
- if (wx == 0.0) {
- PyErr_SetString(PyExc_ZeroDivisionError, "float divmod()");
- return NULL;
- }
- _float_div_mod(vx, wx, &floordiv, &mod);
- return Py_BuildValue("(dd)", floordiv, mod);
- }
- static PyObject *
- float_floor_div(PyObject *v, PyObject *w)
- {
- double vx, wx;
- double mod, floordiv;
- CONVERT_TO_DOUBLE(v, vx);
- CONVERT_TO_DOUBLE(w, wx);
- if (wx == 0.0) {
- PyErr_SetString(PyExc_ZeroDivisionError, "float floor division by zero");
- return NULL;
- }
- _float_div_mod(vx, wx, &floordiv, &mod);
- return PyFloat_FromDouble(floordiv);
- }
- /* determine whether x is an odd integer or not; assumes that
- x is not an infinity or nan. */
- #define DOUBLE_IS_ODD_INTEGER(x) (fmod(fabs(x), 2.0) == 1.0)
- static PyObject *
- float_pow(PyObject *v, PyObject *w, PyObject *z)
- {
- double iv, iw, ix;
- int negate_result = 0;
- if ((PyObject *)z != Py_None) {
- PyErr_SetString(PyExc_TypeError, "pow() 3rd argument not "
- "allowed unless all arguments are integers");
- return NULL;
- }
- CONVERT_TO_DOUBLE(v, iv);
- CONVERT_TO_DOUBLE(w, iw);
- /* Sort out special cases here instead of relying on pow() */
- if (iw == 0) { /* v**0 is 1, even 0**0 */
- return PyFloat_FromDouble(1.0);
- }
- if (Py_IS_NAN(iv)) { /* nan**w = nan, unless w == 0 */
- return PyFloat_FromDouble(iv);
- }
- if (Py_IS_NAN(iw)) { /* v**nan = nan, unless v == 1; 1**nan = 1 */
- return PyFloat_FromDouble(iv == 1.0 ? 1.0 : iw);
- }
- if (Py_IS_INFINITY(iw)) {
- /* v**inf is: 0.0 if abs(v) < 1; 1.0 if abs(v) == 1; inf if
- * abs(v) > 1 (including case where v infinite)
- *
- * v**-inf is: inf if abs(v) < 1; 1.0 if abs(v) == 1; 0.0 if
- * abs(v) > 1 (including case where v infinite)
- */
- iv = fabs(iv);
- if (iv == 1.0)
- return PyFloat_FromDouble(1.0);
- else if ((iw > 0.0) == (iv > 1.0))
- return PyFloat_FromDouble(fabs(iw)); /* return inf */
- else
- return PyFloat_FromDouble(0.0);
- }
- if (Py_IS_INFINITY(iv)) {
- /* (+-inf)**w is: inf for w positive, 0 for w negative; in
- * both cases, we need to add the appropriate sign if w is
- * an odd integer.
- */
- int iw_is_odd = DOUBLE_IS_ODD_INTEGER(iw);
- if (iw > 0.0)
- return PyFloat_FromDouble(iw_is_odd ? iv : fabs(iv));
- else
- return PyFloat_FromDouble(iw_is_odd ?
- copysign(0.0, iv) : 0.0);
- }
- if (iv == 0.0) { /* 0**w is: 0 for w positive, 1 for w zero
- (already dealt with above), and an error
- if w is negative. */
- int iw_is_odd = DOUBLE_IS_ODD_INTEGER(iw);
- if (iw < 0.0) {
- PyErr_SetString(PyExc_ZeroDivisionError,
- "0.0 cannot be raised to a "
- "negative power");
- return NULL;
- }
- /* use correct sign if iw is odd */
- return PyFloat_FromDouble(iw_is_odd ? iv : 0.0);
- }
- if (iv < 0.0) {
- /* Whether this is an error is a mess, and bumps into libm
- * bugs so we have to figure it out ourselves.
- */
- if (iw != floor(iw)) {
- /* Negative numbers raised to fractional powers
- * become complex.
- */
- return PyComplex_Type.tp_as_number->nb_power(v, w, z);
- }
- /* iw is an exact integer, albeit perhaps a very large
- * one. Replace iv by its absolute value and remember
- * to negate the pow result if iw is odd.
- */
- iv = -iv;
- negate_result = DOUBLE_IS_ODD_INTEGER(iw);
- }
- if (iv == 1.0) { /* 1**w is 1, even 1**inf and 1**nan */
- /* (-1) ** large_integer also ends up here. Here's an
- * extract from the comments for the previous
- * implementation explaining why this special case is
- * necessary:
- *
- * -1 raised to an exact integer should never be exceptional.
- * Alas, some libms (chiefly glibc as of early 2003) return
- * NaN and set EDOM on pow(-1, large_int) if the int doesn't
- * happen to be representable in a *C* integer. That's a
- * bug.
- */
- return PyFloat_FromDouble(negate_result ? -1.0 : 1.0);
- }
- /* Now iv and iw are finite, iw is nonzero, and iv is
- * positive and not equal to 1.0. We finally allow
- * the platform pow to step in and do the rest.
- */
- errno = 0;
- ix = pow(iv, iw);
- _Py_ADJUST_ERANGE1(ix);
- if (negate_result)
- ix = -ix;
- if (errno != 0) {
- /* We don't expect any errno value other than ERANGE, but
- * the range of libm bugs appears unbounded.
- */
- PyErr_SetFromErrno(errno == ERANGE ? PyExc_OverflowError :
- PyExc_ValueError);
- return NULL;
- }
- return PyFloat_FromDouble(ix);
- }
- #undef DOUBLE_IS_ODD_INTEGER
- static PyObject *
- float_neg(PyFloatObject *v)
- {
- return PyFloat_FromDouble(-v->ob_fval);
- }
- static PyObject *
- float_abs(PyFloatObject *v)
- {
- return PyFloat_FromDouble(fabs(v->ob_fval));
- }
- static int
- float_bool(PyFloatObject *v)
- {
- return v->ob_fval != 0.0;
- }
- /*[clinic input]
- float.is_integer
- Return True if the float is an integer.
- [clinic start generated code]*/
- static PyObject *
- float_is_integer_impl(PyObject *self)
- /*[clinic end generated code: output=7112acf95a4d31ea input=311810d3f777e10d]*/
- {
- double x = PyFloat_AsDouble(self);
- PyObject *o;
- if (x == -1.0 && PyErr_Occurred())
- return NULL;
- if (!Py_IS_FINITE(x))
- Py_RETURN_FALSE;
- errno = 0;
- o = (floor(x) == x) ? Py_True : Py_False;
- if (errno != 0) {
- PyErr_SetFromErrno(errno == ERANGE ? PyExc_OverflowError :
- PyExc_ValueError);
- return NULL;
- }
- return Py_NewRef(o);
- }
- /*[clinic input]
- float.__trunc__
- Return the Integral closest to x between 0 and x.
- [clinic start generated code]*/
- static PyObject *
- float___trunc___impl(PyObject *self)
- /*[clinic end generated code: output=dd3e289dd4c6b538 input=591b9ba0d650fdff]*/
- {
- return PyLong_FromDouble(PyFloat_AS_DOUBLE(self));
- }
- /*[clinic input]
- float.__floor__
- Return the floor as an Integral.
- [clinic start generated code]*/
- static PyObject *
- float___floor___impl(PyObject *self)
- /*[clinic end generated code: output=e0551dbaea8c01d1 input=77bb13eb12e268df]*/
- {
- double x = PyFloat_AS_DOUBLE(self);
- return PyLong_FromDouble(floor(x));
- }
- /*[clinic input]
- float.__ceil__
- Return the ceiling as an Integral.
- [clinic start generated code]*/
- static PyObject *
- float___ceil___impl(PyObject *self)
- /*[clinic end generated code: output=a2fd8858f73736f9 input=79e41ae94aa0a516]*/
- {
- double x = PyFloat_AS_DOUBLE(self);
- return PyLong_FromDouble(ceil(x));
- }
- /* double_round: rounds a finite double to the closest multiple of
- 10**-ndigits; here ndigits is within reasonable bounds (typically, -308 <=
- ndigits <= 323). Returns a Python float, or sets a Python error and
- returns NULL on failure (OverflowError and memory errors are possible). */
- #if _PY_SHORT_FLOAT_REPR == 1
- /* version of double_round that uses the correctly-rounded string<->double
- conversions from Python/dtoa.c */
- static PyObject *
- double_round(double x, int ndigits) {
- double rounded;
- Py_ssize_t buflen, mybuflen=100;
- char *buf, *buf_end, shortbuf[100], *mybuf=shortbuf;
- int decpt, sign;
- PyObject *result = NULL;
- _Py_SET_53BIT_PRECISION_HEADER;
- /* round to a decimal string */
- _Py_SET_53BIT_PRECISION_START;
- buf = _Py_dg_dtoa(x, 3, ndigits, &decpt, &sign, &buf_end);
- _Py_SET_53BIT_PRECISION_END;
- if (buf == NULL) {
- PyErr_NoMemory();
- return NULL;
- }
- /* Get new buffer if shortbuf is too small. Space needed <= buf_end -
- buf + 8: (1 extra for '0', 1 for sign, 5 for exp, 1 for '\0'). */
- buflen = buf_end - buf;
- if (buflen + 8 > mybuflen) {
- mybuflen = buflen+8;
- mybuf = (char *)PyMem_Malloc(mybuflen);
- if (mybuf == NULL) {
- PyErr_NoMemory();
- goto exit;
- }
- }
- /* copy buf to mybuf, adding exponent, sign and leading 0 */
- PyOS_snprintf(mybuf, mybuflen, "%s0%se%d", (sign ? "-" : ""),
- buf, decpt - (int)buflen);
- /* and convert the resulting string back to a double */
- errno = 0;
- _Py_SET_53BIT_PRECISION_START;
- rounded = _Py_dg_strtod(mybuf, NULL);
- _Py_SET_53BIT_PRECISION_END;
- if (errno == ERANGE && fabs(rounded) >= 1.)
- PyErr_SetString(PyExc_OverflowError,
- "rounded value too large to represent");
- else
- result = PyFloat_FromDouble(rounded);
- /* done computing value; now clean up */
- if (mybuf != shortbuf)
- PyMem_Free(mybuf);
- exit:
- _Py_dg_freedtoa(buf);
- return result;
- }
- #else // _PY_SHORT_FLOAT_REPR == 0
- /* fallback version, to be used when correctly rounded binary<->decimal
- conversions aren't available */
- static PyObject *
- double_round(double x, int ndigits) {
- double pow1, pow2, y, z;
- if (ndigits >= 0) {
- if (ndigits > 22) {
- /* pow1 and pow2 are each safe from overflow, but
- pow1*pow2 ~= pow(10.0, ndigits) might overflow */
- pow1 = pow(10.0, (double)(ndigits-22));
- pow2 = 1e22;
- }
- else {
- pow1 = pow(10.0, (double)ndigits);
- pow2 = 1.0;
- }
- y = (x*pow1)*pow2;
- /* if y overflows, then rounded value is exactly x */
- if (!Py_IS_FINITE(y))
- return PyFloat_FromDouble(x);
- }
- else {
- pow1 = pow(10.0, (double)-ndigits);
- pow2 = 1.0; /* unused; silences a gcc compiler warning */
- y = x / pow1;
- }
- z = round(y);
- if (fabs(y-z) == 0.5)
- /* halfway between two integers; use round-half-even */
- z = 2.0*round(y/2.0);
- if (ndigits >= 0)
- z = (z / pow2) / pow1;
- else
- z *= pow1;
- /* if computation resulted in overflow, raise OverflowError */
- if (!Py_IS_FINITE(z)) {
- PyErr_SetString(PyExc_OverflowError,
- "overflow occurred during round");
- return NULL;
- }
- return PyFloat_FromDouble(z);
- }
- #endif // _PY_SHORT_FLOAT_REPR == 0
- /* round a Python float v to the closest multiple of 10**-ndigits */
- /*[clinic input]
- float.__round__
- ndigits as o_ndigits: object = None
- /
- Return the Integral closest to x, rounding half toward even.
- When an argument is passed, work like built-in round(x, ndigits).
- [clinic start generated code]*/
- static PyObject *
- float___round___impl(PyObject *self, PyObject *o_ndigits)
- /*[clinic end generated code: output=374c36aaa0f13980 input=fc0fe25924fbc9ed]*/
- {
- double x, rounded;
- Py_ssize_t ndigits;
- x = PyFloat_AsDouble(self);
- if (o_ndigits == Py_None) {
- /* single-argument round or with None ndigits:
- * round to nearest integer */
- rounded = round(x);
- if (fabs(x-rounded) == 0.5)
- /* halfway case: round to even */
- rounded = 2.0*round(x/2.0);
- return PyLong_FromDouble(rounded);
- }
- /* interpret second argument as a Py_ssize_t; clips on overflow */
- ndigits = PyNumber_AsSsize_t(o_ndigits, NULL);
- if (ndigits == -1 && PyErr_Occurred())
- return NULL;
- /* nans and infinities round to themselves */
- if (!Py_IS_FINITE(x))
- return PyFloat_FromDouble(x);
- /* Deal with extreme values for ndigits. For ndigits > NDIGITS_MAX, x
- always rounds to itself. For ndigits < NDIGITS_MIN, x always
- rounds to +-0.0. Here 0.30103 is an upper bound for log10(2). */
- #define NDIGITS_MAX ((int)((DBL_MANT_DIG-DBL_MIN_EXP) * 0.30103))
- #define NDIGITS_MIN (-(int)((DBL_MAX_EXP + 1) * 0.30103))
- if (ndigits > NDIGITS_MAX)
- /* return x */
- return PyFloat_FromDouble(x);
- else if (ndigits < NDIGITS_MIN)
- /* return 0.0, but with sign of x */
- return PyFloat_FromDouble(0.0*x);
- else
- /* finite x, and ndigits is not unreasonably large */
- return double_round(x, (int)ndigits);
- #undef NDIGITS_MAX
- #undef NDIGITS_MIN
- }
- static PyObject *
- float_float(PyObject *v)
- {
- if (PyFloat_CheckExact(v)) {
- return Py_NewRef(v);
- }
- else {
- return PyFloat_FromDouble(((PyFloatObject *)v)->ob_fval);
- }
- }
- /*[clinic input]
- float.conjugate
- Return self, the complex conjugate of any float.
- [clinic start generated code]*/
- static PyObject *
- float_conjugate_impl(PyObject *self)
- /*[clinic end generated code: output=8ca292c2479194af input=82ba6f37a9ff91dd]*/
- {
- return float_float(self);
- }
- /* turn ASCII hex characters into integer values and vice versa */
- static char
- char_from_hex(int x)
- {
- assert(0 <= x && x < 16);
- return Py_hexdigits[x];
- }
- static int
- hex_from_char(char c) {
- int x;
- switch(c) {
- case '0':
- x = 0;
- break;
- case '1':
- x = 1;
- break;
- case '2':
- x = 2;
- break;
- case '3':
- x = 3;
- break;
- case '4':
- x = 4;
- break;
- case '5':
- x = 5;
- break;
- case '6':
- x = 6;
- break;
- case '7':
- x = 7;
- break;
- case '8':
- x = 8;
- break;
- case '9':
- x = 9;
- break;
- case 'a':
- case 'A':
- x = 10;
- break;
- case 'b':
- case 'B':
- x = 11;
- break;
- case 'c':
- case 'C':
- x = 12;
- break;
- case 'd':
- case 'D':
- x = 13;
- break;
- case 'e':
- case 'E':
- x = 14;
- break;
- case 'f':
- case 'F':
- x = 15;
- break;
- default:
- x = -1;
- break;
- }
- return x;
- }
- /* convert a float to a hexadecimal string */
- /* TOHEX_NBITS is DBL_MANT_DIG rounded up to the next integer
- of the form 4k+1. */
- #define TOHEX_NBITS DBL_MANT_DIG + 3 - (DBL_MANT_DIG+2)%4
- /*[clinic input]
- float.hex
- Return a hexadecimal representation of a floating-point number.
- >>> (-0.1).hex()
- '-0x1.999999999999ap-4'
- >>> 3.14159.hex()
- '0x1.921f9f01b866ep+1'
- [clinic start generated code]*/
- static PyObject *
- float_hex_impl(PyObject *self)
- /*[clinic end generated code: output=0ebc9836e4d302d4 input=bec1271a33d47e67]*/
- {
- double x, m;
- int e, shift, i, si, esign;
- /* Space for 1+(TOHEX_NBITS-1)/4 digits, a decimal point, and the
- trailing NUL byte. */
- char s[(TOHEX_NBITS-1)/4+3];
- CONVERT_TO_DOUBLE(self, x);
- if (Py_IS_NAN(x) || Py_IS_INFINITY(x))
- return float_repr((PyFloatObject *)self);
- if (x == 0.0) {
- if (copysign(1.0, x) == -1.0)
- return PyUnicode_FromString("-0x0.0p+0");
- else
- return PyUnicode_FromString("0x0.0p+0");
- }
- m = frexp(fabs(x), &e);
- shift = 1 - Py_MAX(DBL_MIN_EXP - e, 0);
- m = ldexp(m, shift);
- e -= shift;
- si = 0;
- s[si] = char_from_hex((int)m);
- si++;
- m -= (int)m;
- s[si] = '.';
- si++;
- for (i=0; i < (TOHEX_NBITS-1)/4; i++) {
- m *= 16.0;
- s[si] = char_from_hex((int)m);
- si++;
- m -= (int)m;
- }
- s[si] = '\0';
- if (e < 0) {
- esign = (int)'-';
- e = -e;
- }
- else
- esign = (int)'+';
- if (x < 0.0)
- return PyUnicode_FromFormat("-0x%sp%c%d", s, esign, e);
- else
- return PyUnicode_FromFormat("0x%sp%c%d", s, esign, e);
- }
- /* Convert a hexadecimal string to a float. */
- /*[clinic input]
- @classmethod
- float.fromhex
- string: object
- /
- Create a floating-point number from a hexadecimal string.
- >>> float.fromhex('0x1.ffffp10')
- 2047.984375
- >>> float.fromhex('-0x1p-1074')
- -5e-324
- [clinic start generated code]*/
- static PyObject *
- float_fromhex(PyTypeObject *type, PyObject *string)
- /*[clinic end generated code: output=46c0274d22b78e82 input=0407bebd354bca89]*/
- {
- PyObject *result;
- double x;
- long exp, top_exp, lsb, key_digit;
- const char *s, *coeff_start, *s_store, *coeff_end, *exp_start, *s_end;
- int half_eps, digit, round_up, negate=0;
- Py_ssize_t length, ndigits, fdigits, i;
- /*
- * For the sake of simplicity and correctness, we impose an artificial
- * limit on ndigits, the total number of hex digits in the coefficient
- * The limit is chosen to ensure that, writing exp for the exponent,
- *
- * (1) if exp > LONG_MAX/2 then the value of the hex string is
- * guaranteed to overflow (provided it's nonzero)
- *
- * (2) if exp < LONG_MIN/2 then the value of the hex string is
- * guaranteed to underflow to 0.
- *
- * (3) if LONG_MIN/2 <= exp <= LONG_MAX/2 then there's no danger of
- * overflow in the calculation of exp and top_exp below.
- *
- * More specifically, ndigits is assumed to satisfy the following
- * inequalities:
- *
- * 4*ndigits <= DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2
- * 4*ndigits <= LONG_MAX/2 + 1 - DBL_MAX_EXP
- *
- * If either of these inequalities is not satisfied, a ValueError is
- * raised. Otherwise, write x for the value of the hex string, and
- * assume x is nonzero. Then
- *
- * 2**(exp-4*ndigits) <= |x| < 2**(exp+4*ndigits).
- *
- * Now if exp > LONG_MAX/2 then:
- *
- * exp - 4*ndigits >= LONG_MAX/2 + 1 - (LONG_MAX/2 + 1 - DBL_MAX_EXP)
- * = DBL_MAX_EXP
- *
- * so |x| >= 2**DBL_MAX_EXP, which is too large to be stored in C
- * double, so overflows. If exp < LONG_MIN/2, then
- *
- * exp + 4*ndigits <= LONG_MIN/2 - 1 + (
- * DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2)
- * = DBL_MIN_EXP - DBL_MANT_DIG - 1
- *
- * and so |x| < 2**(DBL_MIN_EXP-DBL_MANT_DIG-1), hence underflows to 0
- * when converted to a C double.
- *
- * It's easy to show that if LONG_MIN/2 <= exp <= LONG_MAX/2 then both
- * exp+4*ndigits and exp-4*ndigits are within the range of a long.
- */
- s = PyUnicode_AsUTF8AndSize(string, &length);
- if (s == NULL)
- return NULL;
- s_end = s + length;
- /********************
- * Parse the string *
- ********************/
- /* leading whitespace */
- while (Py_ISSPACE(*s))
- s++;
- /* infinities and nans */
- x = _Py_parse_inf_or_nan(s, (char **)&coeff_end);
- if (coeff_end != s) {
- s = coeff_end;
- goto finished;
- }
- /* optional sign */
- if (*s == '-') {
- s++;
- negate = 1;
- }
- else if (*s == '+')
- s++;
- /* [0x] */
- s_store = s;
- if (*s == '0') {
- s++;
- if (*s == 'x' || *s == 'X')
- s++;
- else
- s = s_store;
- }
- /* coefficient: <integer> [. <fraction>] */
- coeff_start = s;
- while (hex_from_char(*s) >= 0)
- s++;
- s_store = s;
- if (*s == '.') {
- s++;
- while (hex_from_char(*s) >= 0)
- s++;
- coeff_end = s-1;
- }
- else
- coeff_end = s;
- /* ndigits = total # of hex digits; fdigits = # after point */
- ndigits = coeff_end - coeff_start;
- fdigits = coeff_end - s_store;
- if (ndigits == 0)
- goto parse_error;
- if (ndigits > Py_MIN(DBL_MIN_EXP - DBL_MANT_DIG - LONG_MIN/2,
- LONG_MAX/2 + 1 - DBL_MAX_EXP)/4)
- goto insane_length_error;
- /* [p <exponent>] */
- if (*s == 'p' || *s == 'P') {
- s++;
- exp_start = s;
- if (*s == '-' || *s == '+')
- s++;
- if (!('0' <= *s && *s <= '9'))
- goto parse_error;
- s++;
- while ('0' <= *s && *s <= '9')
- s++;
- exp = strtol(exp_start, NULL, 10);
- }
- else
- exp = 0;
- /* for 0 <= j < ndigits, HEX_DIGIT(j) gives the jth most significant digit */
- #define HEX_DIGIT(j) hex_from_char(*((j) < fdigits ? \
- coeff_end-(j) : \
- coeff_end-1-(j)))
- /*******************************************
- * Compute rounded value of the hex string *
- *******************************************/
- /* Discard leading zeros, and catch extreme overflow and underflow */
- while (ndigits > 0 && HEX_DIGIT(ndigits-1) == 0)
- ndigits--;
- if (ndigits == 0 || exp < LONG_MIN/2) {
- x = 0.0;
- goto finished;
- }
- if (exp > LONG_MAX/2)
- goto overflow_error;
- /* Adjust exponent for fractional part. */
- exp = exp - 4*((long)fdigits);
- /* top_exp = 1 more than exponent of most sig. bit of coefficient */
- top_exp = exp + 4*((long)ndigits - 1);
- for (digit = HEX_DIGIT(ndigits-1); digit != 0; digit /= 2)
- top_exp++;
- /* catch almost all nonextreme cases of overflow and underflow here */
- if (top_exp < DBL_MIN_EXP - DBL_MANT_DIG) {
- x = 0.0;
- goto finished;
- }
- if (top_exp > DBL_MAX_EXP)
- goto overflow_error;
- /* lsb = exponent of least significant bit of the *rounded* value.
- This is top_exp - DBL_MANT_DIG unless result is subnormal. */
- lsb = Py_MAX(top_exp, (long)DBL_MIN_EXP) - DBL_MANT_DIG;
- x = 0.0;
- if (exp >= lsb) {
- /* no rounding required */
- for (i = ndigits-1; i >= 0; i--)
- x = 16.0*x + HEX_DIGIT(i);
- x = ldexp(x, (int)(exp));
- goto finished;
- }
- /* rounding required. key_digit is the index of the hex digit
- containing the first bit to be rounded away. */
- half_eps = 1 << (int)((lsb - exp - 1) % 4);
- key_digit = (lsb - exp - 1) / 4;
- for (i = ndigits-1; i > key_digit; i--)
- x = 16.0*x + HEX_DIGIT(i);
- digit = HEX_DIGIT(key_digit);
- x = 16.0*x + (double)(digit & (16-2*half_eps));
- /* round-half-even: round up if bit lsb-1 is 1 and at least one of
- bits lsb, lsb-2, lsb-3, lsb-4, ... is 1. */
- if ((digit & half_eps) != 0) {
- round_up = 0;
- if ((digit & (3*half_eps-1)) != 0 || (half_eps == 8 &&
- key_digit+1 < ndigits && (HEX_DIGIT(key_digit+1) & 1) != 0))
- round_up = 1;
- else
- for (i = key_digit-1; i >= 0; i--)
- if (HEX_DIGIT(i) != 0) {
- round_up = 1;
- break;
- }
- if (round_up) {
- x += 2*half_eps;
- if (top_exp == DBL_MAX_EXP &&
- x == ldexp((double)(2*half_eps), DBL_MANT_DIG))
- /* overflow corner case: pre-rounded value <
- 2**DBL_MAX_EXP; rounded=2**DBL_MAX_EXP. */
- goto overflow_error;
- }
- }
- x = ldexp(x, (int)(exp+4*key_digit));
- finished:
- /* optional trailing whitespace leading to the end of the string */
- while (Py_ISSPACE(*s))
- s++;
- if (s != s_end)
- goto parse_error;
- result = PyFloat_FromDouble(negate ? -x : x);
- if (type != &PyFloat_Type && result != NULL) {
- Py_SETREF(result, PyObject_CallOneArg((PyObject *)type, result));
- }
- return result;
- overflow_error:
- PyErr_SetString(PyExc_OverflowError,
- "hexadecimal value too large to represent as a float");
- return NULL;
- parse_error:
- PyErr_SetString(PyExc_ValueError,
- "invalid hexadecimal floating-point string");
- return NULL;
- insane_length_error:
- PyErr_SetString(PyExc_ValueError,
- "hexadecimal string too long to convert");
- return NULL;
- }
- /*[clinic input]
- float.as_integer_ratio
- Return a pair of integers, whose ratio is exactly equal to the original float.
- The ratio is in lowest terms and has a positive denominator. Raise
- OverflowError on infinities and a ValueError on NaNs.
- >>> (10.0).as_integer_ratio()
- (10, 1)
- >>> (0.0).as_integer_ratio()
- (0, 1)
- >>> (-.25).as_integer_ratio()
- (-1, 4)
- [clinic start generated code]*/
- static PyObject *
- float_as_integer_ratio_impl(PyObject *self)
- /*[clinic end generated code: output=65f25f0d8d30a712 input=d5ba7765655d75bd]*/
- {
- double self_double;
- double float_part;
- int exponent;
- int i;
- PyObject *py_exponent = NULL;
- PyObject *numerator = NULL;
- PyObject *denominator = NULL;
- PyObject *result_pair = NULL;
- PyNumberMethods *long_methods = PyLong_Type.tp_as_number;
- CONVERT_TO_DOUBLE(self, self_double);
- if (Py_IS_INFINITY(self_double)) {
- PyErr_SetString(PyExc_OverflowError,
- "cannot convert Infinity to integer ratio");
- return NULL;
- }
- if (Py_IS_NAN(self_double)) {
- PyErr_SetString(PyExc_ValueError,
- "cannot convert NaN to integer ratio");
- return NULL;
- }
- float_part = frexp(self_double, &exponent); /* self_double == float_part * 2**exponent exactly */
- for (i=0; i<300 && float_part != floor(float_part) ; i++) {
- float_part *= 2.0;
- exponent--;
- }
- /* self == float_part * 2**exponent exactly and float_part is integral.
- If FLT_RADIX != 2, the 300 steps may leave a tiny fractional part
- to be truncated by PyLong_FromDouble(). */
- numerator = PyLong_FromDouble(float_part);
- if (numerator == NULL)
- goto error;
- denominator = PyLong_FromLong(1);
- if (denominator == NULL)
- goto error;
- py_exponent = PyLong_FromLong(Py_ABS(exponent));
- if (py_exponent == NULL)
- goto error;
- /* fold in 2**exponent */
- if (exponent > 0) {
- Py_SETREF(numerator,
- long_methods->nb_lshift(numerator, py_exponent));
- if (numerator == NULL)
- goto error;
- }
- else {
- Py_SETREF(denominator,
- long_methods->nb_lshift(denominator, py_exponent));
- if (denominator == NULL)
- goto error;
- }
- result_pair = PyTuple_Pack(2, numerator, denominator);
- error:
- Py_XDECREF(py_exponent);
- Py_XDECREF(denominator);
- Py_XDECREF(numerator);
- return result_pair;
- }
- static PyObject *
- float_subtype_new(PyTypeObject *type, PyObject *x);
- /*[clinic input]
- @classmethod
- float.__new__ as float_new
- x: object(c_default="NULL") = 0
- /
- Convert a string or number to a floating-point number, if possible.
- [clinic start generated code]*/
- static PyObject *
- float_new_impl(PyTypeObject *type, PyObject *x)
- /*[clinic end generated code: output=ccf1e8dc460ba6ba input=55909f888aa0c8a6]*/
- {
- if (type != &PyFloat_Type) {
- if (x == NULL) {
- x = _PyLong_GetZero();
- }
- return float_subtype_new(type, x); /* Wimp out */
- }
- if (x == NULL) {
- return PyFloat_FromDouble(0.0);
- }
- /* If it's a string, but not a string subclass, use
- PyFloat_FromString. */
- if (PyUnicode_CheckExact(x))
- return PyFloat_FromString(x);
- return PyNumber_Float(x);
- }
- /* Wimpy, slow approach to tp_new calls for subtypes of float:
- first create a regular float from whatever arguments we got,
- then allocate a subtype instance and initialize its ob_fval
- from the regular float. The regular float is then thrown away.
- */
- static PyObject *
- float_subtype_new(PyTypeObject *type, PyObject *x)
- {
- PyObject *tmp, *newobj;
- assert(PyType_IsSubtype(type, &PyFloat_Type));
- tmp = float_new_impl(&PyFloat_Type, x);
- if (tmp == NULL)
- return NULL;
- assert(PyFloat_Check(tmp));
- newobj = type->tp_alloc(type, 0);
- if (newobj == NULL) {
- Py_DECREF(tmp);
- return NULL;
- }
- ((PyFloatObject *)newobj)->ob_fval = ((PyFloatObject *)tmp)->ob_fval;
- Py_DECREF(tmp);
- return newobj;
- }
- static PyObject *
- float_vectorcall(PyObject *type, PyObject * const*args,
- size_t nargsf, PyObject *kwnames)
- {
- if (!_PyArg_NoKwnames("float", kwnames)) {
- return NULL;
- }
- Py_ssize_t nargs = PyVectorcall_NARGS(nargsf);
- if (!_PyArg_CheckPositional("float", nargs, 0, 1)) {
- return NULL;
- }
- PyObject *x = nargs >= 1 ? args[0] : NULL;
- return float_new_impl(_PyType_CAST(type), x);
- }
- /*[clinic input]
- float.__getnewargs__
- [clinic start generated code]*/
- static PyObject *
- float___getnewargs___impl(PyObject *self)
- /*[clinic end generated code: output=873258c9d206b088 input=002279d1d77891e6]*/
- {
- return Py_BuildValue("(d)", ((PyFloatObject *)self)->ob_fval);
- }
- /* this is for the benefit of the pack/unpack routines below */
- typedef enum _py_float_format_type float_format_type;
- #define unknown_format _py_float_format_unknown
- #define ieee_big_endian_format _py_float_format_ieee_big_endian
- #define ieee_little_endian_format _py_float_format_ieee_little_endian
- #define float_format (_PyRuntime.float_state.float_format)
- #define double_format (_PyRuntime.float_state.double_format)
- /*[clinic input]
- @classmethod
- float.__getformat__
- typestr: str
- Must be 'double' or 'float'.
- /
- You probably don't want to use this function.
- It exists mainly to be used in Python's test suite.
- This function returns whichever of 'unknown', 'IEEE, big-endian' or 'IEEE,
- little-endian' best describes the format of floating-point numbers used by the
- C type named by typestr.
- [clinic start generated code]*/
- static PyObject *
- float___getformat___impl(PyTypeObject *type, const char *typestr)
- /*[clinic end generated code: output=2bfb987228cc9628 input=90d5e246409a246e]*/
- {
- float_format_type r;
- if (strcmp(typestr, "double") == 0) {
- r = double_format;
- }
- else if (strcmp(typestr, "float") == 0) {
- r = float_format;
- }
- else {
- PyErr_SetString(PyExc_ValueError,
- "__getformat__() argument 1 must be "
- "'double' or 'float'");
- return NULL;
- }
- switch (r) {
- case unknown_format:
- return PyUnicode_FromString("unknown");
- case ieee_little_endian_format:
- return PyUnicode_FromString("IEEE, little-endian");
- case ieee_big_endian_format:
- return PyUnicode_FromString("IEEE, big-endian");
- default:
- PyErr_SetString(PyExc_RuntimeError,
- "insane float_format or double_format");
- return NULL;
- }
- }
- static PyObject *
- float_getreal(PyObject *v, void *closure)
- {
- return float_float(v);
- }
- static PyObject *
- float_getimag(PyObject *v, void *closure)
- {
- return PyFloat_FromDouble(0.0);
- }
- /*[clinic input]
- float.__format__
- format_spec: unicode
- /
- Formats the float according to format_spec.
- [clinic start generated code]*/
- static PyObject *
- float___format___impl(PyObject *self, PyObject *format_spec)
- /*[clinic end generated code: output=b260e52a47eade56 input=2ece1052211fd0e6]*/
- {
- _PyUnicodeWriter writer;
- int ret;
- _PyUnicodeWriter_Init(&writer);
- ret = _PyFloat_FormatAdvancedWriter(
- &writer,
- self,
- format_spec, 0, PyUnicode_GET_LENGTH(format_spec));
- if (ret == -1) {
- _PyUnicodeWriter_Dealloc(&writer);
- return NULL;
- }
- return _PyUnicodeWriter_Finish(&writer);
- }
- static PyMethodDef float_methods[] = {
- FLOAT_CONJUGATE_METHODDEF
- FLOAT___TRUNC___METHODDEF
- FLOAT___FLOOR___METHODDEF
- FLOAT___CEIL___METHODDEF
- FLOAT___ROUND___METHODDEF
- FLOAT_AS_INTEGER_RATIO_METHODDEF
- FLOAT_FROMHEX_METHODDEF
- FLOAT_HEX_METHODDEF
- FLOAT_IS_INTEGER_METHODDEF
- FLOAT___GETNEWARGS___METHODDEF
- FLOAT___GETFORMAT___METHODDEF
- FLOAT___FORMAT___METHODDEF
- {NULL, NULL} /* sentinel */
- };
- static PyGetSetDef float_getset[] = {
- {"real",
- float_getreal, (setter)NULL,
- "the real part of a complex number",
- NULL},
- {"imag",
- float_getimag, (setter)NULL,
- "the imaginary part of a complex number",
- NULL},
- {NULL} /* Sentinel */
- };
- static PyNumberMethods float_as_number = {
- float_add, /* nb_add */
- float_sub, /* nb_subtract */
- float_mul, /* nb_multiply */
- float_rem, /* nb_remainder */
- float_divmod, /* nb_divmod */
- float_pow, /* nb_power */
- (unaryfunc)float_neg, /* nb_negative */
- float_float, /* nb_positive */
- (unaryfunc)float_abs, /* nb_absolute */
- (inquiry)float_bool, /* nb_bool */
- 0, /* nb_invert */
- 0, /* nb_lshift */
- 0, /* nb_rshift */
- 0, /* nb_and */
- 0, /* nb_xor */
- 0, /* nb_or */
- float___trunc___impl, /* nb_int */
- 0, /* nb_reserved */
- float_float, /* nb_float */
- 0, /* nb_inplace_add */
- 0, /* nb_inplace_subtract */
- 0, /* nb_inplace_multiply */
- 0, /* nb_inplace_remainder */
- 0, /* nb_inplace_power */
- 0, /* nb_inplace_lshift */
- 0, /* nb_inplace_rshift */
- 0, /* nb_inplace_and */
- 0, /* nb_inplace_xor */
- 0, /* nb_inplace_or */
- float_floor_div, /* nb_floor_divide */
- float_div, /* nb_true_divide */
- 0, /* nb_inplace_floor_divide */
- 0, /* nb_inplace_true_divide */
- };
- PyTypeObject PyFloat_Type = {
- PyVarObject_HEAD_INIT(&PyType_Type, 0)
- "float",
- sizeof(PyFloatObject),
- 0,
- (destructor)float_dealloc, /* tp_dealloc */
- 0, /* tp_vectorcall_offset */
- 0, /* tp_getattr */
- 0, /* tp_setattr */
- 0, /* tp_as_async */
- (reprfunc)float_repr, /* tp_repr */
- &float_as_number, /* tp_as_number */
- 0, /* tp_as_sequence */
- 0, /* tp_as_mapping */
- (hashfunc)float_hash, /* tp_hash */
- 0, /* tp_call */
- 0, /* tp_str */
- PyObject_GenericGetAttr, /* tp_getattro */
- 0, /* tp_setattro */
- 0, /* tp_as_buffer */
- Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE |
- _Py_TPFLAGS_MATCH_SELF, /* tp_flags */
- float_new__doc__, /* tp_doc */
- 0, /* tp_traverse */
- 0, /* tp_clear */
- float_richcompare, /* tp_richcompare */
- 0, /* tp_weaklistoffset */
- 0, /* tp_iter */
- 0, /* tp_iternext */
- float_methods, /* tp_methods */
- 0, /* tp_members */
- float_getset, /* tp_getset */
- 0, /* tp_base */
- 0, /* tp_dict */
- 0, /* tp_descr_get */
- 0, /* tp_descr_set */
- 0, /* tp_dictoffset */
- 0, /* tp_init */
- 0, /* tp_alloc */
- float_new, /* tp_new */
- .tp_vectorcall = (vectorcallfunc)float_vectorcall,
- };
- static void
- _init_global_state(void)
- {
- float_format_type detected_double_format, detected_float_format;
- /* We attempt to determine if this machine is using IEEE
- floating-point formats by peering at the bits of some
- carefully chosen values. If it looks like we are on an
- IEEE platform, the float packing/unpacking routines can
- just copy bits, if not they resort to arithmetic & shifts
- and masks. The shifts & masks approach works on all finite
- values, but what happens to infinities, NaNs and signed
- zeroes on packing is an accident, and attempting to unpack
- a NaN or an infinity will raise an exception.
- Note that if we're on some whacked-out platform which uses
- IEEE formats but isn't strictly little-endian or big-
- endian, we will fall back to the portable shifts & masks
- method. */
- #if SIZEOF_DOUBLE == 8
- {
- double x = 9006104071832581.0;
- if (memcmp(&x, "\x43\x3f\xff\x01\x02\x03\x04\x05", 8) == 0)
- detected_double_format = ieee_big_endian_format;
- else if (memcmp(&x, "\x05\x04\x03\x02\x01\xff\x3f\x43", 8) == 0)
- detected_double_format = ieee_little_endian_format;
- else
- detected_double_format = unknown_format;
- }
- #else
- detected_double_format = unknown_format;
- #endif
- #if SIZEOF_FLOAT == 4
- {
- float y = 16711938.0;
- if (memcmp(&y, "\x4b\x7f\x01\x02", 4) == 0)
- detected_float_format = ieee_big_endian_format;
- else if (memcmp(&y, "\x02\x01\x7f\x4b", 4) == 0)
- detected_float_format = ieee_little_endian_format;
- else
- detected_float_format = unknown_format;
- }
- #else
- detected_float_format = unknown_format;
- #endif
- double_format = detected_double_format;
- float_format = detected_float_format;
- }
- void
- _PyFloat_InitState(PyInterpreterState *interp)
- {
- if (!_Py_IsMainInterpreter(interp)) {
- return;
- }
- _init_global_state();
- }
- PyStatus
- _PyFloat_InitTypes(PyInterpreterState *interp)
- {
- /* Init float info */
- if (_PyStructSequence_InitBuiltin(interp, &FloatInfoType,
- &floatinfo_desc) < 0)
- {
- return _PyStatus_ERR("can't init float info type");
- }
- return _PyStatus_OK();
- }
- void
- _PyFloat_ClearFreeList(PyInterpreterState *interp)
- {
- #if PyFloat_MAXFREELIST > 0
- struct _Py_float_state *state = &interp->float_state;
- PyFloatObject *f = state->free_list;
- while (f != NULL) {
- PyFloatObject *next = (PyFloatObject*) Py_TYPE(f);
- PyObject_Free(f);
- f = next;
- }
- state->free_list = NULL;
- state->numfree = 0;
- #endif
- }
- void
- _PyFloat_Fini(PyInterpreterState *interp)
- {
- _PyFloat_ClearFreeList(interp);
- #if defined(Py_DEBUG) && PyFloat_MAXFREELIST > 0
- struct _Py_float_state *state = &interp->float_state;
- state->numfree = -1;
- #endif
- }
- void
- _PyFloat_FiniType(PyInterpreterState *interp)
- {
- _PyStructSequence_FiniBuiltin(interp, &FloatInfoType);
- }
- /* Print summary info about the state of the optimized allocator */
- void
- _PyFloat_DebugMallocStats(FILE *out)
- {
- #if PyFloat_MAXFREELIST > 0
- struct _Py_float_state *state = get_float_state();
- _PyDebugAllocatorStats(out,
- "free PyFloatObject",
- state->numfree, sizeof(PyFloatObject));
- #endif
- }
- /*----------------------------------------------------------------------------
- * PyFloat_{Pack,Unpack}{2,4,8}. See floatobject.h.
- * To match the NPY_HALF_ROUND_TIES_TO_EVEN behavior in:
- * https://github.com/numpy/numpy/blob/master/numpy/core/src/npymath/halffloat.c
- * We use:
- * bits = (unsigned short)f; Note the truncation
- * if ((f - bits > 0.5) || (f - bits == 0.5 && bits % 2)) {
- * bits++;
- * }
- */
- int
- PyFloat_Pack2(double x, char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- unsigned char sign;
- int e;
- double f;
- unsigned short bits;
- int incr = 1;
- if (x == 0.0) {
- sign = (copysign(1.0, x) == -1.0);
- e = 0;
- bits = 0;
- }
- else if (Py_IS_INFINITY(x)) {
- sign = (x < 0.0);
- e = 0x1f;
- bits = 0;
- }
- else if (Py_IS_NAN(x)) {
- /* There are 2046 distinct half-precision NaNs (1022 signaling and
- 1024 quiet), but there are only two quiet NaNs that don't arise by
- quieting a signaling NaN; we get those by setting the topmost bit
- of the fraction field and clearing all other fraction bits. We
- choose the one with the appropriate sign. */
- sign = (copysign(1.0, x) == -1.0);
- e = 0x1f;
- bits = 512;
- }
- else {
- sign = (x < 0.0);
- if (sign) {
- x = -x;
- }
- f = frexp(x, &e);
- if (f < 0.5 || f >= 1.0) {
- PyErr_SetString(PyExc_SystemError,
- "frexp() result out of range");
- return -1;
- }
- /* Normalize f to be in the range [1.0, 2.0) */
- f *= 2.0;
- e--;
- if (e >= 16) {
- goto Overflow;
- }
- else if (e < -25) {
- /* |x| < 2**-25. Underflow to zero. */
- f = 0.0;
- e = 0;
- }
- else if (e < -14) {
- /* |x| < 2**-14. Gradual underflow */
- f = ldexp(f, 14 + e);
- e = 0;
- }
- else /* if (!(e == 0 && f == 0.0)) */ {
- e += 15;
- f -= 1.0; /* Get rid of leading 1 */
- }
- f *= 1024.0; /* 2**10 */
- /* Round to even */
- bits = (unsigned short)f; /* Note the truncation */
- assert(bits < 1024);
- assert(e < 31);
- if ((f - bits > 0.5) || ((f - bits == 0.5) && (bits % 2 == 1))) {
- ++bits;
- if (bits == 1024) {
- /* The carry propagated out of a string of 10 1 bits. */
- bits = 0;
- ++e;
- if (e == 31)
- goto Overflow;
- }
- }
- }
- bits |= (e << 10) | (sign << 15);
- /* Write out result. */
- if (le) {
- p += 1;
- incr = -1;
- }
- /* First byte */
- *p = (unsigned char)((bits >> 8) & 0xFF);
- p += incr;
- /* Second byte */
- *p = (unsigned char)(bits & 0xFF);
- return 0;
- Overflow:
- PyErr_SetString(PyExc_OverflowError,
- "float too large to pack with e format");
- return -1;
- }
- int
- PyFloat_Pack4(double x, char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- if (float_format == unknown_format) {
- unsigned char sign;
- int e;
- double f;
- unsigned int fbits;
- int incr = 1;
- if (le) {
- p += 3;
- incr = -1;
- }
- if (x < 0) {
- sign = 1;
- x = -x;
- }
- else
- sign = 0;
- f = frexp(x, &e);
- /* Normalize f to be in the range [1.0, 2.0) */
- if (0.5 <= f && f < 1.0) {
- f *= 2.0;
- e--;
- }
- else if (f == 0.0)
- e = 0;
- else {
- PyErr_SetString(PyExc_SystemError,
- "frexp() result out of range");
- return -1;
- }
- if (e >= 128)
- goto Overflow;
- else if (e < -126) {
- /* Gradual underflow */
- f = ldexp(f, 126 + e);
- e = 0;
- }
- else if (!(e == 0 && f == 0.0)) {
- e += 127;
- f -= 1.0; /* Get rid of leading 1 */
- }
- f *= 8388608.0; /* 2**23 */
- fbits = (unsigned int)(f + 0.5); /* Round */
- assert(fbits <= 8388608);
- if (fbits >> 23) {
- /* The carry propagated out of a string of 23 1 bits. */
- fbits = 0;
- ++e;
- if (e >= 255)
- goto Overflow;
- }
- /* First byte */
- *p = (sign << 7) | (e >> 1);
- p += incr;
- /* Second byte */
- *p = (char) (((e & 1) << 7) | (fbits >> 16));
- p += incr;
- /* Third byte */
- *p = (fbits >> 8) & 0xFF;
- p += incr;
- /* Fourth byte */
- *p = fbits & 0xFF;
- /* Done */
- return 0;
- }
- else {
- float y = (float)x;
- int i, incr = 1;
- if (Py_IS_INFINITY(y) && !Py_IS_INFINITY(x))
- goto Overflow;
- unsigned char s[sizeof(float)];
- memcpy(s, &y, sizeof(float));
- if ((float_format == ieee_little_endian_format && !le)
- || (float_format == ieee_big_endian_format && le)) {
- p += 3;
- incr = -1;
- }
- for (i = 0; i < 4; i++) {
- *p = s[i];
- p += incr;
- }
- return 0;
- }
- Overflow:
- PyErr_SetString(PyExc_OverflowError,
- "float too large to pack with f format");
- return -1;
- }
- int
- PyFloat_Pack8(double x, char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- if (double_format == unknown_format) {
- unsigned char sign;
- int e;
- double f;
- unsigned int fhi, flo;
- int incr = 1;
- if (le) {
- p += 7;
- incr = -1;
- }
- if (x < 0) {
- sign = 1;
- x = -x;
- }
- else
- sign = 0;
- f = frexp(x, &e);
- /* Normalize f to be in the range [1.0, 2.0) */
- if (0.5 <= f && f < 1.0) {
- f *= 2.0;
- e--;
- }
- else if (f == 0.0)
- e = 0;
- else {
- PyErr_SetString(PyExc_SystemError,
- "frexp() result out of range");
- return -1;
- }
- if (e >= 1024)
- goto Overflow;
- else if (e < -1022) {
- /* Gradual underflow */
- f = ldexp(f, 1022 + e);
- e = 0;
- }
- else if (!(e == 0 && f == 0.0)) {
- e += 1023;
- f -= 1.0; /* Get rid of leading 1 */
- }
- /* fhi receives the high 28 bits; flo the low 24 bits (== 52 bits) */
- f *= 268435456.0; /* 2**28 */
- fhi = (unsigned int)f; /* Truncate */
- assert(fhi < 268435456);
- f -= (double)fhi;
- f *= 16777216.0; /* 2**24 */
- flo = (unsigned int)(f + 0.5); /* Round */
- assert(flo <= 16777216);
- if (flo >> 24) {
- /* The carry propagated out of a string of 24 1 bits. */
- flo = 0;
- ++fhi;
- if (fhi >> 28) {
- /* And it also propagated out of the next 28 bits. */
- fhi = 0;
- ++e;
- if (e >= 2047)
- goto Overflow;
- }
- }
- /* First byte */
- *p = (sign << 7) | (e >> 4);
- p += incr;
- /* Second byte */
- *p = (unsigned char) (((e & 0xF) << 4) | (fhi >> 24));
- p += incr;
- /* Third byte */
- *p = (fhi >> 16) & 0xFF;
- p += incr;
- /* Fourth byte */
- *p = (fhi >> 8) & 0xFF;
- p += incr;
- /* Fifth byte */
- *p = fhi & 0xFF;
- p += incr;
- /* Sixth byte */
- *p = (flo >> 16) & 0xFF;
- p += incr;
- /* Seventh byte */
- *p = (flo >> 8) & 0xFF;
- p += incr;
- /* Eighth byte */
- *p = flo & 0xFF;
- /* p += incr; */
- /* Done */
- return 0;
- Overflow:
- PyErr_SetString(PyExc_OverflowError,
- "float too large to pack with d format");
- return -1;
- }
- else {
- const unsigned char *s = (unsigned char*)&x;
- int i, incr = 1;
- if ((double_format == ieee_little_endian_format && !le)
- || (double_format == ieee_big_endian_format && le)) {
- p += 7;
- incr = -1;
- }
- for (i = 0; i < 8; i++) {
- *p = *s++;
- p += incr;
- }
- return 0;
- }
- }
- double
- PyFloat_Unpack2(const char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- unsigned char sign;
- int e;
- unsigned int f;
- double x;
- int incr = 1;
- if (le) {
- p += 1;
- incr = -1;
- }
- /* First byte */
- sign = (*p >> 7) & 1;
- e = (*p & 0x7C) >> 2;
- f = (*p & 0x03) << 8;
- p += incr;
- /* Second byte */
- f |= *p;
- if (e == 0x1f) {
- if (f == 0) {
- /* Infinity */
- return sign ? -Py_HUGE_VAL : Py_HUGE_VAL;
- }
- else {
- /* NaN */
- return sign ? -fabs(Py_NAN) : fabs(Py_NAN);
- }
- }
- x = (double)f / 1024.0;
- if (e == 0) {
- e = -14;
- }
- else {
- x += 1.0;
- e -= 15;
- }
- x = ldexp(x, e);
- if (sign)
- x = -x;
- return x;
- }
- double
- PyFloat_Unpack4(const char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- if (float_format == unknown_format) {
- unsigned char sign;
- int e;
- unsigned int f;
- double x;
- int incr = 1;
- if (le) {
- p += 3;
- incr = -1;
- }
- /* First byte */
- sign = (*p >> 7) & 1;
- e = (*p & 0x7F) << 1;
- p += incr;
- /* Second byte */
- e |= (*p >> 7) & 1;
- f = (*p & 0x7F) << 16;
- p += incr;
- if (e == 255) {
- PyErr_SetString(
- PyExc_ValueError,
- "can't unpack IEEE 754 special value "
- "on non-IEEE platform");
- return -1;
- }
- /* Third byte */
- f |= *p << 8;
- p += incr;
- /* Fourth byte */
- f |= *p;
- x = (double)f / 8388608.0;
- /* XXX This sadly ignores Inf/NaN issues */
- if (e == 0)
- e = -126;
- else {
- x += 1.0;
- e -= 127;
- }
- x = ldexp(x, e);
- if (sign)
- x = -x;
- return x;
- }
- else {
- float x;
- if ((float_format == ieee_little_endian_format && !le)
- || (float_format == ieee_big_endian_format && le)) {
- char buf[4];
- char *d = &buf[3];
- int i;
- for (i = 0; i < 4; i++) {
- *d-- = *p++;
- }
- memcpy(&x, buf, 4);
- }
- else {
- memcpy(&x, p, 4);
- }
- return x;
- }
- }
- double
- PyFloat_Unpack8(const char *data, int le)
- {
- unsigned char *p = (unsigned char *)data;
- if (double_format == unknown_format) {
- unsigned char sign;
- int e;
- unsigned int fhi, flo;
- double x;
- int incr = 1;
- if (le) {
- p += 7;
- incr = -1;
- }
- /* First byte */
- sign = (*p >> 7) & 1;
- e = (*p & 0x7F) << 4;
- p += incr;
- /* Second byte */
- e |= (*p >> 4) & 0xF;
- fhi = (*p & 0xF) << 24;
- p += incr;
- if (e == 2047) {
- PyErr_SetString(
- PyExc_ValueError,
- "can't unpack IEEE 754 special value "
- "on non-IEEE platform");
- return -1.0;
- }
- /* Third byte */
- fhi |= *p << 16;
- p += incr;
- /* Fourth byte */
- fhi |= *p << 8;
- p += incr;
- /* Fifth byte */
- fhi |= *p;
- p += incr;
- /* Sixth byte */
- flo = *p << 16;
- p += incr;
- /* Seventh byte */
- flo |= *p << 8;
- p += incr;
- /* Eighth byte */
- flo |= *p;
- x = (double)fhi + (double)flo / 16777216.0; /* 2**24 */
- x /= 268435456.0; /* 2**28 */
- if (e == 0)
- e = -1022;
- else {
- x += 1.0;
- e -= 1023;
- }
- x = ldexp(x, e);
- if (sign)
- x = -x;
- return x;
- }
- else {
- double x;
- if ((double_format == ieee_little_endian_format && !le)
- || (double_format == ieee_big_endian_format && le)) {
- char buf[8];
- char *d = &buf[7];
- int i;
- for (i = 0; i < 8; i++) {
- *d-- = *p++;
- }
- memcpy(&x, buf, 8);
- }
- else {
- memcpy(&x, p, 8);
- }
- return x;
- }
- }
|