1 /* Test complex arithmetic with signed zeros. Pure complex
2 multiplication with 1.0 + 0.0i. */
4 /* { dg-options "-std=gnu99" { target c } } */
5 /* { dg-skip-if "double support is incomplete" { "avr-*-*" } } */
7 #include "complex-sign.h"
9 #define CHECK_MUL_INT(TYPE, COPY, ZERO, ZEROI, ONE, S1, S2, SR, SI) \
11 _Complex TYPE a1, b1, c1; \
12 volatile _Complex TYPE a2, b2, c2; \
13 a1 = ENCODE(ZERO, ZEROI, S1, S2); \
14 CHECK_RES (a1, COPY, S1, S2); \
17 CHECK_RES (c1, COPY, SR, SI); \
18 c1 = a1 * (ONE + ZEROI); \
19 CHECK_RES (c1, COPY, SR, SI); \
20 a2 = ENCODE(ZERO, ZEROI, S1, S2); \
21 CHECK_RES (a2, COPY, S1, S2); \
24 CHECK_RES (c2, COPY, SR, SI); \
25 c2 = a2 * (ONE + ZEROI); \
26 CHECK_RES (c2, COPY, SR, SI); \
29 #define CHECK_MUL(TYPE, COPY, ZERO, ZEROI, ONE) \
31 CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, +, +, +); \
32 CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, -, +, +); \
33 CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, +, -, +); \
34 CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, -, +, -); \
38 check_mul_float (void)
40 CHECK_MUL (float, __builtin_copysignf
, 0.0f
, 0.0if, 1.0f
);
44 check_mul_double (void)
46 CHECK_MUL (double, __builtin_copysign
, 0.0, 0.0i
, 1.0);
50 check_mul_long_double (void)
52 CHECK_MUL (long double, __builtin_copysignl
, 0.0l, 0.0il
, 1.0l);
60 check_mul_long_double ();