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