OSDN Git Service

* doc/loop.texi: Document possibility not to perform disambiguation
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / builtins-20.c
1 /* Copyright (C) 2003  Free Software Foundation.
2
3    Verify that built-in math function constant folding doesn't break
4    anything and produces the expected results.
5
6    Written by Roger Sayle, 8th June 2003.  */
7
8 /* { dg-do link } */
9 /* { dg-options "-O2 -ffast-math" } */
10 /* { dg-options "-O2 -ffast-math -mmacosx-version-min=10.3" { target powerpc-*-darwin* } } */
11 /* { dg-options "-O2 -ffast-math -std=c99" { target *-*-solaris2* } } */
12
13 #include "builtins-config.h"
14
15 extern double cos (double);
16 extern double sin (double);
17 extern double tan (double);
18 extern double fabs (double);
19 extern double atan2 (double, double);
20 extern double copysign (double, double);
21 extern double fmin (double, double);
22 extern double fmax (double, double);
23 extern double hypot (double, double);
24 extern double pure (double) __attribute__ ((__pure__));
25 extern double carg (__complex__ double);
26 extern __complex__ double ccos (__complex__ double);
27 extern __complex__ double ctan (__complex__ double);
28 extern float cosf (float);
29 extern float sinf (float);
30 extern float tanf (float);
31 extern float fabsf (float);
32 extern float atan2f (float, float);
33 extern float copysignf (float, float);
34 extern float fminf (float, float);
35 extern float fmaxf (float, float);
36 extern float hypotf (float, float);
37 extern float puref (float) __attribute__ ((__pure__));
38 extern float cargf (__complex__ float);
39 extern __complex__ float ccosf (__complex__ float);
40 extern __complex__ float ctanf (__complex__ float);
41 extern long double cosl (long double);
42 extern long double sinl (long double);
43 extern long double tanl (long double);
44 extern long double fabsl (long double);
45 extern long double atan2l (long double, long double);
46 extern long double copysignl (long double, long double);
47 extern long double fminl (long double, long double);
48 extern long double fmaxl (long double, long double);
49 extern long double hypotl (long double, long double);
50 extern long double purel (long double) __attribute__ ((__pure__));
51 extern long double cargl (__complex__ long double);
52 extern __complex__ long double ccosl (__complex__ long double);
53 extern __complex__ long double ctanl (__complex__ long double);
54
55 extern void link_error(void);
56
57 void test1(double x)
58 {
59   if (cos(x) != cos(-x))
60     link_error ();
61
62   if (cos(x) != cos(fabs(x)))
63     link_error ();
64
65   if (cos(x) != cos(-fabs(x)))
66     link_error ();
67
68   if (cos(tan(x)) != cos(tan(-fabs(x))))
69     link_error ();
70
71   if (sin(x)/cos(x) != tan(x))
72     link_error ();
73
74   if (cos(x)/sin(x) != 1.0/tan(x))
75     link_error ();
76
77   if (tan(x)*cos(x) != sin(x))
78     link_error ();
79
80   if (cos(x)*tan(x) != sin(x))
81     link_error ();
82
83   if (sin(x)/tan(x) != cos(x))
84     link_error ();
85
86   if (tan(x)/sin(x) != 1.0/cos(x))
87     link_error ();
88 }
89
90 void test2(double x, double y)
91 {
92   if (-tan(x-y) != tan(y-x))
93     link_error ();
94
95   if (-sin(x-y) != sin(y-x))
96     link_error ();
97
98   if (cos(-x*y) != cos(x*y))
99     link_error ();
100
101   if (cos(x*-y) != cos(x*y))
102     link_error ();
103
104   if (cos(-x/y) != cos(x/y))
105     link_error ();
106
107   if (cos(x/-y) != cos(x/y))
108     link_error ();
109
110   if (cos(-fabs(tan(x/-y))) != cos(tan(x/y)))
111     link_error ();
112
113   if (cos(y<10 ? -x : y) != cos(y<10 ? x : y))
114     link_error ();
115
116   if (cos(y<10 ? x : -y) != cos(y<10 ? x : y))
117     link_error ();
118
119   if (cos(y<10 ? -fabs(x) : tan(x<20 ? -x : -fabs(y)))
120       != cos(y<10 ? x : tan(x<20 ? x : y)))
121     link_error ();
122
123   if (cos((y*=3, -x)) != cos((y*=3,x)))
124     link_error ();
125
126   if (cos((y*=2, -fabs(tan(x/-y)))) != cos((y*=2,tan(x/y))))
127     link_error ();
128
129   if (cos(copysign(x,y)) != cos(x))
130     link_error ();
131
132   if (cos(copysign(-fabs(x),y*=2)) != cos((y*=2,x)))
133     link_error ();
134
135   if (hypot (x, 0) != fabs(x))
136     link_error ();
137
138   if (hypot (0, x) != fabs(x))
139     link_error ();
140
141   if (hypot (x, x) != fabs(x) * __builtin_sqrt(2))
142     link_error ();
143
144   if (hypot (-x, y) != hypot (x, y))
145     link_error ();
146
147   if (hypot (x, -y) != hypot (x, y))
148     link_error ();
149
150   if (hypot (-x, -y) != hypot (x, y))
151     link_error ();
152
153   if (hypot (fabs(x), y) != hypot (x, y))
154     link_error ();
155
156   if (hypot (x, fabs(y)) != hypot (x, y))
157     link_error ();
158
159   if (hypot (fabs(x), fabs(y)) != hypot (x, y))
160     link_error ();
161
162   if (hypot (-fabs(-x), -fabs(fabs(fabs(-y)))) != hypot (x, y))
163     link_error ();
164
165   if (hypot (-x, 0) != fabs(x))
166     link_error ();
167
168   if (hypot (-x, x) != fabs(x) * __builtin_sqrt(2))
169     link_error ();
170
171   if (hypot (pure(x), -pure(x)) != fabs(pure(x)) * __builtin_sqrt(2))
172     link_error ();
173
174   if (hypot (tan(-x), tan(-fabs(y))) != hypot (tan(x), tan(y)))
175     link_error ();
176
177   if (fmin (fmax(x,y),y) != y)
178     link_error ();
179
180   if (fmin (fmax(y,x),y) != y)
181     link_error ();
182
183   if (fmin (x,fmax(x,y)) != x)
184     link_error ();
185   
186   if (fmin (x,fmax(y,x)) != x)
187     link_error ();
188   
189   if (fmax (fmin(x,y),y) != y)
190     link_error ();
191
192   if (fmax (fmin(y,x),y) != y)
193     link_error ();
194
195   if (fmax (x,fmin(x,y)) != x)
196     link_error ();
197   
198   if (fmax (x,fmin(y,x)) != x)
199     link_error ();
200
201   if ((__complex__ double) x != -(__complex__ double) (-x))
202     link_error ();
203
204   if (x*1i != -(-x*1i))
205     link_error ();
206
207   if (x+(x-y)*1i != -(-x+(y-x)*1i))
208     link_error ();
209
210   if (x+(x-y)*1i != -(-x-(x-y)*1i))
211     link_error ();
212
213   if (ccos(tan(x)+sin(y)*1i) != ccos(-tan(-x)+-sin(-y)*1i))
214     link_error ();
215
216   if (ccos(tan(x)+sin(x-y)*1i) != ccos(-tan(-x)-sin(y-x)*1i))
217     link_error ();
218 }
219
220 void test3(__complex__ double x, __complex__ double y, int i)
221 {
222   if (carg(x) != atan2(__imag__ x, __real__ x))
223     link_error ();
224
225   if (ccos(x) != ccos(-x))
226     link_error();
227
228   if (ccos(ctan(x)) != ccos(ctan(-x)))
229     link_error();
230
231   if (ctan(x-y) != -ctan(y-x))
232     link_error();
233
234   if (ccos(x/y) != ccos(-x/y))
235     link_error();
236
237   if (ccos(x/y) != ccos(x/-y))
238     link_error();
239
240   if (ccos(x/ctan(y)) != ccos(-x/ctan(-y)))
241     link_error();
242
243   if (ccos(x*y) != ccos(-x*y))
244     link_error();
245
246   if (ccos(x*y) != ccos(x*-y))
247     link_error();
248
249   if (ccos(ctan(x)*y) != ccos(ctan(-x)*-y))
250     link_error();
251
252   if (ccos(ctan(x/y)) != ccos(-ctan(x/-y)))
253     link_error();
254
255   if (ccos(i ? x : y) != ccos(i ? -x : y))
256     link_error();
257
258   if (ccos(i ? x : y) != ccos(i ? x : -y))
259     link_error();
260
261   if (ccos(i ? x : ctan(y/x)) != ccos(i ? -x : -ctan(-y/x)))
262     link_error();
263
264   if (~x != -~-x)
265     link_error();
266
267   if (ccos(~x) != ccos(-~-x))
268     link_error();
269
270   if (ctan(~(x-y)) != -ctan(~(y-x)))
271     link_error();
272
273   if (ctan(~(x/y)) != -ctan(~(x/-y)))
274     link_error();
275 }
276
277 void test1f(float x)
278 {
279   if (cosf(x) != cosf(-x))
280     link_error ();
281
282   if (cosf(x) != cosf(fabsf(x)))
283     link_error ();
284
285   if (cosf(x) != cosf(-fabsf(x)))
286     link_error ();
287
288   if (cosf(tanf(x)) != cosf(tanf(-fabsf(x))))
289     link_error ();
290
291 #ifdef HAVE_C99_RUNTIME
292   if (sinf(x)/cosf(x) != tanf(x))
293     link_error ();
294
295   if (cosf(x)/sinf(x) != 1.0f/tanf(x))
296     link_error ();
297
298   if (tanf(x)*cosf(x) != sinf(x))
299     link_error ();
300
301   if (cosf(x)*tanf(x) != sinf(x))
302     link_error ();
303
304   if (sinf(x)/tanf(x) != cosf(x))
305     link_error ();
306
307   if (tanf(x)/sinf(x) != 1.0f/cosf(x))
308     link_error ();
309 #endif
310 }
311
312 void test2f(float x, float y)
313 {
314   if (-tanf(x-y) != tanf(y-x))
315     link_error ();
316
317   if (-sinf(x-y) != sinf(y-x))
318     link_error ();
319
320   if (cosf(-x*y) != cosf(x*y))
321     link_error ();
322
323   if (cosf(x*-y) != cosf(x*y))
324     link_error ();
325
326   if (cosf(-x/y) != cosf(x/y))
327     link_error ();
328
329   if (cosf(x/-y) != cosf(x/y))
330     link_error ();
331
332   if (cosf(-fabsf(tanf(x/-y))) != cosf(tanf(x/y)))
333     link_error ();
334
335   if (cosf(y<10 ? -x : y) != cosf(y<10 ? x : y))
336     link_error ();
337
338   if (cosf(y<10 ? x : -y) != cosf(y<10 ? x : y))
339     link_error ();
340
341   if (cosf(y<10 ? -fabsf(x) : tanf(x<20 ? -x : -fabsf(y)))
342       != cosf(y<10 ? x : tanf(x<20 ? x : y)))
343     link_error ();
344
345   if (cosf((y*=3, -x)) != cosf((y*=3,x)))
346     link_error ();
347
348   if (cosf((y*=2, -fabsf(tanf(x/-y)))) != cosf((y*=2,tanf(x/y))))
349     link_error ();
350
351   if (cosf(copysignf(x,y)) != cosf(x))
352     link_error ();
353
354   if (cosf(copysignf(-fabsf(x),y*=2)) != cosf((y*=2,x)))
355     link_error ();
356
357   if (hypotf (x, 0) != fabsf(x))
358     link_error ();
359
360   if (hypotf (0, x) != fabsf(x))
361     link_error ();
362
363   if (hypotf (x, x) != fabsf(x) * __builtin_sqrtf(2))
364     link_error ();
365
366   if (hypotf (-x, y) != hypotf (x, y))
367     link_error ();
368
369   if (hypotf (x, -y) != hypotf (x, y))
370     link_error ();
371
372   if (hypotf (-x, -y) != hypotf (x, y))
373     link_error ();
374
375   if (hypotf (fabsf(x), y) != hypotf (x, y))
376     link_error ();
377
378   if (hypotf (x, fabsf(y)) != hypotf (x, y))
379     link_error ();
380
381   if (hypotf (fabsf(x), fabsf(y)) != hypotf (x, y))
382     link_error ();
383
384   if (hypotf (-fabsf(-x), -fabsf(fabsf(fabsf(-y)))) != hypotf (x, y))
385     link_error ();
386
387   if (hypotf (-x, 0) != fabsf(x))
388     link_error ();
389
390   if (hypotf (-x, x) != fabsf(x) * __builtin_sqrtf(2))
391     link_error ();
392
393   if (hypotf (puref(x), -puref(x)) != fabsf(puref(x)) * __builtin_sqrtf(2))
394     link_error ();
395
396   if (hypotf (tanf(-x), tanf(-fabsf(y))) != hypotf (tanf(x), tanf(y)))
397     link_error ();
398
399   if (fminf (fmaxf(x,y),y) != y)
400     link_error ();
401
402   if (fminf (fmaxf(y,x),y) != y)
403     link_error ();
404
405   if (fminf (x,fmaxf(x,y)) != x)
406     link_error ();
407   
408   if (fminf (x,fmaxf(y,x)) != x)
409     link_error ();
410   
411   if (fmaxf (fminf(x,y),y) != y)
412     link_error ();
413
414   if (fmaxf (fminf(y,x),y) != y)
415     link_error ();
416
417   if (fmaxf (x,fminf(x,y)) != x)
418     link_error ();
419   
420   if (fmaxf (x,fminf(y,x)) != x)
421     link_error ();
422
423   if ((__complex__ float) x != -(__complex__ float) (-x))
424     link_error ();
425
426   if (x+(x-y)*1i != -(-x+(y-x)*1i))
427     link_error ();
428
429   if (x+(x-y)*1i != -(-x-(x-y)*1i))
430     link_error ();
431
432   if (ccosf(tanf(x)+sinf(y)*1i) != ccosf(-tanf(-x)+-sinf(-y)*1i))
433     link_error ();
434
435   if (ccosf(tanf(x)+sinf(x-y)*1i) != ccosf(-tanf(-x)-sinf(y-x)*1i))
436     link_error ();
437 }
438
439 void test3f(__complex__ float x, __complex__ float y, int i)
440 {
441   if (cargf(x) != atan2f(__imag__ x, __real__ x))
442     link_error ();
443
444   if (ccosf(x) != ccosf(-x))
445     link_error();
446
447   if (ccosf(ctanf(x)) != ccosf(ctanf(-x)))
448     link_error();
449
450   if (ctanf(x-y) != -ctanf(y-x))
451     link_error();
452
453   if (ccosf(x/y) != ccosf(-x/y))
454     link_error();
455
456   if (ccosf(x/y) != ccosf(x/-y))
457     link_error();
458
459   if (ccosf(x/ctanf(y)) != ccosf(-x/ctanf(-y)))
460     link_error();
461
462   if (ccosf(x*y) != ccosf(-x*y))
463     link_error();
464
465   if (ccosf(x*y) != ccosf(x*-y))
466     link_error();
467
468   if (ccosf(ctanf(x)*y) != ccosf(ctanf(-x)*-y))
469     link_error();
470
471   if (ccosf(ctanf(x/y)) != ccosf(-ctanf(x/-y)))
472     link_error();
473
474   if (ccosf(i ? x : y) != ccosf(i ? -x : y))
475     link_error();
476
477   if (ccosf(i ? x : y) != ccosf(i ? x : -y))
478     link_error();
479
480   if (ccosf(i ? x : ctanf(y/x)) != ccosf(i ? -x : -ctanf(-y/x)))
481     link_error();
482
483   if (~x != -~-x)
484     link_error();
485
486   if (ccosf(~x) != ccosf(-~-x))
487     link_error();
488
489   if (ctanf(~(x-y)) != -ctanf(~(y-x)))
490     link_error();
491
492   if (ctanf(~(x/y)) != -ctanf(~(x/-y)))
493     link_error();
494 }
495
496 void test1l(long double x)
497 {
498   if (cosl(x) != cosl(-x))
499     link_error ();
500
501   if (cosl(x) != cosl(fabsl(x)))
502     link_error ();
503
504   if (cosl(x) != cosl(-fabsl(x)))
505     link_error ();
506
507   if (cosl(tanl(x)) != cosl(tanl(-fabsl(x))))
508     link_error ();
509
510 #ifdef HAVE_C99_RUNTIME
511   if (sinl(x)/cosl(x) != tanl(x))
512     link_error ();
513
514   if (cosl(x)/sinl(x) != 1.0l/tanl(x))
515     link_error ();
516
517   if (tanl(x)*cosl(x) != sinl(x))
518     link_error ();
519
520   if (cosl(x)*tanl(x) != sinl(x))
521     link_error ();
522
523   if (sinl(x)/tanl(x) != cosl(x))
524     link_error ();
525
526   if (tanl(x)/sinl(x) != 1.0l/cosl(x))
527     link_error ();
528 #endif
529 }
530
531 void test2l(long double x, long double y)
532 {
533   if (-tanl(x-y) != tanl(y-x))
534     link_error ();
535
536   if (-sinl(x-y) != sinl(y-x))
537     link_error ();
538
539   if (cosl(-x*y) != cosl(x*y))
540     link_error ();
541
542   if (cosl(x*-y) != cosl(x*y))
543     link_error ();
544
545   if (cosl(-x/y) != cosl(x/y))
546     link_error ();
547
548   if (cosl(x/-y) != cosl(x/y))
549     link_error ();
550
551   if (cosl(-fabsl(tanl(x/-y))) != cosl(tanl(x/y)))
552     link_error ();
553
554   if (cosl(y<10 ? -x : y) != cosl(y<10 ? x : y))
555     link_error ();
556
557   if (cosl(y<10 ? x : -y) != cosl(y<10 ? x : y))
558     link_error ();
559
560   if (cosl(y<10 ? -fabsl(x) : tanl(x<20 ? -x : -fabsl(y)))
561       != cosl(y<10 ? x : tanl(x<20 ? x : y)))
562     link_error ();
563
564   if (cosl((y*=3, -x)) != cosl((y*=3,x)))
565     link_error ();
566
567   if (cosl((y*=2, -fabsl(tanl(x/-y)))) != cosl((y*=2,tanl(x/y))))
568     link_error ();
569
570   if (cosl(copysignl(x,y)) != cosl(x))
571     link_error ();
572
573   if (cosl(copysignl(-fabsl(x),y*=2)) != cosl((y*=2,x)))
574     link_error ();
575
576   if (hypotl (x, 0) != fabsl(x))
577     link_error ();
578
579   if (hypotl (0, x) != fabsl(x))
580     link_error ();
581
582   if (hypotl (x, x) != fabsl(x) * __builtin_sqrtl(2))
583     link_error ();
584
585   if (hypotl (-x, y) != hypotl (x, y))
586     link_error ();
587
588   if (hypotl (x, -y) != hypotl (x, y))
589     link_error ();
590
591   if (hypotl (-x, -y) != hypotl (x, y))
592     link_error ();
593
594   if (hypotl (fabsl(x), y) != hypotl (x, y))
595     link_error ();
596
597   if (hypotl (x, fabsl(y)) != hypotl (x, y))
598     link_error ();
599
600   if (hypotl (fabsl(x), fabsl(y)) != hypotl (x, y))
601     link_error ();
602
603   if (hypotl (-fabsl(-x), -fabsl(fabsl(fabsl(-y)))) != hypotl (x, y))
604     link_error ();
605
606   if (hypotl (-x, 0) != fabsl(x))
607     link_error ();
608
609   if (hypotl (-x, x) != fabsl(x) * __builtin_sqrtl(2))
610     link_error ();
611
612   if (hypotl (purel(x), -purel(x)) != fabsl(purel(x)) * __builtin_sqrtl(2))
613     link_error ();
614
615   if (hypotl (tanl(-x), tanl(-fabsl(y))) != hypotl (tanl(x), tanl(y)))
616     link_error ();
617
618   if (fminl (fmaxl(x,y),y) != y)
619     link_error ();
620
621   if (fminl (fmaxl(y,x),y) != y)
622     link_error ();
623
624   if (fminl (x,fmaxl(x,y)) != x)
625     link_error ();
626   
627   if (fminl (x,fmaxl(y,x)) != x)
628     link_error ();
629   
630   if (fmaxl (fminl(x,y),y) != y)
631     link_error ();
632
633   if (fmaxl (fminl(y,x),y) != y)
634     link_error ();
635
636   if (fmaxl (x,fminl(x,y)) != x)
637     link_error ();
638   
639   if (fmaxl (x,fminl(y,x)) != x)
640     link_error ();
641
642   if ((__complex__ long double) x != -(__complex__ long double) (-x))
643     link_error ();
644
645   if (x+(x-y)*1i != -(-x+(y-x)*1i))
646     link_error ();
647
648   if (x+(x-y)*1i != -(-x-(x-y)*1i))
649     link_error ();
650
651   if (ccosl(tanl(x)+sinl(y)*1i) != ccosl(-tanl(-x)+-sinl(-y)*1i))
652     link_error ();
653
654   if (ccosl(tanl(x)+sinl(x-y)*1i) != ccosl(-tanl(-x)-sinl(y-x)*1i))
655     link_error ();
656 }
657
658 void test3l(__complex__ long double x, __complex__ long double y, int i)
659 {
660   if (cargl(x) != atan2l(__imag__ x, __real__ x))
661     link_error ();
662
663   if (ccosl(x) != ccosl(-x))
664     link_error();
665
666   if (ccosl(ctanl(x)) != ccosl(ctanl(-x)))
667     link_error();
668
669   if (ctanl(x-y) != -ctanl(y-x))
670     link_error();
671
672   if (ccosl(x/y) != ccosl(-x/y))
673     link_error();
674
675   if (ccosl(x/y) != ccosl(x/-y))
676     link_error();
677
678   if (ccosl(x/ctanl(y)) != ccosl(-x/ctanl(-y)))
679     link_error();
680
681   if (ccosl(x*y) != ccosl(-x*y))
682     link_error();
683
684   if (ccosl(x*y) != ccosl(x*-y))
685     link_error();
686
687   if (ccosl(ctanl(x)*y) != ccosl(ctanl(-x)*-y))
688     link_error();
689
690   if (ccosl(ctanl(x/y)) != ccosl(-ctanl(x/-y)))
691     link_error();
692
693   if (ccosl(i ? x : y) != ccosl(i ? -x : y))
694     link_error();
695
696   if (ccosl(i ? x : y) != ccosl(i ? x : -y))
697     link_error();
698
699   if (ccosl(i ? x : ctanl(y/x)) != ccosl(i ? -x : -ctanl(-y/x)))
700     link_error();
701
702   if (~x != -~-x)
703     link_error();
704
705   if (ccosl(~x) != ccosl(-~-x))
706     link_error();
707
708   if (ctanl(~(x-y)) != -ctanl(~(y-x)))
709     link_error();
710
711   if (ctanl(~(x/y)) != -ctanl(~(x/-y)))
712     link_error();
713 }
714
715 int main()
716 {
717   test1 (1.0);
718   test2 (1.0, 2.0);
719
720   test1f (1.0f);
721   test2f (1.0f, 2.0f);
722
723   test1l (1.0l);
724   test2l (1.0l, 2.0l);
725
726   return 0;
727 }
728