summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/torture/builtin-symmetric-1.c
blob: 61d8a80d72aca94298a90b30149b0591280b650e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
/* Copyright (C) 2006  Free Software Foundation.

   Verify that built-in math function folding of symmetric even and
   odd functions is correctly performed by the compiler.

   Origin: Kaveh R. Ghazi,  November 09, 2006.  */

/* { dg-do link } */
/* { dg-options "-ffast-math" } */
/* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */

/* All references to link_error should go away at compile-time.  */
extern void link_error(int);

/* Test that FUNC(-ARG) == FUNC(ARG).  */
#define TESTIT_EVEN(FUNC) do { \
  if (__builtin_##FUNC##f(-xf) != __builtin_##FUNC##f(xf)) \
    link_error(__LINE__); \
  if (__builtin_##FUNC(-x) != __builtin_##FUNC(x)) \
    link_error(__LINE__); \
  if (__builtin_##FUNC##l(-xl) != __builtin_##FUNC##l(xl)) \
    link_error(__LINE__); \
  } while (0)

/* Test that FUNC(-ARG) == FUNC(ARG), where ARG has a complex type.  */
#define TESTIT_EVEN_C(FUNC) do { \
  if (__builtin_##FUNC##f(-cxf) != __builtin_##FUNC##f(cxf)) \
    link_error(__LINE__); \
  if (__builtin_##FUNC(-cx) != __builtin_##FUNC(cx)) \
    link_error(__LINE__); \
  if (__builtin_##FUNC##l(-cxl) != __builtin_##FUNC##l(cxl)) \
    link_error(__LINE__); \
  } while (0)

/* Test that FUNC(-VAR) == FUNC(VAR), where VAR has an int type.  */
#define TESTIT_EVEN_I(FUNC,VAR) do { \
  if (__builtin_##FUNC(-VAR) != __builtin_##FUNC(VAR)) \
    link_error(__LINE__); \
  } while (0)

/* Test that -FUNC(ARG) == FUNC(-ARG).  */
#define TESTIT_ODD(FUNC) do { \
  if (-__builtin_##FUNC##f(-xf) != __builtin_##FUNC##f(xf)) \
    link_error(__LINE__); \
  if (-__builtin_##FUNC(-x) != __builtin_##FUNC(x)) \
    link_error(__LINE__); \
  if (-__builtin_##FUNC##l(-xl) != __builtin_##FUNC##l(xl)) \
    link_error(__LINE__); \
  } while (0)

/* Test that -FUNC(ARG) == FUNC(-ARG), where ARG has a complex type.  */
#define TESTIT_ODD_C(FUNC) do { \
  if (-__builtin_##FUNC##f(-cxf) != __builtin_##FUNC##f(cxf)) \
    link_error(__LINE__); \
  if (-__builtin_##FUNC(-cx) != __builtin_##FUNC(cx)) \
    link_error(__LINE__); \
  if (-__builtin_##FUNC##l(-cxl) != __builtin_##FUNC##l(cxl)) \
    link_error(__LINE__); \
  } while (0)

void foo (float xf, double x, long double xl,
	  __complex__ float cxf, __complex__ double cx, __complex__ long double cxl,
	  int i, long l, long long ll, __INTMAX_TYPE__ im)
{
  TESTIT_EVEN(cos);
  TESTIT_EVEN(cosh);
  TESTIT_EVEN(fabs);

  TESTIT_EVEN_C(ccos);
  TESTIT_EVEN_C(ccosh);
  TESTIT_EVEN_C(cabs);

  TESTIT_EVEN_I(abs, i);
  TESTIT_EVEN_I(imaxabs, im);
  TESTIT_EVEN_I(labs, l);
  TESTIT_EVEN_I(llabs, ll);

  TESTIT_ODD(asin);
  TESTIT_ODD(asinh);
  TESTIT_ODD(atan);
  TESTIT_ODD(atanh);
  TESTIT_ODD(cbrt);
  TESTIT_ODD(erf);
  TESTIT_ODD(llrint);
  TESTIT_ODD(llround);
  TESTIT_ODD(lrint);
  TESTIT_ODD(lround);
  TESTIT_ODD(nearbyint);
  TESTIT_ODD(rint);
  TESTIT_ODD(round);
  TESTIT_ODD(sin);
  TESTIT_ODD(sinh);
  TESTIT_ODD(tan);
  TESTIT_ODD(tanh);
  TESTIT_ODD(trunc);

  TESTIT_ODD_C(casin);
  TESTIT_ODD_C(casinh);
  TESTIT_ODD_C(catan);
  TESTIT_ODD_C(catanh);
  TESTIT_ODD_C(cproj);
  TESTIT_ODD_C(csin);
  TESTIT_ODD_C(csinh);
  TESTIT_ODD_C(ctan);
  TESTIT_ODD_C(ctanh);
}

int main()
{
  foo (1,1,1,1,1,1,1,1,1,1);
  return 0;
}