7620dc1235
This patch converts the implementation of exp2l in math/e_exp2l.c into a template in math/e_exp2_template.c, then adjusts Makefile to use this template for long double (the implementations for float and double in sysdeps have higher precedence and are not used). This template can also be used for float128, thus reducing the amount of duplicated code that gets added when adding support the new type. Tested for powerpc64le and s390x. * math/Makefile (libm-calls): Move e_exp2F to gen-libm-calls. (gen-libm-calls): Add e_exp2F to use the template. * math/e_exp2l.c: Rename to math/e_exp2_template.c. * math/e_exp2_template.c: New file, renamed from math/e_exp2l.c, and made into a template. * sysdeps/generic/math-type-macros.h (M_MIN_EXP): New macro.
138 lines
4.4 KiB
C
138 lines
4.4 KiB
C
/* Helper macros for type generic function implementations within libm.
|
|
Copyright (C) 2016-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
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef _MATH_TYPE_MACROS
|
|
#define _MATH_TYPE_MACROS
|
|
|
|
/* Each type imports a header which is expected to
|
|
define:
|
|
|
|
M_LIT(x) - Paste the type specific suffix onto the constant x.
|
|
M_MLIT(x) - Paste the type specific suffix used by the macro
|
|
constants in math.h, i.e M_PI or M_PIl.
|
|
M_PFX - The prefixed used by float.h macros like FLT_MANT_DIG.
|
|
M_SUF(x) - Paste the the type specific suffix used by functions
|
|
i.e expf expl exp.
|
|
FLOAT - Resolves to the C typename of M_TYPE.
|
|
CFLOAT - Resolves to the complex typename of M_TYPE.
|
|
M_STRTO_NAN - Resolves to the internal libc function which
|
|
converts a string into the appropriate FLOAT nan
|
|
value.
|
|
|
|
Optionally, these headers may inject a non-standard
|
|
definition for the following:
|
|
|
|
declare_mgen_alias(from,to)
|
|
This exposes the appropriate symbol(s) for a
|
|
function f of type FLOAT.
|
|
|
|
declare_mgen_alias_2(from,to,to2)
|
|
This exposes the appropriate symbol(s) for a
|
|
function f of type FLOAT when it is aliased
|
|
to two symbols.
|
|
|
|
M_LIBM_NEED_COMPAT(func)
|
|
This is utilized in macro context to indicate
|
|
whether func should declare compat symbols.
|
|
|
|
declare_mgen_libm_compat(from,to)
|
|
This is used in conjunction with the above macro
|
|
outside of macro context to paste whatever is
|
|
required to generate a compat symbol. */
|
|
|
|
#ifndef M_PFX
|
|
# error "M_PFX must be defined."
|
|
#endif
|
|
#ifndef M_LIT
|
|
# error "M_LIT must be defined."
|
|
#endif
|
|
#ifndef M_MLIT
|
|
# error "M_MLIT must be defined."
|
|
#endif
|
|
#ifndef M_SUF
|
|
# error "M_SUF must be defined."
|
|
#endif
|
|
#ifndef FLOAT
|
|
# error "FLOAT must be defined."
|
|
#endif
|
|
#ifndef CFLOAT
|
|
# error "CFLOAT must be defined."
|
|
#endif
|
|
|
|
#define __M_CONCAT(a,b) a ## b
|
|
#define __M_CONCATX(a,b) __M_CONCAT(a,b)
|
|
|
|
#define M_NAN M_SUF (__builtin_nan) ("")
|
|
#define M_MIN_EXP __M_CONCATX (M_PFX, _MIN_EXP)
|
|
#define M_MAX_EXP __M_CONCATX (M_PFX, _MAX_EXP)
|
|
#define M_MIN __M_CONCATX (M_PFX, _MIN)
|
|
#define M_MAX __M_CONCATX (M_PFX, _MAX)
|
|
#define M_MANT_DIG __M_CONCATX (M_PFX, _MANT_DIG)
|
|
#define M_HUGE_VAL (M_SUF (__builtin_huge_val) ())
|
|
|
|
/* Helper macros for commonly used functions. */
|
|
#define M_COPYSIGN M_SUF (__copysign)
|
|
#define M_FABS M_SUF (fabs)
|
|
#define M_SINCOS M_SUF (__sincos)
|
|
#define M_SCALBN M_SUF (__scalbn)
|
|
#define M_LOG1P M_SUF (__log1p)
|
|
|
|
#define M_ATAN2 M_SUF (__ieee754_atan2)
|
|
#define M_COSH M_SUF (__ieee754_cosh)
|
|
#define M_EXP M_SUF (__ieee754_exp)
|
|
#define M_HYPOT M_SUF (__ieee754_hypot)
|
|
#define M_LOG M_SUF (__ieee754_log)
|
|
#define M_SINH M_SUF (__ieee754_sinh)
|
|
#define M_SQRT M_SUF (__ieee754_sqrt)
|
|
|
|
/* Needed to evaluate M_MANT_DIG below. */
|
|
#include <float.h>
|
|
|
|
/* Use a special epsilon value for IBM long double
|
|
to avoid spurious overflows/underflows. */
|
|
#if M_MANT_DIG != 106
|
|
# define M_EPSILON __M_CONCATX (M_PFX, _EPSILON)
|
|
#else
|
|
# define M_EPSILON M_LIT (0x1p-106)
|
|
#endif
|
|
|
|
/* Enable overloading of function name to assist reuse. */
|
|
#ifndef M_DECL_FUNC
|
|
# define M_DECL_FUNC(f) M_SUF (f)
|
|
#endif
|
|
|
|
/* If the type does not declare special aliasing, use the default. */
|
|
#ifndef declare_mgen_alias
|
|
# define declare_mgen_alias(from, to) weak_alias (M_SUF (from), M_SUF (to))
|
|
#endif
|
|
|
|
/* Likewise, if two aliases are derived from the same symbol. */
|
|
#ifndef declare_mgen_alias_2
|
|
# define declare_mgen_alias_2(from, to, to2) \
|
|
declare_mgen_alias (from, to) \
|
|
declare_mgen_alias (from, to2)
|
|
#endif
|
|
|
|
/* Do not generate anything for compat symbols by default. */
|
|
#ifndef M_LIBM_NEED_COMPAT
|
|
# define M_LIBM_NEED_COMPAT(func) 0
|
|
# define declare_mgen_libm_compat(from, to)
|
|
#endif
|
|
|
|
#endif /* _MATH_TYPE_MACROS */
|