OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gcc.dg/] [torture/] [builtin-attr-1.c] - Blame information for rev 801

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 689 jeremybenn
/* Copyright (C) 2003, 2005  Free Software Foundation.
2
 
3
   Verify that the `const' function attribute is applied to various
4
   builtins and that these functions are optimized away by the
5
   compiler under the appropriate circumstances.
6
 
7
   Written by Kaveh Ghazi, 2003-08-04.  */
8
 
9
/* { dg-do link } */
10
/* { dg-options "-ffast-math" } */
11
 
12
/* These are helper macros to test combinations of functions.  We test
13
   foo() != foo() with the same arguments, and expect the compiler to
14
   optimize away these tests of const functions.  */
15
 
16
/* Just test the __builtin_ functions.  */
17
#define BUILTIN_TEST1(FN, TYPE) \
18
extern void link_failure_builtin_##FN(void); \
19
void test_builtin_##FN(TYPE x) \
20
{ if (__builtin_##FN(x) != __builtin_##FN(x)) link_failure_builtin_##FN(); }
21
 
22
/* Just test the __builtin_ functions.  */
23
#define BUILTIN_TEST2(FN, TYPE) \
24
extern void link_failure_builtin_##FN(void); \
25
void test_builtin_##FN(TYPE x, TYPE y) \
26
{ if (__builtin_##FN(x,y) != __builtin_##FN(x,y)) link_failure_builtin_##FN(); }
27
 
28
/* Also test the regular (non-__builtin_) function.  */
29
#define TEST1(FN, TYPE, RTYPE) \
30
BUILTIN_TEST1(FN, TYPE) \
31
extern void link_failure_##FN(void); \
32
extern RTYPE FN(TYPE); \
33
void test_##FN(TYPE x) { if (FN(x) != FN(x)) link_failure_##FN(); }
34
 
35
/* Test the __builtin_ functions taking void arguments (with the "f"
36
   and "l" variants).  */
37
#define BUILTIN_FPTEST0(FN) \
38
extern void link_failure_builtin_##FN(void); \
39
extern void link_failure_builtin_##FN##f(void); \
40
extern void link_failure_builtin_##FN##l(void); \
41
void test_builtin_##FN(void) \
42
{ if (__builtin_##FN() != __builtin_##FN()) link_failure_builtin_##FN(); } \
43
void test_builtin_##FN##f(void) \
44
{ if (__builtin_##FN##f() != __builtin_##FN##f()) link_failure_builtin_##FN##f(); } \
45
void test_builtin_##FN##l(void) \
46
{ if (__builtin_##FN##l() != __builtin_##FN##l()) link_failure_builtin_##FN##l(); }
47
 
48
/* Test the __builtin_ functions taking one FP argument (with the "f"
49
   and "l" variants).  */
50
#define BUILTIN_FPTEST1(FN) \
51
extern void link_failure_builtin_##FN(void); \
52
extern void link_failure_builtin_##FN##f(void); \
53
extern void link_failure_builtin_##FN##l(void); \
54
void test_builtin_##FN(double d) \
55
{ if (__builtin_##FN(d) != __builtin_##FN(d)) link_failure_builtin_##FN(); } \
56
void test_builtin_##FN##f(float f) \
57
{ if (__builtin_##FN##f(f) != __builtin_##FN##f(f)) link_failure_builtin_##FN##f(); } \
58
void test_builtin_##FN##l(long double ld) \
59
{ if (__builtin_##FN##l(ld) != __builtin_##FN##l(ld)) link_failure_builtin_##FN##l(); }
60
 
61
/* Test the __builtin_ functions taking one argument of supplied type
62
   (with the "f" and "l" variants).  */
63
#define BUILTIN_FPTEST1ARG(FN, TYPE) \
64
extern void link_failure_builtin_##FN(void); \
65
extern void link_failure_builtin_##FN##f(void); \
66
extern void link_failure_builtin_##FN##l(void); \
67
void test_builtin_##FN(TYPE x) \
68
{ if (__builtin_##FN(x) != __builtin_##FN(x)) link_failure_builtin_##FN(); } \
69
void test_builtin_##FN##f(TYPE x) \
70
{ if (__builtin_##FN##f(x) != __builtin_##FN##f(x)) link_failure_builtin_##FN##f(); } \
71
void test_builtin_##FN##l(TYPE x) \
72
{ if (__builtin_##FN##l(x) != __builtin_##FN##l(x)) link_failure_builtin_##FN##l(); }
73
 
74
/* Test the __builtin_ functions taking two FP arguments (with the "f"
75
   and "l" variants).  */
76
#define BUILTIN_FPTEST2(FN) \
77
extern void link_failure_builtin_##FN(void); \
78
extern void link_failure_builtin_##FN##f(void); \
79
extern void link_failure_builtin_##FN##l(void); \
80
void test_builtin_##FN(double d1, double d2) \
81
{ if (__builtin_##FN(d1,d2) != __builtin_##FN(d1,d2)) link_failure_builtin_##FN(); } \
82
void test_builtin_##FN##f(float f1, float f2) \
83
{ if (__builtin_##FN##f(f1,f2) != __builtin_##FN##f(f1,f2)) link_failure_builtin_##FN##f(); } \
84
void test_builtin_##FN##l(long double ld1, long double ld2) \
85
{ if (__builtin_##FN##l(ld1,ld2) != __builtin_##FN##l(ld1,ld2)) link_failure_builtin_##FN##l(); }
86
 
87
/* Test the __builtin_ functions taking two arguments, the first one
88
   is of a supplied type and the second one one is of FP type (with
89
   the "f" and "l" variants).  */
90
#define BUILTIN_FPTEST2ARG1(FN, TYPE) \
91
extern void link_failure_builtin_##FN(void); \
92
extern void link_failure_builtin_##FN##f(void); \
93
extern void link_failure_builtin_##FN##l(void); \
94
void test_builtin_##FN(TYPE x, double d) \
95
{ if (__builtin_##FN(x,d) != __builtin_##FN(x,d)) link_failure_builtin_##FN(); } \
96
void test_builtin_##FN##f(TYPE x, float f) \
97
{ if (__builtin_##FN##f(x,f) != __builtin_##FN##f(x,f)) link_failure_builtin_##FN##f(); } \
98
void test_builtin_##FN##l(TYPE x, long double ld) \
99
{ if (__builtin_##FN##l(x,ld) != __builtin_##FN##l(x,ld)) link_failure_builtin_##FN##l(); }
100
 
101
/* Test the __builtin_ functions taking two arguments, the first one
102
   is of FP type and the second one one is of a supplied type (with
103
   the "f" and "l" variants).  */
104
#define BUILTIN_FPTEST2ARG2(FN, TYPE) \
105
extern void link_failure_builtin_##FN(void); \
106
extern void link_failure_builtin_##FN##f(void); \
107
extern void link_failure_builtin_##FN##l(void); \
108
void test_builtin_##FN(double d, TYPE x) \
109
{ if (__builtin_##FN(d,x) != __builtin_##FN(d,x)) link_failure_builtin_##FN(); } \
110
void test_builtin_##FN##f(float f, TYPE x) \
111
{ if (__builtin_##FN##f(f,x) != __builtin_##FN##f(f,x)) link_failure_builtin_##FN##f(); } \
112
void test_builtin_##FN##l(long double ld, TYPE x) \
113
{ if (__builtin_##FN##l(ld,x) != __builtin_##FN##l(ld,x)) link_failure_builtin_##FN##l(); }
114
 
115
/* Test the __builtin_ functions taking three FP arguments (with the
116
   "f" and "l" variants).  */
117
#define BUILTIN_FPTEST3(FN) \
118
extern void link_failure_builtin_##FN(void); \
119
extern void link_failure_builtin_##FN##f(void); \
120
extern void link_failure_builtin_##FN##l(void); \
121
void test_builtin_##FN(double d1, double d2, double d3) \
122
{ if (__builtin_##FN(d1,d2,d3) != __builtin_##FN(d1,d2,d3)) link_failure_builtin_##FN(); } \
123
void test_builtin_##FN##f(float f1, float f2, float f3) \
124
{ if (__builtin_##FN##f(f1,f2,f3) != __builtin_##FN##f(f1,f2,f3)) link_failure_builtin_##FN##f(); } \
125
void test_builtin_##FN##l(long double ld1, long double ld2, long double ld3) \
126
{ if (__builtin_##FN##l(ld1,ld2,ld3) != __builtin_##FN##l(ld1,ld2,ld3)) link_failure_builtin_##FN##l(); }
127
 
128
/* Test the __builtin_ functions taking one complex argument (with the
129
   "f" and "l" variants).  */
130
#define BUILTIN_CPTEST1(FN) \
131
extern void link_failure_builtin_##FN(void); \
132
extern void link_failure_builtin_##FN##f(void); \
133
extern void link_failure_builtin_##FN##l(void); \
134
void test_builtin_##FN(_Complex double d) \
135
{ if (__builtin_##FN(d) != __builtin_##FN(d)) link_failure_builtin_##FN(); } \
136
void test_builtin_##FN##f(_Complex float f) \
137
{ if (__builtin_##FN##f(f) != __builtin_##FN##f(f)) link_failure_builtin_##FN##f(); } \
138
void test_builtin_##FN##l(_Complex long double ld) \
139
{ if (__builtin_##FN##l(ld) != __builtin_##FN##l(ld)) link_failure_builtin_##FN##l(); }
140
 
141
/* Test the __builtin_ functions taking two complex arguments (with
142
   the "f" and "l" variants).  */
143
#define BUILTIN_CPTEST2(FN) \
144
extern void link_failure_builtin_##FN(void); \
145
extern void link_failure_builtin_##FN##f(void); \
146
extern void link_failure_builtin_##FN##l(void); \
147
void test_builtin_##FN(_Complex double d1, _Complex double d2) \
148
{ if (__builtin_##FN(d1,d2) != __builtin_##FN(d1,d2)) link_failure_builtin_##FN(); } \
149
void test_builtin_##FN##f(_Complex float f1, _Complex float f2) \
150
{ if (__builtin_##FN##f(f1,f2) != __builtin_##FN##f(f1,f2)) link_failure_builtin_##FN##f(); } \
151
void test_builtin_##FN##l(_Complex long double ld1, _Complex long double ld2) \
152
{ if (__builtin_##FN##l(ld1,ld2) != __builtin_##FN##l(ld1,ld2)) link_failure_builtin_##FN##l(); }
153
 
154
/* These macros additionally test the non-__builtin_ functions.  */
155
 
156
/* Test the functions taking one FP argument (with the "f" and "l"
157
   variants) and returning that type.  */
158
#define FPTEST1(FN) \
159
BUILTIN_FPTEST1(FN) \
160
extern void link_failure_##FN(void); \
161
extern void link_failure_##FN##f(void); \
162
extern void link_failure_##FN##l(void); \
163
extern double FN(double); \
164
extern float FN##f(float); \
165
extern long double FN##l(long double); \
166
void test_##FN(double d) \
167
{ if (FN(d) != FN(d)) link_failure_##FN(); } \
168
void test_##FN##f(float f) \
169
{ if (FN##f(f) != FN##f(f)) link_failure_##FN##f(); } \
170
void test_##FN##l(long double ld) \
171
{ if (FN##l(ld) != FN##l(ld)) link_failure_##FN##l(); }
172
 
173
/* Test the functions taking one FP argument (with the "f" and "l"
174
   variants) and returning TYPE.  */
175
#define FPTEST1T(FN, TYPE) \
176
BUILTIN_FPTEST1(FN) \
177
extern void link_failure_##FN(void); \
178
extern void link_failure_##FN##f(void); \
179
extern void link_failure_##FN##l(void); \
180
extern TYPE FN(double); \
181
extern TYPE FN##f(float); \
182
extern TYPE FN##l(long double); \
183
void test_##FN(double d) \
184
{ if (FN(d) != FN(d)) link_failure_##FN(); } \
185
void test_##FN##f(float f) \
186
{ if (FN##f(f) != FN##f(f)) link_failure_##FN##f(); } \
187
void test_##FN##l(long double ld) \
188
{ if (FN##l(ld) != FN##l(ld)) link_failure_##FN##l(); }
189
 
190
/* Test the functions taking two FP arguments (with the "f" and "l"
191
   variants).  */
192
#define FPTEST2(FN) \
193
BUILTIN_FPTEST2(FN) \
194
extern void link_failure_##FN(void); \
195
extern void link_failure_##FN##f(void); \
196
extern void link_failure_##FN##l(void); \
197
extern double FN(double, double); \
198
extern float FN##f(float, float); \
199
extern long double FN##l(long double, long double); \
200
void test_##FN(double d1, double d2) \
201
{ if (FN(d1,d2) != FN(d1,d2)) link_failure_##FN(); } \
202
void test_##FN##f(float f1, float f2) \
203
{ if (FN##f(f1,f2) != FN##f(f1,f2)) link_failure_##FN##f(); } \
204
void test_##FN##l(long double ld1, long double ld2) \
205
{ if (FN##l(ld1,ld2) != FN##l(ld1,ld2)) link_failure_##FN##l(); }
206
 
207
/* Test the functions taking two arguments, the first one is of a
208
   supplied type and the second one one is of FP type (with the "f"
209
   and "l" variants).  */
210
#define FPTEST2ARG1(FN, TYPE) \
211
BUILTIN_FPTEST2ARG1(FN, TYPE) \
212
extern void link_failure_##FN(void); \
213
extern void link_failure_##FN##f(void); \
214
extern void link_failure_##FN##l(void); \
215
extern double FN(TYPE, double); \
216
extern float FN##f(TYPE, float); \
217
extern long double FN##l(TYPE, long double); \
218
void test_##FN(TYPE x, double d) \
219
{ if (FN(x,d) != FN(x,d)) link_failure_##FN(); } \
220
void test_##FN##f(TYPE x, float f) \
221
{ if (FN##f(x,f) != FN##f(x,f)) link_failure_##FN##f(); } \
222
void test_##FN##l(TYPE x, long double ld) \
223
{ if (FN##l(x,ld) != FN##l(x,ld)) link_failure_##FN##l(); }
224
 
225
/* Test the functions taking two arguments, the first one is of FP
226
   type and the second one one is of a supplied type (with the "f" and
227
   "l" variants).  */
228
#define FPTEST2ARG2(FN, TYPE) \
229
BUILTIN_FPTEST2ARG2(FN, TYPE) \
230
extern void link_failure_##FN(void); \
231
extern void link_failure_##FN##f(void); \
232
extern void link_failure_##FN##l(void); \
233
extern double FN(double, TYPE); \
234
extern float FN##f(float, TYPE); \
235
extern long double FN##l(long double, TYPE); \
236
void test_##FN(double d, TYPE x) \
237
{ if (FN(d,x) != FN(d,x)) link_failure_##FN(); } \
238
void test_##FN##f(float f, TYPE x) \
239
{ if (FN##f(f,x) != FN##f(f,x)) link_failure_##FN##f(); } \
240
void test_##FN##l(long double ld, TYPE x) \
241
{ if (FN##l(ld,x) != FN##l(ld,x)) link_failure_##FN##l(); }
242
 
243
/* Test the functions taking three FP arguments (with the "f" and "l"
244
   variants).  */
245
#define FPTEST3(FN) \
246
BUILTIN_FPTEST3(FN) \
247
extern void link_failure_##FN(void); \
248
extern void link_failure_##FN##f(void); \
249
extern void link_failure_##FN##l(void); \
250
extern double FN(double, double, double); \
251
extern float FN##f(float, float, float); \
252
extern long double FN##l(long double, long double, long double); \
253
void test_##FN(double d1, double d2, double d3) \
254
{ if (FN(d1,d2,d3) != FN(d1,d2,d3)) link_failure_##FN(); } \
255
void test_##FN##f(float f1, float f2, float f3) \
256
{ if (FN##f(f1,f2,f3) != FN##f(f1,f2,f3)) link_failure_##FN##f(); } \
257
void test_##FN##l(long double ld1, long double ld2, long double ld3) \
258
{ if (FN##l(ld1,ld2,ld3) != FN##l(ld1,ld2,ld3)) link_failure_##FN##l(); }
259
 
260
/* Test the functions taking one complex argument (with the "f" and
261
   "l" variants) and returning that type.  */
262
#define CPTEST1(FN) \
263
BUILTIN_CPTEST1(FN) \
264
extern void link_failure_##FN(void); \
265
extern void link_failure_##FN##f(void); \
266
extern void link_failure_##FN##l(void); \
267
extern _Complex double FN(_Complex double); \
268
extern _Complex float FN##f(_Complex float); \
269
extern _Complex long double FN##l(_Complex long double); \
270
void test_##FN(_Complex double d) \
271
{ if (FN(d) != FN(d)) link_failure_##FN(); } \
272
void test_##FN##f(_Complex float f) \
273
{ if (FN##f(f) != FN##f(f)) link_failure_##FN##f(); } \
274
void test_##FN##l(_Complex long double ld) \
275
{ if (FN##l(ld) != FN##l(ld)) link_failure_##FN##l(); }
276
 
277
/* Test the functions taking one complex argument (with the "f" and
278
   "l" variants) and returning the real type.  */
279
#define CPTEST1R(FN) \
280
BUILTIN_CPTEST1(FN) \
281
extern void link_failure_##FN(void); \
282
extern void link_failure_##FN##f(void); \
283
extern void link_failure_##FN##l(void); \
284
extern double FN(_Complex double); \
285
extern float FN##f(_Complex float); \
286
extern long double FN##l(_Complex long double); \
287
void test_##FN(_Complex double d) \
288
{ if (FN(d) != FN(d)) link_failure_##FN(); } \
289
void test_##FN##f(_Complex float f) \
290
{ if (FN##f(f) != FN##f(f)) link_failure_##FN##f(); } \
291
void test_##FN##l(_Complex long double ld) \
292
{ if (FN##l(ld) != FN##l(ld)) link_failure_##FN##l(); }
293
 
294
/* Test the functions taking two complex arguments (with the "f" and
295
   "l" variants).  */
296
#define CPTEST2(FN) \
297
BUILTIN_CPTEST2(FN) \
298
extern void link_failure_##FN(void); \
299
extern void link_failure_##FN##f(void); \
300
extern void link_failure_##FN##l(void); \
301
extern _Complex double FN(_Complex double, _Complex double); \
302
extern _Complex float FN##f(_Complex float, _Complex float); \
303
extern _Complex long double FN##l(_Complex long double, _Complex long double); \
304
void test_##FN(_Complex double d1, _Complex double d2) \
305
{ if (FN(d1,d2) != FN(d1,d2)) link_failure_##FN(); } \
306
void test_##FN##f(_Complex float f1, _Complex float f2) \
307
{ if (FN##f(f1,f2) != FN##f(f1,f2)) link_failure_##FN##f(); } \
308
void test_##FN##l(_Complex long double ld1, _Complex long double ld2) \
309
{ if (FN##l(ld1,ld2) != FN##l(ld1,ld2)) link_failure_##FN##l(); }
310
 
311
 
312
/* Test the math builtins.  */
313
FPTEST1            (acos)
314
FPTEST1            (acosh)
315
FPTEST1            (asin)
316
FPTEST1            (asinh)
317
FPTEST1            (atan)
318
FPTEST2            (atan2)
319
FPTEST1            (atanh)
320
FPTEST1            (cbrt)
321
FPTEST1            (ceil)
322
FPTEST2            (copysign)
323
FPTEST1            (cos)
324
FPTEST1            (cosh)
325
FPTEST2            (drem)
326
FPTEST1            (erf)
327
FPTEST1            (erfc)
328
FPTEST1            (exp)
329
FPTEST1            (exp10)
330
FPTEST1            (exp2)
331
FPTEST1            (expm1)
332
FPTEST1            (fabs)
333
FPTEST2            (fdim)
334
FPTEST1            (floor)
335
FPTEST3            (fma)
336
FPTEST2            (fmax)
337
FPTEST2            (fmin)
338
FPTEST2            (fmod)
339
BUILTIN_FPTEST0    (huge_val)
340
FPTEST2            (hypot)
341
FPTEST1T           (ilogb, int)
342
BUILTIN_FPTEST0    (inf) /* { dg-warning "does not support infinity" "INF unsupported" { target vax-*-* pdp11-*-* spu-*-* } } */
343
FPTEST1            (j0)
344
FPTEST1            (j1)
345
FPTEST2ARG1        (jn, int)
346
FPTEST2ARG2        (ldexp, int)
347
BUILTIN_FPTEST1    (llceil)
348
BUILTIN_FPTEST1    (llfloor)
349
FPTEST1T           (llrint, long long)
350
FPTEST1T           (llround, long long)
351
FPTEST1            (log)
352
FPTEST1            (log10)
353
FPTEST1            (log1p)
354
FPTEST1            (log2)
355
FPTEST1            (logb)
356
BUILTIN_FPTEST1    (lceil)
357
BUILTIN_FPTEST1    (lfloor)
358
FPTEST1T           (lrint, long)
359
FPTEST1T           (lround, long)
360
BUILTIN_FPTEST1ARG (nan, char *)
361
BUILTIN_FPTEST1ARG (nans, char *)
362
FPTEST1            (nearbyint)
363
FPTEST2            (nextafter)
364
FPTEST2ARG2        (nexttoward, long double)
365
FPTEST2            (pow)
366
FPTEST1            (pow10)
367
FPTEST2            (remainder)
368
FPTEST1            (rint)
369
FPTEST1            (round)
370
FPTEST2            (scalb)
371
FPTEST2ARG2        (scalbn, int)
372
FPTEST2ARG2        (scalbln, long int)
373
FPTEST1            (significand)
374
FPTEST1            (sin)
375
FPTEST1            (sinh)
376
FPTEST1            (sqrt)
377
FPTEST1            (tan)
378
FPTEST1            (tanh)
379
FPTEST1            (tgamma)
380
FPTEST1            (trunc)
381
FPTEST1            (y0)
382
FPTEST1            (y1)
383
FPTEST2ARG1        (yn, int)
384
 
385
/* Test the complex math builtins.  */
386
/*CPTEST1 (cabs) See http://gcc.gnu.org/ml/gcc-patches/2003-09/msg00040.html */
387
CPTEST1 (cacos)
388
CPTEST1 (cacosh)
389
CPTEST1R (carg)
390
CPTEST1 (casin)
391
CPTEST1 (casinh)
392
CPTEST1 (catan)
393
CPTEST1 (catanh)
394
CPTEST1 (ccos)
395
CPTEST1 (ccosh)
396
CPTEST1 (cexp)
397
CPTEST1R (cimag)
398
CPTEST1 (clog)
399
CPTEST1 (conj)
400
CPTEST2 (cpow)
401
CPTEST1 (cproj)
402
CPTEST1R (creal)
403
CPTEST1 (csin)
404
CPTEST1 (csinh)
405
CPTEST1 (csqrt)
406
CPTEST1 (ctan)
407
CPTEST1 (ctanh)
408
 
409
typedef __INTMAX_TYPE__ intmax_t;
410
 
411
/* Various other const builtins.  */
412
TEST1         (abs, int, int)
413
BUILTIN_TEST1 (clz, int)
414
BUILTIN_TEST1 (clzl, long)
415
BUILTIN_TEST1 (clzll, long long)
416
BUILTIN_TEST1 (ctz, int)
417
BUILTIN_TEST1 (ctzl, long)
418
BUILTIN_TEST1 (ctzll, long long)
419
BUILTIN_TEST1 (clrsb, int)
420
BUILTIN_TEST1 (clrsbl, long)
421
BUILTIN_TEST1 (clrsbll, long long)
422
TEST1         (ffs, int, int)
423
TEST1         (ffsl, long, int)
424
TEST1         (ffsll, long long, int)
425
TEST1         (imaxabs, intmax_t, intmax_t)
426
TEST1         (labs, long, long)
427
TEST1         (llabs, long long, long long)
428
BUILTIN_TEST1 (parity, int)
429
BUILTIN_TEST1 (parityl, long)
430
BUILTIN_TEST1 (parityll, long long)
431
BUILTIN_TEST1 (popcount, int)
432
BUILTIN_TEST1 (popcountl, long)
433
BUILTIN_TEST1 (popcountll, long long)
434
 
435
int main(void)
436
{
437
  return 0;
438
}

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.