|
Packit |
6c4009 |
/* Raise given exceptions.
|
|
Packit |
6c4009 |
Copyright (C) 2004-2018 Free Software Foundation, Inc.
|
|
Packit |
6c4009 |
This file is part of the GNU C Library.
|
|
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 <fpu_control.h>
|
|
Packit |
6c4009 |
#include <fenv.h>
|
|
Packit |
6c4009 |
#include <float.h>
|
|
Packit |
6c4009 |
#include <arm-features.h>
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
int
|
|
Packit |
6c4009 |
__feraiseexcept (int excepts)
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
/* Fail if a VFP unit isn't present unless nothing needs to be done. */
|
|
Packit |
6c4009 |
if (!ARM_HAVE_VFP)
|
|
Packit |
6c4009 |
return (excepts != 0);
|
|
Packit |
6c4009 |
else
|
|
Packit |
6c4009 |
{
|
|
Packit |
6c4009 |
fpu_control_t fpscr;
|
|
Packit |
6c4009 |
const float fp_zero = 0.0, fp_one = 1.0, fp_max = FLT_MAX,
|
|
Packit |
6c4009 |
fp_min = FLT_MIN, fp_1e32 = 1.0e32f, fp_two = 2.0,
|
|
Packit |
6c4009 |
fp_three = 3.0;
|
|
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. After
|
|
Packit |
6c4009 |
each exception we read from the fpscr, to force the exception to be
|
|
Packit |
6c4009 |
raised immediately. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* There are additional complications because this file may be compiled
|
|
Packit |
6c4009 |
without VFP support enabled, and we also can't assume that the
|
|
Packit |
6c4009 |
assembler has VFP instructions enabled. To get around this we use the
|
|
Packit |
6c4009 |
generic coprocessor mnemonics and avoid asking GCC to put float values
|
|
Packit |
6c4009 |
in VFP registers. */
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* First: invalid exception. */
|
|
Packit |
6c4009 |
if (FE_INVALID & excepts)
|
|
Packit |
6c4009 |
__asm__ __volatile__ (
|
|
Packit |
6c4009 |
"ldc p10, cr0, %1\n\t" /* flds s0, %1 */
|
|
Packit |
6c4009 |
"cdp p10, 8, cr0, cr0, cr0, 0\n\t" /* fdivs s0, s0, s0 */
|
|
Packit |
6c4009 |
"mrc p10, 7, %0, cr1, cr0, 0" : "=r" (fpscr) /* fmrx %0, fpscr */
|
|
Packit |
6c4009 |
: "m" (fp_zero)
|
|
Packit |
6c4009 |
: "s0");
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: division by zero. */
|
|
Packit |
6c4009 |
if (FE_DIVBYZERO & excepts)
|
|
Packit |
6c4009 |
__asm__ __volatile__ (
|
|
Packit |
6c4009 |
"ldc p10, cr0, %1\n\t" /* flds s0, %1 */
|
|
Packit |
6c4009 |
"ldcl p10, cr0, %2\n\t" /* flds s1, %2 */
|
|
Packit |
6c4009 |
"cdp p10, 8, cr0, cr0, cr0, 1\n\t" /* fdivs s0, s0, s1 */
|
|
Packit |
6c4009 |
"mrc p10, 7, %0, cr1, cr0, 0" : "=r" (fpscr) /* fmrx %0, fpscr */
|
|
Packit |
6c4009 |
: "m" (fp_one), "m" (fp_zero)
|
|
Packit |
6c4009 |
: "s0", "s1");
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: overflow. */
|
|
Packit |
6c4009 |
if (FE_OVERFLOW & excepts)
|
|
Packit |
6c4009 |
/* There's no way to raise overflow without also raising inexact. */
|
|
Packit |
6c4009 |
__asm__ __volatile__ (
|
|
Packit |
6c4009 |
"ldc p10, cr0, %1\n\t" /* flds s0, %1 */
|
|
Packit |
6c4009 |
"ldcl p10, cr0, %2\n\t" /* flds s1, %2 */
|
|
Packit |
6c4009 |
"cdp p10, 3, cr0, cr0, cr0, 1\n\t" /* fadds s0, s0, s1 */
|
|
Packit |
6c4009 |
"mrc p10, 7, %0, cr1, cr0, 0" : "=r" (fpscr) /* fmrx %0, fpscr */
|
|
Packit |
6c4009 |
: "m" (fp_max), "m" (fp_1e32)
|
|
Packit |
6c4009 |
: "s0", "s1");
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Next: underflow. */
|
|
Packit |
6c4009 |
if (FE_UNDERFLOW & excepts)
|
|
Packit |
6c4009 |
__asm__ __volatile__ (
|
|
Packit |
6c4009 |
"ldc p10, cr0, %1\n\t" /* flds s0, %1 */
|
|
Packit |
6c4009 |
"ldcl p10, cr0, %2\n\t" /* flds s1, %2 */
|
|
Packit |
6c4009 |
"cdp p10, 8, cr0, cr0, cr0, 1\n\t" /* fdivs s0, s0, s1 */
|
|
Packit |
6c4009 |
"mrc p10, 7, %0, cr1, cr0, 0" : "=r" (fpscr) /* fmrx %0, fpscr */
|
|
Packit |
6c4009 |
: "m" (fp_min), "m" (fp_three)
|
|
Packit |
6c4009 |
: "s0", "s1");
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Last: inexact. */
|
|
Packit |
6c4009 |
if (FE_INEXACT & excepts)
|
|
Packit |
6c4009 |
__asm__ __volatile__ (
|
|
Packit |
6c4009 |
"ldc p10, cr0, %1\n\t" /* flds s0, %1 */
|
|
Packit |
6c4009 |
"ldcl p10, cr0, %2\n\t" /* flds s1, %2 */
|
|
Packit |
6c4009 |
"cdp p10, 8, cr0, cr0, cr0, 1\n\t" /* fdivs s0, s0, s1 */
|
|
Packit |
6c4009 |
"mrc p10, 7, %0, cr1, cr0, 0" : "=r" (fpscr) /* fmrx %0, fpscr */
|
|
Packit |
6c4009 |
: "m" (fp_two), "m" (fp_three)
|
|
Packit |
6c4009 |
: "s0", "s1");
|
|
Packit |
6c4009 |
|
|
Packit |
6c4009 |
/* Success. */
|
|
Packit |
6c4009 |
return 0;
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
}
|
|
Packit |
6c4009 |
libm_hidden_def (__feraiseexcept)
|
|
Packit |
6c4009 |
weak_alias (__feraiseexcept, feraiseexcept)
|
|
Packit |
6c4009 |
libm_hidden_weak (feraiseexcept)
|