2019-04-18 06:37:26 -03:00
|
|
|
/*
|
|
|
|
* C Extension module to test Python internal C APIs (Include/internal).
|
|
|
|
*/
|
|
|
|
|
|
|
|
#if !defined(Py_BUILD_CORE_BUILTIN) && !defined(Py_BUILD_CORE_MODULE)
|
|
|
|
# error "Py_BUILD_CORE_BUILTIN or Py_BUILD_CORE_MODULE must be defined"
|
|
|
|
#endif
|
|
|
|
|
2020-04-20 13:49:13 -03:00
|
|
|
/* Always enable assertions */
|
|
|
|
#undef NDEBUG
|
|
|
|
|
2019-04-18 06:37:26 -03:00
|
|
|
#define PY_SSIZE_T_CLEAN
|
|
|
|
|
|
|
|
#include "Python.h"
|
2020-06-08 11:30:33 -03:00
|
|
|
#include "pycore_bitutils.h" // _Py_bswap32()
|
2020-04-13 06:38:42 -03:00
|
|
|
#include "pycore_gc.h" // PyGC_Head
|
2020-11-05 13:12:33 -04:00
|
|
|
#include "pycore_hashtable.h" // _Py_hashtable_new()
|
|
|
|
#include "pycore_initconfig.h" // _Py_GetConfigsAsDict()
|
|
|
|
#include "pycore_interp.h" // _PyInterpreterState_GetConfigCopy()
|
2019-04-18 06:37:26 -03:00
|
|
|
|
|
|
|
|
|
|
|
static PyObject *
|
|
|
|
get_configs(PyObject *self, PyObject *Py_UNUSED(args))
|
|
|
|
{
|
2020-07-07 19:20:37 -03:00
|
|
|
return _Py_GetConfigsAsDict();
|
2019-04-18 06:37:26 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-03-13 09:07:31 -03:00
|
|
|
static PyObject*
|
2020-04-17 12:47:20 -03:00
|
|
|
get_recursion_depth(PyObject *self, PyObject *Py_UNUSED(args))
|
2020-03-13 09:07:31 -03:00
|
|
|
{
|
|
|
|
PyThreadState *tstate = PyThreadState_Get();
|
|
|
|
|
|
|
|
/* subtract one to ignore the frame of the get_recursion_depth() call */
|
|
|
|
return PyLong_FromLong(tstate->recursion_depth - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-04-17 12:47:20 -03:00
|
|
|
static PyObject*
|
|
|
|
test_bswap(PyObject *self, PyObject *Py_UNUSED(args))
|
|
|
|
{
|
|
|
|
uint16_t u16 = _Py_bswap16(UINT16_C(0x3412));
|
|
|
|
if (u16 != UINT16_C(0x1234)) {
|
|
|
|
PyErr_Format(PyExc_AssertionError,
|
|
|
|
"_Py_bswap16(0x3412) returns %u", u16);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
uint32_t u32 = _Py_bswap32(UINT32_C(0x78563412));
|
|
|
|
if (u32 != UINT32_C(0x12345678)) {
|
|
|
|
PyErr_Format(PyExc_AssertionError,
|
|
|
|
"_Py_bswap32(0x78563412) returns %lu", u32);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t u64 = _Py_bswap64(UINT64_C(0xEFCDAB9078563412));
|
|
|
|
if (u64 != UINT64_C(0x1234567890ABCDEF)) {
|
|
|
|
PyErr_Format(PyExc_AssertionError,
|
|
|
|
"_Py_bswap64(0xEFCDAB9078563412) returns %llu", u64);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
Py_RETURN_NONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-06-08 11:30:33 -03:00
|
|
|
static int
|
|
|
|
check_popcount(uint32_t x, int expected)
|
|
|
|
{
|
|
|
|
// Use volatile to prevent the compiler to optimize out the whole test
|
|
|
|
volatile uint32_t u = x;
|
|
|
|
int bits = _Py_popcount32(u);
|
|
|
|
if (bits != expected) {
|
|
|
|
PyErr_Format(PyExc_AssertionError,
|
|
|
|
"_Py_popcount32(%lu) returns %i, expected %i",
|
|
|
|
(unsigned long)x, bits, expected);
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static PyObject*
|
|
|
|
test_popcount(PyObject *self, PyObject *Py_UNUSED(args))
|
|
|
|
{
|
|
|
|
#define CHECK(X, RESULT) \
|
|
|
|
do { \
|
|
|
|
if (check_popcount(X, RESULT) < 0) { \
|
|
|
|
return NULL; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
CHECK(0, 0);
|
|
|
|
CHECK(1, 1);
|
|
|
|
CHECK(0x08080808, 4);
|
|
|
|
CHECK(0x10101010, 4);
|
|
|
|
CHECK(0x10204080, 4);
|
|
|
|
CHECK(0xDEADCAFE, 22);
|
|
|
|
CHECK(0xFFFFFFFF, 32);
|
|
|
|
Py_RETURN_NONE;
|
|
|
|
|
|
|
|
#undef CHECK
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-06-15 09:33:48 -03:00
|
|
|
static int
|
|
|
|
check_bit_length(unsigned long x, int expected)
|
|
|
|
{
|
|
|
|
// Use volatile to prevent the compiler to optimize out the whole test
|
|
|
|
volatile unsigned long u = x;
|
|
|
|
int len = _Py_bit_length(u);
|
|
|
|
if (len != expected) {
|
|
|
|
PyErr_Format(PyExc_AssertionError,
|
|
|
|
"_Py_bit_length(%lu) returns %i, expected %i",
|
|
|
|
x, len, expected);
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static PyObject*
|
|
|
|
test_bit_length(PyObject *self, PyObject *Py_UNUSED(args))
|
|
|
|
{
|
|
|
|
#define CHECK(X, RESULT) \
|
|
|
|
do { \
|
|
|
|
if (check_bit_length(X, RESULT) < 0) { \
|
|
|
|
return NULL; \
|
|
|
|
} \
|
|
|
|
} while (0)
|
|
|
|
|
|
|
|
CHECK(0, 0);
|
|
|
|
CHECK(1, 1);
|
|
|
|
CHECK(0x1000, 13);
|
|
|
|
CHECK(0x1234, 13);
|
|
|
|
CHECK(0x54321, 19);
|
|
|
|
CHECK(0x7FFFFFFF, 31);
|
|
|
|
CHECK(0xFFFFFFFF, 32);
|
|
|
|
Py_RETURN_NONE;
|
|
|
|
|
|
|
|
#undef CHECK
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-05-14 16:55:47 -03:00
|
|
|
#define TO_PTR(ch) ((void*)(uintptr_t)ch)
|
|
|
|
#define FROM_PTR(ptr) ((uintptr_t)ptr)
|
|
|
|
#define VALUE(key) (1 + ((int)(key) - 'a'))
|
|
|
|
|
|
|
|
static Py_uhash_t
|
|
|
|
hash_char(const void *key)
|
|
|
|
{
|
|
|
|
char ch = (char)FROM_PTR(key);
|
|
|
|
return ch;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static int
|
|
|
|
hashtable_cb(_Py_hashtable_t *table,
|
|
|
|
const void *key_ptr, const void *value_ptr,
|
|
|
|
void *user_data)
|
|
|
|
{
|
|
|
|
int *count = (int *)user_data;
|
|
|
|
char key = (char)FROM_PTR(key_ptr);
|
|
|
|
int value = (int)FROM_PTR(value_ptr);
|
|
|
|
assert(value == VALUE(key));
|
|
|
|
*count += 1;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static PyObject*
|
|
|
|
test_hashtable(PyObject *self, PyObject *Py_UNUSED(args))
|
|
|
|
{
|
|
|
|
_Py_hashtable_t *table = _Py_hashtable_new(hash_char,
|
|
|
|
_Py_hashtable_compare_direct);
|
|
|
|
if (table == NULL) {
|
|
|
|
return PyErr_NoMemory();
|
|
|
|
}
|
|
|
|
|
2020-05-14 17:44:32 -03:00
|
|
|
// Using an newly allocated table must not crash
|
|
|
|
assert(table->nentries == 0);
|
|
|
|
assert(table->nbuckets > 0);
|
|
|
|
assert(_Py_hashtable_get(table, TO_PTR('x')) == NULL);
|
|
|
|
|
2020-05-14 16:55:47 -03:00
|
|
|
// Test _Py_hashtable_set()
|
|
|
|
char key;
|
|
|
|
for (key='a'; key <= 'z'; key++) {
|
|
|
|
int value = VALUE(key);
|
|
|
|
if (_Py_hashtable_set(table, TO_PTR(key), TO_PTR(value)) < 0) {
|
|
|
|
_Py_hashtable_destroy(table);
|
|
|
|
return PyErr_NoMemory();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
assert(table->nentries == 26);
|
|
|
|
assert(table->nbuckets > table->nentries);
|
|
|
|
|
|
|
|
// Test _Py_hashtable_get_entry()
|
|
|
|
for (key='a'; key <= 'z'; key++) {
|
|
|
|
_Py_hashtable_entry_t *entry = _Py_hashtable_get_entry(table, TO_PTR(key));
|
|
|
|
assert(entry != NULL);
|
2020-06-22 04:41:48 -03:00
|
|
|
assert(entry->key == TO_PTR(key));
|
|
|
|
assert(entry->value == TO_PTR(VALUE(key)));
|
2020-05-14 16:55:47 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test _Py_hashtable_get()
|
|
|
|
for (key='a'; key <= 'z'; key++) {
|
|
|
|
void *value_ptr = _Py_hashtable_get(table, TO_PTR(key));
|
2020-05-14 17:44:32 -03:00
|
|
|
assert((int)FROM_PTR(value_ptr) == VALUE(key));
|
2020-05-14 16:55:47 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test _Py_hashtable_steal()
|
|
|
|
key = 'p';
|
|
|
|
void *value_ptr = _Py_hashtable_steal(table, TO_PTR(key));
|
2020-05-14 17:44:32 -03:00
|
|
|
assert((int)FROM_PTR(value_ptr) == VALUE(key));
|
2020-05-14 16:55:47 -03:00
|
|
|
assert(table->nentries == 25);
|
2020-05-14 17:44:32 -03:00
|
|
|
assert(_Py_hashtable_get_entry(table, TO_PTR(key)) == NULL);
|
2020-05-14 16:55:47 -03:00
|
|
|
|
|
|
|
// Test _Py_hashtable_foreach()
|
|
|
|
int count = 0;
|
|
|
|
int res = _Py_hashtable_foreach(table, hashtable_cb, &count);
|
|
|
|
assert(res == 0);
|
|
|
|
assert(count == 25);
|
|
|
|
|
|
|
|
// Test _Py_hashtable_clear()
|
|
|
|
_Py_hashtable_clear(table);
|
|
|
|
assert(table->nentries == 0);
|
2020-05-14 17:44:32 -03:00
|
|
|
assert(table->nbuckets > 0);
|
2020-05-14 16:55:47 -03:00
|
|
|
assert(_Py_hashtable_get(table, TO_PTR('x')) == NULL);
|
|
|
|
|
|
|
|
_Py_hashtable_destroy(table);
|
|
|
|
Py_RETURN_NONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2020-11-05 13:12:33 -04:00
|
|
|
static PyObject *
|
|
|
|
test_get_config(PyObject *Py_UNUSED(self), PyObject *Py_UNUSED(args))
|
|
|
|
{
|
|
|
|
PyConfig config;
|
|
|
|
PyConfig_InitIsolatedConfig(&config);
|
|
|
|
if (_PyInterpreterState_GetConfigCopy(&config) < 0) {
|
|
|
|
PyConfig_Clear(&config);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
PyObject *dict = _PyConfig_AsDict(&config);
|
|
|
|
PyConfig_Clear(&config);
|
|
|
|
return dict;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static PyObject *
|
|
|
|
test_set_config(PyObject *Py_UNUSED(self), PyObject *dict)
|
|
|
|
{
|
|
|
|
PyConfig config;
|
|
|
|
PyConfig_InitIsolatedConfig(&config);
|
|
|
|
if (_PyConfig_FromDict(&config, dict) < 0) {
|
2020-11-05 13:58:07 -04:00
|
|
|
goto error;
|
2020-11-05 13:12:33 -04:00
|
|
|
}
|
|
|
|
if (_PyInterpreterState_SetConfig(&config) < 0) {
|
2020-11-05 13:58:07 -04:00
|
|
|
goto error;
|
2020-11-05 13:12:33 -04:00
|
|
|
}
|
|
|
|
PyConfig_Clear(&config);
|
|
|
|
Py_RETURN_NONE;
|
2020-11-05 13:58:07 -04:00
|
|
|
|
|
|
|
error:
|
|
|
|
PyConfig_Clear(&config);
|
|
|
|
return NULL;
|
2020-11-05 13:12:33 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2019-04-18 06:37:26 -03:00
|
|
|
static PyMethodDef TestMethods[] = {
|
|
|
|
{"get_configs", get_configs, METH_NOARGS},
|
2020-03-13 09:07:31 -03:00
|
|
|
{"get_recursion_depth", get_recursion_depth, METH_NOARGS},
|
2020-04-17 12:47:20 -03:00
|
|
|
{"test_bswap", test_bswap, METH_NOARGS},
|
2020-06-08 11:30:33 -03:00
|
|
|
{"test_popcount", test_popcount, METH_NOARGS},
|
2020-06-15 09:33:48 -03:00
|
|
|
{"test_bit_length", test_bit_length, METH_NOARGS},
|
2020-05-14 16:55:47 -03:00
|
|
|
{"test_hashtable", test_hashtable, METH_NOARGS},
|
2020-11-05 13:12:33 -04:00
|
|
|
{"get_config", test_get_config, METH_NOARGS},
|
|
|
|
{"set_config", test_set_config, METH_O},
|
2019-04-18 06:37:26 -03:00
|
|
|
{NULL, NULL} /* sentinel */
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
static struct PyModuleDef _testcapimodule = {
|
|
|
|
PyModuleDef_HEAD_INIT,
|
|
|
|
"_testinternalcapi",
|
|
|
|
NULL,
|
|
|
|
-1,
|
|
|
|
TestMethods,
|
|
|
|
NULL,
|
|
|
|
NULL,
|
|
|
|
NULL,
|
|
|
|
NULL
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
PyMODINIT_FUNC
|
|
|
|
PyInit__testinternalcapi(void)
|
|
|
|
{
|
2020-04-13 06:38:42 -03:00
|
|
|
PyObject *module = PyModule_Create(&_testcapimodule);
|
|
|
|
if (module == NULL) {
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (PyModule_AddObject(module, "SIZEOF_PYGC_HEAD",
|
|
|
|
PyLong_FromSsize_t(sizeof(PyGC_Head))) < 0) {
|
|
|
|
goto error;
|
|
|
|
}
|
|
|
|
|
|
|
|
return module;
|
|
|
|
|
|
|
|
error:
|
|
|
|
Py_DECREF(module);
|
|
|
|
return NULL;
|
2019-04-18 06:37:26 -03:00
|
|
|
}
|