1 | /* Copyright (C) 2012-2022 Free Software Foundation, Inc. |
2 | This file is part of the GNU C Library. |
3 | |
4 | The GNU C Library is free software; you can redistribute it and/or |
5 | modify it under the terms of the GNU Lesser General Public |
6 | License as published by the Free Software Foundation; either |
7 | version 2.1 of the License, or (at your option) any later version. |
8 | |
9 | The GNU C Library 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 GNU |
12 | Lesser General Public License for more details. |
13 | |
14 | You should have received a copy of the GNU Lesser General Public |
15 | License along with the GNU C Library; if not, see |
16 | <https://www.gnu.org/licenses/>. */ |
17 | |
18 | /* Adapted from gcc.dg/torture/builtin-complex-1.c test from GCC |
19 | testsuite written by Joseph S. Myers. */ |
20 | |
21 | #include <complex.h> |
22 | |
23 | static int result; |
24 | |
25 | #define COMPARE_BODY(A, B, TYPE, COPYSIGN) \ |
26 | do { \ |
27 | TYPE s1 = COPYSIGN ((TYPE) 1.0, A); \ |
28 | TYPE s2 = COPYSIGN ((TYPE) 1.0, B); \ |
29 | if (s1 != s2) \ |
30 | result |= 1; \ |
31 | if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0)) \ |
32 | result |= 1; \ |
33 | if ((A != B) != (__builtin_isnan (A) != 0)) \ |
34 | result |= 1; \ |
35 | } while (0) |
36 | |
37 | #ifdef CMPLX |
38 | |
39 | static void |
40 | comparef (float a, float b) |
41 | { |
42 | COMPARE_BODY (a, b, float, __builtin_copysignf); |
43 | } |
44 | |
45 | static void |
46 | compare (double a, double b) |
47 | { |
48 | COMPARE_BODY (a, b, double, __builtin_copysign); |
49 | } |
50 | |
51 | static void |
52 | comparel (long double a, long double b) |
53 | { |
54 | COMPARE_BODY (a, b, long double, __builtin_copysignl); |
55 | } |
56 | |
57 | static void |
58 | comparecf (_Complex float a, float r, float i) |
59 | { |
60 | comparef (__real__ a, r); |
61 | comparef (__imag__ a, i); |
62 | } |
63 | |
64 | static void |
65 | comparec (_Complex double a, double r, double i) |
66 | { |
67 | compare (__real__ a, r); |
68 | compare (__imag__ a, i); |
69 | } |
70 | |
71 | static void |
72 | comparecl (_Complex long double a, long double r, long double i) |
73 | { |
74 | comparel (__real__ a, r); |
75 | comparel (__imag__ a, i); |
76 | } |
77 | |
78 | #define VERIFY(A, B, TYPE, COMPARE, CL) \ |
79 | do { \ |
80 | TYPE a = A; \ |
81 | TYPE b = B; \ |
82 | _Complex TYPE cr = CL (a, b); \ |
83 | static _Complex TYPE cs = CL (A, B); \ |
84 | COMPARE (cr, A, B); \ |
85 | COMPARE (cs, A, B); \ |
86 | } while (0) |
87 | |
88 | #define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE, CL) \ |
89 | do { \ |
90 | VERIFY (PZ, PZ, TYPE, COMPARE, CL); \ |
91 | VERIFY (PZ, NZ, TYPE, COMPARE, CL); \ |
92 | VERIFY (PZ, NAN, TYPE, COMPARE, CL); \ |
93 | VERIFY (PZ, INF, TYPE, COMPARE, CL); \ |
94 | VERIFY (NZ, PZ, TYPE, COMPARE, CL); \ |
95 | VERIFY (NZ, NZ, TYPE, COMPARE, CL); \ |
96 | VERIFY (NZ, NAN, TYPE, COMPARE, CL); \ |
97 | VERIFY (NZ, INF, TYPE, COMPARE, CL); \ |
98 | VERIFY (NAN, PZ, TYPE, COMPARE, CL); \ |
99 | VERIFY (NAN, NZ, TYPE, COMPARE, CL); \ |
100 | VERIFY (NAN, NAN, TYPE, COMPARE, CL); \ |
101 | VERIFY (NAN, INF, TYPE, COMPARE, CL); \ |
102 | VERIFY (INF, PZ, TYPE, COMPARE,CL); \ |
103 | VERIFY (INF, NZ, TYPE, COMPARE, CL); \ |
104 | VERIFY (INF, NAN, TYPE, COMPARE, CL); \ |
105 | VERIFY (INF, INF, TYPE, COMPARE, CL); \ |
106 | } while (0) |
107 | |
108 | static void |
109 | check_float (void) |
110 | { |
111 | ALL_CHECKS (0.0f, -0.0f, __builtin_nanf ("" ), __builtin_inff (), |
112 | float, comparecf, CMPLXF); |
113 | } |
114 | |
115 | static void |
116 | check_double (void) |
117 | { |
118 | ALL_CHECKS (0.0, -0.0, __builtin_nan ("" ), __builtin_inf (), |
119 | double, comparec, CMPLX); |
120 | } |
121 | |
122 | static void |
123 | check_long_double (void) |
124 | { |
125 | ALL_CHECKS (0.0l, -0.0l, __builtin_nanl ("" ), __builtin_infl (), |
126 | long double, comparecl, CMPLXL); |
127 | } |
128 | #endif |
129 | |
130 | static int |
131 | do_test (void) |
132 | { |
133 | #ifdef CMPLX |
134 | check_float (); |
135 | check_double (); |
136 | check_long_double (); |
137 | #endif |
138 | |
139 | return result; |
140 | } |
141 | |
142 | #define TEST_FUNCTION do_test () |
143 | #include "../test-skeleton.c" |
144 | |