/* Test complex arithmetic with signed zeros. Pure complex
|
/* Test complex arithmetic with signed zeros. Pure complex
|
multiplication with 1.0 + 0.0i. */
|
multiplication with 1.0 + 0.0i. */
|
/* { dg-do run } */
|
/* { dg-do run } */
|
/* { dg-options "-std=gnu99" { target c } } */
|
/* { dg-options "-std=gnu99" { target c } } */
|
|
|
#include "complex-sign.h"
|
#include "complex-sign.h"
|
|
|
#define CHECK_MUL_INT(TYPE, COPY, ZERO, ZEROI, ONE, S1, S2, SR, SI) \
|
#define CHECK_MUL_INT(TYPE, COPY, ZERO, ZEROI, ONE, S1, S2, SR, SI) \
|
do { \
|
do { \
|
_Complex TYPE a1, b1, c1; \
|
_Complex TYPE a1, b1, c1; \
|
volatile _Complex TYPE a2, b2, c2; \
|
volatile _Complex TYPE a2, b2, c2; \
|
a1 = ENCODE(ZERO, ZEROI, S1, S2); \
|
a1 = ENCODE(ZERO, ZEROI, S1, S2); \
|
CHECK_RES (a1, COPY, S1, S2); \
|
CHECK_RES (a1, COPY, S1, S2); \
|
b1 = ONE + ZEROI; \
|
b1 = ONE + ZEROI; \
|
c1 = a1 * b1; \
|
c1 = a1 * b1; \
|
CHECK_RES (c1, COPY, SR, SI); \
|
CHECK_RES (c1, COPY, SR, SI); \
|
c1 = a1 * (ONE + ZEROI); \
|
c1 = a1 * (ONE + ZEROI); \
|
CHECK_RES (c1, COPY, SR, SI); \
|
CHECK_RES (c1, COPY, SR, SI); \
|
a2 = ENCODE(ZERO, ZEROI, S1, S2); \
|
a2 = ENCODE(ZERO, ZEROI, S1, S2); \
|
CHECK_RES (a2, COPY, S1, S2); \
|
CHECK_RES (a2, COPY, S1, S2); \
|
b2 = ONE + ZEROI; \
|
b2 = ONE + ZEROI; \
|
c2 = a2 * b2; \
|
c2 = a2 * b2; \
|
CHECK_RES (c2, COPY, SR, SI); \
|
CHECK_RES (c2, COPY, SR, SI); \
|
c2 = a2 * (ONE + ZEROI); \
|
c2 = a2 * (ONE + ZEROI); \
|
CHECK_RES (c2, COPY, SR, SI); \
|
CHECK_RES (c2, COPY, SR, SI); \
|
} while (0)
|
} while (0)
|
|
|
#define CHECK_MUL(TYPE, COPY, ZERO, ZEROI, ONE) \
|
#define CHECK_MUL(TYPE, COPY, ZERO, ZEROI, ONE) \
|
do { \
|
do { \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, +, +, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, +, +, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, -, +, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, +, -, +, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, +, -, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, +, -, +); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, -, +, -); \
|
CHECK_MUL_INT (TYPE, COPY, ZERO, ZEROI, ONE, -, -, +, -); \
|
} while (0)
|
} while (0)
|
|
|
void
|
void
|
check_mul_float (void)
|
check_mul_float (void)
|
{
|
{
|
CHECK_MUL (float, __builtin_copysignf, 0.0f, 0.0if, 1.0f);
|
CHECK_MUL (float, __builtin_copysignf, 0.0f, 0.0if, 1.0f);
|
}
|
}
|
|
|
void
|
void
|
check_mul_double (void)
|
check_mul_double (void)
|
{
|
{
|
CHECK_MUL (double, __builtin_copysign, 0.0, 0.0i, 1.0);
|
CHECK_MUL (double, __builtin_copysign, 0.0, 0.0i, 1.0);
|
}
|
}
|
|
|
void
|
void
|
check_mul_long_double (void)
|
check_mul_long_double (void)
|
{
|
{
|
CHECK_MUL (long double, __builtin_copysignl, 0.0l, 0.0il, 1.0l);
|
CHECK_MUL (long double, __builtin_copysignl, 0.0l, 0.0il, 1.0l);
|
}
|
}
|
|
|
int
|
int
|
main (void)
|
main (void)
|
{
|
{
|
check_mul_float ();
|
check_mul_float ();
|
check_mul_double ();
|
check_mul_double ();
|
check_mul_long_double ();
|
check_mul_long_double ();
|
exit (0);
|
exit (0);
|
}
|
}
|
|
|
