1/* Test complex arithmetic with signed zeros.  Mixed real/complex
2   multiplication.  */
3/* { dg-do run } */
4/* { dg-options "-std=gnu99" { target c } } */
5
6#include "complex-sign.h"
7
8#define CHECK_MUL(TYPE, COPY, ZERO, ZEROI)				\
9  do {									\
10    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, +, +, +, +, +);		\
11    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, +, +, -, +, -);		\
12    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, +, -, +, -, +);		\
13    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, +, -, -, -, -);		\
14    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, -, +, +, -, -);		\
15    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, -, +, -, -, +);		\
16    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, -, -, +, +, -);		\
17    CHECK_ARITH_RC (TYPE, COPY, ZERO, ZEROI, *, -, -, -, +, +);		\
18    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, +, +, +, ZERO, +, +);	\
19    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, +, +, -, ZERO, -, -);	\
20    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, +, -, +, ZERO, +, -);	\
21    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, +, -, -, ZERO, -, +);	\
22    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, -, +, +, ZERO, -, +);	\
23    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, -, +, -, ZERO, +, -);	\
24    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, -, -, +, ZERO, -, -);	\
25    CHECK_ARITH_CR (TYPE, COPY, ZERO, ZEROI, *, -, -, -, ZERO, +, +);	\
26  } while (0)
27
28void
29check_mul_float (void)
30{
31#ifndef __SPU__
32  CHECK_MUL (float, __builtin_copysignf, 0.0f, 0.0if);
33#endif
34}
35
36void
37check_mul_double (void)
38{
39  CHECK_MUL (double, __builtin_copysign, 0.0, 0.0i);
40}
41
42void
43check_mul_long_double (void)
44{
45  CHECK_MUL (long double, __builtin_copysignl, 0.0l, 0.0il);
46}
47
48int
49main (void)
50{
51  check_mul_float ();
52  check_mul_double ();
53  check_mul_long_double ();
54  exit (0);
55}
56