Add tst-CMPLX2 test.

2 files changed, 150 insertions, 1 deletions

diff --git a/math/Makefile b/math/Makefile
index 7ccbc11030..9dbe05e87f 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -91,7 +91,7 @@ distribute += $(filter-out $(generated),$(long-m-yes:=.c) $(long-c-yes:=.c))
 tests = test-matherr test-fenv atest-exp atest-sincos atest-exp2 basic-test \
 	test-misc test-fpucw tst-definitions test-tgmath test-tgmath-ret \
 	bug-nextafter bug-nexttoward bug-tgmath1 test-tgmath-int \
-	test-tgmath2 test-powl tst-CMPLX
+	test-tgmath2 test-powl tst-CMPLX tst-CMPLX2
 # We do the `long double' tests only if this data type is available and
 # distinct from `double'.
 test-longdouble-yes = test-ldouble test-ildoubl
diff --git a/math/tst-CMPLX2.c b/math/tst-CMPLX2.c
new file mode 100644
index 0000000000..416d477c49
--- /dev/null
+++ b/math/tst-CMPLX2.c
@@ -0,0 +1,149 @@
+/* Copyright (C) 2012 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+   Contributed by Marek Polacek <polacek@redhat.com>, 2012.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, write to the Free
+   Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
+   02111-1307 USA.  */
+
+/* Adapted from gcc.dg/torture/builtin-complex-1.c test from GCC
+   testsuite written by Joseph S. Myers.  */
+
+#include <complex.h>
+
+static int result;
+
+#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)							\
+      result |= 1;							\
+    if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0))	\
+      result |= 1;							\
+    if ((A != B) != (__builtin_isnan (A) != 0))				\
+      result |= 1;							\
+  } while (0)
+
+#ifdef CMPLX
+
+static void
+comparef (float a, float b)
+{
+  COMPARE_BODY (a, b, float, __builtin_copysignf);
+}
+
+static void
+compare (double a, double b)
+{
+  COMPARE_BODY (a, b, double, __builtin_copysign);
+}
+
+static void
+comparel (long double a, long double b)
+{
+  COMPARE_BODY (a, b, long double, __builtin_copysignl);
+}
+
+static void
+comparecf (_Complex float a, float r, float i)
+{
+  comparef (__real__ a, r);
+  comparef (__imag__ a, i);
+}
+
+static void
+comparec (_Complex double a, double r, double i)
+{
+  compare (__real__ a, r);
+  compare (__imag__ a, i);
+}
+
+static 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, CL)			\
+  do {							\
+    TYPE a = A;						\
+    TYPE b = B;						\
+    _Complex TYPE cr = CL (a, b);			\
+    static _Complex TYPE cs = CL (A, B);		\
+    COMPARE (cr, A, B);					\
+    COMPARE (cs, A, B);					\
+  } while (0)
+
+#define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE, CL)	\
+  do {							\
+    VERIFY (PZ, PZ, TYPE, COMPARE, CL);			\
+    VERIFY (PZ, NZ, TYPE, COMPARE, CL);			\
+    VERIFY (PZ, NAN, TYPE, COMPARE, CL);		\
+    VERIFY (PZ, INF, TYPE, COMPARE, CL);		\
+    VERIFY (NZ, PZ, TYPE, COMPARE, CL);			\
+    VERIFY (NZ, NZ, TYPE, COMPARE, CL);			\
+    VERIFY (NZ, NAN, TYPE, COMPARE, CL);		\
+    VERIFY (NZ, INF, TYPE, COMPARE, CL);		\
+    VERIFY (NAN, PZ, TYPE, COMPARE, CL);		\
+    VERIFY (NAN, NZ, TYPE, COMPARE, CL);		\
+    VERIFY (NAN, NAN, TYPE, COMPARE, CL);		\
+    VERIFY (NAN, INF, TYPE, COMPARE, CL);		\
+    VERIFY (INF, PZ, TYPE, COMPARE,CL);			\
+    VERIFY (INF, NZ, TYPE, COMPARE, CL);		\
+    VERIFY (INF, NAN, TYPE, COMPARE, CL);		\
+    VERIFY (INF, INF, TYPE, COMPARE, CL);		\
+  } while (0)
+
+static void
+check_float (void)
+{
+  ALL_CHECKS (0.0f, -0.0f, __builtin_nanf (""), __builtin_inff (),
+	      float, comparecf, CMPLXF);
+}
+
+static void
+check_double (void)
+{
+  ALL_CHECKS (0.0, -0.0, __builtin_nan (""), __builtin_inf (),
+	      double, comparec, CMPLX);
+}
+
+# ifndef NO_LONG_DOUBLE
+static void
+check_long_double (void)
+{
+  ALL_CHECKS (0.0l, -0.0l, __builtin_nanl (""), __builtin_infl (),
+	      long double, comparecl, CMPLXL);
+}
+# endif
+#endif
+
+static int
+do_test (void)
+{
+#ifdef CMPLX
+  check_float ();
+  check_double ();
+# ifndef NO_LONG_DOUBLE
+  check_long_double ();
+# endif
+#endif
+
+  return result;
+}
+
+#define TEST_FUNCTION do_test ()
+#include "../test-skeleton.c"