diff options
Diffstat (limited to 'stdlib/tst-stdbit.h')
| -rw-r--r-- | stdlib/tst-stdbit.h | 198 |
1 files changed, 198 insertions, 0 deletions
diff --git a/stdlib/tst-stdbit.h b/stdlib/tst-stdbit.h new file mode 100644 index 0000000000..39b765beaa --- /dev/null +++ b/stdlib/tst-stdbit.h @@ -0,0 +1,198 @@ +/* Common test support for <stdbit.h> tests. + Copyright (C) 2024 Free Software Foundation, Inc. + This file is part of the GNU C Library. + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with the GNU C Library; if not, see + <https://www.gnu.org/licenses/>. */ + +#ifndef _TST_STDBIT_H +#define _TST_STDBIT_H + +#include <stdbit.h> +#include <stdbool.h> + +#include <array_length.h> +#include <support/check.h> + +struct stdbit_test +{ + /* The test input. */ + uint64_t x; + /* Expected results if that test input is converted to 8, 16, 32 or + 64 bits and then passed to the function under test for that + width. */ + uint64_t res_8, res_16, res_32, res_64; +}; + +#define TEST_TYPE(EXPR, TYPE) \ + _Static_assert (_Generic ((EXPR), TYPE: 1, default: 0), "bad type") + +/* Test a <stdbit.h> function / macro. For each function family, and + each input type, we test both with and without macros from the + header being used, both with a possibly wider argument being passed + (that must be truncated by the prototype) and with the argument + truncated in the caller, as well as testing the type-generic macro + (with the argument truncated in the caller). Also test that the + results have the correct type; also test truncation from + floating-point arguments (valid for functions, including with macro + expansion, because the prototype must implicitly convert to integer + type; not valid for the type-generic macros). Also test that the + argument is evaluated exactly once. Also test the macros are + usable (e.g. in typeof) at top level (GCC doesn't allow ({}) + outside functions: bug 93239). */ + +#define TEST_STDBIT_T(FUNC, X, RES, TTYPE, TYPE, SUFFIX) \ + do \ + { \ + TEST_COMPARE (FUNC ## SUFFIX (X), (RES)); \ + TEST_TYPE (FUNC ## SUFFIX (X), TTYPE); \ + TEST_COMPARE ((FUNC ## SUFFIX) (X), (RES)); \ + TEST_TYPE ((FUNC ## SUFFIX) (X), TTYPE); \ + TEST_COMPARE (FUNC ## SUFFIX ((TYPE) (X)), (RES)); \ + TEST_TYPE (FUNC ## SUFFIX ((TYPE) (X)), TTYPE); \ + TEST_COMPARE ((FUNC ## SUFFIX) ((TYPE) (X)), (RES)); \ + TEST_TYPE ((FUNC ## SUFFIX) ((TYPE) (X)), TTYPE); \ + TEST_COMPARE (FUNC ((TYPE) (X)), (RES)); \ + TEST_TYPE (FUNC ((TYPE) (X)), TTYPE); \ + if (sizeof (TYPE) <= 2) \ + { \ + TEST_COMPARE (FUNC ## SUFFIX ((float) (TYPE) (X)), (RES)); \ + TEST_TYPE (FUNC ## SUFFIX ((float) (TYPE) (X)), TTYPE); \ + TEST_COMPARE ((FUNC ## SUFFIX) ((float) (TYPE) (X)), (RES)); \ + TEST_TYPE ((FUNC ## SUFFIX) ((float) (TYPE) (X)), TTYPE); \ + } \ + if (sizeof (TYPE) <= 4) \ + { \ + TEST_COMPARE (FUNC ## SUFFIX ((double) (TYPE) (X)), (RES)); \ + TEST_TYPE (FUNC ## SUFFIX ((double) (TYPE) (X)), TTYPE); \ + TEST_COMPARE ((FUNC ## SUFFIX) ((double) (TYPE) (X)), (RES)); \ + TEST_TYPE ((FUNC ## SUFFIX) ((double) (TYPE) (X)), TTYPE); \ + TEST_COMPARE (FUNC ## SUFFIX ((long double) (TYPE) (X)), (RES)); \ + TEST_TYPE (FUNC ## SUFFIX ((long double) (TYPE) (X)), TTYPE); \ + TEST_COMPARE ((FUNC ## SUFFIX) ((long double) (TYPE) (X)), (RES)); \ + TEST_TYPE ((FUNC ## SUFFIX) ((long double) (TYPE) (X)), TTYPE); \ + } \ + TYPE xt = (X); \ + TEST_COMPARE (FUNC ## SUFFIX (xt++), (RES)); \ + TEST_COMPARE (xt, (TYPE) ((X) + 1)); \ + xt = (X); \ + TEST_COMPARE (FUNC (xt++), (RES)); \ + TEST_COMPARE (xt, (TYPE) ((X) + 1)); \ + } \ + while (0) + +#define TEST_STDBIT_UI(FUNC, INPUTS) \ + do \ + for (int i = 0; i < array_length (INPUTS); i++) \ + { \ + uint64_t x = (INPUTS)[i].x; \ + unsigned int res_8 = (INPUTS)[i].res_8; \ + unsigned int res_16 = (INPUTS)[i].res_16; \ + unsigned int res_32 = (INPUTS)[i].res_32; \ + unsigned int res_64 = (INPUTS)[i].res_64; \ + unsigned int res_l = (sizeof (long int) == 4 \ + ? res_32 : res_64); \ + TEST_STDBIT_T (FUNC, x, res_8, unsigned int, \ + unsigned char, _uc); \ + TEST_STDBIT_T (FUNC, x, res_16, unsigned int, \ + unsigned short, _us); \ + TEST_STDBIT_T (FUNC, x, res_32, unsigned int, \ + unsigned int, _ui); \ + TEST_STDBIT_T (FUNC, x, res_l, unsigned int, \ + unsigned long int, _ul); \ + TEST_STDBIT_T (FUNC, x, res_64, unsigned int, \ + unsigned long long int, _ull); \ + } \ + while (0) + +#define TEST_STDBIT_BOOL(FUNC, INPUTS) \ + do \ + for (int i = 0; i < array_length (INPUTS); i++) \ + { \ + uint64_t x = (INPUTS)[i].x; \ + bool res_8 = (INPUTS)[i].res_8; \ + bool res_16 = (INPUTS)[i].res_16; \ + bool res_32 = (INPUTS)[i].res_32; \ + bool res_64 = (INPUTS)[i].res_64; \ + bool res_l = (sizeof (long int) == 4 ? res_32 : res_64); \ + TEST_STDBIT_T (FUNC, x, res_8, _Bool, unsigned char, _uc); \ + TEST_STDBIT_T (FUNC, x, res_16, _Bool, unsigned short, _us); \ + TEST_STDBIT_T (FUNC, x, res_32, _Bool, unsigned int, _ui); \ + TEST_STDBIT_T (FUNC, x, res_l, _Bool, unsigned long int, _ul); \ + TEST_STDBIT_T (FUNC, x, res_64, _Bool, \ + unsigned long long int, _ull); \ + } \ + while (0) + +#define TEST_STDBIT_SAME(FUNC, INPUTS) \ + do \ + for (int i = 0; i < array_length (INPUTS); i++) \ + { \ + uint64_t x = (INPUTS)[i].x; \ + unsigned char res_8 = (INPUTS)[i].res_8; \ + unsigned short res_16 = (INPUTS)[i].res_16; \ + unsigned int res_32 = (INPUTS)[i].res_32; \ + unsigned long long int res_64 = (INPUTS)[i].res_64; \ + unsigned long int res_l = (sizeof (long int) == 4 \ + ? res_32 : res_64); \ + TEST_STDBIT_T (FUNC, x, res_8, unsigned char, \ + unsigned char, _uc); \ + TEST_STDBIT_T (FUNC, x, res_16, unsigned short, \ + unsigned short, _us); \ + TEST_STDBIT_T (FUNC, x, res_32, unsigned int, \ + unsigned int, _ui); \ + TEST_STDBIT_T (FUNC, x, res_l, unsigned long int, \ + unsigned long int, _ul); \ + TEST_STDBIT_T (FUNC, x, res_64, unsigned long long int, \ + unsigned long long int, _ull); \ + } \ + while (0) + +#define TEST_STDBIT_UI_TOPLEVEL(FUNC) \ + TEST_TYPE (FUNC ## _uc ((unsigned char) 0), unsigned int); \ + TEST_TYPE (FUNC ((unsigned char) 0), unsigned int); \ + TEST_TYPE (FUNC ## _us ((unsigned short) 0), unsigned int); \ + TEST_TYPE (FUNC ((unsigned short) 0), unsigned int); \ + TEST_TYPE (FUNC ## _ui (0U), unsigned int); \ + TEST_TYPE (FUNC (0U), unsigned int); \ + TEST_TYPE (FUNC ## _ul (0UL), unsigned int); \ + TEST_TYPE (FUNC (0UL), unsigned int); \ + TEST_TYPE (FUNC ## _ull (0ULL), unsigned int); \ + TEST_TYPE (FUNC (0ULL), unsigned int) + +#define TEST_STDBIT_BOOL_TOPLEVEL(FUNC) \ + TEST_TYPE (FUNC ## _uc ((unsigned char) 0), _Bool); \ + TEST_TYPE (FUNC ((unsigned char) 0), _Bool); \ + TEST_TYPE (FUNC ## _us ((unsigned short) 0), _Bool); \ + TEST_TYPE (FUNC ((unsigned short) 0), _Bool); \ + TEST_TYPE (FUNC ## _ui (0U), _Bool); \ + TEST_TYPE (FUNC (0U), _Bool); \ + TEST_TYPE (FUNC ## _ul (0UL), _Bool); \ + TEST_TYPE (FUNC (0UL), _Bool); \ + TEST_TYPE (FUNC ## _ull (0ULL), _Bool); \ + TEST_TYPE (FUNC (0ULL), _Bool) + +#define TEST_STDBIT_SAME_TOPLEVEL(FUNC) \ + TEST_TYPE (FUNC ## _uc ((unsigned char) 0), unsigned char); \ + TEST_TYPE (FUNC ((unsigned char) 0), unsigned char); \ + TEST_TYPE (FUNC ## _us ((unsigned short) 0), unsigned short); \ + TEST_TYPE (FUNC ((unsigned short) 0), unsigned short); \ + TEST_TYPE (FUNC ## _ui (0U), unsigned int); \ + TEST_TYPE (FUNC (0U), unsigned int); \ + TEST_TYPE (FUNC ## _ul (0UL), unsigned long int); \ + TEST_TYPE (FUNC (0UL), unsigned long int); \ + TEST_TYPE (FUNC ## _ull (0ULL), unsigned long long int); \ + TEST_TYPE (FUNC (0ULL), unsigned long long int) + +#endif |