From 7daa10a173989f84cad5fe027d5ca61f31ff0ab2 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 16 Apr 2024 21:06:20 +0200 Subject: [PATCH] setpayloadsig: Add tests. * tests/test-setpayload.c (PAYLOAD_BITS): New macro. (main): Use it. * tests/test-setpayloadsig.c: New file, based on tests/test-setpayload.c. * modules/setpayloadsig-tests: New file. --- ChangeLog | 7 +++ modules/setpayloadsig-tests | 15 +++++++ tests/test-setpayload.c | 4 +- tests/test-setpayloadsig.c | 88 +++++++++++++++++++++++++++++++++++++ 4 files changed, 113 insertions(+), 1 deletion(-) create mode 100644 modules/setpayloadsig-tests create mode 100644 tests/test-setpayloadsig.c diff --git a/ChangeLog b/ChangeLog index c4a23adb45..ed599bd255 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,12 @@ 2024-04-16 Bruno Haible + setpayloadsig: Add tests. + * tests/test-setpayload.c (PAYLOAD_BITS): New macro. + (main): Use it. + * tests/test-setpayloadsig.c: New file, based on + tests/test-setpayload.c. + * modules/setpayloadsig-tests: New file. + setpayloadsig: New module. * lib/math.in.h (setpayloadsig): New declaration. * lib/setpayloadsig.c: New file, based on lib/setpayload.c. diff --git a/modules/setpayloadsig-tests b/modules/setpayloadsig-tests new file mode 100644 index 0000000000..3c7845892d --- /dev/null +++ b/modules/setpayloadsig-tests @@ -0,0 +1,15 @@ +Files: +tests/test-setpayloadsig.c +tests/infinity.h +tests/signature.h +tests/macros.h + +Depends-on: +isnand-nolibm + +configure.ac: + +Makefile.am: +TESTS += test-setpayloadsig +check_PROGRAMS += test-setpayloadsig +test_setpayloadsig_LDADD = $(LDADD) @SETPAYLOADSIG_LIBM@ diff --git a/tests/test-setpayload.c b/tests/test-setpayload.c index d539b75ffc..a9976f2842 100644 --- a/tests/test-setpayload.c +++ b/tests/test-setpayload.c @@ -26,6 +26,8 @@ SIGNATURE_CHECK (setpayload, int, (double *, double)); #include "isnand-nolibm.h" #include "macros.h" +#define PAYLOAD_BITS (53 - 2) /* = (DBL_MANT_DIG - 2) */ + int main () { @@ -34,7 +36,7 @@ main () { /* Test valid payloads. */ - for (i = 0, p = 1.0; i < 53 - 2; i++, p *= 2.0) + for (i = 0, p = 1.0; i < PAYLOAD_BITS; i++, p *= 2.0) { int ret; double x; diff --git a/tests/test-setpayloadsig.c b/tests/test-setpayloadsig.c new file mode 100644 index 0000000000..c8f9925841 --- /dev/null +++ b/tests/test-setpayloadsig.c @@ -0,0 +1,88 @@ +/* Test setpayloadsig. + 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 (setpayloadsig, int, (double *, double)); + +#include "infinity.h" +#include "isnand-nolibm.h" +#include "macros.h" + +#define PAYLOAD_BITS (53 - 2) /* = (DBL_MANT_DIG - 2) */ + +int +main () +{ + int i; + double p; + + { + /* Test valid payloads. */ + for (i = 0, p = 1.0; i < PAYLOAD_BITS; i++, p *= 2.0) + { + int ret; + double x; + + ret = setpayloadsig (&x, p); + ASSERT (ret == 0); + ASSERT (isnand (x)); + } + /* Test out-of-range payload. */ + int ret; + double x; + + ret = setpayloadsig (&x, p); + ASSERT (ret != 0); + ASSERT (x == 0.0); + } + + /* Test infinite payload. */ + { + int ret; + double x; + + ret = setpayloadsig (&x, Infinityd ()); + ASSERT (ret != 0); + ASSERT (x == 0.0); + } + + /* Test negative payload. */ + { + int ret; + double x; + + ret = setpayloadsig (&x, -1.0); + ASSERT (ret != 0); + ASSERT (x == 0.0); + } + + /* Test fractional payload. */ + { + int ret; + double x; + + ret = setpayloadsig (&x, 1.4); + ASSERT (ret != 0); + ASSERT (x == 0.0); + } + + return 0; +} -- 2.39.5