blob: 6bddad7bb5d249e779fa23a44af5f9194091a37c [file] [log] [blame]
Tim Peterse7c1f9b2001-06-14 00:55:41 +00001/* Poor-man's template. Macros used:
Antoine Pitrouf95a1b32010-05-09 15:52:27 +00002 TESTNAME name of the test (like test_long_api_inner)
3 TYPENAME the signed type (like long)
4 F_S_TO_PY convert signed to pylong; TYPENAME -> PyObject*
5 F_PY_TO_S convert pylong to signed; PyObject* -> TYPENAME
6 F_U_TO_PY convert unsigned to pylong; unsigned TYPENAME -> PyObject*
Tim Peters83c9edc2001-06-16 08:10:13 +00007 F_PY_TO_U convert pylong to unsigned; PyObject* -> unsigned TYPENAME
Tim Peterse7c1f9b2001-06-14 00:55:41 +00008*/
9
10static PyObject *
Tim Peters83c9edc2001-06-16 08:10:13 +000011TESTNAME(PyObject *error(const char*))
Tim Peterse7c1f9b2001-06-14 00:55:41 +000012{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000013 const int NBITS = sizeof(TYPENAME) * 8;
14 unsigned TYPENAME base;
15 PyObject *pyresult;
16 int i;
Tim Peterse7c1f9b2001-06-14 00:55:41 +000017
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000018 /* Note: This test lets PyObjects leak if an error is raised. Since
19 an error should never be raised, leaks are impossible <wink>. */
Tim Peterse7c1f9b2001-06-14 00:55:41 +000020
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000021 /* Test native -> PyLong -> native roundtrip identity.
22 * Generate all powers of 2, and test them and their negations,
23 * plus the numbers +-1 off from them.
24 */
25 base = 1;
26 for (i = 0;
27 i < NBITS + 1; /* on last, base overflows to 0 */
28 ++i, base <<= 1)
29 {
30 int j;
31 for (j = 0; j < 6; ++j) {
32 TYPENAME in, out;
33 unsigned TYPENAME uin, uout;
Tim Peterse7c1f9b2001-06-14 00:55:41 +000034
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000035 /* For 0, 1, 2 use base; for 3, 4, 5 use -base */
Mark Dickinsonb96172e2011-11-19 17:58:15 +000036 uin = j < 3 ? base : 0U - base;
Tim Peterse7c1f9b2001-06-14 00:55:41 +000037
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000038 /* For 0 & 3, subtract 1.
39 * For 1 & 4, leave alone.
40 * For 2 & 5, add 1.
41 */
42 uin += (unsigned TYPENAME)(TYPENAME)(j % 3 - 1);
Tim Peterse7c1f9b2001-06-14 00:55:41 +000043
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000044 pyresult = F_U_TO_PY(uin);
45 if (pyresult == NULL)
46 return error(
47 "unsigned unexpected null result");
Tim Peterse7c1f9b2001-06-14 00:55:41 +000048
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000049 uout = F_PY_TO_U(pyresult);
50 if (uout == (unsigned TYPENAME)-1 && PyErr_Occurred())
51 return error(
52 "unsigned unexpected -1 result");
53 if (uout != uin)
54 return error(
55 "unsigned output != input");
56 UNBIND(pyresult);
Tim Peterse7c1f9b2001-06-14 00:55:41 +000057
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000058 in = (TYPENAME)uin;
59 pyresult = F_S_TO_PY(in);
60 if (pyresult == NULL)
61 return error(
62 "signed unexpected null result");
Tim Peterse7c1f9b2001-06-14 00:55:41 +000063
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000064 out = F_PY_TO_S(pyresult);
65 if (out == (TYPENAME)-1 && PyErr_Occurred())
66 return error(
67 "signed unexpected -1 result");
68 if (out != in)
69 return error(
70 "signed output != input");
71 UNBIND(pyresult);
72 }
73 }
Tim Peterse7c1f9b2001-06-14 00:55:41 +000074
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000075 /* Overflow tests. The loop above ensured that all limit cases that
76 * should not overflow don't overflow, so all we need to do here is
77 * provoke one-over-the-limit cases (not exhaustive, but sharp).
78 */
79 {
80 PyObject *one, *x, *y;
81 TYPENAME out;
82 unsigned TYPENAME uout;
Tim Peterse7c1f9b2001-06-14 00:55:41 +000083
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000084 one = PyLong_FromLong(1);
85 if (one == NULL)
86 return error(
87 "unexpected NULL from PyLong_FromLong");
Tim Peterse7c1f9b2001-06-14 00:55:41 +000088
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000089 /* Unsigned complains about -1? */
90 x = PyNumber_Negative(one);
91 if (x == NULL)
92 return error(
93 "unexpected NULL from PyNumber_Negative");
Tim Peterse7c1f9b2001-06-14 00:55:41 +000094
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000095 uout = F_PY_TO_U(x);
96 if (uout != (unsigned TYPENAME)-1 || !PyErr_Occurred())
97 return error(
98 "PyLong_AsUnsignedXXX(-1) didn't complain");
99 if (!PyErr_ExceptionMatches(PyExc_OverflowError))
100 return error(
101 "PyLong_AsUnsignedXXX(-1) raised "
102 "something other than OverflowError");
103 PyErr_Clear();
104 UNBIND(x);
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000105
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000106 /* Unsigned complains about 2**NBITS? */
107 y = PyLong_FromLong((long)NBITS);
108 if (y == NULL)
109 return error(
110 "unexpected NULL from PyLong_FromLong");
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000111
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000112 x = PyNumber_Lshift(one, y); /* 1L << NBITS, == 2**NBITS */
113 UNBIND(y);
114 if (x == NULL)
115 return error(
116 "unexpected NULL from PyNumber_Lshift");
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000117
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000118 uout = F_PY_TO_U(x);
119 if (uout != (unsigned TYPENAME)-1 || !PyErr_Occurred())
120 return error(
121 "PyLong_AsUnsignedXXX(2**NBITS) didn't "
122 "complain");
123 if (!PyErr_ExceptionMatches(PyExc_OverflowError))
124 return error(
125 "PyLong_AsUnsignedXXX(2**NBITS) raised "
126 "something other than OverflowError");
127 PyErr_Clear();
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000128
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000129 /* Signed complains about 2**(NBITS-1)?
130 x still has 2**NBITS. */
131 y = PyNumber_Rshift(x, one); /* 2**(NBITS-1) */
132 UNBIND(x);
133 if (y == NULL)
134 return error(
135 "unexpected NULL from PyNumber_Rshift");
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000136
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000137 out = F_PY_TO_S(y);
138 if (out != (TYPENAME)-1 || !PyErr_Occurred())
139 return error(
140 "PyLong_AsXXX(2**(NBITS-1)) didn't "
141 "complain");
142 if (!PyErr_ExceptionMatches(PyExc_OverflowError))
143 return error(
144 "PyLong_AsXXX(2**(NBITS-1)) raised "
145 "something other than OverflowError");
146 PyErr_Clear();
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000147
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000148 /* Signed complains about -2**(NBITS-1)-1?;
149 y still has 2**(NBITS-1). */
150 x = PyNumber_Negative(y); /* -(2**(NBITS-1)) */
151 UNBIND(y);
152 if (x == NULL)
153 return error(
154 "unexpected NULL from PyNumber_Negative");
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000155
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000156 y = PyNumber_Subtract(x, one); /* -(2**(NBITS-1))-1 */
157 UNBIND(x);
158 if (y == NULL)
159 return error(
160 "unexpected NULL from PyNumber_Subtract");
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000161
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000162 out = F_PY_TO_S(y);
163 if (out != (TYPENAME)-1 || !PyErr_Occurred())
164 return error(
165 "PyLong_AsXXX(-2**(NBITS-1)-1) didn't "
166 "complain");
167 if (!PyErr_ExceptionMatches(PyExc_OverflowError))
168 return error(
169 "PyLong_AsXXX(-2**(NBITS-1)-1) raised "
170 "something other than OverflowError");
171 PyErr_Clear();
172 UNBIND(y);
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000173
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000174 Py_XDECREF(x);
175 Py_XDECREF(y);
176 Py_DECREF(one);
177 }
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000178
Nadeem Vawda3d5881e2011-09-07 21:40:26 +0200179 /* Test F_PY_TO_{S,U} on non-pylong input. This should raise a TypeError. */
180 {
181 TYPENAME out;
182 unsigned TYPENAME uout;
183
184 Py_INCREF(Py_None);
185
186 out = F_PY_TO_S(Py_None);
187 if (out != (TYPENAME)-1 || !PyErr_Occurred())
188 return error("PyLong_AsXXX(None) didn't complain");
189 if (!PyErr_ExceptionMatches(PyExc_TypeError))
190 return error("PyLong_AsXXX(None) raised "
191 "something other than TypeError");
192 PyErr_Clear();
193
194 uout = F_PY_TO_U(Py_None);
195 if (uout != (unsigned TYPENAME)-1 || !PyErr_Occurred())
196 return error("PyLong_AsXXX(None) didn't complain");
197 if (!PyErr_ExceptionMatches(PyExc_TypeError))
198 return error("PyLong_AsXXX(None) raised "
199 "something other than TypeError");
200 PyErr_Clear();
201
202 Py_DECREF(Py_None);
203 }
204
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000205 Py_INCREF(Py_None);
206 return Py_None;
Tim Peterse7c1f9b2001-06-14 00:55:41 +0000207}