111
|
1 /* Copyright (C) 2006 Free Software Foundation.
|
|
2
|
|
3 Verify that built-in math function folding of fmin/fmax is
|
|
4 correctly performed by the compiler.
|
|
5
|
|
6 Origin: Kaveh R. Ghazi, November 13, 2006. */
|
|
7
|
|
8 /* { dg-do link } */
|
|
9 /* { dg-options "-fno-math-errno" } */
|
|
10 /* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
|
|
11
|
|
12 /* All references to link_error should go away at compile-time. */
|
|
13 extern void link_error(int);
|
|
14
|
|
15 #define DECLARE(FUNC) \
|
|
16 extern float FUNC##f (float); \
|
|
17 extern double FUNC (double); \
|
|
18 extern long double FUNC##l (long double)
|
|
19 #define DECLARE2(FUNC) \
|
|
20 extern float FUNC##f (float, float); \
|
|
21 extern double FUNC (double, double); \
|
|
22 extern long double FUNC##l (long double, long double)
|
|
23
|
|
24 DECLARE2(fmin);
|
|
25 DECLARE2(fmax);
|
|
26 DECLARE(fabs);
|
|
27 extern int pure(int) __attribute__ ((__pure__));
|
|
28
|
|
29 /* Test that FUNC(x,x) == x. We cast to (long) so "!=" folds. */
|
|
30 #define TEST_EQ(FUNC) do { \
|
|
31 if ((long)FUNC##f(xf,xf) != (long)xf) \
|
|
32 link_error(__LINE__); \
|
|
33 if ((long)FUNC(x,x) != (long)x) \
|
|
34 link_error(__LINE__); \
|
|
35 if ((long)FUNC##l(xl,xl) != (long)xl) \
|
|
36 link_error(__LINE__); \
|
|
37 } while (0)
|
|
38
|
|
39 /* Test that FUNC(purefn,purefn) == purefn. We cast to (long) so "!=" folds. */
|
|
40 #define TEST_EQ_PURE(FUNC) do { \
|
|
41 if ((long)FUNC##f(pure(i),pure(i)) != (long)FUNC##f(pure(i),pure(i))) \
|
|
42 link_error(__LINE__); \
|
|
43 if ((long)FUNC(pure(i),pure(i)) != (long)FUNC(pure(i),pure(i))) \
|
|
44 link_error(__LINE__); \
|
|
45 if ((long)FUNC##l(pure(i),pure(i)) != (long)FUNC##l(pure(i),pure(i))) \
|
|
46 link_error(__LINE__); \
|
|
47 } while (0)
|
|
48
|
|
49 /* Test that FIXFUNC(FUNC(int1,int2)) == (TYPE)FUNC(int1,int2),
|
|
50 i.e. FIXFUNC should be folded away and replaced with a cast. */
|
|
51 #define TEST_FIXFUNC(FUNC,FIXFUNC,TYPE) do { \
|
|
52 if (FIXFUNC##f(FUNC##f(i,j)) != (TYPE)FUNC##f(i,j)) \
|
|
53 link_error(__LINE__); \
|
|
54 if (FIXFUNC(FUNC(i,j)) != (TYPE)FUNC(i,j)) \
|
|
55 link_error(__LINE__); \
|
|
56 if (FIXFUNC##l(FUNC##l(i,j)) != (TYPE)FUNC##l(i,j)) \
|
|
57 link_error(__LINE__); \
|
|
58 } while (0)
|
|
59
|
|
60 /* Test that FUNC(int1,int2) has an integer return type. */
|
|
61 #define TEST_INT(FUNC) do { \
|
|
62 TEST_FIXFUNC(FUNC,__builtin_lround,long); \
|
|
63 TEST_FIXFUNC(FUNC,__builtin_llround,long long); \
|
|
64 TEST_FIXFUNC(FUNC,__builtin_lrint,long); \
|
|
65 TEST_FIXFUNC(FUNC,__builtin_llrint,long long); \
|
|
66 TEST_FIXFUNC(FUNC,__builtin_lceil,long); \
|
|
67 TEST_FIXFUNC(FUNC,__builtin_llceil,long long); \
|
|
68 TEST_FIXFUNC(FUNC,__builtin_lfloor,long); \
|
|
69 TEST_FIXFUNC(FUNC,__builtin_llfloor,long long); \
|
|
70 } while (0)
|
|
71
|
|
72 /* Test that (long)fabs(FUNC(fabs(x),fabs(y))) ==
|
|
73 (long)FUNC(fabs(x),fabs(y)). We cast to (long) so "!=" folds. */
|
|
74 #define TEST_NONNEG(FUNC) do { \
|
|
75 if ((long)fabsf(FUNC##f(fabsf(xf),fabsf(yf))) != (long)FUNC##f(fabsf(xf),fabsf(yf))) \
|
|
76 link_error(__LINE__); \
|
|
77 if ((long)fabs(FUNC(fabs(x),fabs(y))) != (long)FUNC(fabs(x),fabs(y))) \
|
|
78 link_error(__LINE__); \
|
|
79 if ((long)fabsl(FUNC##l(fabsl(xl),fabsl(yl))) != (long)FUNC##l(fabsl(xl),fabsl(yl))) \
|
|
80 link_error(__LINE__); \
|
|
81 } while (0)
|
|
82
|
|
83 /* Test that FUNC(NaN,x) == x. We cast to (long) so "!=" folds. Set
|
|
84 parameter SIGNAL to `s' for testing signaling NaN. */
|
|
85 #define TEST_NAN(FUNC,SIGNAL) do { \
|
|
86 if ((long)FUNC##f(__builtin_nan##SIGNAL##f(""),xf) != (long)xf) \
|
|
87 link_error(__LINE__); \
|
|
88 if ((long)FUNC##f(xf,__builtin_nan##SIGNAL##f("")) != (long)xf) \
|
|
89 link_error(__LINE__); \
|
|
90 if ((long)FUNC(__builtin_nan##SIGNAL(""),x) != (long)x) \
|
|
91 link_error(__LINE__); \
|
|
92 if ((long)FUNC(x,__builtin_nan##SIGNAL("")) != (long)x) \
|
|
93 link_error(__LINE__); \
|
|
94 if ((long)FUNC##l(__builtin_nan##SIGNAL##l(""),xl) != (long)xl) \
|
|
95 link_error(__LINE__); \
|
|
96 if ((long)FUNC##l(xl,__builtin_nan##SIGNAL##l("")) != (long)xl) \
|
|
97 link_error(__LINE__); \
|
|
98 } while (0)
|
|
99
|
|
100 void __attribute__ ((__noinline__))
|
|
101 foo (float xf, double x, long double xl,
|
|
102 float yf, double y, long double yl,
|
|
103 int i, int j)
|
|
104 {
|
|
105 TEST_EQ(fmin);
|
|
106 TEST_EQ(fmax);
|
|
107
|
|
108 #ifdef __OPTIMIZE__
|
|
109 TEST_EQ_PURE(fmin);
|
|
110 TEST_EQ_PURE(fmax);
|
|
111 #endif
|
|
112
|
|
113 TEST_INT(fmin);
|
|
114 TEST_INT(fmax);
|
|
115
|
|
116 TEST_NONNEG(fmin);
|
|
117 TEST_NONNEG(fmax);
|
|
118
|
|
119 TEST_NAN(fmin,);
|
|
120 TEST_NAN(fmax,);
|
|
121 TEST_NAN(fmin,s);
|
|
122 TEST_NAN(fmax,s);
|
|
123 }
|
|
124
|
|
125 int main()
|
|
126 {
|
|
127 foo (1,1,1,1,1,1,1,1);
|
|
128 return 0;
|
|
129 }
|