1 /* Copyright (C) 2002 Free Software Foundation.
2
3 Verify that built-in math function constant folding doesn't
4 cause any problems for the compiler.
5
6 Written by Roger Sayle, 16th August 2002. */
7
8 /* { dg-do compile } */
9 /* { dg-options "-O2 -ffast-math" } */
10
11 extern double atan (double);
12 extern float atanf (float);
13 extern long double atanl (long double);
14 extern double exp (double);
15 extern float expf (float);
16 extern long double expl (long double);
17 extern double fabs (double);
18 extern float fabsf (float);
19 extern long double fabsl (long double);
20 extern double log (double);
21 extern float logf (float);
22 extern long double logl (long double);
23 extern double pow (double, double);
24 extern float powf (float, float);
25 extern long double powl (long double, long double);
26 extern double sqrt (double);
27 extern float sqrtf (float);
28 extern long double sqrtl (long double);
29 extern double tan (double);
30 extern float tanf (float);
31 extern long double tanl (long double);
32
test1(double x)33 double test1(double x)
34 {
35 return log(exp(x));
36 }
37
test2(double x)38 double test2(double x)
39 {
40 return exp(log(x));
41 }
42
test3(double x)43 double test3(double x)
44 {
45 return sqrt(exp(x));
46 }
47
test4(double x)48 double test4(double x)
49 {
50 return log(sqrt(x));
51 }
52
test5(double x,double y)53 double test5(double x, double y)
54 {
55 return sqrt(x)*sqrt(y);
56 }
57
test6(double x,double y)58 double test6(double x, double y)
59 {
60 return exp(x)*exp(y);
61 }
62
test7(double x,double y)63 double test7(double x, double y)
64 {
65 return x/exp(y);
66 }
67
test8(double x)68 double test8(double x)
69 {
70 return fabs(sqrt(x));
71 }
72
test9(double x)73 double test9(double x)
74 {
75 return fabs(exp(x));
76 }
77
test10(double x)78 double test10(double x)
79 {
80 return tan(atan(x));
81 }
82
test11(double x)83 double test11(double x)
84 {
85 return fabs(fabs(x));
86 }
87
test12(double x)88 double test12(double x)
89 {
90 return fabs(atan(x));
91 }
92
test13(double x)93 double test13(double x)
94 {
95 return fabs(pow(2.0,x));
96 }
97
test1f(float x)98 float test1f(float x)
99 {
100 return logf(expf(x));
101 }
102
test2f(float x)103 float test2f(float x)
104 {
105 return expf(logf(x));
106 }
107
test3f(float x)108 float test3f(float x)
109 {
110 return sqrtf(expf(x));
111 }
112
test4f(float x)113 float test4f(float x)
114 {
115 return logf(sqrtf(x));
116 }
117
test5f(float x,float y)118 float test5f(float x, float y)
119 {
120 return sqrtf(x)*sqrtf(y);
121 }
122
test6f(float x,float y)123 float test6f(float x, float y)
124 {
125 return expf(x)*expf(y);
126 }
127
test7f(float x,float y)128 float test7f(float x, float y)
129 {
130 return x/expf(y);
131 }
132
test8f(float x)133 float test8f(float x)
134 {
135 return fabsf(sqrtf(x));
136 }
137
test9f(float x)138 float test9f(float x)
139 {
140 return fabsf(expf(x));
141 }
142
test10f(float x)143 float test10f(float x)
144 {
145 return tanf(atanf(x));
146 }
147
test11f(float x)148 float test11f(float x)
149 {
150 return fabsf(fabsf(x));
151 }
152
test12f(float x)153 float test12f(float x)
154 {
155 return fabsf(atanf(x));
156 }
157
test13f(float x)158 float test13f(float x)
159 {
160 return fabsf(powf(2.0f,x));
161 }
162
test1l(long double x)163 long double test1l(long double x)
164 {
165 return logl(expl(x));
166 }
167
test2l(long double x)168 long double test2l(long double x)
169 {
170 return expl(logl(x));
171 }
172
test3l(long double x)173 long double test3l(long double x)
174 {
175 return sqrtl(expl(x));
176 }
177
test4l(long double x)178 long double test4l(long double x)
179 {
180 return logl(sqrtl(x));
181 }
182
test5l(long double x,long double y)183 long double test5l(long double x, long double y)
184 {
185 return sqrtl(x)*sqrtl(y);
186 }
187
test6l(long double x,long double y)188 long double test6l(long double x, long double y)
189 {
190 return expl(x)*expl(y);
191 }
192
test7l(long double x,long double y)193 long double test7l(long double x, long double y)
194 {
195 return x/expl(y);
196 }
197
test8l(long double x)198 long double test8l(long double x)
199 {
200 return fabsl(sqrtl(x));
201 }
202
test9l(long double x)203 long double test9l(long double x)
204 {
205 return fabsl(expl(x));
206 }
207
test10l(long double x)208 long double test10l(long double x)
209 {
210 return tanl(atanl(x));
211 }
212
test11l(long double x)213 long double test11l(long double x)
214 {
215 return fabsl(fabsl(x));
216 }
217
test12l(long double x)218 long double test12l(long double x)
219 {
220 return fabsl(atanl(x));
221 }
222
test13l(long double x)223 long double test13l(long double x)
224 {
225 return fabsl(powl(2.0l,x));
226 }
227
228