1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <math.h>
11
12// NOTE: isinf and isnan are tested separately because they are expected to fail
13// on linux. We don't want their expected failure to hide other failures in this file.
14
15#include <math.h>
16#include <type_traits>
17#include <cassert>
18
19#include "hexfloat.h"
20
21// convertible to int/float/double/etc
22template <class T, int N=0>
23struct Value {
24    operator T () { return T(N); }
25};
26
27// See PR21083
28// Ambiguous is a user-defined type that defines its own overloads of cmath
29// functions. When the std overloads are candidates too (by using or adl),
30// they should not interfere.
31struct Ambiguous : std::true_type { // ADL
32    operator float () { return 0.f; }
33    operator double () { return 0.; }
34};
35Ambiguous abs(Ambiguous){ return Ambiguous(); }
36Ambiguous acos(Ambiguous){ return Ambiguous(); }
37Ambiguous asin(Ambiguous){ return Ambiguous(); }
38Ambiguous atan(Ambiguous){ return Ambiguous(); }
39Ambiguous atan2(Ambiguous, Ambiguous){ return Ambiguous(); }
40Ambiguous ceil(Ambiguous){ return Ambiguous(); }
41Ambiguous cos(Ambiguous){ return Ambiguous(); }
42Ambiguous cosh(Ambiguous){ return Ambiguous(); }
43Ambiguous exp(Ambiguous){ return Ambiguous(); }
44Ambiguous fabs(Ambiguous){ return Ambiguous(); }
45Ambiguous floor(Ambiguous){ return Ambiguous(); }
46Ambiguous fmod(Ambiguous, Ambiguous){ return Ambiguous(); }
47Ambiguous frexp(Ambiguous, int*){ return Ambiguous(); }
48Ambiguous ldexp(Ambiguous, int){ return Ambiguous(); }
49Ambiguous log(Ambiguous){ return Ambiguous(); }
50Ambiguous log10(Ambiguous){ return Ambiguous(); }
51Ambiguous modf(Ambiguous, Ambiguous*){ return Ambiguous(); }
52Ambiguous pow(Ambiguous, Ambiguous){ return Ambiguous(); }
53Ambiguous sin(Ambiguous){ return Ambiguous(); }
54Ambiguous sinh(Ambiguous){ return Ambiguous(); }
55Ambiguous sqrt(Ambiguous){ return Ambiguous(); }
56Ambiguous tan(Ambiguous){ return Ambiguous(); }
57Ambiguous tanh(Ambiguous){ return Ambiguous(); }
58Ambiguous signbit(Ambiguous){ return Ambiguous(); }
59Ambiguous fpclassify(Ambiguous){ return Ambiguous(); }
60Ambiguous isfinite(Ambiguous){ return Ambiguous(); }
61Ambiguous isnormal(Ambiguous){ return Ambiguous(); }
62Ambiguous isgreater(Ambiguous, Ambiguous){ return Ambiguous(); }
63Ambiguous isgreaterequal(Ambiguous, Ambiguous){ return Ambiguous(); }
64Ambiguous isless(Ambiguous, Ambiguous){ return Ambiguous(); }
65Ambiguous islessequal(Ambiguous, Ambiguous){ return Ambiguous(); }
66Ambiguous islessgreater(Ambiguous, Ambiguous){ return Ambiguous(); }
67Ambiguous isunordered(Ambiguous, Ambiguous){ return Ambiguous(); }
68Ambiguous acosh(Ambiguous){ return Ambiguous(); }
69Ambiguous asinh(Ambiguous){ return Ambiguous(); }
70Ambiguous atanh(Ambiguous){ return Ambiguous(); }
71Ambiguous cbrt(Ambiguous){ return Ambiguous(); }
72Ambiguous copysign(Ambiguous, Ambiguous){ return Ambiguous(); }
73Ambiguous erf(Ambiguous){ return Ambiguous(); }
74Ambiguous erfc(Ambiguous){ return Ambiguous(); }
75Ambiguous exp2(Ambiguous){ return Ambiguous(); }
76Ambiguous expm1(Ambiguous){ return Ambiguous(); }
77Ambiguous fdim(Ambiguous, Ambiguous){ return Ambiguous(); }
78Ambiguous fma(Ambiguous, Ambiguous, Ambiguous){ return Ambiguous(); }
79Ambiguous fmax(Ambiguous, Ambiguous){ return Ambiguous(); }
80Ambiguous fmin(Ambiguous, Ambiguous){ return Ambiguous(); }
81Ambiguous hypot(Ambiguous, Ambiguous){ return Ambiguous(); }
82Ambiguous ilogb(Ambiguous){ return Ambiguous(); }
83Ambiguous lgamma(Ambiguous){ return Ambiguous(); }
84Ambiguous llrint(Ambiguous){ return Ambiguous(); }
85Ambiguous llround(Ambiguous){ return Ambiguous(); }
86Ambiguous log1p(Ambiguous){ return Ambiguous(); }
87Ambiguous log2(Ambiguous){ return Ambiguous(); }
88Ambiguous logb(Ambiguous){ return Ambiguous(); }
89Ambiguous lrint(Ambiguous){ return Ambiguous(); }
90Ambiguous lround(Ambiguous){ return Ambiguous(); }
91Ambiguous nearbyint(Ambiguous){ return Ambiguous(); }
92Ambiguous nextafter(Ambiguous, Ambiguous){ return Ambiguous(); }
93Ambiguous nexttoward(Ambiguous, Ambiguous){ return Ambiguous(); }
94Ambiguous remainder(Ambiguous, Ambiguous){ return Ambiguous(); }
95Ambiguous remquo(Ambiguous, Ambiguous, int*){ return Ambiguous(); }
96Ambiguous rint(Ambiguous){ return Ambiguous(); }
97Ambiguous round(Ambiguous){ return Ambiguous(); }
98Ambiguous scalbln(Ambiguous, Ambiguous){ return Ambiguous(); }
99Ambiguous scalbn(Ambiguous, Ambiguous){ return Ambiguous(); }
100Ambiguous tgamma(Ambiguous){ return Ambiguous(); }
101Ambiguous trunc(Ambiguous){ return Ambiguous(); }
102
103void test_abs()
104{
105    static_assert((std::is_same<decltype(abs((float)0)), float>::value), "");
106    static_assert((std::is_same<decltype(abs((double)0)), double>::value), "");
107    static_assert((std::is_same<decltype(abs((long double)0)), long double>::value), "");
108    static_assert((std::is_same<decltype(abs(Ambiguous())), Ambiguous>::value), "");
109    assert(abs(-1.) == 1);
110}
111
112void test_acos()
113{
114    static_assert((std::is_same<decltype(acos((float)0)), float>::value), "");
115    static_assert((std::is_same<decltype(acos((bool)0)), double>::value), "");
116    static_assert((std::is_same<decltype(acos((unsigned short)0)), double>::value), "");
117    static_assert((std::is_same<decltype(acos((int)0)), double>::value), "");
118    static_assert((std::is_same<decltype(acos((unsigned int)0)), double>::value), "");
119    static_assert((std::is_same<decltype(acos((long)0)), double>::value), "");
120    static_assert((std::is_same<decltype(acos((unsigned long)0)), double>::value), "");
121    static_assert((std::is_same<decltype(acos((long long)0)), double>::value), "");
122    static_assert((std::is_same<decltype(acos((unsigned long long)0)), double>::value), "");
123    static_assert((std::is_same<decltype(acos((double)0)), double>::value), "");
124    static_assert((std::is_same<decltype(acos((long double)0)), long double>::value), "");
125    static_assert((std::is_same<decltype(acosf(0)), float>::value), "");
126    static_assert((std::is_same<decltype(acosl(0)), long double>::value), "");
127    static_assert((std::is_same<decltype(acos(Ambiguous())), Ambiguous>::value), "");
128    assert(acos(1) == 0);
129}
130
131void test_asin()
132{
133    static_assert((std::is_same<decltype(asin((float)0)), float>::value), "");
134    static_assert((std::is_same<decltype(asin((bool)0)), double>::value), "");
135    static_assert((std::is_same<decltype(asin((unsigned short)0)), double>::value), "");
136    static_assert((std::is_same<decltype(asin((int)0)), double>::value), "");
137    static_assert((std::is_same<decltype(asin((unsigned int)0)), double>::value), "");
138    static_assert((std::is_same<decltype(asin((long)0)), double>::value), "");
139    static_assert((std::is_same<decltype(asin((unsigned long)0)), double>::value), "");
140    static_assert((std::is_same<decltype(asin((long long)0)), double>::value), "");
141    static_assert((std::is_same<decltype(asin((unsigned long long)0)), double>::value), "");
142    static_assert((std::is_same<decltype(asin((double)0)), double>::value), "");
143    static_assert((std::is_same<decltype(asin((long double)0)), long double>::value), "");
144    static_assert((std::is_same<decltype(asinf(0)), float>::value), "");
145    static_assert((std::is_same<decltype(asinl(0)), long double>::value), "");
146    static_assert((std::is_same<decltype(asin(Ambiguous())), Ambiguous>::value), "");
147    assert(asin(0) == 0);
148}
149
150void test_atan()
151{
152    static_assert((std::is_same<decltype(atan((float)0)), float>::value), "");
153    static_assert((std::is_same<decltype(atan((bool)0)), double>::value), "");
154    static_assert((std::is_same<decltype(atan((unsigned short)0)), double>::value), "");
155    static_assert((std::is_same<decltype(atan((int)0)), double>::value), "");
156    static_assert((std::is_same<decltype(atan((unsigned int)0)), double>::value), "");
157    static_assert((std::is_same<decltype(atan((long)0)), double>::value), "");
158    static_assert((std::is_same<decltype(atan((unsigned long)0)), double>::value), "");
159    static_assert((std::is_same<decltype(atan((long long)0)), double>::value), "");
160    static_assert((std::is_same<decltype(atan((unsigned long long)0)), double>::value), "");
161    static_assert((std::is_same<decltype(atan((double)0)), double>::value), "");
162    static_assert((std::is_same<decltype(atan((long double)0)), long double>::value), "");
163    static_assert((std::is_same<decltype(atanf(0)), float>::value), "");
164    static_assert((std::is_same<decltype(atanl(0)), long double>::value), "");
165    static_assert((std::is_same<decltype(atan(Ambiguous())), Ambiguous>::value), "");
166    assert(atan(0) == 0);
167}
168
169void test_atan2()
170{
171    static_assert((std::is_same<decltype(atan2((float)0, (float)0)), float>::value), "");
172    static_assert((std::is_same<decltype(atan2((bool)0, (float)0)), double>::value), "");
173    static_assert((std::is_same<decltype(atan2((unsigned short)0, (double)0)), double>::value), "");
174    static_assert((std::is_same<decltype(atan2((int)0, (long double)0)), long double>::value), "");
175    static_assert((std::is_same<decltype(atan2((float)0, (unsigned int)0)), double>::value), "");
176    static_assert((std::is_same<decltype(atan2((double)0, (long)0)), double>::value), "");
177    static_assert((std::is_same<decltype(atan2((long double)0, (unsigned long)0)), long double>::value), "");
178    static_assert((std::is_same<decltype(atan2((int)0, (long long)0)), double>::value), "");
179    static_assert((std::is_same<decltype(atan2((int)0, (unsigned long long)0)), double>::value), "");
180    static_assert((std::is_same<decltype(atan2((double)0, (double)0)), double>::value), "");
181    static_assert((std::is_same<decltype(atan2((long double)0, (long double)0)), long double>::value), "");
182    static_assert((std::is_same<decltype(atan2((float)0, (double)0)), double>::value), "");
183    static_assert((std::is_same<decltype(atan2((float)0, (long double)0)), long double>::value), "");
184    static_assert((std::is_same<decltype(atan2((double)0, (long double)0)), long double>::value), "");
185    static_assert((std::is_same<decltype(atan2f(0,0)), float>::value), "");
186    static_assert((std::is_same<decltype(atan2l(0,0)), long double>::value), "");
187    static_assert((std::is_same<decltype(atan2((int)0, (int)0)), double>::value), "");
188    static_assert((std::is_same<decltype(atan2(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
189    assert(atan2(0,1) == 0);
190}
191
192void test_ceil()
193{
194    static_assert((std::is_same<decltype(ceil((float)0)), float>::value), "");
195    static_assert((std::is_same<decltype(ceil((bool)0)), double>::value), "");
196    static_assert((std::is_same<decltype(ceil((unsigned short)0)), double>::value), "");
197    static_assert((std::is_same<decltype(ceil((int)0)), double>::value), "");
198    static_assert((std::is_same<decltype(ceil((unsigned int)0)), double>::value), "");
199    static_assert((std::is_same<decltype(ceil((long)0)), double>::value), "");
200    static_assert((std::is_same<decltype(ceil((unsigned long)0)), double>::value), "");
201    static_assert((std::is_same<decltype(ceil((long long)0)), double>::value), "");
202    static_assert((std::is_same<decltype(ceil((unsigned long long)0)), double>::value), "");
203    static_assert((std::is_same<decltype(ceil((double)0)), double>::value), "");
204    static_assert((std::is_same<decltype(ceil((long double)0)), long double>::value), "");
205    static_assert((std::is_same<decltype(ceilf(0)), float>::value), "");
206    static_assert((std::is_same<decltype(ceill(0)), long double>::value), "");
207    static_assert((std::is_same<decltype(ceil(Ambiguous())), Ambiguous>::value), "");
208    assert(ceil(0) == 0);
209}
210
211void test_cos()
212{
213    static_assert((std::is_same<decltype(cos((float)0)), float>::value), "");
214    static_assert((std::is_same<decltype(cos((bool)0)), double>::value), "");
215    static_assert((std::is_same<decltype(cos((unsigned short)0)), double>::value), "");
216    static_assert((std::is_same<decltype(cos((int)0)), double>::value), "");
217    static_assert((std::is_same<decltype(cos((unsigned int)0)), double>::value), "");
218    static_assert((std::is_same<decltype(cos((long)0)), double>::value), "");
219    static_assert((std::is_same<decltype(cos((unsigned long)0)), double>::value), "");
220    static_assert((std::is_same<decltype(cos((long long)0)), double>::value), "");
221    static_assert((std::is_same<decltype(cos((unsigned long long)0)), double>::value), "");
222    static_assert((std::is_same<decltype(cos((double)0)), double>::value), "");
223    static_assert((std::is_same<decltype(cos((long double)0)), long double>::value), "");
224    static_assert((std::is_same<decltype(cosf(0)), float>::value), "");
225    static_assert((std::is_same<decltype(cosl(0)), long double>::value), "");
226    static_assert((std::is_same<decltype(cos(Ambiguous())), Ambiguous>::value), "");
227    assert(cos(0) == 1);
228}
229
230void test_cosh()
231{
232    static_assert((std::is_same<decltype(cosh((float)0)), float>::value), "");
233    static_assert((std::is_same<decltype(cosh((bool)0)), double>::value), "");
234    static_assert((std::is_same<decltype(cosh((unsigned short)0)), double>::value), "");
235    static_assert((std::is_same<decltype(cosh((int)0)), double>::value), "");
236    static_assert((std::is_same<decltype(cosh((unsigned int)0)), double>::value), "");
237    static_assert((std::is_same<decltype(cosh((long)0)), double>::value), "");
238    static_assert((std::is_same<decltype(cosh((unsigned long)0)), double>::value), "");
239    static_assert((std::is_same<decltype(cosh((long long)0)), double>::value), "");
240    static_assert((std::is_same<decltype(cosh((unsigned long long)0)), double>::value), "");
241    static_assert((std::is_same<decltype(cosh((double)0)), double>::value), "");
242    static_assert((std::is_same<decltype(cosh((long double)0)), long double>::value), "");
243    static_assert((std::is_same<decltype(coshf(0)), float>::value), "");
244    static_assert((std::is_same<decltype(coshl(0)), long double>::value), "");
245    static_assert((std::is_same<decltype(cosh(Ambiguous())), Ambiguous>::value), "");
246    assert(cosh(0) == 1);
247}
248
249void test_exp()
250{
251    static_assert((std::is_same<decltype(exp((float)0)), float>::value), "");
252    static_assert((std::is_same<decltype(exp((bool)0)), double>::value), "");
253    static_assert((std::is_same<decltype(exp((unsigned short)0)), double>::value), "");
254    static_assert((std::is_same<decltype(exp((int)0)), double>::value), "");
255    static_assert((std::is_same<decltype(exp((unsigned int)0)), double>::value), "");
256    static_assert((std::is_same<decltype(exp((long)0)), double>::value), "");
257    static_assert((std::is_same<decltype(exp((unsigned long)0)), double>::value), "");
258    static_assert((std::is_same<decltype(exp((long long)0)), double>::value), "");
259    static_assert((std::is_same<decltype(exp((unsigned long long)0)), double>::value), "");
260    static_assert((std::is_same<decltype(exp((double)0)), double>::value), "");
261    static_assert((std::is_same<decltype(exp((long double)0)), long double>::value), "");
262    static_assert((std::is_same<decltype(expf(0)), float>::value), "");
263    static_assert((std::is_same<decltype(expl(0)), long double>::value), "");
264    static_assert((std::is_same<decltype(exp(Ambiguous())), Ambiguous>::value), "");
265    assert(exp(0) == 1);
266}
267
268void test_fabs()
269{
270    static_assert((std::is_same<decltype(fabs((float)0)), float>::value), "");
271    static_assert((std::is_same<decltype(fabs((bool)0)), double>::value), "");
272    static_assert((std::is_same<decltype(fabs((unsigned short)0)), double>::value), "");
273    static_assert((std::is_same<decltype(fabs((int)0)), double>::value), "");
274    static_assert((std::is_same<decltype(fabs((unsigned int)0)), double>::value), "");
275    static_assert((std::is_same<decltype(fabs((long)0)), double>::value), "");
276    static_assert((std::is_same<decltype(fabs((unsigned long)0)), double>::value), "");
277    static_assert((std::is_same<decltype(fabs((long long)0)), double>::value), "");
278    static_assert((std::is_same<decltype(fabs((unsigned long long)0)), double>::value), "");
279    static_assert((std::is_same<decltype(fabs((double)0)), double>::value), "");
280    static_assert((std::is_same<decltype(fabs((long double)0)), long double>::value), "");
281    static_assert((std::is_same<decltype(fabsf(0.0f)), float>::value), "");
282    static_assert((std::is_same<decltype(fabsl(0.0L)), long double>::value), "");
283    static_assert((std::is_same<decltype(fabs(Ambiguous())), Ambiguous>::value), "");
284    assert(fabs(-1) == 1);
285}
286
287void test_floor()
288{
289    static_assert((std::is_same<decltype(floor((float)0)), float>::value), "");
290    static_assert((std::is_same<decltype(floor((bool)0)), double>::value), "");
291    static_assert((std::is_same<decltype(floor((unsigned short)0)), double>::value), "");
292    static_assert((std::is_same<decltype(floor((int)0)), double>::value), "");
293    static_assert((std::is_same<decltype(floor((unsigned int)0)), double>::value), "");
294    static_assert((std::is_same<decltype(floor((long)0)), double>::value), "");
295    static_assert((std::is_same<decltype(floor((unsigned long)0)), double>::value), "");
296    static_assert((std::is_same<decltype(floor((long long)0)), double>::value), "");
297    static_assert((std::is_same<decltype(floor((unsigned long long)0)), double>::value), "");
298    static_assert((std::is_same<decltype(floor((double)0)), double>::value), "");
299    static_assert((std::is_same<decltype(floor((long double)0)), long double>::value), "");
300    static_assert((std::is_same<decltype(floorf(0)), float>::value), "");
301    static_assert((std::is_same<decltype(floorl(0)), long double>::value), "");
302    static_assert((std::is_same<decltype(floor(Ambiguous())), Ambiguous>::value), "");
303    assert(floor(1) == 1);
304}
305
306void test_fmod()
307{
308    static_assert((std::is_same<decltype(fmod((float)0, (float)0)), float>::value), "");
309    static_assert((std::is_same<decltype(fmod((bool)0, (float)0)), double>::value), "");
310    static_assert((std::is_same<decltype(fmod((unsigned short)0, (double)0)), double>::value), "");
311    static_assert((std::is_same<decltype(fmod((int)0, (long double)0)), long double>::value), "");
312    static_assert((std::is_same<decltype(fmod((float)0, (unsigned int)0)), double>::value), "");
313    static_assert((std::is_same<decltype(fmod((double)0, (long)0)), double>::value), "");
314    static_assert((std::is_same<decltype(fmod((long double)0, (unsigned long)0)), long double>::value), "");
315    static_assert((std::is_same<decltype(fmod((int)0, (long long)0)), double>::value), "");
316    static_assert((std::is_same<decltype(fmod((int)0, (unsigned long long)0)), double>::value), "");
317    static_assert((std::is_same<decltype(fmod((double)0, (double)0)), double>::value), "");
318    static_assert((std::is_same<decltype(fmod((long double)0, (long double)0)), long double>::value), "");
319    static_assert((std::is_same<decltype(fmod((float)0, (double)0)), double>::value), "");
320    static_assert((std::is_same<decltype(fmod((float)0, (long double)0)), long double>::value), "");
321    static_assert((std::is_same<decltype(fmod((double)0, (long double)0)), long double>::value), "");
322    static_assert((std::is_same<decltype(fmodf(0,0)), float>::value), "");
323    static_assert((std::is_same<decltype(fmodl(0,0)), long double>::value), "");
324    static_assert((std::is_same<decltype(fmod((int)0, (int)0)), double>::value), "");
325    static_assert((std::is_same<decltype(fmod(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
326    assert(fmod(1.5,1) == .5);
327}
328
329void test_frexp()
330{
331    int ip;
332    static_assert((std::is_same<decltype(frexp((float)0, &ip)), float>::value), "");
333    static_assert((std::is_same<decltype(frexp((bool)0, &ip)), double>::value), "");
334    static_assert((std::is_same<decltype(frexp((unsigned short)0, &ip)), double>::value), "");
335    static_assert((std::is_same<decltype(frexp((int)0, &ip)), double>::value), "");
336    static_assert((std::is_same<decltype(frexp((unsigned int)0, &ip)), double>::value), "");
337    static_assert((std::is_same<decltype(frexp((long)0, &ip)), double>::value), "");
338    static_assert((std::is_same<decltype(frexp((unsigned long)0, &ip)), double>::value), "");
339    static_assert((std::is_same<decltype(frexp((long long)0, &ip)), double>::value), "");
340    static_assert((std::is_same<decltype(frexp((unsigned long long)0, &ip)), double>::value), "");
341    static_assert((std::is_same<decltype(frexp((double)0, &ip)), double>::value), "");
342    static_assert((std::is_same<decltype(frexp((long double)0, &ip)), long double>::value), "");
343    static_assert((std::is_same<decltype(frexpf(0, &ip)), float>::value), "");
344    static_assert((std::is_same<decltype(frexpl(0, &ip)), long double>::value), "");
345    static_assert((std::is_same<decltype(frexp(Ambiguous(), &ip)), Ambiguous>::value), "");
346    assert(frexp(0, &ip) == 0);
347}
348
349void test_ldexp()
350{
351    int ip = 1;
352    static_assert((std::is_same<decltype(ldexp((float)0, ip)), float>::value), "");
353    static_assert((std::is_same<decltype(ldexp((bool)0, ip)), double>::value), "");
354    static_assert((std::is_same<decltype(ldexp((unsigned short)0, ip)), double>::value), "");
355    static_assert((std::is_same<decltype(ldexp((int)0, ip)), double>::value), "");
356    static_assert((std::is_same<decltype(ldexp((unsigned int)0, ip)), double>::value), "");
357    static_assert((std::is_same<decltype(ldexp((long)0, ip)), double>::value), "");
358    static_assert((std::is_same<decltype(ldexp((unsigned long)0, ip)), double>::value), "");
359    static_assert((std::is_same<decltype(ldexp((long long)0, ip)), double>::value), "");
360    static_assert((std::is_same<decltype(ldexp((unsigned long long)0, ip)), double>::value), "");
361    static_assert((std::is_same<decltype(ldexp((double)0, ip)), double>::value), "");
362    static_assert((std::is_same<decltype(ldexp((long double)0, ip)), long double>::value), "");
363    static_assert((std::is_same<decltype(ldexpf(0, ip)), float>::value), "");
364    static_assert((std::is_same<decltype(ldexpl(0, ip)), long double>::value), "");
365    static_assert((std::is_same<decltype(ldexp(Ambiguous(), ip)), Ambiguous>::value), "");
366    assert(ldexp(1, ip) == 2);
367}
368
369void test_log()
370{
371    static_assert((std::is_same<decltype(log((float)0)), float>::value), "");
372    static_assert((std::is_same<decltype(log((bool)0)), double>::value), "");
373    static_assert((std::is_same<decltype(log((unsigned short)0)), double>::value), "");
374    static_assert((std::is_same<decltype(log((int)0)), double>::value), "");
375    static_assert((std::is_same<decltype(log((unsigned int)0)), double>::value), "");
376    static_assert((std::is_same<decltype(log((long)0)), double>::value), "");
377    static_assert((std::is_same<decltype(log((unsigned long)0)), double>::value), "");
378    static_assert((std::is_same<decltype(log((long long)0)), double>::value), "");
379    static_assert((std::is_same<decltype(log((unsigned long long)0)), double>::value), "");
380    static_assert((std::is_same<decltype(log((double)0)), double>::value), "");
381    static_assert((std::is_same<decltype(log((long double)0)), long double>::value), "");
382    static_assert((std::is_same<decltype(logf(0)), float>::value), "");
383    static_assert((std::is_same<decltype(logl(0)), long double>::value), "");
384    static_assert((std::is_same<decltype(log(Ambiguous())), Ambiguous>::value), "");
385    assert(log(1) == 0);
386}
387
388void test_log10()
389{
390    static_assert((std::is_same<decltype(log10((float)0)), float>::value), "");
391    static_assert((std::is_same<decltype(log10((bool)0)), double>::value), "");
392    static_assert((std::is_same<decltype(log10((unsigned short)0)), double>::value), "");
393    static_assert((std::is_same<decltype(log10((int)0)), double>::value), "");
394    static_assert((std::is_same<decltype(log10((unsigned int)0)), double>::value), "");
395    static_assert((std::is_same<decltype(log10((long)0)), double>::value), "");
396    static_assert((std::is_same<decltype(log10((unsigned long)0)), double>::value), "");
397    static_assert((std::is_same<decltype(log10((long long)0)), double>::value), "");
398    static_assert((std::is_same<decltype(log10((unsigned long long)0)), double>::value), "");
399    static_assert((std::is_same<decltype(log10((double)0)), double>::value), "");
400    static_assert((std::is_same<decltype(log10((long double)0)), long double>::value), "");
401    static_assert((std::is_same<decltype(log10f(0)), float>::value), "");
402    static_assert((std::is_same<decltype(log10l(0)), long double>::value), "");
403    static_assert((std::is_same<decltype(log10(Ambiguous())), Ambiguous>::value), "");
404    assert(log10(1) == 0);
405}
406
407void test_modf()
408{
409    static_assert((std::is_same<decltype(modf((float)0, (float*)0)), float>::value), "");
410    static_assert((std::is_same<decltype(modf((double)0, (double*)0)), double>::value), "");
411    static_assert((std::is_same<decltype(modf((long double)0, (long double*)0)), long double>::value), "");
412    static_assert((std::is_same<decltype(modff(0, (float*)0)), float>::value), "");
413    static_assert((std::is_same<decltype(modfl(0, (long double*)0)), long double>::value), "");
414    static_assert((std::is_same<decltype(modf(Ambiguous(), (Ambiguous*)0)), Ambiguous>::value), "");
415    double i;
416    assert(modf(1., &i) == 0);
417}
418
419void test_pow()
420{
421    static_assert((std::is_same<decltype(pow((float)0, (float)0)), float>::value), "");
422    static_assert((std::is_same<decltype(pow((bool)0, (float)0)), double>::value), "");
423    static_assert((std::is_same<decltype(pow((unsigned short)0, (double)0)), double>::value), "");
424    static_assert((std::is_same<decltype(pow((int)0, (long double)0)), long double>::value), "");
425    static_assert((std::is_same<decltype(pow((float)0, (unsigned int)0)), double>::value), "");
426    static_assert((std::is_same<decltype(pow((double)0, (long)0)), double>::value), "");
427    static_assert((std::is_same<decltype(pow((long double)0, (unsigned long)0)), long double>::value), "");
428    static_assert((std::is_same<decltype(pow((int)0, (long long)0)), double>::value), "");
429    static_assert((std::is_same<decltype(pow((int)0, (unsigned long long)0)), double>::value), "");
430    static_assert((std::is_same<decltype(pow((double)0, (double)0)), double>::value), "");
431    static_assert((std::is_same<decltype(pow((long double)0, (long double)0)), long double>::value), "");
432    static_assert((std::is_same<decltype(pow((float)0, (double)0)), double>::value), "");
433    static_assert((std::is_same<decltype(pow((float)0, (long double)0)), long double>::value), "");
434    static_assert((std::is_same<decltype(pow((double)0, (long double)0)), long double>::value), "");
435    static_assert((std::is_same<decltype(powf(0,0)), float>::value), "");
436    static_assert((std::is_same<decltype(powl(0,0)), long double>::value), "");
437    static_assert((std::is_same<decltype(pow((int)0, (int)0)), double>::value), "");
438//     static_assert((std::is_same<decltype(pow(Value<int>(), (int)0)), double>::value), "");
439//     static_assert((std::is_same<decltype(pow(Value<long double>(), (float)0)), long double>::value), "");
440//     static_assert((std::is_same<decltype(pow((float) 0, Value<float>())), float>::value), "");
441    static_assert((std::is_same<decltype(pow(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
442    assert(pow(1,1) == 1);
443//     assert(pow(Value<int,1>(), Value<float,1>())  == 1);
444//     assert(pow(1.0f, Value<double,1>()) == 1);
445//     assert(pow(1.0, Value<int,1>()) == 1);
446//     assert(pow(Value<long double,1>(), 1LL) == 1);
447}
448
449void test_sin()
450{
451    static_assert((std::is_same<decltype(sin((float)0)), float>::value), "");
452    static_assert((std::is_same<decltype(sin((bool)0)), double>::value), "");
453    static_assert((std::is_same<decltype(sin((unsigned short)0)), double>::value), "");
454    static_assert((std::is_same<decltype(sin((int)0)), double>::value), "");
455    static_assert((std::is_same<decltype(sin((unsigned int)0)), double>::value), "");
456    static_assert((std::is_same<decltype(sin((long)0)), double>::value), "");
457    static_assert((std::is_same<decltype(sin((unsigned long)0)), double>::value), "");
458    static_assert((std::is_same<decltype(sin((long long)0)), double>::value), "");
459    static_assert((std::is_same<decltype(sin((unsigned long long)0)), double>::value), "");
460    static_assert((std::is_same<decltype(sin((double)0)), double>::value), "");
461    static_assert((std::is_same<decltype(sin((long double)0)), long double>::value), "");
462    static_assert((std::is_same<decltype(sinf(0)), float>::value), "");
463    static_assert((std::is_same<decltype(sinl(0)), long double>::value), "");
464    static_assert((std::is_same<decltype(sin(Ambiguous())), Ambiguous>::value), "");
465    assert(sin(0) == 0);
466}
467
468void test_sinh()
469{
470    static_assert((std::is_same<decltype(sinh((float)0)), float>::value), "");
471    static_assert((std::is_same<decltype(sinh((bool)0)), double>::value), "");
472    static_assert((std::is_same<decltype(sinh((unsigned short)0)), double>::value), "");
473    static_assert((std::is_same<decltype(sinh((int)0)), double>::value), "");
474    static_assert((std::is_same<decltype(sinh((unsigned int)0)), double>::value), "");
475    static_assert((std::is_same<decltype(sinh((long)0)), double>::value), "");
476    static_assert((std::is_same<decltype(sinh((unsigned long)0)), double>::value), "");
477    static_assert((std::is_same<decltype(sinh((long long)0)), double>::value), "");
478    static_assert((std::is_same<decltype(sinh((unsigned long long)0)), double>::value), "");
479    static_assert((std::is_same<decltype(sinh((double)0)), double>::value), "");
480    static_assert((std::is_same<decltype(sinh((long double)0)), long double>::value), "");
481    static_assert((std::is_same<decltype(sinhf(0)), float>::value), "");
482    static_assert((std::is_same<decltype(sinhl(0)), long double>::value), "");
483    static_assert((std::is_same<decltype(sinh(Ambiguous())), Ambiguous>::value), "");
484    assert(sinh(0) == 0);
485}
486
487void test_sqrt()
488{
489    static_assert((std::is_same<decltype(sqrt((float)0)), float>::value), "");
490    static_assert((std::is_same<decltype(sqrt((bool)0)), double>::value), "");
491    static_assert((std::is_same<decltype(sqrt((unsigned short)0)), double>::value), "");
492    static_assert((std::is_same<decltype(sqrt((int)0)), double>::value), "");
493    static_assert((std::is_same<decltype(sqrt((unsigned int)0)), double>::value), "");
494    static_assert((std::is_same<decltype(sqrt((long)0)), double>::value), "");
495    static_assert((std::is_same<decltype(sqrt((unsigned long)0)), double>::value), "");
496    static_assert((std::is_same<decltype(sqrt((long long)0)), double>::value), "");
497    static_assert((std::is_same<decltype(sqrt((unsigned long long)0)), double>::value), "");
498    static_assert((std::is_same<decltype(sqrt((double)0)), double>::value), "");
499    static_assert((std::is_same<decltype(sqrt((long double)0)), long double>::value), "");
500    static_assert((std::is_same<decltype(sqrtf(0)), float>::value), "");
501    static_assert((std::is_same<decltype(sqrtl(0)), long double>::value), "");
502    static_assert((std::is_same<decltype(sqrt(Ambiguous())), Ambiguous>::value), "");
503    assert(sqrt(4) == 2);
504}
505
506void test_tan()
507{
508    static_assert((std::is_same<decltype(tan((float)0)), float>::value), "");
509    static_assert((std::is_same<decltype(tan((bool)0)), double>::value), "");
510    static_assert((std::is_same<decltype(tan((unsigned short)0)), double>::value), "");
511    static_assert((std::is_same<decltype(tan((int)0)), double>::value), "");
512    static_assert((std::is_same<decltype(tan((unsigned int)0)), double>::value), "");
513    static_assert((std::is_same<decltype(tan((long)0)), double>::value), "");
514    static_assert((std::is_same<decltype(tan((unsigned long)0)), double>::value), "");
515    static_assert((std::is_same<decltype(tan((long long)0)), double>::value), "");
516    static_assert((std::is_same<decltype(tan((unsigned long long)0)), double>::value), "");
517    static_assert((std::is_same<decltype(tan((double)0)), double>::value), "");
518    static_assert((std::is_same<decltype(tan((long double)0)), long double>::value), "");
519    static_assert((std::is_same<decltype(tanf(0)), float>::value), "");
520    static_assert((std::is_same<decltype(tanl(0)), long double>::value), "");
521    static_assert((std::is_same<decltype(tan(Ambiguous())), Ambiguous>::value), "");
522    assert(tan(0) == 0);
523}
524
525void test_tanh()
526{
527    static_assert((std::is_same<decltype(tanh((float)0)), float>::value), "");
528    static_assert((std::is_same<decltype(tanh((bool)0)), double>::value), "");
529    static_assert((std::is_same<decltype(tanh((unsigned short)0)), double>::value), "");
530    static_assert((std::is_same<decltype(tanh((int)0)), double>::value), "");
531    static_assert((std::is_same<decltype(tanh((unsigned int)0)), double>::value), "");
532    static_assert((std::is_same<decltype(tanh((long)0)), double>::value), "");
533    static_assert((std::is_same<decltype(tanh((unsigned long)0)), double>::value), "");
534    static_assert((std::is_same<decltype(tanh((long long)0)), double>::value), "");
535    static_assert((std::is_same<decltype(tanh((unsigned long long)0)), double>::value), "");
536    static_assert((std::is_same<decltype(tanh((double)0)), double>::value), "");
537    static_assert((std::is_same<decltype(tanh((long double)0)), long double>::value), "");
538    static_assert((std::is_same<decltype(tanhf(0)), float>::value), "");
539    static_assert((std::is_same<decltype(tanhl(0)), long double>::value), "");
540    static_assert((std::is_same<decltype(tanh(Ambiguous())), Ambiguous>::value), "");
541    assert(tanh(0) == 0);
542}
543
544void test_signbit()
545{
546#ifdef signbit
547#error signbit defined
548#endif
549    static_assert((std::is_same<decltype(signbit((float)0)), bool>::value), "");
550    static_assert((std::is_same<decltype(signbit((double)0)), bool>::value), "");
551    static_assert((std::is_same<decltype(signbit(0)), bool>::value), "");
552    static_assert((std::is_same<decltype(signbit((long double)0)), bool>::value), "");
553    static_assert((std::is_same<decltype(signbit(Ambiguous())), Ambiguous>::value), "");
554    assert(signbit(-1.0) == true);
555}
556
557void test_fpclassify()
558{
559#ifdef fpclassify
560#error fpclassify defined
561#endif
562    static_assert((std::is_same<decltype(fpclassify((float)0)), int>::value), "");
563    static_assert((std::is_same<decltype(fpclassify((double)0)), int>::value), "");
564    static_assert((std::is_same<decltype(fpclassify(0)), int>::value), "");
565    static_assert((std::is_same<decltype(fpclassify((long double)0)), int>::value), "");
566    static_assert((std::is_same<decltype(fpclassify(Ambiguous())), Ambiguous>::value), "");
567    assert(fpclassify(-1.0) == FP_NORMAL);
568}
569
570void test_isfinite()
571{
572#ifdef isfinite
573#error isfinite defined
574#endif
575    static_assert((std::is_same<decltype(isfinite((float)0)), bool>::value), "");
576    static_assert((std::is_same<decltype(isfinite((double)0)), bool>::value), "");
577    static_assert((std::is_same<decltype(isfinite(0)), bool>::value), "");
578    static_assert((std::is_same<decltype(isfinite((long double)0)), bool>::value), "");
579    static_assert((std::is_same<decltype(isfinite(Ambiguous())), Ambiguous>::value), "");
580    assert(isfinite(-1.0) == true);
581}
582
583void test_isnormal()
584{
585#ifdef isnormal
586#error isnormal defined
587#endif
588    static_assert((std::is_same<decltype(isnormal((float)0)), bool>::value), "");
589    static_assert((std::is_same<decltype(isnormal((double)0)), bool>::value), "");
590    static_assert((std::is_same<decltype(isnormal(0)), bool>::value), "");
591    static_assert((std::is_same<decltype(isnormal((long double)0)), bool>::value), "");
592    static_assert((std::is_same<decltype(isnormal(Ambiguous())), Ambiguous>::value), "");
593    assert(isnormal(-1.0) == true);
594}
595
596void test_isgreater()
597{
598#ifdef isgreater
599#error isgreater defined
600#endif
601    static_assert((std::is_same<decltype(isgreater((float)0, (float)0)), bool>::value), "");
602    static_assert((std::is_same<decltype(isgreater((float)0, (double)0)), bool>::value), "");
603    static_assert((std::is_same<decltype(isgreater((float)0, (long double)0)), bool>::value), "");
604    static_assert((std::is_same<decltype(isgreater((double)0, (float)0)), bool>::value), "");
605    static_assert((std::is_same<decltype(isgreater((double)0, (double)0)), bool>::value), "");
606    static_assert((std::is_same<decltype(isgreater(0, (double)0)), bool>::value), "");
607    static_assert((std::is_same<decltype(isgreater((double)0, (long double)0)), bool>::value), "");
608    static_assert((std::is_same<decltype(isgreater((long double)0, (float)0)), bool>::value), "");
609    static_assert((std::is_same<decltype(isgreater((long double)0, (double)0)), bool>::value), "");
610    static_assert((std::is_same<decltype(isgreater((long double)0, (long double)0)), bool>::value), "");
611    static_assert((std::is_same<decltype(isgreater(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
612    assert(isgreater(-1.0, 0.F) == false);
613}
614
615void test_isgreaterequal()
616{
617#ifdef isgreaterequal
618#error isgreaterequal defined
619#endif
620    static_assert((std::is_same<decltype(isgreaterequal((float)0, (float)0)), bool>::value), "");
621    static_assert((std::is_same<decltype(isgreaterequal((float)0, (double)0)), bool>::value), "");
622    static_assert((std::is_same<decltype(isgreaterequal((float)0, (long double)0)), bool>::value), "");
623    static_assert((std::is_same<decltype(isgreaterequal((double)0, (float)0)), bool>::value), "");
624    static_assert((std::is_same<decltype(isgreaterequal((double)0, (double)0)), bool>::value), "");
625    static_assert((std::is_same<decltype(isgreaterequal(0, (double)0)), bool>::value), "");
626    static_assert((std::is_same<decltype(isgreaterequal((double)0, (long double)0)), bool>::value), "");
627    static_assert((std::is_same<decltype(isgreaterequal((long double)0, (float)0)), bool>::value), "");
628    static_assert((std::is_same<decltype(isgreaterequal((long double)0, (double)0)), bool>::value), "");
629    static_assert((std::is_same<decltype(isgreaterequal((long double)0, (long double)0)), bool>::value), "");
630    static_assert((std::is_same<decltype(isgreaterequal(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
631    assert(isgreaterequal(-1.0, 0.F) == false);
632}
633
634void test_isless()
635{
636#ifdef isless
637#error isless defined
638#endif
639    static_assert((std::is_same<decltype(isless((float)0, (float)0)), bool>::value), "");
640    static_assert((std::is_same<decltype(isless((float)0, (double)0)), bool>::value), "");
641    static_assert((std::is_same<decltype(isless((float)0, (long double)0)), bool>::value), "");
642    static_assert((std::is_same<decltype(isless((double)0, (float)0)), bool>::value), "");
643    static_assert((std::is_same<decltype(isless((double)0, (double)0)), bool>::value), "");
644    static_assert((std::is_same<decltype(isless(0, (double)0)), bool>::value), "");
645    static_assert((std::is_same<decltype(isless((double)0, (long double)0)), bool>::value), "");
646    static_assert((std::is_same<decltype(isless((long double)0, (float)0)), bool>::value), "");
647    static_assert((std::is_same<decltype(isless((long double)0, (double)0)), bool>::value), "");
648    static_assert((std::is_same<decltype(isless((long double)0, (long double)0)), bool>::value), "");
649    static_assert((std::is_same<decltype(isless(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
650    assert(isless(-1.0, 0.F) == true);
651}
652
653void test_islessequal()
654{
655#ifdef islessequal
656#error islessequal defined
657#endif
658    static_assert((std::is_same<decltype(islessequal((float)0, (float)0)), bool>::value), "");
659    static_assert((std::is_same<decltype(islessequal((float)0, (double)0)), bool>::value), "");
660    static_assert((std::is_same<decltype(islessequal((float)0, (long double)0)), bool>::value), "");
661    static_assert((std::is_same<decltype(islessequal((double)0, (float)0)), bool>::value), "");
662    static_assert((std::is_same<decltype(islessequal((double)0, (double)0)), bool>::value), "");
663    static_assert((std::is_same<decltype(islessequal(0, (double)0)), bool>::value), "");
664    static_assert((std::is_same<decltype(islessequal((double)0, (long double)0)), bool>::value), "");
665    static_assert((std::is_same<decltype(islessequal((long double)0, (float)0)), bool>::value), "");
666    static_assert((std::is_same<decltype(islessequal((long double)0, (double)0)), bool>::value), "");
667    static_assert((std::is_same<decltype(islessequal((long double)0, (long double)0)), bool>::value), "");
668    static_assert((std::is_same<decltype(islessequal(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
669    assert(islessequal(-1.0, 0.F) == true);
670}
671
672void test_islessgreater()
673{
674#ifdef islessgreater
675#error islessgreater defined
676#endif
677    static_assert((std::is_same<decltype(islessgreater((float)0, (float)0)), bool>::value), "");
678    static_assert((std::is_same<decltype(islessgreater((float)0, (double)0)), bool>::value), "");
679    static_assert((std::is_same<decltype(islessgreater((float)0, (long double)0)), bool>::value), "");
680    static_assert((std::is_same<decltype(islessgreater((double)0, (float)0)), bool>::value), "");
681    static_assert((std::is_same<decltype(islessgreater((double)0, (double)0)), bool>::value), "");
682    static_assert((std::is_same<decltype(islessgreater(0, (double)0)), bool>::value), "");
683    static_assert((std::is_same<decltype(islessgreater((double)0, (long double)0)), bool>::value), "");
684    static_assert((std::is_same<decltype(islessgreater((long double)0, (float)0)), bool>::value), "");
685    static_assert((std::is_same<decltype(islessgreater((long double)0, (double)0)), bool>::value), "");
686    static_assert((std::is_same<decltype(islessgreater((long double)0, (long double)0)), bool>::value), "");
687    static_assert((std::is_same<decltype(islessgreater(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
688    assert(islessgreater(-1.0, 0.F) == true);
689}
690
691void test_isunordered()
692{
693#ifdef isunordered
694#error isunordered defined
695#endif
696    static_assert((std::is_same<decltype(isunordered((float)0, (float)0)), bool>::value), "");
697    static_assert((std::is_same<decltype(isunordered((float)0, (double)0)), bool>::value), "");
698    static_assert((std::is_same<decltype(isunordered((float)0, (long double)0)), bool>::value), "");
699    static_assert((std::is_same<decltype(isunordered((double)0, (float)0)), bool>::value), "");
700    static_assert((std::is_same<decltype(isunordered((double)0, (double)0)), bool>::value), "");
701    static_assert((std::is_same<decltype(isunordered(0, (double)0)), bool>::value), "");
702    static_assert((std::is_same<decltype(isunordered((double)0, (long double)0)), bool>::value), "");
703    static_assert((std::is_same<decltype(isunordered((long double)0, (float)0)), bool>::value), "");
704    static_assert((std::is_same<decltype(isunordered((long double)0, (double)0)), bool>::value), "");
705    static_assert((std::is_same<decltype(isunordered((long double)0, (long double)0)), bool>::value), "");
706    static_assert((std::is_same<decltype(isunordered(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
707    assert(isunordered(-1.0, 0.F) == false);
708}
709
710void test_acosh()
711{
712    static_assert((std::is_same<decltype(acosh((float)0)), float>::value), "");
713    static_assert((std::is_same<decltype(acosh((bool)0)), double>::value), "");
714    static_assert((std::is_same<decltype(acosh((unsigned short)0)), double>::value), "");
715    static_assert((std::is_same<decltype(acosh((int)0)), double>::value), "");
716    static_assert((std::is_same<decltype(acosh((unsigned int)0)), double>::value), "");
717    static_assert((std::is_same<decltype(acosh((long)0)), double>::value), "");
718    static_assert((std::is_same<decltype(acosh((unsigned long)0)), double>::value), "");
719    static_assert((std::is_same<decltype(acosh((long long)0)), double>::value), "");
720    static_assert((std::is_same<decltype(acosh((unsigned long long)0)), double>::value), "");
721    static_assert((std::is_same<decltype(acosh((double)0)), double>::value), "");
722    static_assert((std::is_same<decltype(acosh((long double)0)), long double>::value), "");
723    static_assert((std::is_same<decltype(acoshf(0)), float>::value), "");
724    static_assert((std::is_same<decltype(acoshl(0)), long double>::value), "");
725    static_assert((std::is_same<decltype(acosh(Ambiguous())), Ambiguous>::value), "");
726    assert(acosh(1) == 0);
727}
728
729void test_asinh()
730{
731    static_assert((std::is_same<decltype(asinh((float)0)), float>::value), "");
732    static_assert((std::is_same<decltype(asinh((bool)0)), double>::value), "");
733    static_assert((std::is_same<decltype(asinh((unsigned short)0)), double>::value), "");
734    static_assert((std::is_same<decltype(asinh((int)0)), double>::value), "");
735    static_assert((std::is_same<decltype(asinh((unsigned int)0)), double>::value), "");
736    static_assert((std::is_same<decltype(asinh((long)0)), double>::value), "");
737    static_assert((std::is_same<decltype(asinh((unsigned long)0)), double>::value), "");
738    static_assert((std::is_same<decltype(asinh((long long)0)), double>::value), "");
739    static_assert((std::is_same<decltype(asinh((unsigned long long)0)), double>::value), "");
740    static_assert((std::is_same<decltype(asinh((double)0)), double>::value), "");
741    static_assert((std::is_same<decltype(asinh((long double)0)), long double>::value), "");
742    static_assert((std::is_same<decltype(asinhf(0)), float>::value), "");
743    static_assert((std::is_same<decltype(asinhl(0)), long double>::value), "");
744    static_assert((std::is_same<decltype(asinh(Ambiguous())), Ambiguous>::value), "");
745    assert(asinh(0) == 0);
746}
747
748void test_atanh()
749{
750    static_assert((std::is_same<decltype(atanh((float)0)), float>::value), "");
751    static_assert((std::is_same<decltype(atanh((bool)0)), double>::value), "");
752    static_assert((std::is_same<decltype(atanh((unsigned short)0)), double>::value), "");
753    static_assert((std::is_same<decltype(atanh((int)0)), double>::value), "");
754    static_assert((std::is_same<decltype(atanh((unsigned int)0)), double>::value), "");
755    static_assert((std::is_same<decltype(atanh((long)0)), double>::value), "");
756    static_assert((std::is_same<decltype(atanh((unsigned long)0)), double>::value), "");
757    static_assert((std::is_same<decltype(atanh((long long)0)), double>::value), "");
758    static_assert((std::is_same<decltype(atanh((unsigned long long)0)), double>::value), "");
759    static_assert((std::is_same<decltype(atanh((double)0)), double>::value), "");
760    static_assert((std::is_same<decltype(atanh((long double)0)), long double>::value), "");
761    static_assert((std::is_same<decltype(atanhf(0)), float>::value), "");
762    static_assert((std::is_same<decltype(atanhl(0)), long double>::value), "");
763    static_assert((std::is_same<decltype(atanh(Ambiguous())), Ambiguous>::value), "");
764    assert(atanh(0) == 0);
765}
766
767void test_cbrt()
768{
769    static_assert((std::is_same<decltype(cbrt((float)0)), float>::value), "");
770    static_assert((std::is_same<decltype(cbrt((bool)0)), double>::value), "");
771    static_assert((std::is_same<decltype(cbrt((unsigned short)0)), double>::value), "");
772    static_assert((std::is_same<decltype(cbrt((int)0)), double>::value), "");
773    static_assert((std::is_same<decltype(cbrt((unsigned int)0)), double>::value), "");
774    static_assert((std::is_same<decltype(cbrt((long)0)), double>::value), "");
775    static_assert((std::is_same<decltype(cbrt((unsigned long)0)), double>::value), "");
776    static_assert((std::is_same<decltype(cbrt((long long)0)), double>::value), "");
777    static_assert((std::is_same<decltype(cbrt((unsigned long long)0)), double>::value), "");
778    static_assert((std::is_same<decltype(cbrt((double)0)), double>::value), "");
779    static_assert((std::is_same<decltype(cbrt((long double)0)), long double>::value), "");
780    static_assert((std::is_same<decltype(cbrtf(0)), float>::value), "");
781    static_assert((std::is_same<decltype(cbrtl(0)), long double>::value), "");
782    static_assert((std::is_same<decltype(cbrt(Ambiguous())), Ambiguous>::value), "");
783    assert(cbrt(1) == 1);
784}
785
786void test_copysign()
787{
788    static_assert((std::is_same<decltype(copysign((float)0, (float)0)), float>::value), "");
789    static_assert((std::is_same<decltype(copysign((bool)0, (float)0)), double>::value), "");
790    static_assert((std::is_same<decltype(copysign((unsigned short)0, (double)0)), double>::value), "");
791    static_assert((std::is_same<decltype(copysign((int)0, (long double)0)), long double>::value), "");
792    static_assert((std::is_same<decltype(copysign((float)0, (unsigned int)0)), double>::value), "");
793    static_assert((std::is_same<decltype(copysign((double)0, (long)0)), double>::value), "");
794    static_assert((std::is_same<decltype(copysign((long double)0, (unsigned long)0)), long double>::value), "");
795    static_assert((std::is_same<decltype(copysign((int)0, (long long)0)), double>::value), "");
796    static_assert((std::is_same<decltype(copysign((int)0, (unsigned long long)0)), double>::value), "");
797    static_assert((std::is_same<decltype(copysign((double)0, (double)0)), double>::value), "");
798    static_assert((std::is_same<decltype(copysign((long double)0, (long double)0)), long double>::value), "");
799    static_assert((std::is_same<decltype(copysign((float)0, (double)0)), double>::value), "");
800    static_assert((std::is_same<decltype(copysign((float)0, (long double)0)), long double>::value), "");
801    static_assert((std::is_same<decltype(copysign((double)0, (long double)0)), long double>::value), "");
802    static_assert((std::is_same<decltype(copysignf(0,0)), float>::value), "");
803    static_assert((std::is_same<decltype(copysignl(0,0)), long double>::value), "");
804    static_assert((std::is_same<decltype(copysign((int)0, (int)0)), double>::value), "");
805    static_assert((std::is_same<decltype(copysign(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
806    assert(copysign(1,1) == 1);
807}
808
809void test_erf()
810{
811    static_assert((std::is_same<decltype(erf((float)0)), float>::value), "");
812    static_assert((std::is_same<decltype(erf((bool)0)), double>::value), "");
813    static_assert((std::is_same<decltype(erf((unsigned short)0)), double>::value), "");
814    static_assert((std::is_same<decltype(erf((int)0)), double>::value), "");
815    static_assert((std::is_same<decltype(erf((unsigned int)0)), double>::value), "");
816    static_assert((std::is_same<decltype(erf((long)0)), double>::value), "");
817    static_assert((std::is_same<decltype(erf((unsigned long)0)), double>::value), "");
818    static_assert((std::is_same<decltype(erf((long long)0)), double>::value), "");
819    static_assert((std::is_same<decltype(erf((unsigned long long)0)), double>::value), "");
820    static_assert((std::is_same<decltype(erf((double)0)), double>::value), "");
821    static_assert((std::is_same<decltype(erf((long double)0)), long double>::value), "");
822    static_assert((std::is_same<decltype(erff(0)), float>::value), "");
823    static_assert((std::is_same<decltype(erfl(0)), long double>::value), "");
824    static_assert((std::is_same<decltype(erf(Ambiguous())), Ambiguous>::value), "");
825    assert(erf(0) == 0);
826}
827
828void test_erfc()
829{
830    static_assert((std::is_same<decltype(erfc((float)0)), float>::value), "");
831    static_assert((std::is_same<decltype(erfc((bool)0)), double>::value), "");
832    static_assert((std::is_same<decltype(erfc((unsigned short)0)), double>::value), "");
833    static_assert((std::is_same<decltype(erfc((int)0)), double>::value), "");
834    static_assert((std::is_same<decltype(erfc((unsigned int)0)), double>::value), "");
835    static_assert((std::is_same<decltype(erfc((long)0)), double>::value), "");
836    static_assert((std::is_same<decltype(erfc((unsigned long)0)), double>::value), "");
837    static_assert((std::is_same<decltype(erfc((long long)0)), double>::value), "");
838    static_assert((std::is_same<decltype(erfc((unsigned long long)0)), double>::value), "");
839    static_assert((std::is_same<decltype(erfc((double)0)), double>::value), "");
840    static_assert((std::is_same<decltype(erfc((long double)0)), long double>::value), "");
841    static_assert((std::is_same<decltype(erfcf(0)), float>::value), "");
842    static_assert((std::is_same<decltype(erfcl(0)), long double>::value), "");
843    static_assert((std::is_same<decltype(erfc(Ambiguous())), Ambiguous>::value), "");
844    assert(erfc(0) == 1);
845}
846
847void test_exp2()
848{
849    static_assert((std::is_same<decltype(exp2((float)0)), float>::value), "");
850    static_assert((std::is_same<decltype(exp2((bool)0)), double>::value), "");
851    static_assert((std::is_same<decltype(exp2((unsigned short)0)), double>::value), "");
852    static_assert((std::is_same<decltype(exp2((int)0)), double>::value), "");
853    static_assert((std::is_same<decltype(exp2((unsigned int)0)), double>::value), "");
854    static_assert((std::is_same<decltype(exp2((long)0)), double>::value), "");
855    static_assert((std::is_same<decltype(exp2((unsigned long)0)), double>::value), "");
856    static_assert((std::is_same<decltype(exp2((long long)0)), double>::value), "");
857    static_assert((std::is_same<decltype(exp2((unsigned long long)0)), double>::value), "");
858    static_assert((std::is_same<decltype(exp2((double)0)), double>::value), "");
859    static_assert((std::is_same<decltype(exp2((long double)0)), long double>::value), "");
860    static_assert((std::is_same<decltype(exp2f(0)), float>::value), "");
861    static_assert((std::is_same<decltype(exp2l(0)), long double>::value), "");
862    static_assert((std::is_same<decltype(exp2(Ambiguous())), Ambiguous>::value), "");
863    assert(exp2(1) == 2);
864}
865
866void test_expm1()
867{
868    static_assert((std::is_same<decltype(expm1((float)0)), float>::value), "");
869    static_assert((std::is_same<decltype(expm1((bool)0)), double>::value), "");
870    static_assert((std::is_same<decltype(expm1((unsigned short)0)), double>::value), "");
871    static_assert((std::is_same<decltype(expm1((int)0)), double>::value), "");
872    static_assert((std::is_same<decltype(expm1((unsigned int)0)), double>::value), "");
873    static_assert((std::is_same<decltype(expm1((long)0)), double>::value), "");
874    static_assert((std::is_same<decltype(expm1((unsigned long)0)), double>::value), "");
875    static_assert((std::is_same<decltype(expm1((long long)0)), double>::value), "");
876    static_assert((std::is_same<decltype(expm1((unsigned long long)0)), double>::value), "");
877    static_assert((std::is_same<decltype(expm1((double)0)), double>::value), "");
878    static_assert((std::is_same<decltype(expm1((long double)0)), long double>::value), "");
879    static_assert((std::is_same<decltype(expm1f(0)), float>::value), "");
880    static_assert((std::is_same<decltype(expm1l(0)), long double>::value), "");
881    static_assert((std::is_same<decltype(expm1(Ambiguous())), Ambiguous>::value), "");
882    assert(expm1(0) == 0);
883}
884
885void test_fdim()
886{
887    static_assert((std::is_same<decltype(fdim((float)0, (float)0)), float>::value), "");
888    static_assert((std::is_same<decltype(fdim((bool)0, (float)0)), double>::value), "");
889    static_assert((std::is_same<decltype(fdim((unsigned short)0, (double)0)), double>::value), "");
890    static_assert((std::is_same<decltype(fdim((int)0, (long double)0)), long double>::value), "");
891    static_assert((std::is_same<decltype(fdim((float)0, (unsigned int)0)), double>::value), "");
892    static_assert((std::is_same<decltype(fdim((double)0, (long)0)), double>::value), "");
893    static_assert((std::is_same<decltype(fdim((long double)0, (unsigned long)0)), long double>::value), "");
894    static_assert((std::is_same<decltype(fdim((int)0, (long long)0)), double>::value), "");
895    static_assert((std::is_same<decltype(fdim((int)0, (unsigned long long)0)), double>::value), "");
896    static_assert((std::is_same<decltype(fdim((double)0, (double)0)), double>::value), "");
897    static_assert((std::is_same<decltype(fdim((long double)0, (long double)0)), long double>::value), "");
898    static_assert((std::is_same<decltype(fdim((float)0, (double)0)), double>::value), "");
899    static_assert((std::is_same<decltype(fdim((float)0, (long double)0)), long double>::value), "");
900    static_assert((std::is_same<decltype(fdim((double)0, (long double)0)), long double>::value), "");
901    static_assert((std::is_same<decltype(fdimf(0,0)), float>::value), "");
902    static_assert((std::is_same<decltype(fdiml(0,0)), long double>::value), "");
903    static_assert((std::is_same<decltype(fdim((int)0, (int)0)), double>::value), "");
904    static_assert((std::is_same<decltype(fdim(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
905    assert(fdim(1,0) == 1);
906}
907
908void test_fma()
909{
910    static_assert((std::is_same<decltype(fma((bool)0, (float)0, (float)0)), double>::value), "");
911    static_assert((std::is_same<decltype(fma((char)0, (float)0, (float)0)), double>::value), "");
912    static_assert((std::is_same<decltype(fma((unsigned)0, (float)0, (float)0)), double>::value), "");
913    static_assert((std::is_same<decltype(fma((float)0, (int)0, (float)0)), double>::value), "");
914    static_assert((std::is_same<decltype(fma((float)0, (long)0, (float)0)), double>::value), "");
915    static_assert((std::is_same<decltype(fma((float)0, (float)0, (unsigned long long)0)), double>::value), "");
916    static_assert((std::is_same<decltype(fma((float)0, (float)0, (double)0)), double>::value), "");
917    static_assert((std::is_same<decltype(fma((float)0, (float)0, (long double)0)), long double>::value), "");
918    static_assert((std::is_same<decltype(fma((float)0, (float)0, (float)0)), float>::value), "");
919
920    static_assert((std::is_same<decltype(fma((bool)0, (double)0, (double)0)), double>::value), "");
921    static_assert((std::is_same<decltype(fma((char)0, (double)0, (double)0)), double>::value), "");
922    static_assert((std::is_same<decltype(fma((unsigned)0, (double)0, (double)0)), double>::value), "");
923    static_assert((std::is_same<decltype(fma((double)0, (int)0, (double)0)), double>::value), "");
924    static_assert((std::is_same<decltype(fma((double)0, (long)0, (double)0)), double>::value), "");
925    static_assert((std::is_same<decltype(fma((double)0, (double)0, (unsigned long long)0)), double>::value), "");
926    static_assert((std::is_same<decltype(fma((double)0, (double)0, (float)0)), double>::value), "");
927    static_assert((std::is_same<decltype(fma((double)0, (double)0, (long double)0)), long double>::value), "");
928    static_assert((std::is_same<decltype(fma((double)0, (double)0,  (double)0)), double>::value), "");
929
930    static_assert((std::is_same<decltype(fma((bool)0, (long double)0, (long double)0)), long double>::value), "");
931    static_assert((std::is_same<decltype(fma((char)0, (long double)0, (long double)0)), long double>::value), "");
932    static_assert((std::is_same<decltype(fma((unsigned)0, (long double)0, (long double)0)), long double>::value), "");
933    static_assert((std::is_same<decltype(fma((long double)0, (int)0, (long double)0)), long double>::value), "");
934    static_assert((std::is_same<decltype(fma((long double)0, (long)0, (long double)0)), long double>::value), "");
935    static_assert((std::is_same<decltype(fma((long double)0, (long double)0, (unsigned long long)0)), long double>::value), "");
936    static_assert((std::is_same<decltype(fma((long double)0, (long double)0, (float)0)), long double>::value), "");
937    static_assert((std::is_same<decltype(fma((double)0, (long double)0, (long double)0)), long double>::value), "");
938    static_assert((std::is_same<decltype(fma((long double)0, (long double)0, (long double)0)), long double>::value), "");
939
940    static_assert((std::is_same<decltype(fmaf(0,0,0)), float>::value), "");
941    static_assert((std::is_same<decltype(fmal(0,0,0)), long double>::value), "");
942    static_assert((std::is_same<decltype(fma(Ambiguous(), Ambiguous(), Ambiguous())), Ambiguous>::value), "");
943    assert(fma(1,1,1) == 2);
944}
945
946void test_fmax()
947{
948    static_assert((std::is_same<decltype(fmax((float)0, (float)0)), float>::value), "");
949    static_assert((std::is_same<decltype(fmax((bool)0, (float)0)), double>::value), "");
950    static_assert((std::is_same<decltype(fmax((unsigned short)0, (double)0)), double>::value), "");
951    static_assert((std::is_same<decltype(fmax((int)0, (long double)0)), long double>::value), "");
952    static_assert((std::is_same<decltype(fmax((float)0, (unsigned int)0)), double>::value), "");
953    static_assert((std::is_same<decltype(fmax((double)0, (long)0)), double>::value), "");
954    static_assert((std::is_same<decltype(fmax((long double)0, (unsigned long)0)), long double>::value), "");
955    static_assert((std::is_same<decltype(fmax((int)0, (long long)0)), double>::value), "");
956    static_assert((std::is_same<decltype(fmax((int)0, (unsigned long long)0)), double>::value), "");
957    static_assert((std::is_same<decltype(fmax((double)0, (double)0)), double>::value), "");
958    static_assert((std::is_same<decltype(fmax((long double)0, (long double)0)), long double>::value), "");
959    static_assert((std::is_same<decltype(fmax((float)0, (double)0)), double>::value), "");
960    static_assert((std::is_same<decltype(fmax((float)0, (long double)0)), long double>::value), "");
961    static_assert((std::is_same<decltype(fmax((double)0, (long double)0)), long double>::value), "");
962    static_assert((std::is_same<decltype(fmaxf(0,0)), float>::value), "");
963    static_assert((std::is_same<decltype(fmaxl(0,0)), long double>::value), "");
964    static_assert((std::is_same<decltype(fmax((int)0, (int)0)), double>::value), "");
965    static_assert((std::is_same<decltype(fmax(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
966    assert(fmax(1,0) == 1);
967}
968
969void test_fmin()
970{
971    static_assert((std::is_same<decltype(fmin((float)0, (float)0)), float>::value), "");
972    static_assert((std::is_same<decltype(fmin((bool)0, (float)0)), double>::value), "");
973    static_assert((std::is_same<decltype(fmin((unsigned short)0, (double)0)), double>::value), "");
974    static_assert((std::is_same<decltype(fmin((int)0, (long double)0)), long double>::value), "");
975    static_assert((std::is_same<decltype(fmin((float)0, (unsigned int)0)), double>::value), "");
976    static_assert((std::is_same<decltype(fmin((double)0, (long)0)), double>::value), "");
977    static_assert((std::is_same<decltype(fmin((long double)0, (unsigned long)0)), long double>::value), "");
978    static_assert((std::is_same<decltype(fmin((int)0, (long long)0)), double>::value), "");
979    static_assert((std::is_same<decltype(fmin((int)0, (unsigned long long)0)), double>::value), "");
980    static_assert((std::is_same<decltype(fmin((double)0, (double)0)), double>::value), "");
981    static_assert((std::is_same<decltype(fmin((long double)0, (long double)0)), long double>::value), "");
982    static_assert((std::is_same<decltype(fmin((float)0, (double)0)), double>::value), "");
983    static_assert((std::is_same<decltype(fmin((float)0, (long double)0)), long double>::value), "");
984    static_assert((std::is_same<decltype(fmin((double)0, (long double)0)), long double>::value), "");
985    static_assert((std::is_same<decltype(fminf(0,0)), float>::value), "");
986    static_assert((std::is_same<decltype(fminl(0,0)), long double>::value), "");
987    static_assert((std::is_same<decltype(fmin((int)0, (int)0)), double>::value), "");
988    static_assert((std::is_same<decltype(fmin(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
989    assert(fmin(1,0) == 0);
990}
991
992void test_hypot()
993{
994    static_assert((std::is_same<decltype(hypot((float)0, (float)0)), float>::value), "");
995    static_assert((std::is_same<decltype(hypot((bool)0, (float)0)), double>::value), "");
996    static_assert((std::is_same<decltype(hypot((unsigned short)0, (double)0)), double>::value), "");
997    static_assert((std::is_same<decltype(hypot((int)0, (long double)0)), long double>::value), "");
998    static_assert((std::is_same<decltype(hypot((float)0, (unsigned int)0)), double>::value), "");
999    static_assert((std::is_same<decltype(hypot((double)0, (long)0)), double>::value), "");
1000    static_assert((std::is_same<decltype(hypot((long double)0, (unsigned long)0)), long double>::value), "");
1001    static_assert((std::is_same<decltype(hypot((int)0, (long long)0)), double>::value), "");
1002    static_assert((std::is_same<decltype(hypot((int)0, (unsigned long long)0)), double>::value), "");
1003    static_assert((std::is_same<decltype(hypot((double)0, (double)0)), double>::value), "");
1004    static_assert((std::is_same<decltype(hypot((long double)0, (long double)0)), long double>::value), "");
1005    static_assert((std::is_same<decltype(hypot((float)0, (double)0)), double>::value), "");
1006    static_assert((std::is_same<decltype(hypot((float)0, (long double)0)), long double>::value), "");
1007    static_assert((std::is_same<decltype(hypot((double)0, (long double)0)), long double>::value), "");
1008    static_assert((std::is_same<decltype(hypotf(0,0)), float>::value), "");
1009    static_assert((std::is_same<decltype(hypotl(0,0)), long double>::value), "");
1010    static_assert((std::is_same<decltype(hypot((int)0, (int)0)), double>::value), "");
1011    static_assert((std::is_same<decltype(hypot(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1012    assert(hypot(3,4) == 5);
1013}
1014
1015void test_ilogb()
1016{
1017    static_assert((std::is_same<decltype(ilogb((float)0)), int>::value), "");
1018    static_assert((std::is_same<decltype(ilogb((bool)0)), int>::value), "");
1019    static_assert((std::is_same<decltype(ilogb((unsigned short)0)), int>::value), "");
1020    static_assert((std::is_same<decltype(ilogb((int)0)), int>::value), "");
1021    static_assert((std::is_same<decltype(ilogb((unsigned int)0)), int>::value), "");
1022    static_assert((std::is_same<decltype(ilogb((long)0)), int>::value), "");
1023    static_assert((std::is_same<decltype(ilogb((unsigned long)0)), int>::value), "");
1024    static_assert((std::is_same<decltype(ilogb((long long)0)), int>::value), "");
1025    static_assert((std::is_same<decltype(ilogb((unsigned long long)0)), int>::value), "");
1026    static_assert((std::is_same<decltype(ilogb((double)0)), int>::value), "");
1027    static_assert((std::is_same<decltype(ilogb((long double)0)), int>::value), "");
1028    static_assert((std::is_same<decltype(ilogbf(0)), int>::value), "");
1029    static_assert((std::is_same<decltype(ilogbl(0)), int>::value), "");
1030    static_assert((std::is_same<decltype(ilogb(Ambiguous())), Ambiguous>::value), "");
1031    assert(ilogb(1) == 0);
1032}
1033
1034void test_lgamma()
1035{
1036    static_assert((std::is_same<decltype(lgamma((float)0)), float>::value), "");
1037    static_assert((std::is_same<decltype(lgamma((bool)0)), double>::value), "");
1038    static_assert((std::is_same<decltype(lgamma((unsigned short)0)), double>::value), "");
1039    static_assert((std::is_same<decltype(lgamma((int)0)), double>::value), "");
1040    static_assert((std::is_same<decltype(lgamma((unsigned int)0)), double>::value), "");
1041    static_assert((std::is_same<decltype(lgamma((long)0)), double>::value), "");
1042    static_assert((std::is_same<decltype(lgamma((unsigned long)0)), double>::value), "");
1043    static_assert((std::is_same<decltype(lgamma((long long)0)), double>::value), "");
1044    static_assert((std::is_same<decltype(lgamma((unsigned long long)0)), double>::value), "");
1045    static_assert((std::is_same<decltype(lgamma((double)0)), double>::value), "");
1046    static_assert((std::is_same<decltype(lgamma((long double)0)), long double>::value), "");
1047    static_assert((std::is_same<decltype(lgammaf(0)), float>::value), "");
1048    static_assert((std::is_same<decltype(lgammal(0)), long double>::value), "");
1049    static_assert((std::is_same<decltype(lgamma(Ambiguous())), Ambiguous>::value), "");
1050    assert(lgamma(1) == 0);
1051}
1052
1053void test_llrint()
1054{
1055    static_assert((std::is_same<decltype(llrint((float)0)), long long>::value), "");
1056    static_assert((std::is_same<decltype(llrint((bool)0)), long long>::value), "");
1057    static_assert((std::is_same<decltype(llrint((unsigned short)0)), long long>::value), "");
1058    static_assert((std::is_same<decltype(llrint((int)0)), long long>::value), "");
1059    static_assert((std::is_same<decltype(llrint((unsigned int)0)), long long>::value), "");
1060    static_assert((std::is_same<decltype(llrint((long)0)), long long>::value), "");
1061    static_assert((std::is_same<decltype(llrint((unsigned long)0)), long long>::value), "");
1062    static_assert((std::is_same<decltype(llrint((long long)0)), long long>::value), "");
1063    static_assert((std::is_same<decltype(llrint((unsigned long long)0)), long long>::value), "");
1064    static_assert((std::is_same<decltype(llrint((double)0)), long long>::value), "");
1065    static_assert((std::is_same<decltype(llrint((long double)0)), long long>::value), "");
1066    static_assert((std::is_same<decltype(llrintf(0)), long long>::value), "");
1067    static_assert((std::is_same<decltype(llrintl(0)), long long>::value), "");
1068    static_assert((std::is_same<decltype(llrint(Ambiguous())), Ambiguous>::value), "");
1069    assert(llrint(1) == 1LL);
1070}
1071
1072void test_llround()
1073{
1074    static_assert((std::is_same<decltype(llround((float)0)), long long>::value), "");
1075    static_assert((std::is_same<decltype(llround((bool)0)), long long>::value), "");
1076    static_assert((std::is_same<decltype(llround((unsigned short)0)), long long>::value), "");
1077    static_assert((std::is_same<decltype(llround((int)0)), long long>::value), "");
1078    static_assert((std::is_same<decltype(llround((unsigned int)0)), long long>::value), "");
1079    static_assert((std::is_same<decltype(llround((long)0)), long long>::value), "");
1080    static_assert((std::is_same<decltype(llround((unsigned long)0)), long long>::value), "");
1081    static_assert((std::is_same<decltype(llround((long long)0)), long long>::value), "");
1082    static_assert((std::is_same<decltype(llround((unsigned long long)0)), long long>::value), "");
1083    static_assert((std::is_same<decltype(llround((double)0)), long long>::value), "");
1084    static_assert((std::is_same<decltype(llround((long double)0)), long long>::value), "");
1085    static_assert((std::is_same<decltype(llroundf(0)), long long>::value), "");
1086    static_assert((std::is_same<decltype(llroundl(0)), long long>::value), "");
1087    static_assert((std::is_same<decltype(llround(Ambiguous())), Ambiguous>::value), "");
1088    assert(llround(1) == 1LL);
1089}
1090
1091void test_log1p()
1092{
1093    static_assert((std::is_same<decltype(log1p((float)0)), float>::value), "");
1094    static_assert((std::is_same<decltype(log1p((bool)0)), double>::value), "");
1095    static_assert((std::is_same<decltype(log1p((unsigned short)0)), double>::value), "");
1096    static_assert((std::is_same<decltype(log1p((int)0)), double>::value), "");
1097    static_assert((std::is_same<decltype(log1p((unsigned int)0)), double>::value), "");
1098    static_assert((std::is_same<decltype(log1p((long)0)), double>::value), "");
1099    static_assert((std::is_same<decltype(log1p((unsigned long)0)), double>::value), "");
1100    static_assert((std::is_same<decltype(log1p((long long)0)), double>::value), "");
1101    static_assert((std::is_same<decltype(log1p((unsigned long long)0)), double>::value), "");
1102    static_assert((std::is_same<decltype(log1p((double)0)), double>::value), "");
1103    static_assert((std::is_same<decltype(log1p((long double)0)), long double>::value), "");
1104    static_assert((std::is_same<decltype(log1pf(0)), float>::value), "");
1105    static_assert((std::is_same<decltype(log1pl(0)), long double>::value), "");
1106    static_assert((std::is_same<decltype(log1p(Ambiguous())), Ambiguous>::value), "");
1107    assert(log1p(0) == 0);
1108}
1109
1110void test_log2()
1111{
1112    static_assert((std::is_same<decltype(log2((float)0)), float>::value), "");
1113    static_assert((std::is_same<decltype(log2((bool)0)), double>::value), "");
1114    static_assert((std::is_same<decltype(log2((unsigned short)0)), double>::value), "");
1115    static_assert((std::is_same<decltype(log2((int)0)), double>::value), "");
1116    static_assert((std::is_same<decltype(log2((unsigned int)0)), double>::value), "");
1117    static_assert((std::is_same<decltype(log2((long)0)), double>::value), "");
1118    static_assert((std::is_same<decltype(log2((unsigned long)0)), double>::value), "");
1119    static_assert((std::is_same<decltype(log2((long long)0)), double>::value), "");
1120    static_assert((std::is_same<decltype(log2((unsigned long long)0)), double>::value), "");
1121    static_assert((std::is_same<decltype(log2((double)0)), double>::value), "");
1122    static_assert((std::is_same<decltype(log2((long double)0)), long double>::value), "");
1123    static_assert((std::is_same<decltype(log2f(0)), float>::value), "");
1124    static_assert((std::is_same<decltype(log2l(0)), long double>::value), "");
1125    static_assert((std::is_same<decltype(log2(Ambiguous())), Ambiguous>::value), "");
1126    assert(log2(1) == 0);
1127}
1128
1129void test_logb()
1130{
1131    static_assert((std::is_same<decltype(logb((float)0)), float>::value), "");
1132    static_assert((std::is_same<decltype(logb((bool)0)), double>::value), "");
1133    static_assert((std::is_same<decltype(logb((unsigned short)0)), double>::value), "");
1134    static_assert((std::is_same<decltype(logb((int)0)), double>::value), "");
1135    static_assert((std::is_same<decltype(logb((unsigned int)0)), double>::value), "");
1136    static_assert((std::is_same<decltype(logb((long)0)), double>::value), "");
1137    static_assert((std::is_same<decltype(logb((unsigned long)0)), double>::value), "");
1138    static_assert((std::is_same<decltype(logb((long long)0)), double>::value), "");
1139    static_assert((std::is_same<decltype(logb((unsigned long long)0)), double>::value), "");
1140    static_assert((std::is_same<decltype(logb((double)0)), double>::value), "");
1141    static_assert((std::is_same<decltype(logb((long double)0)), long double>::value), "");
1142    static_assert((std::is_same<decltype(logbf(0)), float>::value), "");
1143    static_assert((std::is_same<decltype(logbl(0)), long double>::value), "");
1144    static_assert((std::is_same<decltype(logb(Ambiguous())), Ambiguous>::value), "");
1145    assert(logb(1) == 0);
1146}
1147
1148void test_lrint()
1149{
1150    static_assert((std::is_same<decltype(lrint((float)0)), long>::value), "");
1151    static_assert((std::is_same<decltype(lrint((bool)0)), long>::value), "");
1152    static_assert((std::is_same<decltype(lrint((unsigned short)0)), long>::value), "");
1153    static_assert((std::is_same<decltype(lrint((int)0)), long>::value), "");
1154    static_assert((std::is_same<decltype(lrint((unsigned int)0)), long>::value), "");
1155    static_assert((std::is_same<decltype(lrint((long)0)), long>::value), "");
1156    static_assert((std::is_same<decltype(lrint((unsigned long)0)), long>::value), "");
1157    static_assert((std::is_same<decltype(lrint((long long)0)), long>::value), "");
1158    static_assert((std::is_same<decltype(lrint((unsigned long long)0)), long>::value), "");
1159    static_assert((std::is_same<decltype(lrint((double)0)), long>::value), "");
1160    static_assert((std::is_same<decltype(lrint((long double)0)), long>::value), "");
1161    static_assert((std::is_same<decltype(lrintf(0)), long>::value), "");
1162    static_assert((std::is_same<decltype(lrintl(0)), long>::value), "");
1163    static_assert((std::is_same<decltype(lrint(Ambiguous())), Ambiguous>::value), "");
1164    assert(lrint(1) == 1L);
1165}
1166
1167void test_lround()
1168{
1169    static_assert((std::is_same<decltype(lround((float)0)), long>::value), "");
1170    static_assert((std::is_same<decltype(lround((bool)0)), long>::value), "");
1171    static_assert((std::is_same<decltype(lround((unsigned short)0)), long>::value), "");
1172    static_assert((std::is_same<decltype(lround((int)0)), long>::value), "");
1173    static_assert((std::is_same<decltype(lround((unsigned int)0)), long>::value), "");
1174    static_assert((std::is_same<decltype(lround((long)0)), long>::value), "");
1175    static_assert((std::is_same<decltype(lround((unsigned long)0)), long>::value), "");
1176    static_assert((std::is_same<decltype(lround((long long)0)), long>::value), "");
1177    static_assert((std::is_same<decltype(lround((unsigned long long)0)), long>::value), "");
1178    static_assert((std::is_same<decltype(lround((double)0)), long>::value), "");
1179    static_assert((std::is_same<decltype(lround((long double)0)), long>::value), "");
1180    static_assert((std::is_same<decltype(lroundf(0)), long>::value), "");
1181    static_assert((std::is_same<decltype(lroundl(0)), long>::value), "");
1182    static_assert((std::is_same<decltype(lround(Ambiguous())), Ambiguous>::value), "");
1183    assert(lround(1) == 1L);
1184}
1185
1186void test_nan()
1187{
1188    static_assert((std::is_same<decltype(nan("")), double>::value), "");
1189    static_assert((std::is_same<decltype(nanf("")), float>::value), "");
1190    static_assert((std::is_same<decltype(nanl("")), long double>::value), "");
1191}
1192
1193void test_nearbyint()
1194{
1195    static_assert((std::is_same<decltype(nearbyint((float)0)), float>::value), "");
1196    static_assert((std::is_same<decltype(nearbyint((bool)0)), double>::value), "");
1197    static_assert((std::is_same<decltype(nearbyint((unsigned short)0)), double>::value), "");
1198    static_assert((std::is_same<decltype(nearbyint((int)0)), double>::value), "");
1199    static_assert((std::is_same<decltype(nearbyint((unsigned int)0)), double>::value), "");
1200    static_assert((std::is_same<decltype(nearbyint((long)0)), double>::value), "");
1201    static_assert((std::is_same<decltype(nearbyint((unsigned long)0)), double>::value), "");
1202    static_assert((std::is_same<decltype(nearbyint((long long)0)), double>::value), "");
1203    static_assert((std::is_same<decltype(nearbyint((unsigned long long)0)), double>::value), "");
1204    static_assert((std::is_same<decltype(nearbyint((double)0)), double>::value), "");
1205    static_assert((std::is_same<decltype(nearbyint((long double)0)), long double>::value), "");
1206    static_assert((std::is_same<decltype(nearbyintf(0)), float>::value), "");
1207    static_assert((std::is_same<decltype(nearbyintl(0)), long double>::value), "");
1208    static_assert((std::is_same<decltype(nearbyint(Ambiguous())), Ambiguous>::value), "");
1209    assert(nearbyint(1) == 1);
1210}
1211
1212void test_nextafter()
1213{
1214    static_assert((std::is_same<decltype(nextafter((float)0, (float)0)), float>::value), "");
1215    static_assert((std::is_same<decltype(nextafter((bool)0, (float)0)), double>::value), "");
1216    static_assert((std::is_same<decltype(nextafter((unsigned short)0, (double)0)), double>::value), "");
1217    static_assert((std::is_same<decltype(nextafter((int)0, (long double)0)), long double>::value), "");
1218    static_assert((std::is_same<decltype(nextafter((float)0, (unsigned int)0)), double>::value), "");
1219    static_assert((std::is_same<decltype(nextafter((double)0, (long)0)), double>::value), "");
1220    static_assert((std::is_same<decltype(nextafter((long double)0, (unsigned long)0)), long double>::value), "");
1221    static_assert((std::is_same<decltype(nextafter((int)0, (long long)0)), double>::value), "");
1222    static_assert((std::is_same<decltype(nextafter((int)0, (unsigned long long)0)), double>::value), "");
1223    static_assert((std::is_same<decltype(nextafter((double)0, (double)0)), double>::value), "");
1224    static_assert((std::is_same<decltype(nextafter((long double)0, (long double)0)), long double>::value), "");
1225    static_assert((std::is_same<decltype(nextafter((float)0, (double)0)), double>::value), "");
1226    static_assert((std::is_same<decltype(nextafter((float)0, (long double)0)), long double>::value), "");
1227    static_assert((std::is_same<decltype(nextafter((double)0, (long double)0)), long double>::value), "");
1228    static_assert((std::is_same<decltype(nextafterf(0,0)), float>::value), "");
1229    static_assert((std::is_same<decltype(nextafterl(0,0)), long double>::value), "");
1230    static_assert((std::is_same<decltype(nextafter((int)0, (int)0)), double>::value), "");
1231    static_assert((std::is_same<decltype(nextafter(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1232    assert(nextafter(0,1) == hexfloat<double>(0x1, 0, -1074));
1233}
1234
1235void test_nexttoward()
1236{
1237    static_assert((std::is_same<decltype(nexttoward((float)0, (long double)0)), float>::value), "");
1238    static_assert((std::is_same<decltype(nexttoward((bool)0, (long double)0)), double>::value), "");
1239    static_assert((std::is_same<decltype(nexttoward((unsigned short)0, (long double)0)), double>::value), "");
1240    static_assert((std::is_same<decltype(nexttoward((int)0, (long double)0)), double>::value), "");
1241    static_assert((std::is_same<decltype(nexttoward((unsigned int)0, (long double)0)), double>::value), "");
1242    static_assert((std::is_same<decltype(nexttoward((long)0, (long double)0)), double>::value), "");
1243    static_assert((std::is_same<decltype(nexttoward((unsigned long)0, (long double)0)), double>::value), "");
1244    static_assert((std::is_same<decltype(nexttoward((long long)0, (long double)0)), double>::value), "");
1245    static_assert((std::is_same<decltype(nexttoward((unsigned long long)0, (long double)0)), double>::value), "");
1246    static_assert((std::is_same<decltype(nexttoward((double)0, (long double)0)), double>::value), "");
1247    static_assert((std::is_same<decltype(nexttoward((long double)0, (long double)0)), long double>::value), "");
1248    static_assert((std::is_same<decltype(nexttowardf(0, (long double)0)), float>::value), "");
1249    static_assert((std::is_same<decltype(nexttowardl(0, (long double)0)), long double>::value), "");
1250    static_assert((std::is_same<decltype(nexttoward(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1251    assert(nexttoward(0, 1) == hexfloat<double>(0x1, 0, -1074));
1252}
1253
1254void test_remainder()
1255{
1256    static_assert((std::is_same<decltype(remainder((float)0, (float)0)), float>::value), "");
1257    static_assert((std::is_same<decltype(remainder((bool)0, (float)0)), double>::value), "");
1258    static_assert((std::is_same<decltype(remainder((unsigned short)0, (double)0)), double>::value), "");
1259    static_assert((std::is_same<decltype(remainder((int)0, (long double)0)), long double>::value), "");
1260    static_assert((std::is_same<decltype(remainder((float)0, (unsigned int)0)), double>::value), "");
1261    static_assert((std::is_same<decltype(remainder((double)0, (long)0)), double>::value), "");
1262    static_assert((std::is_same<decltype(remainder((long double)0, (unsigned long)0)), long double>::value), "");
1263    static_assert((std::is_same<decltype(remainder((int)0, (long long)0)), double>::value), "");
1264    static_assert((std::is_same<decltype(remainder((int)0, (unsigned long long)0)), double>::value), "");
1265    static_assert((std::is_same<decltype(remainder((double)0, (double)0)), double>::value), "");
1266    static_assert((std::is_same<decltype(remainder((long double)0, (long double)0)), long double>::value), "");
1267    static_assert((std::is_same<decltype(remainder((float)0, (double)0)), double>::value), "");
1268    static_assert((std::is_same<decltype(remainder((float)0, (long double)0)), long double>::value), "");
1269    static_assert((std::is_same<decltype(remainder((double)0, (long double)0)), long double>::value), "");
1270    static_assert((std::is_same<decltype(remainderf(0,0)), float>::value), "");
1271    static_assert((std::is_same<decltype(remainderl(0,0)), long double>::value), "");
1272    static_assert((std::is_same<decltype(remainder((int)0, (int)0)), double>::value), "");
1273    static_assert((std::is_same<decltype(remainder(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1274    assert(remainder(0.5,1) == 0.5);
1275}
1276
1277void test_remquo()
1278{
1279    int ip;
1280    static_assert((std::is_same<decltype(remquo((float)0, (float)0, &ip)), float>::value), "");
1281    static_assert((std::is_same<decltype(remquo((bool)0, (float)0, &ip)), double>::value), "");
1282    static_assert((std::is_same<decltype(remquo((unsigned short)0, (double)0, &ip)), double>::value), "");
1283    static_assert((std::is_same<decltype(remquo((int)0, (long double)0, &ip)), long double>::value), "");
1284    static_assert((std::is_same<decltype(remquo((float)0, (unsigned int)0, &ip)), double>::value), "");
1285    static_assert((std::is_same<decltype(remquo((double)0, (long)0, &ip)), double>::value), "");
1286    static_assert((std::is_same<decltype(remquo((long double)0, (unsigned long)0, &ip)), long double>::value), "");
1287    static_assert((std::is_same<decltype(remquo((int)0, (long long)0, &ip)), double>::value), "");
1288    static_assert((std::is_same<decltype(remquo((int)0, (unsigned long long)0, &ip)), double>::value), "");
1289    static_assert((std::is_same<decltype(remquo((double)0, (double)0, &ip)), double>::value), "");
1290    static_assert((std::is_same<decltype(remquo((long double)0, (long double)0, &ip)), long double>::value), "");
1291    static_assert((std::is_same<decltype(remquo((float)0, (double)0, &ip)), double>::value), "");
1292    static_assert((std::is_same<decltype(remquo((float)0, (long double)0, &ip)), long double>::value), "");
1293    static_assert((std::is_same<decltype(remquo((double)0, (long double)0, &ip)), long double>::value), "");
1294    static_assert((std::is_same<decltype(remquof(0,0, &ip)), float>::value), "");
1295    static_assert((std::is_same<decltype(remquol(0,0, &ip)), long double>::value), "");
1296    static_assert((std::is_same<decltype(remquo((int)0, (int)0, &ip)), double>::value), "");
1297    static_assert((std::is_same<decltype(remquo(Ambiguous(), Ambiguous(), &ip)), Ambiguous>::value), "");
1298    assert(remquo(0.5,1, &ip) == 0.5);
1299}
1300
1301void test_rint()
1302{
1303    static_assert((std::is_same<decltype(rint((float)0)), float>::value), "");
1304    static_assert((std::is_same<decltype(rint((bool)0)), double>::value), "");
1305    static_assert((std::is_same<decltype(rint((unsigned short)0)), double>::value), "");
1306    static_assert((std::is_same<decltype(rint((int)0)), double>::value), "");
1307    static_assert((std::is_same<decltype(rint((unsigned int)0)), double>::value), "");
1308    static_assert((std::is_same<decltype(rint((long)0)), double>::value), "");
1309    static_assert((std::is_same<decltype(rint((unsigned long)0)), double>::value), "");
1310    static_assert((std::is_same<decltype(rint((long long)0)), double>::value), "");
1311    static_assert((std::is_same<decltype(rint((unsigned long long)0)), double>::value), "");
1312    static_assert((std::is_same<decltype(rint((double)0)), double>::value), "");
1313    static_assert((std::is_same<decltype(rint((long double)0)), long double>::value), "");
1314    static_assert((std::is_same<decltype(rintf(0)), float>::value), "");
1315    static_assert((std::is_same<decltype(rintl(0)), long double>::value), "");
1316    static_assert((std::is_same<decltype(rint(Ambiguous())), Ambiguous>::value), "");
1317    assert(rint(1) == 1);
1318}
1319
1320void test_round()
1321{
1322    static_assert((std::is_same<decltype(round((float)0)), float>::value), "");
1323    static_assert((std::is_same<decltype(round((bool)0)), double>::value), "");
1324    static_assert((std::is_same<decltype(round((unsigned short)0)), double>::value), "");
1325    static_assert((std::is_same<decltype(round((int)0)), double>::value), "");
1326    static_assert((std::is_same<decltype(round((unsigned int)0)), double>::value), "");
1327    static_assert((std::is_same<decltype(round((long)0)), double>::value), "");
1328    static_assert((std::is_same<decltype(round((unsigned long)0)), double>::value), "");
1329    static_assert((std::is_same<decltype(round((long long)0)), double>::value), "");
1330    static_assert((std::is_same<decltype(round((unsigned long long)0)), double>::value), "");
1331    static_assert((std::is_same<decltype(round((double)0)), double>::value), "");
1332    static_assert((std::is_same<decltype(round((long double)0)), long double>::value), "");
1333    static_assert((std::is_same<decltype(roundf(0)), float>::value), "");
1334    static_assert((std::is_same<decltype(roundl(0)), long double>::value), "");
1335    static_assert((std::is_same<decltype(round(Ambiguous())), Ambiguous>::value), "");
1336    assert(round(1) == 1);
1337}
1338
1339void test_scalbln()
1340{
1341    static_assert((std::is_same<decltype(scalbln((float)0, (long)0)), float>::value), "");
1342    static_assert((std::is_same<decltype(scalbln((bool)0, (long)0)), double>::value), "");
1343    static_assert((std::is_same<decltype(scalbln((unsigned short)0, (long)0)), double>::value), "");
1344    static_assert((std::is_same<decltype(scalbln((int)0, (long)0)), double>::value), "");
1345    static_assert((std::is_same<decltype(scalbln((unsigned int)0, (long)0)), double>::value), "");
1346    static_assert((std::is_same<decltype(scalbln((long)0, (long)0)), double>::value), "");
1347    static_assert((std::is_same<decltype(scalbln((unsigned long)0, (long)0)), double>::value), "");
1348    static_assert((std::is_same<decltype(scalbln((long long)0, (long)0)), double>::value), "");
1349    static_assert((std::is_same<decltype(scalbln((unsigned long long)0, (long)0)), double>::value), "");
1350    static_assert((std::is_same<decltype(scalbln((double)0, (long)0)), double>::value), "");
1351    static_assert((std::is_same<decltype(scalbln((long double)0, (long)0)), long double>::value), "");
1352    static_assert((std::is_same<decltype(scalblnf(0, (long)0)), float>::value), "");
1353    static_assert((std::is_same<decltype(scalblnl(0, (long)0)), long double>::value), "");
1354    static_assert((std::is_same<decltype(scalbln(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1355    assert(scalbln(1, 1) == 2);
1356}
1357
1358void test_scalbn()
1359{
1360    static_assert((std::is_same<decltype(scalbn((float)0, (int)0)), float>::value), "");
1361    static_assert((std::is_same<decltype(scalbn((bool)0, (int)0)), double>::value), "");
1362    static_assert((std::is_same<decltype(scalbn((unsigned short)0, (int)0)), double>::value), "");
1363    static_assert((std::is_same<decltype(scalbn((int)0, (int)0)), double>::value), "");
1364    static_assert((std::is_same<decltype(scalbn((unsigned int)0, (int)0)), double>::value), "");
1365    static_assert((std::is_same<decltype(scalbn((long)0, (int)0)), double>::value), "");
1366    static_assert((std::is_same<decltype(scalbn((unsigned long)0, (int)0)), double>::value), "");
1367    static_assert((std::is_same<decltype(scalbn((long long)0, (int)0)), double>::value), "");
1368    static_assert((std::is_same<decltype(scalbn((unsigned long long)0, (int)0)), double>::value), "");
1369    static_assert((std::is_same<decltype(scalbn((double)0, (int)0)), double>::value), "");
1370    static_assert((std::is_same<decltype(scalbn((long double)0, (int)0)), long double>::value), "");
1371    static_assert((std::is_same<decltype(scalbnf(0, (int)0)), float>::value), "");
1372    static_assert((std::is_same<decltype(scalbnl(0, (int)0)), long double>::value), "");
1373    static_assert((std::is_same<decltype(scalbn(Ambiguous(), Ambiguous())), Ambiguous>::value), "");
1374    assert(scalbn(1, 1) == 2);
1375}
1376
1377void test_tgamma()
1378{
1379    static_assert((std::is_same<decltype(tgamma((float)0)), float>::value), "");
1380    static_assert((std::is_same<decltype(tgamma((bool)0)), double>::value), "");
1381    static_assert((std::is_same<decltype(tgamma((unsigned short)0)), double>::value), "");
1382    static_assert((std::is_same<decltype(tgamma((int)0)), double>::value), "");
1383    static_assert((std::is_same<decltype(tgamma((unsigned int)0)), double>::value), "");
1384    static_assert((std::is_same<decltype(tgamma((long)0)), double>::value), "");
1385    static_assert((std::is_same<decltype(tgamma((unsigned long)0)), double>::value), "");
1386    static_assert((std::is_same<decltype(tgamma((long long)0)), double>::value), "");
1387    static_assert((std::is_same<decltype(tgamma((unsigned long long)0)), double>::value), "");
1388    static_assert((std::is_same<decltype(tgamma((double)0)), double>::value), "");
1389    static_assert((std::is_same<decltype(tgamma((long double)0)), long double>::value), "");
1390    static_assert((std::is_same<decltype(tgammaf(0)), float>::value), "");
1391    static_assert((std::is_same<decltype(tgammal(0)), long double>::value), "");
1392    static_assert((std::is_same<decltype(tgamma(Ambiguous())), Ambiguous>::value), "");
1393    assert(tgamma(1) == 1);
1394}
1395
1396void test_trunc()
1397{
1398    static_assert((std::is_same<decltype(trunc((float)0)), float>::value), "");
1399    static_assert((std::is_same<decltype(trunc((bool)0)), double>::value), "");
1400    static_assert((std::is_same<decltype(trunc((unsigned short)0)), double>::value), "");
1401    static_assert((std::is_same<decltype(trunc((int)0)), double>::value), "");
1402    static_assert((std::is_same<decltype(trunc((unsigned int)0)), double>::value), "");
1403    static_assert((std::is_same<decltype(trunc((long)0)), double>::value), "");
1404    static_assert((std::is_same<decltype(trunc((unsigned long)0)), double>::value), "");
1405    static_assert((std::is_same<decltype(trunc((long long)0)), double>::value), "");
1406    static_assert((std::is_same<decltype(trunc((unsigned long long)0)), double>::value), "");
1407    static_assert((std::is_same<decltype(trunc((double)0)), double>::value), "");
1408    static_assert((std::is_same<decltype(trunc((long double)0)), long double>::value), "");
1409    static_assert((std::is_same<decltype(truncf(0)), float>::value), "");
1410    static_assert((std::is_same<decltype(truncl(0)), long double>::value), "");
1411    static_assert((std::is_same<decltype(trunc(Ambiguous())), Ambiguous>::value), "");
1412    assert(trunc(1) == 1);
1413}
1414
1415int main()
1416{
1417    test_abs();
1418    test_acos();
1419    test_asin();
1420    test_atan();
1421    test_atan2();
1422    test_ceil();
1423    test_cos();
1424    test_cosh();
1425    test_exp();
1426    test_fabs();
1427    test_floor();
1428    test_fmod();
1429    test_frexp();
1430    test_ldexp();
1431    test_log();
1432    test_log10();
1433    test_modf();
1434    test_pow();
1435    test_sin();
1436    test_sinh();
1437    test_sqrt();
1438    test_tan();
1439    test_tanh();
1440    test_signbit();
1441    test_fpclassify();
1442    test_isfinite();
1443    test_isnormal();
1444    test_isgreater();
1445    test_isgreaterequal();
1446    test_isless();
1447    test_islessequal();
1448    test_islessgreater();
1449    test_isunordered();
1450    test_acosh();
1451    test_asinh();
1452    test_atanh();
1453    test_cbrt();
1454    test_copysign();
1455    test_erf();
1456    test_erfc();
1457    test_exp2();
1458    test_expm1();
1459    test_fdim();
1460    test_fma();
1461    test_fmax();
1462    test_fmin();
1463    test_hypot();
1464    test_ilogb();
1465    test_lgamma();
1466    test_llrint();
1467    test_llround();
1468    test_log1p();
1469    test_log2();
1470    test_logb();
1471    test_lrint();
1472    test_lround();
1473    test_nan();
1474    test_nearbyint();
1475    test_nextafter();
1476    test_nexttoward();
1477    test_remainder();
1478    test_remquo();
1479    test_rint();
1480    test_round();
1481    test_scalbln();
1482    test_scalbn();
1483    test_tgamma();
1484    test_trunc();
1485}
1486