mirror of
git://sourceware.org/git/glibc.git
synced 2025-02-23 13:09:58 +08:00
199 lines
8.1 KiB
C
199 lines
8.1 KiB
C
/* Common test support for <stdbit.h> tests.
|
|
Copyright (C) 2024-2025 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
|