Guarantee a definition of NAN.
[gnulib.git] / tests / test-round1.c
1 /* Test of rounding to nearest, breaking ties away from zero.
2    Copyright (C) 2007-2008 Free Software Foundation, Inc.
3
4    This program is free software; you can redistribute it and/or modify
5    it under the terms of the GNU General Public License as published by
6    the Free Software Foundation; either version 3, or (at your option)
7    any later version.
8
9    This program is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12    GNU General Public License for more details.
13
14    You should have received a copy of the GNU General Public License
15    along with this program; if not, write to the Free Software Foundation,
16    Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
17
18 /* Written by Ben Pfaff <blp@gnu.org>, 2007.
19    Based heavily on Bruno Haible's test-trunc.c. */
20
21 #include <config.h>
22
23 #include <math.h>
24
25 #include <stdio.h>
26 #include <stdlib.h>
27
28 #include "isnand.h"
29
30 #define ASSERT(expr) \
31   do                                                                         \
32     {                                                                        \
33       if (!(expr))                                                           \
34         {                                                                    \
35           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
36           abort ();                                                          \
37         }                                                                    \
38     }                                                                        \
39   while (0)
40
41 int
42 main ()
43 {
44   /* Zero.  */
45   ASSERT (round (0.0) == 0.0);
46   ASSERT (round (-0.0) == 0.0);
47   /* Positive numbers.  */
48   ASSERT (round (0.3) == 0.0);
49   ASSERT (round (0.5) == 1.0);
50   ASSERT (round (0.7) == 1.0);
51   ASSERT (round (1.0) == 1.0);
52   ASSERT (round (1.5) == 2.0);
53   ASSERT (round (2.5) == 3.0);
54   ASSERT (round (1.999) == 2.0);
55   ASSERT (round (2.0) == 2.0);
56   ASSERT (round (65535.999) == 65536.0);
57   ASSERT (round (65536.0) == 65536.0);
58   ASSERT (round (65536.001) == 65536.0);
59   ASSERT (round (2.341e31) == 2.341e31);
60   /* Negative numbers.  */
61   ASSERT (round (-0.3) == 0.0);
62   ASSERT (round (-0.5) == -1.0);
63   ASSERT (round (-0.7) == -1.0);
64   ASSERT (round (-1.0) == -1.0);
65   ASSERT (round (-1.5) == -2.0);
66   ASSERT (round (-2.5) == -3.0);
67   ASSERT (round (-1.999) == -2.0);
68   ASSERT (round (-2.0) == -2.0);
69   ASSERT (round (-65535.999) == -65536.0);
70   ASSERT (round (-65536.0) == -65536.0);
71   ASSERT (round (-65536.001) == -65536.0);
72   ASSERT (round (-2.341e31) == -2.341e31);
73   /* Infinite numbers.  */
74   ASSERT (round (1.0 / 0.0) == 1.0 / 0.0);
75   ASSERT (round (-1.0 / 0.0) == -1.0 / 0.0);
76   /* NaNs.  */
77   ASSERT (isnand (round (NAN)));
78
79   return 0;
80 }