1  /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
       2  /* { dg-additional-options "-flive-patching=inline-clone -funroll-loops -fno-tree-forwprop -fno-expensive-optimizations -mstack-arg-probe -fcompare-debug" } */
       3  /* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
       4  
       5  extern void exit (int);
       6  extern void abort (void);
       7  
       8  #define COMPARE_BODY(A, B, TYPE, COPYSIGN)				\
       9    do {									\
      10      TYPE s1 = COPYSIGN ((TYPE) 1.0, A);					\
      11      TYPE s2 = COPYSIGN ((TYPE) 1.0, B);					\
      12      if (s1 != s2)							\
      13        abort ();								\
      14      if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0))	\
      15        abort ();								\
      16      if ((A != B) != (__builtin_isnan (A) != 0))				\
      17        abort ();								\
      18    } while (0)
      19  
      20  void
      21  comparel (long double a, long double b)
      22  {
      23    COMPARE_BODY (a, b, long double, __builtin_copysignl);
      24  }
      25  
      26  void
      27  comparecl (_Complex long double a, long double r, long double i)
      28  {
      29    comparel (__real__ a, r);
      30    comparel (__imag__ a, i);
      31  }
      32  
      33  #define VERIFY(A, B, TYPE, COMPARE)			\
      34    do {							\
      35      TYPE a = A;						\
      36      TYPE b = B;						\
      37      _Complex TYPE cr = __builtin_complex (a, b);	\
      38      static _Complex TYPE cs = __builtin_complex (A, B);	\
      39      COMPARE (cr, A, B);					\
      40      COMPARE (cs, A, B);					\
      41    } while (0)
      42  
      43  #define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE)	\
      44    do {							\
      45      VERIFY (NAN, NZ, TYPE, COMPARE);			\
      46      VERIFY (INF, NZ, TYPE, COMPARE);			\
      47      VERIFY (INF, NAN, TYPE, COMPARE);			\
      48      VERIFY (INF, INF, TYPE, COMPARE);			\
      49    } while (0)
      50  
      51  void
      52  check_long_double (void)
      53  {
      54    ALL_CHECKS (0.0l, -0.0l, __builtin_nanl(""), __builtin_infl(), long double, comparecl);
      55  }