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
33 double test1(double x)
34 {
35 return log(exp(x));
36 }
37
38 double test2(double x)
39 {
40 return exp(log(x));
41 }
42
43 double test3(double x)
44 {
45 return sqrt(exp(x));
46 }
47
48 double test4(double x)
49 {
50 return log(sqrt(x));
51 }
52
53 double test5(double x, double y)
54 {
55 return sqrt(x)*sqrt(y);
56 }
57
58 double test6(double x, double y)
59 {
60 return exp(x)*exp(y);
61 }
62
63 double test7(double x, double y)
64 {
65 return x/exp(y);
66 }
67
68 double test8(double x)
69 {
70 return fabs(sqrt(x));
71 }
72
73 double test9(double x)
74 {
75 return fabs(exp(x));
76 }
77
78 double test10(double x)
79 {
80 return tan(atan(x));
81 }
82
83 double test11(double x)
84 {
85 return fabs(fabs(x));
86 }
87
88 double test12(double x)
89 {
90 return fabs(atan(x));
91 }
92
93 double test13(double x)
94 {
95 return fabs(pow(2.0,x));
96 }
97
98 float test1f(float x)
99 {
100 return logf(expf(x));
101 }
102
103 float test2f(float x)
104 {
105 return expf(logf(x));
106 }
107
108 float test3f(float x)
109 {
110 return sqrtf(expf(x));
111 }
112
113 float test4f(float x)
114 {
115 return logf(sqrtf(x));
116 }
117
118 float test5f(float x, float y)
119 {
120 return sqrtf(x)*sqrtf(y);
121 }
122
123 float test6f(float x, float y)
124 {
125 return expf(x)*expf(y);
126 }
127
128 float test7f(float x, float y)
129 {
130 return x/expf(y);
131 }
132
133 float test8f(float x)
134 {
135 return fabsf(sqrtf(x));
136 }
137
138 float test9f(float x)
139 {
140 return fabsf(expf(x));
141 }
142
143 float test10f(float x)
144 {
145 return tanf(atanf(x));
146 }
147
148 float test11f(float x)
149 {
150 return fabsf(fabsf(x));
151 }
152
153 float test12f(float x)
154 {
155 return fabsf(atanf(x));
156 }
157
158 float test13f(float x)
159 {
160 return fabsf(powf(2.0f,x));
161 }
162
163 long double test1l(long double x)
164 {
165 return logl(expl(x));
166 }
167
168 long double test2l(long double x)
169 {
170 return expl(logl(x));
171 }
172
173 long double test3l(long double x)
174 {
175 return sqrtl(expl(x));
176 }
177
178 long double test4l(long double x)
179 {
180 return logl(sqrtl(x));
181 }
182
183 long double test5l(long double x, long double y)
184 {
185 return sqrtl(x)*sqrtl(y);
186 }
187
188 long double test6l(long double x, long double y)
189 {
190 return expl(x)*expl(y);
191 }
192
193 long double test7l(long double x, long double y)
194 {
195 return x/expl(y);
196 }
197
198 long double test8l(long double x)
199 {
200 return fabsl(sqrtl(x));
201 }
202
203 long double test9l(long double x)
204 {
205 return fabsl(expl(x));
206 }
207
208 long double test10l(long double x)
209 {
210 return tanl(atanl(x));
211 }
212
213 long double test11l(long double x)
214 {
215 return fabsl(fabsl(x));
216 }
217
218 long double test12l(long double x)
219 {
220 return fabsl(atanl(x));
221 }
222
223 long double test13l(long double x)
224 {
225 return fabsl(powl(2.0l,x));
226 }
227