Home | History | Annotate | Line # | Download | only in arm
fenv.c revision 1.3.2.2
      1  1.3.2.2  tls /*-
      2  1.3.2.2  tls  * Copyright (c) 2013 The NetBSD Foundation, Inc.
      3  1.3.2.2  tls  * All rights reserved.
      4  1.3.2.2  tls  *
      5  1.3.2.2  tls  * This code is derived from software contributed to The NetBSD Foundation
      6  1.3.2.2  tls  * by Matt Thomas of 3am Software Foundry.
      7  1.3.2.2  tls  *
      8  1.3.2.2  tls  * Redistribution and use in source and binary forms, with or without
      9  1.3.2.2  tls  * modification, are permitted provided that the following conditions
     10  1.3.2.2  tls  * are met:
     11  1.3.2.2  tls  * 1. Redistributions of source code must retain the above copyright
     12  1.3.2.2  tls  *    notice, this list of conditions and the following disclaimer.
     13  1.3.2.2  tls  * 2. Redistributions in binary form must reproduce the above copyright
     14  1.3.2.2  tls  *    notice, this list of conditions and the following disclaimer in the
     15  1.3.2.2  tls  *    documentation and/or other materials provided with the distribution.
     16  1.3.2.2  tls  *
     17  1.3.2.2  tls  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     18  1.3.2.2  tls  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     19  1.3.2.2  tls  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     20  1.3.2.2  tls  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     21  1.3.2.2  tls  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     22  1.3.2.2  tls  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     23  1.3.2.2  tls  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     24  1.3.2.2  tls  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     25  1.3.2.2  tls  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     26  1.3.2.2  tls  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     27  1.3.2.2  tls  * POSSIBILITY OF SUCH DAMAGE.
     28  1.3.2.2  tls  */
     29  1.3.2.2  tls 
     30  1.3.2.2  tls #include <sys/cdefs.h>
     31  1.3.2.2  tls __RCSID("$NetBSD: fenv.c,v 1.3.2.2 2013/06/23 06:21:07 tls Exp $");
     32  1.3.2.2  tls 
     33  1.3.2.2  tls #include <sys/types.h>
     34  1.3.2.2  tls #include <assert.h>
     35  1.3.2.2  tls #include <fenv.h>
     36  1.3.2.2  tls #include <string.h>
     37  1.3.2.2  tls #include <unistd.h>
     38  1.3.2.2  tls #include <inttypes.h>
     39  1.3.2.2  tls 
     40  1.3.2.2  tls #ifdef __SOFTFP__
     41  1.3.2.2  tls #include <ieeefp.h>
     42  1.3.2.2  tls #include <sys/signal.h>
     43  1.3.2.2  tls #include <sys/siginfo.h>
     44  1.3.2.2  tls #else
     45  1.3.2.2  tls #include <arm/armreg.h>
     46  1.3.2.2  tls #endif
     47  1.3.2.2  tls 
     48  1.3.2.2  tls #include <arm/vfpreg.h>
     49  1.3.2.2  tls 
     50  1.3.2.2  tls const fenv_t __fe_dfl_env = VFP_FPSCR_FZ|VFP_FPSCR_DN|VFP_FPSCR_RN;
     51  1.3.2.2  tls 
     52  1.3.2.2  tls /*
     53  1.3.2.2  tls  * The feclearexcept() function shall attempt to clear the supported
     54  1.3.2.2  tls  * floating-point exceptions represented by excepts.
     55  1.3.2.2  tls  */
     56  1.3.2.2  tls int
     57  1.3.2.2  tls feclearexcept(int excepts)
     58  1.3.2.2  tls {
     59  1.3.2.2  tls #ifndef lint
     60  1.3.2.2  tls 	_DIAGASSERT((except & ~FE_EXCEPT_ALL) == 0);
     61  1.3.2.2  tls #endif
     62  1.3.2.2  tls #ifdef __SOFTFP__
     63  1.3.2.2  tls 	fpsetsticky(fpgetsticky() & ~excepts);
     64  1.3.2.2  tls 	return 0;
     65  1.3.2.2  tls #else
     66  1.3.2.2  tls 	int tmp = armreg_fpscr_read() & ~__SHIFTIN(excepts, VFP_FPSCR_CSUM);
     67  1.3.2.2  tls 	armreg_fpscr_write(tmp);
     68  1.3.2.2  tls 	return 0;
     69  1.3.2.2  tls #endif
     70  1.3.2.2  tls }
     71  1.3.2.2  tls 
     72  1.3.2.2  tls /*
     73  1.3.2.2  tls  * The fegetexceptflag() function shall attempt to store an
     74  1.3.2.2  tls  * implementation-defined representation of the states of the floating-point
     75  1.3.2.2  tls  * status flags indicated by the argument excepts in the object pointed to by
     76  1.3.2.2  tls  * the argument flagp.
     77  1.3.2.2  tls  */
     78  1.3.2.2  tls int
     79  1.3.2.2  tls fegetexceptflag(fexcept_t *flagp, int excepts)
     80  1.3.2.2  tls {
     81  1.3.2.2  tls 	_DIAGASSERT((except & ~FE_EXCEPT_ALL) == 0);
     82  1.3.2.2  tls #ifdef __SOFTFP__
     83  1.3.2.2  tls 	*flagp = fpgetsticky() & excepts;
     84  1.3.2.2  tls #else
     85  1.3.2.2  tls 	*flagp = __SHIFTOUT(armreg_fpscr_read(), VFP_FPSCR_CSUM) & excepts;
     86  1.3.2.2  tls #endif
     87  1.3.2.2  tls 	return 0;
     88  1.3.2.2  tls }
     89  1.3.2.2  tls 
     90  1.3.2.2  tls /*
     91  1.3.2.2  tls  * The feraiseexcept() function shall attempt to raise the supported
     92  1.3.2.2  tls  * floating-point exceptions represented by the argument excepts. The order
     93  1.3.2.2  tls  * in which these floating-point exceptions are raised is unspecified.
     94  1.3.2.2  tls  */
     95  1.3.2.2  tls int
     96  1.3.2.2  tls feraiseexcept(int excepts)
     97  1.3.2.2  tls {
     98  1.3.2.2  tls #ifndef lint
     99  1.3.2.2  tls 	_DIAGASSERT((except & ~FE_EXCEPT_ALL) == 0);
    100  1.3.2.2  tls #endif
    101  1.3.2.2  tls #ifdef __SOFTFP__
    102  1.3.2.2  tls 	excepts &= fpgetsticky();
    103  1.3.2.2  tls 
    104  1.3.2.2  tls 	if (excepts) {
    105  1.3.2.2  tls 		siginfo_t info;
    106  1.3.2.2  tls 		memset(&info, 0, sizeof info);
    107  1.3.2.2  tls 		info.si_signo = SIGFPE;
    108  1.3.2.2  tls 		info.si_pid = getpid();
    109  1.3.2.2  tls 		info.si_uid = geteuid();
    110  1.3.2.2  tls 		if (excepts & FE_UNDERFLOW)
    111  1.3.2.2  tls 			info.si_code = FPE_FLTUND;
    112  1.3.2.2  tls 		else if (excepts & FE_OVERFLOW)
    113  1.3.2.2  tls 			info.si_code = FPE_FLTOVF;
    114  1.3.2.2  tls 		else if (excepts & FE_DIVBYZERO)
    115  1.3.2.2  tls 			info.si_code = FPE_FLTDIV;
    116  1.3.2.2  tls 		else if (excepts & FE_INVALID)
    117  1.3.2.2  tls 			info.si_code = FPE_FLTINV;
    118  1.3.2.2  tls 		else if (excepts & FE_INEXACT)
    119  1.3.2.2  tls 			info.si_code = FPE_FLTRES;
    120  1.3.2.2  tls 		sigqueueinfo(getpid(), &info);
    121  1.3.2.2  tls 	}
    122  1.3.2.2  tls #else
    123  1.3.2.2  tls 	int fpscr = armreg_fpscr_read();
    124  1.3.2.2  tls 	fpscr = (fpscr & ~VFP_FPSCR_ESUM) | __SHIFTIN(excepts, VFP_FPSCR_ESUM);
    125  1.3.2.2  tls 	armreg_fpscr_write(fpscr);
    126  1.3.2.2  tls #endif
    127  1.3.2.2  tls 	return 0;
    128  1.3.2.2  tls }
    129  1.3.2.2  tls 
    130  1.3.2.2  tls /*
    131  1.3.2.2  tls  * The fesetexceptflag() function shall attempt to set the floating-point
    132  1.3.2.2  tls  * status flags indicated by the argument excepts to the states stored in the
    133  1.3.2.2  tls  * object pointed to by flagp. The value pointed to by flagp shall have been
    134  1.3.2.2  tls  * set by a previous call to fegetexceptflag() whose second argument
    135  1.3.2.2  tls  * represented at least those floating-point exceptions represented by the
    136  1.3.2.2  tls  * argument excepts. This function does not raise floating-point exceptions,
    137  1.3.2.2  tls  * but only sets the state of the flags.
    138  1.3.2.2  tls  */
    139  1.3.2.2  tls int
    140  1.3.2.2  tls fesetexceptflag(const fexcept_t *flagp, int excepts)
    141  1.3.2.2  tls {
    142  1.3.2.2  tls #ifndef lint
    143  1.3.2.2  tls 	_DIAGASSERT((except & ~FE_EXCEPT_ALL) == 0);
    144  1.3.2.2  tls #endif
    145  1.3.2.2  tls #ifdef __SOFTFP__
    146  1.3.2.2  tls 	fpsetsticky((fpgetsticky() & ~excepts) | (excepts & *flagp));
    147  1.3.2.2  tls #else
    148  1.3.2.2  tls 	int fpscr = armreg_fpscr_read();
    149  1.3.2.2  tls 	fpscr &= ~__SHIFTIN(excepts, VFP_FPSCR_CSUM);
    150  1.3.2.2  tls 	fpscr |= __SHIFTIN((*flagp & excepts), VFP_FPSCR_CSUM);
    151  1.3.2.2  tls 	armreg_fpscr_write(fpscr);
    152  1.3.2.2  tls #endif
    153  1.3.2.2  tls 	return 0;
    154  1.3.2.2  tls }
    155  1.3.2.2  tls 
    156  1.3.2.2  tls /*
    157  1.3.2.2  tls  * The fetestexcept() function shall determine which of a specified subset of
    158  1.3.2.2  tls  * the floating-point exception flags are currently set. The excepts argument
    159  1.3.2.2  tls  * specifies the floating-point status flags to be queried.
    160  1.3.2.2  tls  */
    161  1.3.2.2  tls int
    162  1.3.2.2  tls fetestexcept(int excepts)
    163  1.3.2.2  tls {
    164  1.3.2.2  tls 	_DIAGASSERT((except & ~FE_EXCEPT_ALL) == 0);
    165  1.3.2.2  tls #ifdef __SOFTFP__
    166  1.3.2.2  tls 	return fpgetsticky() & excepts;
    167  1.3.2.2  tls #else
    168  1.3.2.2  tls 	return __SHIFTOUT(armreg_fpscr_read(), VFP_FPSCR_CSUM) & excepts;
    169  1.3.2.2  tls #endif
    170  1.3.2.2  tls }
    171  1.3.2.2  tls 
    172  1.3.2.2  tls /*
    173  1.3.2.2  tls  * The fegetround() function shall get the current rounding direction.
    174  1.3.2.2  tls  */
    175  1.3.2.2  tls int
    176  1.3.2.2  tls fegetround(void)
    177  1.3.2.2  tls {
    178  1.3.2.2  tls #ifdef __SOFTFP__
    179  1.3.2.2  tls 	return fpgetround();
    180  1.3.2.2  tls #else
    181  1.3.2.2  tls 	return __SHIFTOUT(armreg_fpscr_read(), VFP_FPSCR_RMODE);
    182  1.3.2.2  tls #endif
    183  1.3.2.2  tls }
    184  1.3.2.2  tls 
    185  1.3.2.2  tls /*
    186  1.3.2.2  tls  * The fesetround() function shall establish the rounding direction represented
    187  1.3.2.2  tls  * by its argument round. If the argument is not equal to the value of a
    188  1.3.2.2  tls  * rounding direction macro, the rounding direction is not changed.
    189  1.3.2.2  tls  */
    190  1.3.2.2  tls int
    191  1.3.2.2  tls fesetround(int round)
    192  1.3.2.2  tls {
    193  1.3.2.2  tls #ifndef lint
    194  1.3.2.2  tls 	_DIAGASSERT(!(round & ~__SHIFTOUT(VFP_FPSCR_RMODE, VFP_FPSCR_RMODE)));
    195  1.3.2.2  tls #endif
    196  1.3.2.2  tls #ifdef __SOFTFP__
    197  1.3.2.2  tls 	(void)fpsetround(round);
    198  1.3.2.2  tls #else
    199  1.3.2.2  tls 	int fpscr = armreg_fpscr_read() & ~VFP_FPSCR_RMODE;
    200  1.3.2.2  tls 	fpscr |= __SHIFTIN(round, VFP_FPSCR_RMODE);
    201  1.3.2.2  tls 	armreg_fpscr_write(fpscr);
    202  1.3.2.2  tls #endif
    203  1.3.2.2  tls 	return 0;
    204  1.3.2.2  tls }
    205  1.3.2.2  tls 
    206  1.3.2.2  tls /*
    207  1.3.2.2  tls  * The fegetenv() function shall attempt to store the current floating-point
    208  1.3.2.2  tls  * environment in the object pointed to by envp.
    209  1.3.2.2  tls  */
    210  1.3.2.2  tls int
    211  1.3.2.2  tls fegetenv(fenv_t *envp)
    212  1.3.2.2  tls {
    213  1.3.2.2  tls #ifdef __SOFTFP__
    214  1.3.2.2  tls 	*envp = __SHIFTIN(fpgetround(), VFP_FPSCR_RMODE)
    215  1.3.2.2  tls 	    | __SHIFTIN(fpgetmask(), VFP_FPSCR_ESUM)
    216  1.3.2.2  tls 	    | __SHIFTIN(fpgetsticky(), VFP_FPSCR_CSUM);
    217  1.3.2.2  tls #else
    218  1.3.2.2  tls 	*envp = armreg_fpscr_read();
    219  1.3.2.2  tls #endif
    220  1.3.2.2  tls 	return 0;
    221  1.3.2.2  tls }
    222  1.3.2.2  tls 
    223  1.3.2.2  tls /*
    224  1.3.2.2  tls  * The feholdexcept() function shall save the current floating-point
    225  1.3.2.2  tls  * environment in the object pointed to by envp, clear the floating-point
    226  1.3.2.2  tls  * status flags, and then install a non-stop (continue on floating-point
    227  1.3.2.2  tls  * exceptions) mode, if available, for all floating-point exceptions.
    228  1.3.2.2  tls  */
    229  1.3.2.2  tls int
    230  1.3.2.2  tls feholdexcept(fenv_t *envp)
    231  1.3.2.2  tls {
    232  1.3.2.2  tls #ifdef __SOFTFP__
    233  1.3.2.2  tls 	*envp = __SHIFTIN(fpgetround(), VFP_FPSCR_RMODE)
    234  1.3.2.2  tls 	    | __SHIFTIN(fpgetmask(), VFP_FPSCR_ESUM)
    235  1.3.2.2  tls 	    | __SHIFTIN(fpgetsticky(), VFP_FPSCR_CSUM);
    236  1.3.2.2  tls 	fpsetmask(0);
    237  1.3.2.2  tls 	fpsetsticky(0);
    238  1.3.2.2  tls #else
    239  1.3.2.2  tls 	*envp = armreg_fpscr_read();
    240  1.3.2.2  tls 	armreg_fpscr_write((*envp) & ~(VFP_FPSCR_ESUM|VFP_FPSCR_CSUM));
    241  1.3.2.2  tls #endif
    242  1.3.2.2  tls 	return 0;
    243  1.3.2.2  tls }
    244  1.3.2.2  tls 
    245  1.3.2.2  tls /*
    246  1.3.2.2  tls  * The fesetenv() function shall attempt to establish the floating-point
    247  1.3.2.2  tls  * environment represented by the object pointed to by envp. The fesetenv()
    248  1.3.2.2  tls  * function does not raise floating-point exceptions, but only installs the
    249  1.3.2.2  tls  * state of the floating-point status flags represented through its argument.
    250  1.3.2.2  tls  */
    251  1.3.2.2  tls int
    252  1.3.2.2  tls fesetenv(const fenv_t *envp)
    253  1.3.2.2  tls {
    254  1.3.2.2  tls #ifdef __SOFTFP__
    255  1.3.2.2  tls 	(void)fpsetround(__SHIFTIN(*envp, VFP_FPSCR_RMODE));
    256  1.3.2.2  tls 	(void)fpsetmask(__SHIFTOUT(*envp, VFP_FPSCR_ESUM));
    257  1.3.2.2  tls 	(void)fpsetsticky(__SHIFTOUT(*envp, VFP_FPSCR_CSUM));
    258  1.3.2.2  tls #else
    259  1.3.2.2  tls 	armreg_fpscr_write(*envp);
    260  1.3.2.2  tls #endif
    261  1.3.2.2  tls 	return 0;
    262  1.3.2.2  tls }
    263  1.3.2.2  tls 
    264  1.3.2.2  tls /*
    265  1.3.2.2  tls  * The feupdateenv() function shall attempt to save the currently raised
    266  1.3.2.2  tls  * floating-point exceptions in its automatic storage, attempt to install the
    267  1.3.2.2  tls  * floating-point environment represented by the object pointed to by envp,
    268  1.3.2.2  tls  * and then attempt to raise the saved floating-point exceptions.
    269  1.3.2.2  tls  */
    270  1.3.2.2  tls int
    271  1.3.2.2  tls feupdateenv(const fenv_t *envp)
    272  1.3.2.2  tls {
    273  1.3.2.2  tls #ifndef lint
    274  1.3.2.2  tls 	_DIAGASSERT(envp != NULL);
    275  1.3.2.2  tls #endif
    276  1.3.2.2  tls #ifdef __SOFTFP__
    277  1.3.2.2  tls 	(void)fpsetround(__SHIFTIN(*envp, VFP_FPSCR_RMODE));
    278  1.3.2.2  tls 	(void)fpsetmask(fpgetmask() | __SHIFTOUT(*envp, VFP_FPSCR_ESUM));
    279  1.3.2.2  tls 	(void)fpsetsticky(fpgetsticky() | __SHIFTOUT(*envp, VFP_FPSCR_CSUM));
    280  1.3.2.2  tls #else
    281  1.3.2.2  tls 	int fpscr = armreg_fpscr_read() & ~(VFP_FPSCR_ESUM|VFP_FPSCR_CSUM);
    282  1.3.2.2  tls 	fpscr |= *envp;
    283  1.3.2.2  tls 	armreg_fpscr_write(fpscr);
    284  1.3.2.2  tls #endif
    285  1.3.2.2  tls 
    286  1.3.2.2  tls 	/* Success */
    287  1.3.2.2  tls 	return 0;
    288  1.3.2.2  tls }
    289