From 34b0ba283020a5a9cc25b4a3657cb162e9bc57c2 Mon Sep 17 00:00:00 2001 From: Ulrich Drepper Date: Sat, 15 Oct 2005 00:39:12 +0000 Subject: [BZ #865] * math/tgmath.h: Correctly determine result type for __TGMATH_BINARY_REAL_ONLY, __TGMATH_TERNARY_FIRST_SECOND_REAL_ONLY, __TGMATH_TERNARY_REAL_ONLY, and __TGMATH_BINARY_REAL_IMAG. 2005-09-17 Andreas Jaeger [BZ #865] * math/test-tgmath-int.c: New file. * math/Makefile (tests): Add test-tgmath-int. 2005-10-14 Ulrich Drepper --- math/Makefile | 4 +-- math/test-tgmath-int.c | 71 ++++++++++++++++++++++++++++++++++++++++++++++++++ math/tgmath.h | 15 +++++++---- 3 files changed, 83 insertions(+), 7 deletions(-) create mode 100644 math/test-tgmath-int.c (limited to 'math') diff --git a/math/Makefile b/math/Makefile index c4501b87f4..8e5c788403 100644 --- a/math/Makefile +++ b/math/Makefile @@ -1,4 +1,4 @@ -# Copyright (C) 1996-2001, 2002, 2003, 2004 Free Software Foundation, Inc. +# Copyright (C) 1996-2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc. # This file is part of the GNU C Library. # The GNU C Library is free software; you can redistribute it and/or @@ -89,7 +89,7 @@ distribute += $(filter-out $(generated),$(long-m-yes:=.c) $(long-c-yes:=.c)) # Rules for the test suite. 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 + bug-nextafter bug-nexttoward bug-tgmath1 test-tgmath-int # 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/test-tgmath-int.c b/math/test-tgmath-int.c new file mode 100644 index 0000000000..99ebe9f508 --- /dev/null +++ b/math/test-tgmath-int.c @@ -0,0 +1,71 @@ +/* Test compilation of tgmath macros. + Copyright (C) 2005 Free Software Foundation, Inc. + This file is part of the GNU C Library. + Contributed by Andreas Jaeger , 2005. + + 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. */ + +#include +#include +#include +#include + +static int errors = 0; + +static void +our_error (const char *c) +{ + puts (c); + ++errors; +} + +#define CHECK_RET_CONST_TYPE(func, rettype, name) \ + if (sizeof (func) != sizeof (rettype)) \ + our_error ("Return size of " #name " is " #func" wrong"); + +#define CHECK_RET_CONST_FLOAT(func, name) \ + CHECK_RET_CONST_TYPE (func, float, name) + +#define CHECK_RET_CONST_DOUBLE(func, name) \ + CHECK_RET_CONST_TYPE (func, double, name) + +static int +do_test (void) +{ + int i; + float f; + double d; + + CHECK_RET_CONST_DOUBLE (sin (i), "sin (i)"); + CHECK_RET_CONST_DOUBLE (pow (i, i), "pow (i, i)"); + CHECK_RET_CONST_DOUBLE (pow (i, i), "pow (i, i)"); + CHECK_RET_CONST_DOUBLE (pow (i, f), "pow (i, f)"); + CHECK_RET_CONST_DOUBLE (pow (i, d), "pow (i, d)"); + CHECK_RET_CONST_DOUBLE (pow (f, i), "pow (f, i)"); + CHECK_RET_CONST_DOUBLE (pow (d, i), "pow (d, i)"); + CHECK_RET_CONST_DOUBLE (fma (i, i, i), "fma (i, i, i)"); + CHECK_RET_CONST_DOUBLE (fma (f, i, i), "fma (f, i, i)"); + CHECK_RET_CONST_DOUBLE (fma (i, f, i), "fma (i, f, i)"); + CHECK_RET_CONST_DOUBLE (fma (i, i, f), "fma (i, i, f)"); + CHECK_RET_CONST_DOUBLE (fma (d, i, i), "fma (d, i, i)"); + CHECK_RET_CONST_DOUBLE (fma (i, d, i), "fma (i, d, i)"); + CHECK_RET_CONST_DOUBLE (fma (i, i, d), "fma (i, i, d)"); + + return errors != 0; +} + +#define TEST_FUNCTION do_test () +#include "../test-skeleton.c" diff --git a/math/tgmath.h b/math/tgmath.h index ab2cc929ad..f3d23f6e52 100644 --- a/math/tgmath.h +++ b/math/tgmath.h @@ -1,4 +1,4 @@ -/* Copyright (C) 1997, 1998, 1999, 2000, 2001, 2003, 2004 +/* Copyright (C) 1997, 1998, 1999, 2000, 2001, 2003, 2004, 2005 Free Software Foundation, Inc. This file is part of the GNU C Library. @@ -98,7 +98,8 @@ __tgmres; })) # define __TGMATH_BINARY_REAL_ONLY(Val1, Val2, Fct) \ - (__extension__ ({ __tgmath_real_type ((Val1) + (Val2)) __tgmres; \ + (__extension__ ({ __typeof((__tgmath_real_type (Val1)) 0 \ + + (__tgmath_real_type (Val2)) 0) __tgmres; \ if ((sizeof (Val1) > sizeof (double) \ || sizeof (Val2) > sizeof (double)) \ && __builtin_classify_type ((Val1) + (Val2)) == 8) \ @@ -113,7 +114,8 @@ __tgmres; })) # define __TGMATH_TERNARY_FIRST_SECOND_REAL_ONLY(Val1, Val2, Val3, Fct) \ - (__extension__ ({ __tgmath_real_type ((Val1) + (Val2)) __tgmres; \ + (__extension__ ({ __typeof((__tgmath_real_type (Val1)) 0 \ + + (__tgmath_real_type (Val2)) 0) __tgmres; \ if ((sizeof (Val1) > sizeof (double) \ || sizeof (Val2) > sizeof (double)) \ && __builtin_classify_type ((Val1) + (Val2)) == 8) \ @@ -128,7 +130,9 @@ __tgmres; })) # define __TGMATH_TERNARY_REAL_ONLY(Val1, Val2, Val3, Fct) \ - (__extension__ ({ __tgmath_real_type ((Val1) + (Val2) + (Val3)) __tgmres;\ + (__extension__ ({ __typeof((__tgmath_real_type (Val1)) 0 \ + + (__tgmath_real_type (Val2)) 0 \ + + (__tgmath_real_type (Val3)) 0) __tgmres; \ if ((sizeof (Val1) > sizeof (double) \ || sizeof (Val2) > sizeof (double) \ || sizeof (Val3) > sizeof (double)) \ @@ -209,7 +213,8 @@ /* XXX This definition has to be changed as soon as the compiler understands the imaginary keyword. */ # define __TGMATH_BINARY_REAL_IMAG(Val1, Val2, Fct, Cfct) \ - (__extension__ ({ __tgmath_real_type ((Val1) + (Val2)) __tgmres; \ + (__extension__ ({ __typeof((__tgmath_real_type (Val1)) 0 \ + + (__tgmath_real_type (Val2)) 0) __tgmres; \ if ((sizeof (__real__ (Val1)) > sizeof (double) \ || sizeof (__real__ (Val2)) > sizeof (double)) \ && __builtin_classify_type (__real__ (Val1) \ -- cgit v1.2.3