/* Test __builtin_complex semantics.  */
/* { dg-do run } */
/* { dg-options "-std=c11 -pedantic-errors" } */
/* { dg-add-options ieee } */

extern void exit (int);
extern void abort (void);

#define COMPARE_BODY(A, B, TYPE, COPYSIGN)				\
  do {									\
    TYPE s1 = COPYSIGN ((TYPE) 1.0, A);					\
    TYPE s2 = COPYSIGN ((TYPE) 1.0, B);					\
    if (s1 != s2)							\
      abort ();								\
    if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0))	\
      abort ();								\
    if ((A != B) != (__builtin_isnan (A) != 0))				\
      abort ();								\
  } while (0)

#ifndef __SPU__
void
comparef (float a, float b)
{
  COMPARE_BODY (a, b, float, __builtin_copysignf);
}
#endif

void
compare (double a, double b)
{
  COMPARE_BODY (a, b, double, __builtin_copysign);
}

void
comparel (long double a, long double b)
{
  COMPARE_BODY (a, b, long double, __builtin_copysignl);
}

#ifndef __SPU__
void
comparecf (_Complex float a, float r, float i)
{
  comparef (__real__ a, r);
  comparef (__imag__ a, i);
}
#endif

void
comparec (_Complex double a, double r, double i)
{
  compare (__real__ a, r);
  compare (__imag__ a, i);
}

void
comparecl (_Complex long double a, long double r, long double i)
{
  comparel (__real__ a, r);
  comparel (__imag__ a, i);
}

#define VERIFY(A, B, TYPE, COMPARE)			\
  do {							\
    TYPE a = A;						\
    TYPE b = B;						\
    _Complex TYPE cr = __builtin_complex (a, b);	\
    static _Complex TYPE cs = __builtin_complex (A, B);	\
    COMPARE (cr, A, B);					\
    COMPARE (cs, A, B);					\
  } while (0)

#define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE)	\
  do {							\
    VERIFY (PZ, PZ, TYPE, COMPARE);			\
    VERIFY (PZ, NZ, TYPE, COMPARE);			\
    VERIFY (PZ, NAN, TYPE, COMPARE);			\
    VERIFY (PZ, INF, TYPE, COMPARE);			\
    VERIFY (NZ, PZ, TYPE, COMPARE);			\
    VERIFY (NZ, NZ, TYPE, COMPARE);			\
    VERIFY (NZ, NAN, TYPE, COMPARE);			\
    VERIFY (NZ, INF, TYPE, COMPARE);			\
    VERIFY (NAN, PZ, TYPE, COMPARE);			\
    VERIFY (NAN, NZ, TYPE, COMPARE);			\
    VERIFY (NAN, NAN, TYPE, COMPARE);			\
    VERIFY (NAN, INF, TYPE, COMPARE);			\
    VERIFY (INF, PZ, TYPE, COMPARE);			\
    VERIFY (INF, NZ, TYPE, COMPARE);			\
    VERIFY (INF, NAN, TYPE, COMPARE);			\
    VERIFY (INF, INF, TYPE, COMPARE);			\
  } while (0)

void
check_float (void)
{
#ifndef __SPU__
  ALL_CHECKS (0.0f, -0.0f, __builtin_nanf(""), __builtin_inff(),
	      float, comparecf);
#endif
}

void
check_double (void)
{
  ALL_CHECKS (0.0, -0.0, __builtin_nan(""), __builtin_inf(),
	      double, comparec);
}

void
check_long_double (void)
{
  ALL_CHECKS (0.0l, -0.0l, __builtin_nanl(""), __builtin_infl(),
	      long double, comparecl);
}

int
main (void)
{
  check_float ();
  check_double ();
  check_long_double ();
  exit (0);
}