]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | #ifndef Py_LONGINTREPR_H\r |
2 | #define Py_LONGINTREPR_H\r | |
3 | #ifdef __cplusplus\r | |
4 | extern "C" {\r | |
5 | #endif\r | |
6 | \r | |
7 | \r | |
8 | /* This is published for the benefit of "friend" marshal.c only. */\r | |
9 | \r | |
10 | /* Parameters of the long integer representation. There are two different\r | |
11 | sets of parameters: one set for 30-bit digits, stored in an unsigned 32-bit\r | |
12 | integer type, and one set for 15-bit digits with each digit stored in an\r | |
13 | unsigned short. The value of PYLONG_BITS_IN_DIGIT, defined either at\r | |
14 | configure time or in pyport.h, is used to decide which digit size to use.\r | |
15 | \r | |
16 | Type 'digit' should be able to hold 2*PyLong_BASE-1, and type 'twodigits'\r | |
17 | should be an unsigned integer type able to hold all integers up to\r | |
18 | PyLong_BASE*PyLong_BASE-1. x_sub assumes that 'digit' is an unsigned type,\r | |
19 | and that overflow is handled by taking the result modulo 2**N for some N >\r | |
20 | PyLong_SHIFT. The majority of the code doesn't care about the precise\r | |
21 | value of PyLong_SHIFT, but there are some notable exceptions:\r | |
22 | \r | |
23 | - long_pow() requires that PyLong_SHIFT be divisible by 5\r | |
24 | \r | |
25 | - PyLong_{As,From}ByteArray require that PyLong_SHIFT be at least 8\r | |
26 | \r | |
27 | - long_hash() requires that PyLong_SHIFT is *strictly* less than the number\r | |
28 | of bits in an unsigned long, as do the PyLong <-> long (or unsigned long)\r | |
29 | conversion functions\r | |
30 | \r | |
31 | - the long <-> size_t/Py_ssize_t conversion functions expect that\r | |
32 | PyLong_SHIFT is strictly less than the number of bits in a size_t\r | |
33 | \r | |
34 | - the marshal code currently expects that PyLong_SHIFT is a multiple of 15\r | |
35 | \r | |
36 | The values 15 and 30 should fit all of the above requirements, on any\r | |
37 | platform.\r | |
38 | */\r | |
39 | \r | |
40 | #if PYLONG_BITS_IN_DIGIT == 30\r | |
41 | #if !(defined HAVE_UINT64_T && defined HAVE_UINT32_T && \\r | |
42 | defined HAVE_INT64_T && defined HAVE_INT32_T)\r | |
43 | #error "30-bit long digits requested, but the necessary types are not available on this platform"\r | |
44 | #endif\r | |
45 | typedef PY_UINT32_T digit;\r | |
46 | typedef PY_INT32_T sdigit; /* signed variant of digit */\r | |
47 | typedef PY_UINT64_T twodigits;\r | |
48 | typedef PY_INT64_T stwodigits; /* signed variant of twodigits */\r | |
49 | #define PyLong_SHIFT 30\r | |
50 | #define _PyLong_DECIMAL_SHIFT 9 /* max(e such that 10**e fits in a digit) */\r | |
51 | #define _PyLong_DECIMAL_BASE ((digit)1000000000) /* 10 ** DECIMAL_SHIFT */\r | |
52 | #elif PYLONG_BITS_IN_DIGIT == 15\r | |
53 | typedef unsigned short digit;\r | |
54 | typedef short sdigit; /* signed variant of digit */\r | |
55 | typedef unsigned long twodigits;\r | |
56 | typedef long stwodigits; /* signed variant of twodigits */\r | |
57 | #define PyLong_SHIFT 15\r | |
58 | #define _PyLong_DECIMAL_SHIFT 4 /* max(e such that 10**e fits in a digit) */\r | |
59 | #define _PyLong_DECIMAL_BASE ((digit)10000) /* 10 ** DECIMAL_SHIFT */\r | |
60 | #else\r | |
61 | #error "PYLONG_BITS_IN_DIGIT should be 15 or 30"\r | |
62 | #endif\r | |
63 | #define PyLong_BASE ((digit)1 << PyLong_SHIFT)\r | |
64 | #define PyLong_MASK ((digit)(PyLong_BASE - 1))\r | |
65 | \r | |
66 | /* b/w compatibility with Python 2.5 */\r | |
67 | #define SHIFT PyLong_SHIFT\r | |
68 | #define BASE PyLong_BASE\r | |
69 | #define MASK PyLong_MASK\r | |
70 | \r | |
71 | #if PyLong_SHIFT % 5 != 0\r | |
72 | #error "longobject.c requires that PyLong_SHIFT be divisible by 5"\r | |
73 | #endif\r | |
74 | \r | |
75 | /* Long integer representation.\r | |
76 | The absolute value of a number is equal to\r | |
77 | SUM(for i=0 through abs(ob_size)-1) ob_digit[i] * 2**(SHIFT*i)\r | |
78 | Negative numbers are represented with ob_size < 0;\r | |
79 | zero is represented by ob_size == 0.\r | |
80 | In a normalized number, ob_digit[abs(ob_size)-1] (the most significant\r | |
81 | digit) is never zero. Also, in all cases, for all valid i,\r | |
82 | 0 <= ob_digit[i] <= MASK.\r | |
83 | The allocation function takes care of allocating extra memory\r | |
84 | so that ob_digit[0] ... ob_digit[abs(ob_size)-1] are actually available.\r | |
85 | \r | |
86 | CAUTION: Generic code manipulating subtypes of PyVarObject has to\r | |
87 | aware that longs abuse ob_size's sign bit.\r | |
88 | */\r | |
89 | \r | |
90 | struct _longobject {\r | |
91 | PyObject_VAR_HEAD\r | |
92 | digit ob_digit[1];\r | |
93 | };\r | |
94 | \r | |
95 | PyAPI_FUNC(PyLongObject *) _PyLong_New(Py_ssize_t);\r | |
96 | \r | |
97 | /* Return a copy of src. */\r | |
98 | PyAPI_FUNC(PyObject *) _PyLong_Copy(PyLongObject *src);\r | |
99 | \r | |
100 | #ifdef __cplusplus\r | |
101 | }\r | |
102 | #endif\r | |
103 | #endif /* !Py_LONGINTREPR_H */\r |