1 /* Copyright (C) 2010 Free Software Foundation.
3 Verify that folding of built-in cproj is correctly performed by the
6 Origin: Kaveh R. Ghazi, April 9, 2010. */
9 /* { dg-add-options ieee } */
11 /* All references to link_error should go away at compile-time. The
12 argument is the __LINE__ number. It appears in the tree dump file
13 and aids in debugging should any of the tests fail. */
14 extern void link_error(int);
16 #define CPROJ(X) __builtin_cproj(X)
17 #define CPROJF(X) __builtin_cprojf(X)
18 #define CPROJL(X) __builtin_cprojl(X)
19 #define INF __builtin_inff()
21 #define CPSGN(X,Y) __builtin_copysignf((X),(Y))
22 #define CIMAG(X) __builtin_cimagf(X)
23 #define CREAL(X) __builtin_crealf(X)
25 /* Check that the signs of the real and/or imaginary parts of two
26 complex numbers match. */
27 #define CKSGN(X,Y) (CKSGN_R(X,Y) || CKSGN_I(X,Y))
28 #define CKSGN_R(X,Y) (CPSGN(1,CREAL(X)) != CPSGN(1,CREAL(Y)))
29 #define CKSGN_I(X,Y) (CPSGN(1,CIMAG(X)) != CPSGN(1,CIMAG(Y)))
31 /* Test that (cproj(X) == ZERO+Inf) and that the signs of the
32 imaginary parts match. ZERO is +/- 0i. */
33 #define TEST_CST_INF(X,ZERO) do { \
34 if (CPROJF(X) != ZERO+INF || CKSGN_I(CPROJF(X),ZERO+INF)) \
35 link_error(__LINE__); \
36 if (CPROJ(X) != ZERO+INF || CKSGN_I(CPROJ(X),ZERO+INF)) \
37 link_error(__LINE__); \
38 if (CPROJL(X) != ZERO+INF || CKSGN_I(CPROJL(X),ZERO+INF)) \
39 link_error(__LINE__); \
42 /* Test that (cproj(X) == X) for all finite (X). */
43 #define TEST_CST(X) do { \
44 if (CPROJF(X) != (X) || CKSGN(CPROJF(X),(X))) \
45 link_error(__LINE__); \
48 /* Test that cproj(X + I*INF) -> (ZERO + INF), where ZERO is +-0i.
49 NEG is either blank or a minus sign when ZERO is negative. */
50 #define TEST_IMAG_INF(NEG,ZERO) do { \
51 if (CPROJF(f+I*NEG INF) != ZERO+INF \
52 || CKSGN_I (CPROJF(f+I*NEG INF), ZERO+INF)) \
53 link_error(__LINE__); \
54 if (CPROJ(d+I*NEG INF) != ZERO+INF \
55 || CKSGN_I (CPROJ(d+I*NEG INF), ZERO+INF)) \
56 link_error(__LINE__); \
57 if (CPROJL(ld+I*NEG INF) != ZERO+INF \
58 || CKSGN_I (CPROJL(ld+I*NEG INF), ZERO+INF)) \
59 link_error(__LINE__); \
62 /* Like TEST_IMAG_INF, but check that side effects are honored. */
63 #define TEST_IMAG_INF_SIDE_EFFECT(NEG,ZERO) do { \
65 if (CPROJF(++side+I*NEG INF) != ZERO+INF \
66 || CKSGN_I (CPROJF(++side+I*NEG INF), ZERO+INF)) \
67 link_error(__LINE__); \
68 if (CPROJ(++side+I*NEG INF) != ZERO+INF \
69 || CKSGN_I (CPROJ(++side+I*NEG INF), ZERO+INF)) \
70 link_error(__LINE__); \
71 if (CPROJL(++side+I*NEG INF) != ZERO+INF \
72 || CKSGN_I (CPROJL(++side+I*NEG INF), ZERO+INF)) \
73 link_error(__LINE__); \
75 link_error(__LINE__); \
78 /* Test that cproj(INF, POSITIVE) -> INF+0i. NEG is either blank or a
79 minus sign to test negative INF. */
80 #define TEST_REAL_INF(NEG) do { \
81 __real cf = NEG INF; \
82 __imag cf = (x ? 4 : 5); \
83 if (CPROJF(cf) != INF \
84 || CKSGN_I (CPROJF(cf), INF)) \
85 link_error(__LINE__); \
86 __real cd = NEG INF; \
87 __imag cd = (x ? 4 : 5); \
88 if (CPROJ(cd) != INF \
89 || CKSGN_I (CPROJ(cd), INF)) \
90 link_error(__LINE__); \
91 __real cld = NEG INF; \
92 __imag cld = (x ? 4 : 5); \
93 if (CPROJL(cld) != INF \
94 || CKSGN_I (CPROJL(cld), INF)) \
95 link_error(__LINE__); \
98 /* Like TEST_REAL_INF, but check that side effects are honored. */
99 #define TEST_REAL_INF_SIDE_EFFECT(NEG) do { \
101 __real cf = NEG INF; \
102 __imag cf = (x ? 4 : 5); \
103 if (CPROJF((++side,cf)) != INF \
104 || CKSGN_I (CPROJF((++side,cf)), INF)) \
105 link_error(__LINE__); \
106 __real cd = NEG INF; \
107 __imag cd = (x ? 4 : 5); \
108 if (CPROJ((++side,cd)) != INF \
109 || CKSGN_I (CPROJ((++side,cd)), INF)) \
110 link_error(__LINE__); \
111 __real cld = NEG INF; \
112 __imag cld = (x ? 4 : 5); \
113 if (CPROJL((++side,cld)) != INF \
114 || CKSGN_I (CPROJL((++side,cld)), INF)) \
115 link_error(__LINE__); \
117 link_error(__LINE__); \
120 void foo (_Complex
long double cld
, _Complex
double cd
, _Complex
float cf
,
121 long double ld
, double d
, float f
, int x
)
123 TEST_CST_INF (INF
+0I
, 0);
124 TEST_CST_INF (INF
-0I
, -0.FI
);
125 TEST_CST_INF (INF
+4I
, 0);
126 TEST_CST_INF (INF
-4I
, -0.FI
);
127 TEST_CST_INF (-INF
+0I
, 0);
128 TEST_CST_INF (-INF
-0I
, -0.FI
);
129 TEST_CST_INF (-INF
+4I
, 0);
130 TEST_CST_INF (-INF
-4I
, -0.FI
);
132 TEST_CST_INF (0+I
*INF
, 0);
133 TEST_CST_INF (0-I
*INF
, -0.FI
);
134 TEST_CST_INF (23+I
*INF
, 0);
135 TEST_CST_INF (23-I
*INF
, -0.FI
);
136 TEST_CST_INF (-0.F
+I
*INF
, 0);
137 TEST_CST_INF (-0.F
-I
*INF
, -0.FI
);
138 TEST_CST_INF (-23+I
*INF
, 0);
139 TEST_CST_INF (-23-I
*INF
, -0.FI
);
141 TEST_CST_INF (INF
+I
*INF
, 0);
142 TEST_CST_INF (INF
-I
*INF
, -0.FI
);
143 TEST_CST_INF (-INF
+I
*INF
, 0);
144 TEST_CST_INF (-INF
-I
*INF
, -0.FI
);
149 TEST_CST (-0.F
-0.FI
);
156 TEST_IMAG_INF (,0.FI
);
157 TEST_IMAG_INF (-,-0.FI
);
163 TEST_IMAG_INF_SIDE_EFFECT (,0.FI
);
164 TEST_IMAG_INF_SIDE_EFFECT (-,-0.FI
);
166 TEST_REAL_INF_SIDE_EFFECT( );
167 TEST_REAL_INF_SIDE_EFFECT(-);