1 | /* Test nan functions payload handling (bug 16961). |
2 | Copyright (C) 2015-2022 Free Software Foundation, Inc. |
3 | This file is part of the GNU C Library. |
4 | |
5 | The GNU C Library is free software; you can redistribute it and/or |
6 | modify it under the terms of the GNU Lesser General Public |
7 | License as published by the Free Software Foundation; either |
8 | version 2.1 of the License, or (at your option) any later version. |
9 | |
10 | The GNU C Library is distributed in the hope that it will be useful, |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
13 | Lesser General Public License for more details. |
14 | |
15 | You should have received a copy of the GNU Lesser General Public |
16 | License along with the GNU C Library; if not, see |
17 | <https://www.gnu.org/licenses/>. */ |
18 | |
19 | #include <float.h> |
20 | #include <math.h> |
21 | #include <stdio.h> |
22 | #include <stdlib.h> |
23 | #include <string.h> |
24 | |
25 | /* Avoid built-in functions. */ |
26 | #define WRAP_NAN(FUNC, STR) \ |
27 | ({ const char *volatile wns = (STR); FUNC (wns); }) |
28 | #define WRAP_STRTO(FUNC, STR) \ |
29 | ({ const char *volatile wss = (STR); FUNC (wss, NULL); }) |
30 | |
31 | #define CHECK_IS_NAN(TYPE, A) \ |
32 | do \ |
33 | { \ |
34 | if (isnan (A)) \ |
35 | puts ("PASS: " #TYPE " " #A); \ |
36 | else \ |
37 | { \ |
38 | puts ("FAIL: " #TYPE " " #A); \ |
39 | result = 1; \ |
40 | } \ |
41 | } \ |
42 | while (0) |
43 | |
44 | #define CHECK_SAME_NAN(TYPE, A, B) \ |
45 | do \ |
46 | { \ |
47 | if (memcmp (&(A), &(B), sizeof (A)) == 0) \ |
48 | puts ("PASS: " #TYPE " " #A " = " #B); \ |
49 | else \ |
50 | { \ |
51 | puts ("FAIL: " #TYPE " " #A " = " #B); \ |
52 | result = 1; \ |
53 | } \ |
54 | } \ |
55 | while (0) |
56 | |
57 | #define CHECK_DIFF_NAN(TYPE, A, B) \ |
58 | do \ |
59 | { \ |
60 | if (memcmp (&(A), &(B), sizeof (A)) != 0) \ |
61 | puts ("PASS: " #TYPE " " #A " != " #B); \ |
62 | else \ |
63 | { \ |
64 | puts ("FAIL: " #TYPE " " #A " != " #B); \ |
65 | result = 1; \ |
66 | } \ |
67 | } \ |
68 | while (0) |
69 | |
70 | /* Cannot test payloads by memcmp for formats where NaNs have padding |
71 | bits. */ |
72 | #define CAN_TEST_EQ(MANT_DIG) ((MANT_DIG) != 64 && (MANT_DIG) != 106) |
73 | |
74 | #define RUN_TESTS(TYPE, SFUNC, FUNC, MANT_DIG) \ |
75 | do \ |
76 | { \ |
77 | TYPE n123 = WRAP_NAN (FUNC, "123"); \ |
78 | CHECK_IS_NAN (TYPE, n123); \ |
79 | TYPE s123 = WRAP_STRTO (SFUNC, "NAN(123)"); \ |
80 | CHECK_IS_NAN (TYPE, s123); \ |
81 | TYPE n456 = WRAP_NAN (FUNC, "456"); \ |
82 | CHECK_IS_NAN (TYPE, n456); \ |
83 | TYPE s456 = WRAP_STRTO (SFUNC, "NAN(456)"); \ |
84 | CHECK_IS_NAN (TYPE, s456); \ |
85 | TYPE n123x = WRAP_NAN (FUNC, "123)"); \ |
86 | CHECK_IS_NAN (TYPE, n123x); \ |
87 | TYPE nemp = WRAP_NAN (FUNC, ""); \ |
88 | CHECK_IS_NAN (TYPE, nemp); \ |
89 | TYPE semp = WRAP_STRTO (SFUNC, "NAN()"); \ |
90 | CHECK_IS_NAN (TYPE, semp); \ |
91 | TYPE sx = WRAP_STRTO (SFUNC, "NAN"); \ |
92 | CHECK_IS_NAN (TYPE, sx); \ |
93 | if (CAN_TEST_EQ (MANT_DIG)) \ |
94 | CHECK_SAME_NAN (TYPE, n123, s123); \ |
95 | if (CAN_TEST_EQ (MANT_DIG)) \ |
96 | CHECK_SAME_NAN (TYPE, n456, s456); \ |
97 | if (CAN_TEST_EQ (MANT_DIG)) \ |
98 | CHECK_SAME_NAN (TYPE, nemp, semp); \ |
99 | if (CAN_TEST_EQ (MANT_DIG)) \ |
100 | CHECK_SAME_NAN (TYPE, n123x, sx); \ |
101 | CHECK_DIFF_NAN (TYPE, n123, n456); \ |
102 | CHECK_DIFF_NAN (TYPE, n123, nemp); \ |
103 | CHECK_DIFF_NAN (TYPE, n123, n123x); \ |
104 | CHECK_DIFF_NAN (TYPE, n456, nemp); \ |
105 | CHECK_DIFF_NAN (TYPE, n456, n123x); \ |
106 | } \ |
107 | while (0) |
108 | |
109 | static int |
110 | do_test (void) |
111 | { |
112 | int result = 0; |
113 | RUN_TESTS (float, strtof, nanf, FLT_MANT_DIG); |
114 | RUN_TESTS (double, strtod, nan, DBL_MANT_DIG); |
115 | RUN_TESTS (long double, strtold, nanl, LDBL_MANT_DIG); |
116 | return result; |
117 | } |
118 | |
119 | #define TEST_FUNCTION do_test () |
120 | #include "../test-skeleton.c" |
121 | |