1993-07-28 06:05:47 -03:00
|
|
|
#ifndef Py_LONGINTREPR_H
|
|
|
|
#define Py_LONGINTREPR_H
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
|
1992-01-19 12:30:12 -04:00
|
|
|
/* This is published for the benefit of "friend" marshal.c only. */
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
/* Parameters of the long integer representation.
|
|
|
|
These shouldn't have to be changed as C should guarantee that a short
|
2000-07-08 01:17:21 -03:00
|
|
|
contains at least 16 bits, but it's made changeable anyway.
|
1991-05-05 17:09:44 -03:00
|
|
|
Note: 'digit' should be able to hold 2*MASK+1, and 'twodigits'
|
|
|
|
should be able to hold the intermediate results in 'mul'
|
2004-08-29 19:16:50 -03:00
|
|
|
(at most (BASE-1)*(2*BASE+1) == MASK*(2*MASK+3)).
|
1991-05-05 17:09:44 -03:00
|
|
|
Also, x_sub assumes that 'digit' is an unsigned type, and overflow
|
|
|
|
is handled by taking the result mod 2**N for some N > SHIFT.
|
SF patch 936813: fast modular exponentiation
This checkin is adapted from part 2 (of 3) of Trevor Perrin's patch set.
BACKWARD INCOMPATIBILITY: SHIFT must now be divisible by 5. AFAIK,
nobody will care. long_pow() could be complicated to worm around that,
if necessary.
long_pow():
- BUGFIX: This leaked the base and power when the power was negative
(and so the computation delegated to float pow).
- Instead of doing right-to-left exponentiation, do left-to-right. This
is more efficient for small bases, which is the common case.
- In addition, if the exponent is large (more than FIVEARY_CUTOFF
digits), precompute [a**i % c for i in range(32)], and go left to
right 5 bits at a time.
l_divmod():
- The signature changed so that callers who don't want the quotient,
or don't want the remainder, can pass NULL in the slot they don't
want. This saves them from having to declare a vrbl for unwanted
stuff, and remembering to decref it.
long_mod(), long_div(), long_classic_div():
- Adjust to new l_divmod() signature, and simplified as a result.
2004-08-29 23:44:38 -03:00
|
|
|
And, at some places it is assumed that MASK fits in an int, as well.
|
|
|
|
long_pow() requires that SHIFT be divisible by 5. */
|
1991-05-05 17:09:44 -03:00
|
|
|
|
|
|
|
typedef unsigned short digit;
|
2000-07-08 01:17:21 -03:00
|
|
|
#define BASE_TWODIGITS_TYPE long
|
|
|
|
typedef unsigned BASE_TWODIGITS_TYPE twodigits;
|
|
|
|
typedef BASE_TWODIGITS_TYPE stwodigits; /* signed variant of twodigits */
|
1991-05-05 17:09:44 -03:00
|
|
|
|
Merged revisions 56467-56482 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/branches/p3yk
................
r56477 | martin.v.loewis | 2007-07-21 09:04:38 +0200 (Sa, 21 Jul 2007) | 11 lines
Merged revisions 56466-56476 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/trunk
........
r56476 | martin.v.loewis | 2007-07-21 08:55:02 +0200 (Sa, 21 Jul 2007) | 4 lines
PEP 3123: Provide forward compatibility with Python 3.0, while keeping
backwards compatibility. Add Py_Refcnt, Py_Type, Py_Size, and
PyVarObject_HEAD_INIT.
........
................
r56478 | martin.v.loewis | 2007-07-21 09:47:23 +0200 (Sa, 21 Jul 2007) | 2 lines
PEP 3123: Use proper C inheritance for PyObject.
................
r56479 | martin.v.loewis | 2007-07-21 10:06:55 +0200 (Sa, 21 Jul 2007) | 3 lines
Add longintrepr.h to Python.h, so that the compiler can
see that PyFalse is really some kind of PyObject*.
................
r56480 | martin.v.loewis | 2007-07-21 10:47:18 +0200 (Sa, 21 Jul 2007) | 2 lines
Qualify SHIFT, MASK, BASE.
................
r56482 | martin.v.loewis | 2007-07-21 19:10:57 +0200 (Sa, 21 Jul 2007) | 2 lines
Correctly refer to _ob_next.
................
2007-07-21 14:22:18 -03:00
|
|
|
#define PyLong_SHIFT 15
|
|
|
|
#define PyLong_BASE ((digit)1 << PyLong_SHIFT)
|
2009-02-15 07:04:38 -04:00
|
|
|
#define PyLong_MASK ((digit)(PyLong_BASE - 1))
|
1991-05-05 17:09:44 -03:00
|
|
|
|
Merged revisions 56467-56482 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/branches/p3yk
................
r56477 | martin.v.loewis | 2007-07-21 09:04:38 +0200 (Sa, 21 Jul 2007) | 11 lines
Merged revisions 56466-56476 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/trunk
........
r56476 | martin.v.loewis | 2007-07-21 08:55:02 +0200 (Sa, 21 Jul 2007) | 4 lines
PEP 3123: Provide forward compatibility with Python 3.0, while keeping
backwards compatibility. Add Py_Refcnt, Py_Type, Py_Size, and
PyVarObject_HEAD_INIT.
........
................
r56478 | martin.v.loewis | 2007-07-21 09:47:23 +0200 (Sa, 21 Jul 2007) | 2 lines
PEP 3123: Use proper C inheritance for PyObject.
................
r56479 | martin.v.loewis | 2007-07-21 10:06:55 +0200 (Sa, 21 Jul 2007) | 3 lines
Add longintrepr.h to Python.h, so that the compiler can
see that PyFalse is really some kind of PyObject*.
................
r56480 | martin.v.loewis | 2007-07-21 10:47:18 +0200 (Sa, 21 Jul 2007) | 2 lines
Qualify SHIFT, MASK, BASE.
................
r56482 | martin.v.loewis | 2007-07-21 19:10:57 +0200 (Sa, 21 Jul 2007) | 2 lines
Correctly refer to _ob_next.
................
2007-07-21 14:22:18 -03:00
|
|
|
#if PyLong_SHIFT % 5 != 0
|
SF patch 936813: fast modular exponentiation
This checkin is adapted from part 2 (of 3) of Trevor Perrin's patch set.
BACKWARD INCOMPATIBILITY: SHIFT must now be divisible by 5. AFAIK,
nobody will care. long_pow() could be complicated to worm around that,
if necessary.
long_pow():
- BUGFIX: This leaked the base and power when the power was negative
(and so the computation delegated to float pow).
- Instead of doing right-to-left exponentiation, do left-to-right. This
is more efficient for small bases, which is the common case.
- In addition, if the exponent is large (more than FIVEARY_CUTOFF
digits), precompute [a**i % c for i in range(32)], and go left to
right 5 bits at a time.
l_divmod():
- The signature changed so that callers who don't want the quotient,
or don't want the remainder, can pass NULL in the slot they don't
want. This saves them from having to declare a vrbl for unwanted
stuff, and remembering to decref it.
long_mod(), long_div(), long_classic_div():
- Adjust to new l_divmod() signature, and simplified as a result.
2004-08-29 23:44:38 -03:00
|
|
|
#error "longobject.c requires that SHIFT be divisible by 5"
|
|
|
|
#endif
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
/* Long integer representation.
|
|
|
|
The absolute value of a number is equal to
|
|
|
|
SUM(for i=0 through abs(ob_size)-1) ob_digit[i] * 2**(SHIFT*i)
|
|
|
|
Negative numbers are represented with ob_size < 0;
|
|
|
|
zero is represented by ob_size == 0.
|
|
|
|
In a normalized number, ob_digit[abs(ob_size)-1] (the most significant
|
|
|
|
digit) is never zero. Also, in all cases, for all valid i,
|
|
|
|
0 <= ob_digit[i] <= MASK.
|
2000-07-16 09:04:32 -03:00
|
|
|
The allocation function takes care of allocating extra memory
|
2002-03-02 00:33:09 -04:00
|
|
|
so that ob_digit[0] ... ob_digit[abs(ob_size)-1] are actually available.
|
|
|
|
|
|
|
|
CAUTION: Generic code manipulating subtypes of PyVarObject has to
|
|
|
|
aware that longs abuse ob_size's sign bit.
|
|
|
|
*/
|
1991-05-05 17:09:44 -03:00
|
|
|
|
1992-01-19 12:30:12 -04:00
|
|
|
struct _longobject {
|
2002-03-02 00:33:09 -04:00
|
|
|
PyObject_VAR_HEAD
|
1991-05-05 17:09:44 -03:00
|
|
|
digit ob_digit[1];
|
1992-01-19 12:30:12 -04:00
|
|
|
};
|
1991-05-05 17:09:44 -03:00
|
|
|
|
2006-02-15 13:27:45 -04:00
|
|
|
PyAPI_FUNC(PyLongObject *) _PyLong_New(Py_ssize_t);
|
1993-07-28 06:05:47 -03:00
|
|
|
|
2001-09-10 17:52:51 -03:00
|
|
|
/* Return a copy of src. */
|
2002-08-12 04:21:58 -03:00
|
|
|
PyAPI_FUNC(PyObject *) _PyLong_Copy(PyLongObject *src);
|
2001-09-10 17:52:51 -03:00
|
|
|
|
1993-07-28 06:05:47 -03:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
#endif /* !Py_LONGINTREPR_H */
|