From e135884192c6ab4eb3cc1de853a571291aa9ae22 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 16 Apr 2024 21:29:16 +0200 Subject: [PATCH] setpayloadsigl: Add tests. * tests/test-setpayloadsigl.c: New file, based on tests/test-setpayloadl.c. * modules/setpayloadsigl-tests: New file. --- ChangeLog | 5 ++ modules/setpayloadsigl-tests | 15 ++++++ tests/test-setpayloadsigl.c | 97 ++++++++++++++++++++++++++++++++++++ 3 files changed, 117 insertions(+) create mode 100644 modules/setpayloadsigl-tests create mode 100644 tests/test-setpayloadsigl.c diff --git a/ChangeLog b/ChangeLog index e862623d6c..6d4d37cca8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2024-04-16 Bruno Haible + setpayloadsigl: Add tests. + * tests/test-setpayloadsigl.c: New file, based on + tests/test-setpayloadl.c. + * modules/setpayloadsigl-tests: New file. + setpayloadsigl: New module. * lib/math.in.h (setpayloadsigl): New declaration. * lib/setpayloadsigl.c: New file, based on lib/setpayloadl.c. diff --git a/modules/setpayloadsigl-tests b/modules/setpayloadsigl-tests new file mode 100644 index 0000000000..84073f96ad --- /dev/null +++ b/modules/setpayloadsigl-tests @@ -0,0 +1,15 @@ +Files: +tests/test-setpayloadsigl.c +tests/infinity.h +tests/signature.h +tests/macros.h + +Depends-on: +isnanl-nolibm + +configure.ac: + +Makefile.am: +TESTS += test-setpayloadsigl +check_PROGRAMS += test-setpayloadsigl +test_setpayloadsigl_LDADD = $(LDADD) @SETPAYLOADSIGL_LIBM@ diff --git a/tests/test-setpayloadsigl.c b/tests/test-setpayloadsigl.c new file mode 100644 index 0000000000..13f1eba393 --- /dev/null +++ b/tests/test-setpayloadsigl.c @@ -0,0 +1,97 @@ +/* Test setpayloadsigl. + Copyright 2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program 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 General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +#include + +/* Specification. */ +#include + +#include "signature.h" +SIGNATURE_CHECK (setpayloadsigl, int, (long double *, long double)); + +#include + +#include "infinity.h" +#include "isnanl-nolibm.h" +#include "macros.h" + +#if defined __powerpc__ && LDBL_MANT_DIG == 106 + /* This is PowerPC "double double", a pair of two doubles. NaN is represented + as the corresponding 64-bit IEEE value in the first double; the second is + irrelevant and therefore does not contain a payload. */ +# define PAYLOAD_BITS (DBL_MANT_DIG - 2) +#else +# define PAYLOAD_BITS (LDBL_MANT_DIG - 2) +#endif + +int +main () +{ + int i; + long double p; + + { + /* Test valid payloads. */ + for (i = 0, p = 1.0L; i < PAYLOAD_BITS; i++, p *= 2.0L) + { + int ret; + long double x; + + ret = setpayloadsigl (&x, p); + ASSERT (ret == 0); + ASSERT (isnanl (x)); + } + /* Test out-of-range payload. */ + int ret; + long double x; + + ret = setpayloadsigl (&x, p); + ASSERT (ret != 0); + ASSERT (x == 0.0L); + } + + /* Test infinite payload. */ + { + int ret; + long double x; + + ret = setpayloadsigl (&x, Infinityl ()); + ASSERT (ret != 0); + ASSERT (x == 0.0L); + } + + /* Test negative payload. */ + { + int ret; + long double x; + + ret = setpayloadsigl (&x, -1.0L); + ASSERT (ret != 0); + ASSERT (x == 0.0L); + } + + /* Test fractional payload. */ + { + int ret; + long double x; + + ret = setpayloadsigl (&x, 1.4L); + ASSERT (ret != 0); + ASSERT (x == 0.0L); + } + + return 0; +} -- 2.39.5