1 /* Copyright (C) 2002, 2003, 2004 Free Software Foundation.
2
3 Verify that built-in math function constant folding of constant
4 arguments is correctly performed by the compiler.
5
6 Written by Roger Sayle, 16th August 2002. */
7
8 /* { dg-do link } */
9 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
10
11 extern double atan (double);
12 extern float atanf (float);
13 extern long double atanl (long double);
14 extern double cbrt (double);
15 extern float cbrtf (float);
16 extern long double cbrtl (long double);
17 extern double cos (double);
18 extern float cosf (float);
19 extern long double cosl (long double);
20 extern double exp (double);
21 extern float expf (float);
22 extern long double expl (long double);
23 extern double log (double);
24 extern float logf (float);
25 extern long double logl (long double);
26 extern double pow (double, double);
27 extern float powf (float, float);
28 extern long double powl (long double, long double);
29 extern double sin (double);
30 extern float sinf (float);
31 extern long double sinl (long double);
32 extern double sqrt (double);
33 extern float sqrtf (float);
34 extern long double sqrtl (long double);
35 extern double tan (double);
36 extern float tanf (float);
37 extern long double tanl (long double);
38
39 /* All references to link_error should go away at compile-time. */
40 extern void link_error(void);
41
test(float f,double d,long double ld)42 void test (float f, double d, long double ld)
43 {
44 if (sqrt (0.0) != 0.0)
45 link_error ();
46
47 if (sqrt (1.0) != 1.0)
48 link_error ();
49
50 if (cbrt (0.0) != 0.0)
51 link_error ();
52
53 if (cbrt (1.0) != 1.0)
54 link_error ();
55
56 if (cbrt (-1.0) != -1.0)
57 link_error ();
58
59 if (exp (0.0) != 1.0)
60 link_error ();
61
62 if (exp (1.0) <= 2.71 || exp (1.0) >= 2.72)
63 link_error ();
64
65 if (log (1.0) != 0.0)
66 link_error ();
67
68 if (sin (0.0) != 0.0)
69 link_error ();
70
71 if (cos (0.0) != 1.0)
72 link_error ();
73
74 if (tan (0.0) != 0.0)
75 link_error ();
76
77 if (atan (0.0) != 0.0)
78 link_error ();
79
80 if (4.0*atan (1.0) <= 3.14 || 4.0*atan (1.0) >= 3.15)
81 link_error ();
82
83 if (pow (d, 0.0) != 1.0)
84 link_error ();
85
86 if (pow (1.0, d) != 1.0)
87 link_error ();
88
89
90 if (sqrtf (0.0F) != 0.0F)
91 link_error ();
92
93 if (sqrtf (1.0F) != 1.0F)
94 link_error ();
95
96 if (cbrtf (0.0F) != 0.0F)
97 link_error ();
98
99 if (cbrtf (1.0F) != 1.0F)
100 link_error ();
101
102 if (cbrtf (-1.0F) != -1.0F)
103 link_error ();
104
105 if (expf (0.0F) != 1.0F)
106 link_error ();
107
108 if (expf (1.0F) <= 2.71F || expf (1.0F) >= 2.72F)
109 link_error ();
110
111 if (logf (1.0F) != 0.0F)
112 link_error ();
113
114 if (sinf (0.0F) != 0.0F)
115 link_error ();
116
117 if (cosf (0.0F) != 1.0F)
118 link_error ();
119
120 if (tanf (0.0F) != 0.0F)
121 link_error ();
122
123 if (atanf (0.0F) != 0.0F)
124 link_error ();
125
126 if (4.0F*atanf (1.0F) <= 3.14F || 4.0F*atanf (1.0F) >= 3.15F)
127 link_error ();
128
129 if (powf (f, 0.0F) != 1.0F)
130 link_error ();
131
132 if (powf (1.0F, f) != 1.0F)
133 link_error ();
134
135
136 if (sqrtl (0.0L) != 0.0L)
137 link_error ();
138
139 if (sqrtl (1.0L) != 1.0L)
140 link_error ();
141
142 if (cbrtl (0.0L) != 0.0L)
143 link_error ();
144
145 if (cbrtl (1.0L) != 1.0L)
146 link_error ();
147
148 if (cbrtl (-1.0L) != -1.0L)
149 link_error ();
150
151 if (expl (0.0L) != 1.0L)
152 link_error ();
153
154 if (expl (1.0L) <= 2.71L || expl (1.0L) >= 2.72L)
155 link_error ();
156
157 if (logl (1.0L) != 0.0L)
158 link_error ();
159
160 if (sinl (0.0L) != 0.0L)
161 link_error ();
162
163 if (cosl (0.0L) != 1.0L)
164 link_error ();
165
166 if (tanl (0.0L) != 0.0L)
167 link_error ();
168
169 if (atanl (0.0) != 0.0L)
170 link_error ();
171
172 if (4.0L*atanl (1.0L) <= 3.14L || 4.0L*atanl (1.0L) >= 3.15L)
173 link_error ();
174
175 if (powl (ld, 0.0L) != 1.0L)
176 link_error ();
177
178 if (powl (1.0L, ld) != 1.0L)
179 link_error ();
180 }
181
main()182 int main()
183 {
184 test (3.0, 3.0F, 3.0L);
185
186 return 0;
187 }
188