1 /* Test of exp2*() 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
18 test_function (void)
/* ![[previous]](../icons/n_left.png)
![[next]](../icons/n_right.png)
![[first]](../icons/n_first.png)
![[last]](../icons/n_last.png)
![[top]](../icons/top.png)
![[bottom]](../icons/bottom.png)
![[index]](../icons/index.png)
*/
19 {
20 /* [MX] shaded specification in POSIX. */
21
22 /* Underflow. */
23 {
24 volatile DOUBLE z = EXP2 (-100000.0);
25 ASSERT (z == L_(0.0));
26 ASSERT (!signbit (z));
27 }
28
29 /* NaN. */
30 ASSERT (ISNAN (EXP2 (NAN)));
31
32 /* Zero. */
33 ASSERT (EXP2 (L_(0.0)) == L_(1.0));
34 ASSERT (EXP2 (MINUS_ZERO) == L_(1.0));
35
36 /* Infinity. */
37 {
38 DOUBLE z = EXP2 (- INFINITY);
39 ASSERT (z == L_(0.0));
40 ASSERT (!signbit (z));
41 }
42 ASSERT (EXP2 (INFINITY) == INFINITY);
43 }