mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-25 12:11:10 +00:00
ec94343f59
TS 18661-1 defines a type femode_t to represent the set of dynamic floating-point control modes (such as the rounding mode and trap enablement modes), and functions fegetmode and fesetmode to manipulate those modes (without affecting other state such as the raised exception flags) and a corresponding macro FE_DFL_MODE. This patch series implements those interfaces for glibc. This first patch adds the architecture-independent pieces, the x86 and x86_64 implementations, and the <bits/fenv.h> and ABI baseline updates for all architectures so glibc keeps building and passing the ABI tests on all architectures. Subsequent patches add the fegetmode and fesetmode implementations for other architectures. femode_t is generally an integer type - the same type as fenv_t, or as the single element of fenv_t where fenv_t is a structure containing a single integer (or the single relevant element, where it has elements for both status and control registers) - except where architecture properties or consistency with the fenv_t implementation indicate otherwise. FE_DFL_MODE follows FE_DFL_ENV in whether it's a magic pointer value (-1 cast to const femode_t *), a value that can be distinguished from valid pointers by its high bits but otherwise contains a representation of the desired register contents, or a pointer to a constant variable (the powerpc case; __fe_dfl_mode is added as an exported constant object, an alias to __fe_dfl_env). Note that where architectures (that share a register between control and status bits) gain definitions of new floating-point control or status bits in future, the implementations of fesetmode for those architectures may need updating (depending on whether the new bits are control or status bits and what the implementation does with previously unknown bits), just like existing implementations of <fenv.h> functions that take care not to touch reserved bits may need updating when the set of reserved bits changes. (As any new bits are outside the scope of ISO C, that's just a quality-of-implementation issue for supporting them, not a conformance issue.) As with fenv_t, femode_t should properly include any software DFP rounding mode (and for both fenv_t and femode_t I'd consider that fragment of DFP support appropriate for inclusion in glibc even in the absence of the rest of libdfp; hardware DFP rounding modes should already be included if the definitions of which bits are status / control bits are correct). Tested for x86_64, x86, mips64 (hard float, and soft float to test the fallback version), arm (hard float) and powerpc (hard float, soft float and e500). Other architecture versions are untested. * math/fegetmode.c: New file. * math/fesetmode.c: Likewise. * sysdeps/i386/fpu/fegetmode.c: Likewise. * sysdeps/i386/fpu/fesetmode.c: Likewise. * sysdeps/x86_64/fpu/fegetmode.c: Likewise. * sysdeps/x86_64/fpu/fesetmode.c: Likewise. * math/fenv.h: Update comment on inclusion of <bits/fenv.h>. [__GLIBC_USE (IEC_60559_BFP_EXT)] (fegetmode): New function declaration. [__GLIBC_USE (IEC_60559_BFP_EXT)] (fesetmode): Likewise. * bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/aarch64/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/alpha/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/arm/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/hppa/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/ia64/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/m68k/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/microblaze/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/mips/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/nios2/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/powerpc/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (__fe_dfl_mode): New variable declaration. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/s390/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/sh/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/sparc/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/tile/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * sysdeps/x86/fpu/bits/fenv.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (femode_t): New typedef. [__GLIBC_USE (IEC_60559_BFP_EXT)] (FE_DFL_MODE): New macro. * manual/arith.texi (FE_DFL_MODE): Document macro. (fegetmode): Document function. (fesetmode): Likewise. * math/Versions (fegetmode): New libm symbol at version GLIBC_2.25. (fesetmode): Likewise. * math/Makefile (libm-support): Add fegetmode and fesetmode. (tests): Add test-femode and test-femode-traps. * math/test-femode-traps.c: New file. * math/test-femode.c: Likewise. * sysdeps/powerpc/fpu/fenv_const.c (__fe_dfl_mode): Declare as alias for __fe_dfl_env. * sysdeps/powerpc/nofpu/fenv_const.c (__fe_dfl_mode): Likewise. * sysdeps/powerpc/powerpc32/e500/nofpu/fenv_const.c (__fe_dfl_mode): Likewise. * sysdeps/powerpc/Versions (__fe_dfl_mode): New libm symbol at version GLIBC_2.25. * sysdeps/nacl/libm.abilist: Update. * sysdeps/unix/sysv/linux/aarch64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/alpha/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/arm/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/hppa/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/i386/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/ia64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/m68k/coldfire/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/m68k/m680x0/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/microblaze/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/mips/mips32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/mips/mips64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/nios2/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc32/nofpu/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc64/libm-le.abilist: Likewise. * sysdeps/unix/sysv/linux/powerpc/powerpc64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/s390/s390-32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/s390/s390-64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sh/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sparc/sparc32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/sparc/sparc64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/tile/tilegx/tilegx32/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/tile/tilegx/tilegx64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/tile/tilepro/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/x86_64/64/libm.abilist: Likewise. * sysdeps/unix/sysv/linux/x86_64/x32/libm.abilist: Likewise.
169 lines
4.5 KiB
C
169 lines
4.5 KiB
C
/* Copyright (C) 1997-2016 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 _FENV_H
|
|
# error "Never use <bits/fenv.h> directly; include <fenv.h> instead."
|
|
#endif
|
|
|
|
/* Define bits representing the exception. We use the bit positions
|
|
of the appropriate bits in the FPU control word. */
|
|
enum
|
|
{
|
|
FE_INVALID =
|
|
#define FE_INVALID 0x01
|
|
FE_INVALID,
|
|
__FE_DENORM = 0x02,
|
|
FE_DIVBYZERO =
|
|
#define FE_DIVBYZERO 0x04
|
|
FE_DIVBYZERO,
|
|
FE_OVERFLOW =
|
|
#define FE_OVERFLOW 0x08
|
|
FE_OVERFLOW,
|
|
FE_UNDERFLOW =
|
|
#define FE_UNDERFLOW 0x10
|
|
FE_UNDERFLOW,
|
|
FE_INEXACT =
|
|
#define FE_INEXACT 0x20
|
|
FE_INEXACT
|
|
};
|
|
|
|
#define FE_ALL_EXCEPT \
|
|
(FE_INEXACT | FE_DIVBYZERO | FE_UNDERFLOW | FE_OVERFLOW | FE_INVALID)
|
|
|
|
/* The ix87 FPU supports all of the four defined rounding modes. We
|
|
use again the bit positions in the FPU control word as the values
|
|
for the appropriate macros. */
|
|
enum
|
|
{
|
|
FE_TONEAREST =
|
|
#define FE_TONEAREST 0
|
|
FE_TONEAREST,
|
|
FE_DOWNWARD =
|
|
#define FE_DOWNWARD 0x400
|
|
FE_DOWNWARD,
|
|
FE_UPWARD =
|
|
#define FE_UPWARD 0x800
|
|
FE_UPWARD,
|
|
FE_TOWARDZERO =
|
|
#define FE_TOWARDZERO 0xc00
|
|
FE_TOWARDZERO
|
|
};
|
|
|
|
|
|
/* Type representing exception flags. */
|
|
typedef unsigned short int fexcept_t;
|
|
|
|
|
|
/* Type representing floating-point environment. This structure
|
|
corresponds to the layout of the block written by the `fstenv'
|
|
instruction and has additional fields for the contents of the MXCSR
|
|
register as written by the `stmxcsr' instruction. */
|
|
typedef struct
|
|
{
|
|
unsigned short int __control_word;
|
|
unsigned short int __glibc_reserved1;
|
|
unsigned short int __status_word;
|
|
unsigned short int __glibc_reserved2;
|
|
unsigned short int __tags;
|
|
unsigned short int __glibc_reserved3;
|
|
unsigned int __eip;
|
|
unsigned short int __cs_selector;
|
|
unsigned int __opcode:11;
|
|
unsigned int __glibc_reserved4:5;
|
|
unsigned int __data_offset;
|
|
unsigned short int __data_selector;
|
|
unsigned short int __glibc_reserved5;
|
|
#ifdef __x86_64__
|
|
unsigned int __mxcsr;
|
|
#endif
|
|
}
|
|
fenv_t;
|
|
|
|
/* If the default argument is used we use this value. */
|
|
#define FE_DFL_ENV ((const fenv_t *) -1)
|
|
|
|
#ifdef __USE_GNU
|
|
/* Floating-point environment where none of the exception is masked. */
|
|
# define FE_NOMASK_ENV ((const fenv_t *) -2)
|
|
#endif
|
|
|
|
#if __GLIBC_USE (IEC_60559_BFP_EXT)
|
|
/* Type representing floating-point control modes. */
|
|
typedef struct
|
|
{
|
|
unsigned short int __control_word;
|
|
unsigned short int __glibc_reserved;
|
|
unsigned int __mxcsr;
|
|
}
|
|
femode_t;
|
|
|
|
/* Default floating-point control modes. */
|
|
# define FE_DFL_MODE ((const femode_t *) -1L)
|
|
#endif
|
|
|
|
|
|
#ifdef __USE_EXTERN_INLINES
|
|
__BEGIN_DECLS
|
|
|
|
/* Optimized versions. */
|
|
extern int __REDIRECT_NTH (__feraiseexcept_renamed, (int), feraiseexcept);
|
|
__extern_always_inline void
|
|
__NTH (__feraiseexcept_invalid_divbyzero (int __excepts))
|
|
{
|
|
if ((FE_INVALID & __excepts) != 0)
|
|
{
|
|
/* One example of an invalid operation is 0.0 / 0.0. */
|
|
float __f = 0.0;
|
|
|
|
# ifdef __SSE_MATH__
|
|
__asm__ __volatile__ ("divss %0, %0 " : : "x" (__f));
|
|
# else
|
|
__asm__ __volatile__ ("fdiv %%st, %%st(0); fwait"
|
|
: "=t" (__f) : "0" (__f));
|
|
# endif
|
|
(void) &__f;
|
|
}
|
|
if ((FE_DIVBYZERO & __excepts) != 0)
|
|
{
|
|
float __f = 1.0;
|
|
float __g = 0.0;
|
|
|
|
# ifdef __SSE_MATH__
|
|
__asm__ __volatile__ ("divss %1, %0" : : "x" (__f), "x" (__g));
|
|
# else
|
|
__asm__ __volatile__ ("fdivp %%st, %%st(1); fwait"
|
|
: "=t" (__f) : "0" (__f), "u" (__g) : "st(1)");
|
|
# endif
|
|
(void) &__f;
|
|
}
|
|
}
|
|
__extern_inline int
|
|
__NTH (feraiseexcept (int __excepts))
|
|
{
|
|
if (__builtin_constant_p (__excepts)
|
|
&& (__excepts & ~(FE_INVALID | FE_DIVBYZERO)) == 0)
|
|
{
|
|
__feraiseexcept_invalid_divbyzero (__excepts);
|
|
return 0;
|
|
}
|
|
|
|
return __feraiseexcept_renamed (__excepts);
|
|
}
|
|
|
|
__END_DECLS
|
|
#endif
|