lib/gnulib
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/gnulib.git synced 2025-08-17 12:41:05 +03:00
Code Activity

rint tests: More tests.

Browse Source 
* tests/test-rint.c: Include <float.h>, <stdio.h>, isnand-nolibm.h,
minus-zero.h, infinity.h, nan.h.
(main): Skip the test if the current rounding mode is not standard. Add
tests for negative numbers, minus zero, infinity, NaN.
* modules/rint-tests (Files): Add tests/minus-zero.h, tests/infinity.h,
tests/nan.h.
(Depends-on): Add isnand-nolibm.
This commit is contained in:
Bruno Haible
2011-10-09 18:31:06 +02:00
parent 9b7146b0e2
commit 170dd03f11
3 changed files with 73 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
ChangeLog
View File

@@ -1,3 +1,14 @@
2011-10-09 Bruno Haible <bruno@clisp.org>
rint tests: More tests.
* tests/test-rint.c: Include <float.h>, <stdio.h>, isnand-nolibm.h,
minus-zero.h, infinity.h, nan.h.
(main): Skip the test if the current rounding mode is not standard. Add
tests for negative numbers, minus zero, infinity, NaN.
* modules/rint-tests (Files): Add tests/minus-zero.h, tests/infinity.h,
tests/nan.h.
(Depends-on): Add isnand-nolibm.
2011-10-09 Bruno Haible <bruno@clisp.org> 2011-10-09 Bruno Haible <bruno@clisp.org>
Tests for module 'copysignl'. Tests for module 'copysignl'.

4
modules/rint-tests
View File

@@ -1,9 +1,13 @@
Files: Files:
tests/test-rint.c tests/test-rint.c
tests/minus-zero.h
tests/infinity.h
tests/nan.h
tests/signature.h tests/signature.h
tests/macros.h tests/macros.h
Depends-on: Depends-on:
isnand-nolibm
configure.ac: configure.ac:

84
tests/test-rint.c
View File

@@ -23,39 +23,69 @@
#include "signature.h" #include "signature.h"
SIGNATURE_CHECK (rint, double, (double)); SIGNATURE_CHECK (rint, double, (double));
#include "macros.h" #include <float.h>
#include <stdio.h>
volatile double x; #include "isnand-nolibm.h"
double y; #include "minus-zero.h"
#include "infinity.h"
#include "nan.h"
#include "macros.h"
int int
main () main ()
{ {
/* Assume round-to-nearest rounding (the default in IEEE 754). */ /* Consider the current rounding mode, cf.
<http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/float.h.html> */
if (FLT_ROUNDS == 1)
{
/* The current rounding mode is round-to-nearest
(the default in IEEE 754). */
x = 2.1; /* Zero. */
y = rint (x); ASSERT (rint (0.0) == 0.0);
ASSERT (y == 2.0); ASSERT (rint (minus_zerod) == 0.0);
/* Positive numbers. */
x = -2.1; ASSERT (rint (0.3) == 0.0);
y = rint (x); ASSERT (rint (0.5) == 0.0); /* unlike round() */
ASSERT (y == -2.0); ASSERT (rint (0.7) == 1.0);
ASSERT (rint (1.0) == 1.0);
x = 2.7; ASSERT (rint (1.5) == 2.0);
y = rint (x); ASSERT (rint (1.999) == 2.0);
ASSERT (y == 3.0); ASSERT (rint (2.0) == 2.0);
ASSERT (rint (2.1) == 2.0);
x = -2.7; ASSERT (rint (2.5) == 2.0); /* unlike round() */
y = rint (x); ASSERT (rint (2.7) == 3.0);
ASSERT (y == -3.0); ASSERT (rint (65535.999) == 65536.0);
ASSERT (rint (65536.0) == 65536.0);
x = 2.5; ASSERT (rint (65536.001) == 65536.0);
y = rint (x); ASSERT (rint (2.341e31) == 2.341e31);
ASSERT (y == 2.0); /* Negative numbers. */
ASSERT (rint (-0.3) == 0.0);
x = 3.5; ASSERT (rint (-0.5) == 0.0); /* unlike round() */
y = rint (x); ASSERT (rint (-0.7) == -1.0);
ASSERT (y == 4.0); ASSERT (rint (-1.0) == -1.0);
ASSERT (rint (-1.5) == -2.0);
ASSERT (rint (-1.999) == -2.0);
ASSERT (rint (-2.0) == -2.0);
ASSERT (rint (-2.1) == -2.0);
ASSERT (rint (-2.5) == -2.0); /* unlike round() */
ASSERT (rint (-2.7) == -3.0);
ASSERT (rint (-65535.999) == -65536.0);
ASSERT (rint (-65536.0) == -65536.0);
ASSERT (rint (-65536.001) == -65536.0);
ASSERT (rint (-2.341e31) == -2.341e31);
/* Infinite numbers. */
ASSERT (rint (Infinityd ()) == Infinityd ());
ASSERT (rint (- Infinityd ()) == - Infinityd ());
/* NaNs. */
ASSERT (isnand (rint (NaNd ())));
return 0; return 0;
}
else
{
fputs ("Skipping test: non-standard rounding mode\n", stderr);
return 77;
}
} }