1 /* Copyright (C) 2006 Free Software Foundation.
3 Verify that built-in math function folding of symmetric even and
4 odd functions is correctly performed by the compiler.
6 Origin: Kaveh R. Ghazi, November 09, 2006. */
9 /* { dg-options "-ffast-math" } */
11 /* All references to link_error should go away at compile-time. */
12 extern void link_error(int);
14 /* Test that FUNC(-ARG) == FUNC(ARG). */
15 #define TESTIT_EVEN(FUNC) do { \
16 if (__builtin_##FUNC##f(-xf) != __builtin_##FUNC##f(xf)) \
17 link_error(__LINE__); \
18 if (__builtin_##FUNC(-x) != __builtin_##FUNC(x)) \
19 link_error(__LINE__); \
20 if (__builtin_##FUNC##l(-xl) != __builtin_##FUNC##l(xl)) \
21 link_error(__LINE__); \
24 /* Test that FUNC(-ARG) == FUNC(ARG), where ARG has a complex type. */
25 #define TESTIT_EVEN_C(FUNC) do { \
26 if (__builtin_##FUNC##f(-cxf) != __builtin_##FUNC##f(cxf)) \
27 link_error(__LINE__); \
28 if (__builtin_##FUNC(-cx) != __builtin_##FUNC(cx)) \
29 link_error(__LINE__); \
30 if (__builtin_##FUNC##l(-cxl) != __builtin_##FUNC##l(cxl)) \
31 link_error(__LINE__); \
34 /* Test that FUNC(-VAR) == FUNC(VAR), where VAR has an int type. */
35 #define TESTIT_EVEN_I(FUNC,VAR) do { \
36 if (__builtin_##FUNC(-VAR) != __builtin_##FUNC(VAR)) \
37 link_error(__LINE__); \
40 /* Test that -FUNC(ARG) == FUNC(-ARG). */
41 #define TESTIT_ODD(FUNC) do { \
42 if (-__builtin_##FUNC##f(-xf) != __builtin_##FUNC##f(xf)) \
43 link_error(__LINE__); \
44 if (-__builtin_##FUNC(-x) != __builtin_##FUNC(x)) \
45 link_error(__LINE__); \
46 if (-__builtin_##FUNC##l(-xl) != __builtin_##FUNC##l(xl)) \
47 link_error(__LINE__); \
50 /* Test that -FUNC(ARG) == FUNC(-ARG), where ARG has a complex type. */
51 #define TESTIT_ODD_C(FUNC) do { \
52 if (-__builtin_##FUNC##f(-cxf) != __builtin_##FUNC##f(cxf)) \
53 link_error(__LINE__); \
54 if (-__builtin_##FUNC(-cx) != __builtin_##FUNC(cx)) \
55 link_error(__LINE__); \
56 if (-__builtin_##FUNC##l(-cxl) != __builtin_##FUNC##l(cxl)) \
57 link_error(__LINE__); \
60 void foo (float xf, double x, long double xl,
61 __complex__ float cxf, __complex__ double cx, __complex__ long double cxl,
62 int i, long l, long long ll, __INTMAX_TYPE__ im)
72 TESTIT_EVEN_I(abs, i);
73 TESTIT_EVEN_I(imaxabs, im);
74 TESTIT_EVEN_I(labs, l);
75 TESTIT_EVEN_I(llabs, ll);
87 TESTIT_ODD(nearbyint);
109 foo (1,1,1,1,1,1,1,1,1,1);