|
Packit |
6c4009 |
/* Raise given exceptions.
|
|
Packit |
6c4009 |
Copyright (C) 2000-2018 Free Software Foundation, Inc.
|
|
Packit |
6c4009 |
This file is part of the GNU C Library.
|
|
Packit |
6c4009 |
Contributed by Denis Joseph Barrow (djbarrow@de.ibm.com) and
|
|
Packit |
6c4009 |
Martin Schwidefsky (schwidefsky@de.ibm.com).
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit |
6c4009 |
modify it under the terms of the GNU Lesser General Public
|
|
Packit |
6c4009 |
License as published by the Free Software Foundation; either
|
|
Packit |
6c4009 |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit |
6c4009 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
6c4009 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
6c4009 |
Lesser General Public License for more details.
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
You should have received a copy of the GNU Lesser General Public
|
|
Packit |
6c4009 |
License along with the GNU C Library; if not, see
|
|
Packit |
6c4009 |
<http://www.gnu.org/licenses/>. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#include <fenv_libc.h>
|
|
Packit |
6c4009 |
#include <float.h>
|
|
Packit |
6c4009 |
#include <math.h>
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static __inline__ void
|
|
Packit |
6c4009 |
fexceptdiv (float d, float e)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
__asm__ __volatile__ ("debr %0,%1" : : "f" (d), "f" (e) );
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
static __inline__ void
|
|
Packit |
6c4009 |
fexceptadd (float d, float e)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
__asm__ __volatile__ ("aebr %0,%1" : : "f" (d), "f" (e) );
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
#ifdef HAVE_S390_MIN_Z196_ZARCH_ASM_SUPPORT
|
|
Packit |
6c4009 |
static __inline__ void
|
|
Packit |
6c4009 |
fexceptround (double e)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
float d;
|
|
Packit |
6c4009 |
/* Load rounded from double to float with M3 = round toward 0, M4 = Suppress
|
|
Packit |
6c4009 |
IEEE-inexact exception.
|
|
Packit |
6c4009 |
In case of e=0x1p128 and the overflow-mask bit is zero, only the
|
|
Packit |
6c4009 |
IEEE-overflow flag is set. If overflow-mask bit is one, DXC field is set to
|
|
Packit |
6c4009 |
0x20 "IEEE overflow, exact".
|
|
Packit |
6c4009 |
In case of e=0x1p-150 and the underflow-mask bit is zero, only the
|
|
Packit |
6c4009 |
IEEE-underflow flag is set. If underflow-mask bit is one, DXC field is set
|
|
Packit |
6c4009 |
to 0x10 "IEEE underflow, exact".
|
|
Packit |
6c4009 |
This instruction is available with a zarch machine >= z196. */
|
|
Packit |
6c4009 |
__asm__ __volatile__ ("ledbra %0,5,%1,4" : "=f" (d) : "f" (e) );
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
int
|
|
Packit |
6c4009 |
__feraiseexcept (int excepts)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* Raise exceptions represented by EXPECTS. But we must raise only
|
|
Packit |
6c4009 |
one signal at a time. It is important that if the overflow/underflow
|
|
Packit |
6c4009 |
exception and the inexact exception are given at the same time,
|
|
Packit |
6c4009 |
the overflow/underflow exception follows the inexact exception. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* First: invalid exception. */
|
|
Packit |
6c4009 |
if (FE_INVALID & excepts)
|
|
Packit |
6c4009 |
fexceptdiv (0.0, 0.0);
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: division by zero. */
|
|
Packit |
6c4009 |
if (FE_DIVBYZERO & excepts)
|
|
Packit |
6c4009 |
fexceptdiv (1.0, 0.0);
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: overflow. */
|
|
Packit |
6c4009 |
if (FE_OVERFLOW & excepts)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
#ifdef HAVE_S390_MIN_Z196_ZARCH_ASM_SUPPORT
|
|
Packit |
6c4009 |
fexceptround (0x1p128);
|
|
Packit |
6c4009 |
#else
|
|
Packit |
6c4009 |
/* If overflow-mask bit is zero, both IEEE-overflow and IEEE-inexact flags
|
|
Packit |
6c4009 |
are set. If overflow-mask bit is one, DXC field is set to 0x2C "IEEE
|
|
Packit |
6c4009 |
overflow, inexact and incremented". */
|
|
Packit |
6c4009 |
fexceptadd (FLT_MAX, 1.0e32);
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: underflow. */
|
|
Packit |
6c4009 |
if (FE_UNDERFLOW & excepts)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
#ifdef HAVE_S390_MIN_Z196_ZARCH_ASM_SUPPORT
|
|
Packit |
6c4009 |
fexceptround (0x1p-150);
|
|
Packit |
6c4009 |
#else
|
|
Packit |
6c4009 |
/* If underflow-mask bit is zero, both IEEE-underflow and IEEE-inexact
|
|
Packit |
6c4009 |
flags are set. If underflow-mask bit is one, DXC field is set to 0x1C
|
|
Packit |
6c4009 |
"IEEE underflow, inexact and incremented". */
|
|
Packit |
6c4009 |
fexceptdiv (FLT_MIN, 3.0);
|
|
Packit |
6c4009 |
#endif
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Last: inexact. */
|
|
Packit |
6c4009 |
if (FE_INEXACT & excepts)
|
|
Packit |
6c4009 |
fexceptdiv (2.0, 3.0);
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Success. */
|
|
Packit |
6c4009 |
return 0;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
libm_hidden_def (__feraiseexcept)
|
|
Packit |
6c4009 |
weak_alias (__feraiseexcept, feraiseexcept)
|
|
Packit |
6c4009 |
libm_hidden_weak (feraiseexcept)
|