From patchwork Tue Mar 14 17:29:40 2017 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "Gabriel F. T. Gomes" X-Patchwork-Id: 738835 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3vjMDz55nnz9s03 for ; Wed, 15 Mar 2017 04:29:55 +1100 (AEDT) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.b="D5sxQpTu"; dkim-atps=neutral DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:from:to:subject:date:message-id; q=dns; s= default; b=jlJ5pac/74Ca2N1OhhOHZDcebxFU34HwPmKF9GoaAwvQxYXOakVzx aPlACe0sIwYBxUctmSxNeEGdtFIdYm2uF3/2985Gvg/7q1+jTuhdN+OpQ/xk2iR/ ZKf4KILgN5+CvnWZJfCUyUA/eeAPKoV7vd1cuWXWhNfckFZgnA0snw= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:from:to:subject:date:message-id; s=default; bh=mBf989d3FgqDMmhIKNcXm+2/bxY=; b=D5sxQpTuENtYBEDBwDUYo9tQTc8i yIKkW2fioLSOR9XfY7HLwSoWi9s4feMsKFxRJfApMD/ZNlV30r/QSgTODOfTC++B o2ENa20nqOdaB9zhSeUcN24v2FU8JtMrtMxMi/NekRWhoAnMr5HXa666tP0h6wVP FcgRLtTUMjU/Lw0= Received: (qmail 17494 invoked by alias); 14 Mar 2017 17:29:48 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Delivered-To: mailing list libc-alpha@sourceware.org Received: (qmail 17478 invoked by uid 89); 14 Mar 2017 17:29:47 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-26.9 required=5.0 tests=BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, RP_MATCHES_RCVD, SPF_PASS autolearn=ham version=3.3.2 spammy=2329, 1876, 2327 X-HELO: mail.gftg.com.br From: "Gabriel F. T. Gomes" To: libc-alpha@sourceware.org Subject: [PATCH v2] Split helper classification macros from mathcalls.h Date: Tue, 14 Mar 2017 14:29:40 -0300 Message-Id: <1489512580-17255-1-git-send-email-gftg@linux.vnet.ibm.com> Changes since v1: - Included __issignaling and __iseqsig in the split. - Removed C++ namespaces since libstdc++ does not use them. (https://gcc.gnu.org/ml/libstdc++/2017-03/msg00028.html) - Removed the feature test macros since they are also useless. (https://sourceware.org/ml/libc-alpha/2017-03/msg00123.html) -- 8< -- The classification macros: finite, fpclassify, iseqsig, isinf, isnan, issignaling, and signbit are defined by ISO C11 and declared in mathcalls.h for each of the floating-point types: float, double, and long double. TS 18661-3 does not mention these macros for float128, however support for them must be present when _Float128 is present. This is true, even when the feature test macro __STDC_WANT_IEC_60559_TYPES_EXT__ is false. Other function declarations in mathcalls.h, on the other hand, depend on __STDC_WANT_IEC_60559_TYPES_EXT__. This patch splits the helper functions (__finite, __fpclassify, __iseqsig, __isinf, __isnan, __issignaling, and __signbit) from mathcalls.h, so that these helper functions can be declared for _Float128, even when __STDC_WANT_IEC_60559_TYPES_EXT__ is false. Tested for powerpc64le, s390x, and x86_64. 2017-03-06 Gabriel F. T. Gomes * include/bits/mathcalls-helper-functions.h: New file. * math/Makefile (headers): Add bits/mathcalls-helper-functions.h. * math/bits/mathcalls.h (__finite, __fpclassify, __iseqsig) (__isinf, __isnan, __issignaling, __signbit): Move declarations to math/bits/mathcalls-helper-functions.h. * math/bits/mathcalls-helper-functions.h: New file. * math/math.h: Include bits/mathcalls-helper-functions.h for float, double, and long double. --- include/bits/mathcalls-helper-functions.h | 1 + math/Makefile | 2 +- math/bits/mathcalls-helper-functions.h | 43 +++++++++++++++++++++++++++++++ math/bits/mathcalls.h | 28 -------------------- math/math.h | 3 +++ 5 files changed, 48 insertions(+), 29 deletions(-) create mode 100644 include/bits/mathcalls-helper-functions.h create mode 100644 math/bits/mathcalls-helper-functions.h diff --git a/include/bits/mathcalls-helper-functions.h b/include/bits/mathcalls-helper-functions.h new file mode 100644 index 0000000..bb71f7f --- /dev/null +++ b/include/bits/mathcalls-helper-functions.h @@ -0,0 +1 @@ +#include diff --git a/math/Makefile b/math/Makefile index 29e7436..97080a7 100644 --- a/math/Makefile +++ b/math/Makefile @@ -29,7 +29,7 @@ headers := math.h bits/mathcalls.h bits/mathinline.h bits/huge_val.h \ bits/math-finite.h bits/math-vector.h \ bits/libm-simd-decl-stubs.h bits/iscanonical.h \ bits/flt-eval-method.h bits/fp-fast.h bits/fp-logb.h \ - bits/long-double.h + bits/long-double.h bits/mathcalls-helper-functions.h # FPU support code. aux := setfpucw fpu_control diff --git a/math/bits/mathcalls-helper-functions.h b/math/bits/mathcalls-helper-functions.h new file mode 100644 index 0000000..dec2d99 --- /dev/null +++ b/math/bits/mathcalls-helper-functions.h @@ -0,0 +1,43 @@ +/* Prototype declarations for math classification macros helpers. + Copyright (C) 2017 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 + 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, see + . */ + + +/* Classify given number. */ +__MATHDECL_1 (int, __fpclassify,, (_Mdouble_ __value)) + __attribute__ ((__const__)); + +/* Test for negative number. */ +__MATHDECL_1 (int, __signbit,, (_Mdouble_ __value)) + __attribute__ ((__const__)); + +/* Return 0 if VALUE is finite or NaN, +1 if it + is +Infinity, -1 if it is -Infinity. */ +__MATHDECL_1 (int, __isinf,, (_Mdouble_ __value)) __attribute__ ((__const__)); + +/* Return nonzero if VALUE is finite and not NaN. Used by isfinite macro. */ +__MATHDECL_1 (int, __finite,, (_Mdouble_ __value)) __attribute__ ((__const__)); + +/* Return nonzero if VALUE is not a number. */ +__MATHDECL_1 (int, __isnan,, (_Mdouble_ __value)) __attribute__ ((__const__)); + +/* Test equality. */ +__MATHDECL_1 (int, __iseqsig,, (_Mdouble_ __x, _Mdouble_ __y)); + +/* Test for signaling NaN. */ +__MATHDECL_1 (int, __issignaling,, (_Mdouble_ __value)) + __attribute__ ((__const__)); diff --git a/math/bits/mathcalls.h b/math/bits/mathcalls.h index 3d3b414..fe315fd 100644 --- a/math/bits/mathcalls.h +++ b/math/bits/mathcalls.h @@ -187,14 +187,6 @@ __MATHCALLX (floor,, (_Mdouble_ __x), (__const__)); /* Floating-point modulo remainder of X/Y. */ __MATHCALL (fmod,, (_Mdouble_ __x, _Mdouble_ __y)); - - -/* Return 0 if VALUE is finite or NaN, +1 if it - is +Infinity, -1 if it is -Infinity. */ -__MATHDECL_1 (int,__isinf,, (_Mdouble_ __value)) __attribute__ ((__const__)); - -/* Return nonzero if VALUE is finite and not NaN. */ -__MATHDECL_1 (int,__finite,, (_Mdouble_ __value)) __attribute__ ((__const__)); _Mdouble_END_NAMESPACE #ifdef __USE_MISC @@ -232,9 +224,6 @@ __END_NAMESPACE_C99 #endif -/* Return nonzero if VALUE is not a number. */ -__MATHDECL_1 (int,__isnan,, (_Mdouble_ __value)) __attribute__ ((__const__)); - #if defined __USE_MISC || (defined __USE_XOPEN && !defined __USE_XOPEN2K) # if (!defined __cplusplus \ || __cplusplus < 201103L /* isnan conflicts with C++11. */ \ @@ -366,16 +355,6 @@ __MATHCALLX (fmax,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); /* Return minimum numeric value from X and Y. */ __MATHCALLX (fmin,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); - -/* Classify given number. */ -__MATHDECL_1 (int, __fpclassify,, (_Mdouble_ __value)) - __attribute__ ((__const__)); - -/* Test for negative number. */ -__MATHDECL_1 (int, __signbit,, (_Mdouble_ __value)) - __attribute__ ((__const__)); - - /* Multiply-add function computed as a ternary operation. */ __MATHCALL (fma,, (_Mdouble_ __x, _Mdouble_ __y, _Mdouble_ __z)); #endif /* Use ISO C99. */ @@ -416,13 +395,6 @@ __MATHCALLX (fmaxmag,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); /* Return value with minimum magnitude. */ __MATHCALLX (fminmag,, (_Mdouble_ __x, _Mdouble_ __y), (__const__)); -/* Test equality. */ -__MATHDECL_1 (int, __iseqsig,, (_Mdouble_ __x, _Mdouble_ __y)); - -/* Test for signaling NaN. */ -__MATHDECL_1 (int, __issignaling,, (_Mdouble_ __value)) - __attribute__ ((__const__)); - /* Total order operation. */ __MATHDECL_1 (int, totalorder,, (_Mdouble_ __x, _Mdouble_ __y)) __attribute__ ((__const__)); diff --git a/math/math.h b/math/math.h index 09f0ce8..fde3070 100644 --- a/math/math.h +++ b/math/math.h @@ -210,6 +210,7 @@ enum #define __MATH_DECLARING_DOUBLE 1 #define _Mdouble_BEGIN_NAMESPACE __BEGIN_NAMESPACE_STD #define _Mdouble_END_NAMESPACE __END_NAMESPACE_STD +#include #include #undef _Mdouble_ #undef _Mdouble_BEGIN_NAMESPACE @@ -231,6 +232,7 @@ enum # define __MATH_DECLARING_DOUBLE 0 # define _Mdouble_BEGIN_NAMESPACE __BEGIN_NAMESPACE_C99 # define _Mdouble_END_NAMESPACE __END_NAMESPACE_C99 +# include # include # undef _Mdouble_ # undef _Mdouble_BEGIN_NAMESPACE @@ -278,6 +280,7 @@ extern long double __REDIRECT_NTH (nexttowardl, # define _Mdouble_BEGIN_NAMESPACE __BEGIN_NAMESPACE_C99 # define _Mdouble_END_NAMESPACE __END_NAMESPACE_C99 # define __MATH_DECLARE_LDOUBLE 1 +# include # include # undef _Mdouble_ # undef _Mdouble_BEGIN_NAMESPACE