1 /* Test of log1p*() function family.
2    Copyright (C) 2012-2021 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 of the License, or
7    (at your option) 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, see <https://www.gnu.org/licenses/>.  */
16 
17 static void
test_function(void)18 test_function (void)
19 {
20   /* [MX] shaded specification in POSIX.  */
21 
22   /* Negative arguments.  */
23   ASSERT (ISNAN (LOG1P (- L_(1.00001))));
24   ASSERT (ISNAN (LOG1P (- L_(2.0))));
25   ASSERT (ISNAN (LOG1P (- L_(1000000.0))));
26   ASSERT (ISNAN (LOG1P (- INFINITY)));
27 
28   /* NaN.  */
29   ASSERT (ISNAN (LOG1P (NAN)));
30 
31   /* Only rational value.  */
32   {
33     DOUBLE z = LOG1P (L_(0.0));
34     ASSERT (z == L_(0.0));
35     ASSERT (!signbit (z));
36   }
37   {
38     DOUBLE z = LOG1P (MINUS_ZERO);
39     ASSERT (z == L_(0.0));
40     ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
41   }
42 
43   /* Infinity.  */
44   ASSERT (LOG1P (INFINITY) == INFINITY);
45 }
46