Add _FloatN, _FloatNx tests for __builtin_fpclassify.
[official-gcc.git] / gcc / testsuite / gcc.dg / torture / builtin-convert-1.c
blobeecd2b3d275e0a035edac11d60c0db9b4e007cff
1 /* Copyright (C) 2004 Free Software Foundation.
3 Verify that built-in math function conversion to smaller FP types
4 is correctly performed by the compiler.
6 Written by Kaveh Ghazi, 2004-03-17. */
8 /* { dg-do link } */
9 /* { dg-options "-ffast-math" } */
10 /* { dg-add-options c99_runtime } */
11 /* { dg-require-effective-target c99_runtime } */
13 #include "../builtins-config.h"
15 /* This check is necessary when converting to a C99 function. */
16 #ifdef HAVE_C99_RUNTIME
17 #define C99CODE(CODE) (CODE)
18 #define MAYBEC99(CODE, C99) (CODE)
19 #else
20 #define C99CODE(CODE) 0
21 #define MAYBEC99(CODE, C99) (!(C99) && (CODE))
22 #endif
24 void test(double d1, float f1, long double ld1)
26 /* Test converting math builtins to narrower FP types based on a
27 narrowing cast on the outside of the call. MATHFN is the
28 function to test, and C99 is 0/1 depending on whether the
29 `double' version of MATHFN is a C99 function. The optimization
30 is only performed if the replacement function is actually
31 narrower in width, so check that first. */
32 #define OUTER_CAST1(MATHFN, C99) \
33 extern void link_failure_outer_##MATHFN##l_##MATHFN##_1(void); \
34 extern void link_failure_outer_##MATHFN##l_##MATHFN##_2(void); \
35 extern void link_failure_outer_##MATHFN##l_##MATHFN##f_1(void); \
36 extern void link_failure_outer_##MATHFN##l_##MATHFN##f_2(void); \
37 extern void link_failure_outer_##MATHFN##_##MATHFN##f_1(void); \
38 extern void link_failure_outer_##MATHFN##_##MATHFN##f_2(void); \
39 if (sizeof (long double) > sizeof (double) \
40 && MAYBEC99 ((double) __builtin_##MATHFN##l((double)ld1) != __builtin_##MATHFN(ld1), C99)) \
41 link_failure_outer_##MATHFN##l_##MATHFN##_1(); \
42 if (sizeof (long double) > sizeof (double) \
43 && MAYBEC99 ((double) __builtin_##MATHFN##l(d1) != __builtin_##MATHFN(d1), C99)) \
44 link_failure_outer_##MATHFN##l_##MATHFN##_1(); \
45 if (sizeof (long double) > sizeof (double) \
46 && MAYBEC99 ((double) __builtin_##MATHFN##l(f1) != __builtin_##MATHFN(f1), C99)) \
47 link_failure_outer_##MATHFN##l_##MATHFN##_2(); \
48 if (sizeof (long double) > sizeof (float) \
49 && C99CODE ((float) __builtin_##MATHFN##l((float) ld1) != __builtin_##MATHFN##f(ld1))) \
50 link_failure_outer_##MATHFN##l_##MATHFN##f_1(); \
51 if (sizeof (long double) > sizeof (float) \
52 && C99CODE ((float) __builtin_##MATHFN##l((float) d1) != __builtin_##MATHFN##f(d1))) \
53 link_failure_outer_##MATHFN##l_##MATHFN##f_1(); \
54 if (sizeof (long double) > sizeof (float) \
55 && C99CODE ((float) __builtin_##MATHFN##l(f1) != __builtin_##MATHFN##f(f1))) \
56 link_failure_outer_##MATHFN##l_##MATHFN##f_2(); \
57 if (sizeof (double) > sizeof (float) \
58 && C99CODE ((float) __builtin_##MATHFN((float) ld1) != __builtin_##MATHFN##f(ld1))) \
59 link_failure_outer_##MATHFN##_##MATHFN##f_1(); \
60 if (sizeof (double) > sizeof (float) \
61 && C99CODE ((float) __builtin_##MATHFN((float) d1) != __builtin_##MATHFN##f(d1))) \
62 link_failure_outer_##MATHFN##_##MATHFN##f_1(); \
63 if (sizeof (double) > sizeof (float) \
64 && C99CODE ((float) __builtin_##MATHFN(f1) != __builtin_##MATHFN##f(f1))) \
65 link_failure_outer_##MATHFN##_##MATHFN##f_2()
67 /* Test converting math builtins to narrower FP types based on if
68 the argument is a narrower type (perhaps implicitly) cast to a
69 wider one. */
70 #define INNER_CAST1(MATHFN, C99) \
71 extern void link_failure_inner_##MATHFN##l_##MATHFN(void); \
72 extern void link_failure_inner_##MATHFN##l_##MATHFN##f(void); \
73 extern void link_failure_inner_##MATHFN##_##MATHFN##f(void); \
74 if (sizeof (long double) > sizeof (double) \
75 && MAYBEC99 (__builtin_##MATHFN##l(d1) != (long double) __builtin_##MATHFN(d1), C99)) \
76 link_failure_inner_##MATHFN##l_##MATHFN(); \
77 if (sizeof (long double) > sizeof (float) \
78 && C99CODE (__builtin_##MATHFN##l(f1) != (long double) __builtin_##MATHFN##f(f1))) \
79 link_failure_inner_##MATHFN##l_##MATHFN##f(); \
80 if (sizeof (long double) > sizeof (float) \
81 && C99CODE (__builtin_##MATHFN##l((double)f1) != (long double) __builtin_##MATHFN##f(f1))) \
82 link_failure_inner_##MATHFN##l_##MATHFN##f(); \
83 if (sizeof (double) > sizeof (float) \
84 && C99CODE (__builtin_##MATHFN(f1) != (double) __builtin_##MATHFN##f(f1))) \
85 link_failure_inner_##MATHFN##_##MATHFN##f()
88 #ifdef __OPTIMIZE__
89 OUTER_CAST1 (acos, /*C99=*/ 0);
90 OUTER_CAST1 (acosh, /*C99=*/ 1);
91 OUTER_CAST1 (asin, /*C99=*/ 1);
92 OUTER_CAST1 (asinh, /*C99=*/ 1);
93 OUTER_CAST1 (atan, /*C99=*/ 0);
94 OUTER_CAST1 (atanh, /*C99=*/ 1);
95 OUTER_CAST1 (cbrt, /*C99=*/ 1);
96 OUTER_CAST1 (cos, /*C99=*/ 0);
97 OUTER_CAST1 (cosh, /*C99=*/ 0);
98 OUTER_CAST1 (erf, /*C99=*/ 1);
99 OUTER_CAST1 (erfc, /*C99=*/ 1);
100 OUTER_CAST1 (exp, /*C99=*/ 0);
101 OUTER_CAST1 (exp2, /*C99=*/ 1);
102 OUTER_CAST1 (expm1, /*C99=*/ 1);
103 OUTER_CAST1 (fabs, /*C99=*/ 0);
104 OUTER_CAST1 (log, /*C99=*/ 0);
105 OUTER_CAST1 (log10, /*C99=*/ 0);
106 OUTER_CAST1 (log1p, /*C99=*/ 1);
107 OUTER_CAST1 (log2, /*C99=*/ 1);
108 OUTER_CAST1 (logb, /*C99=*/ 1);
109 OUTER_CAST1 (sin, /*C99=*/ 0);
110 OUTER_CAST1 (sinh, /*C99=*/ 0);
111 OUTER_CAST1 (sqrt, /*C99=*/ 0);
112 OUTER_CAST1 (tan, /*C99=*/ 0);
113 OUTER_CAST1 (tanh, /*C99=*/ 0);
114 OUTER_CAST1 (tgamma, /*C99=*/ 1);
116 INNER_CAST1 (ceil, /*C99=*/ 0);
117 OUTER_CAST1 (ceil, /*C99=*/ 0);
118 INNER_CAST1 (floor, /*C99=*/ 0);
119 OUTER_CAST1 (floor, /*C99=*/ 0);
120 INNER_CAST1 (lceil, /*C99=*/ 1);
121 OUTER_CAST1 (lceil, /*C99=*/ 1);
122 INNER_CAST1 (lfloor, /*C99=*/ 1);
123 OUTER_CAST1 (lfloor, /*C99=*/ 1);
124 INNER_CAST1 (lrint, /*C99=*/ 1);
125 OUTER_CAST1 (lrint, /*C99=*/ 1);
126 INNER_CAST1 (lround, /*C99=*/ 1);
127 OUTER_CAST1 (lround, /*C99=*/ 1);
128 INNER_CAST1 (llceil, /*C99=*/ 1);
129 OUTER_CAST1 (llceil, /*C99=*/ 1);
130 INNER_CAST1 (llfloor, /*C99=*/ 1);
131 OUTER_CAST1 (llfloor, /*C99=*/ 1);
132 INNER_CAST1 (llrint, /*C99=*/ 1);
133 OUTER_CAST1 (llrint, /*C99=*/ 1);
134 INNER_CAST1 (llround, /*C99=*/ 1);
135 OUTER_CAST1 (llround, /*C99=*/ 1);
136 INNER_CAST1 (nearbyint, /*C99=*/ 1);
137 OUTER_CAST1 (nearbyint, /*C99=*/ 1);
138 INNER_CAST1 (rint, /*C99=*/ 1);
139 OUTER_CAST1 (rint, /*C99=*/ 1);
140 INNER_CAST1 (round, /*C99=*/ 1);
141 OUTER_CAST1 (round, /*C99=*/ 1);
142 INNER_CAST1 (trunc, /*C99=*/ 1);
143 OUTER_CAST1 (trunc, /*C99=*/ 1);
144 #endif /* __OPTIMIZE__ */
147 int main (void)
149 return 0;