Home | History | Annotate | Line # | Download | only in x86_64
fenv.c revision 1.1.6.1
      1  1.1.6.1   yamt /* $NetBSD: fenv.c,v 1.1.6.1 2012/10/30 18:59:12 yamt Exp $ */
      2      1.1  joerg 
      3      1.1  joerg /*-
      4      1.1  joerg  * Copyright (c) 2004-2005 David Schultz <das (at) FreeBSD.ORG>
      5      1.1  joerg  * All rights reserved.
      6      1.1  joerg  *
      7      1.1  joerg  * Redistribution and use in source and binary forms, with or without
      8      1.1  joerg  * modification, are permitted provided that the following conditions
      9      1.1  joerg  * are met:
     10      1.1  joerg  * 1. Redistributions of source code must retain the above copyright
     11      1.1  joerg  *    notice, this list of conditions and the following disclaimer.
     12      1.1  joerg  * 2. Redistributions in binary form must reproduce the above copyright
     13      1.1  joerg  *    notice, this list of conditions and the following disclaimer in the
     14      1.1  joerg  *    documentation and/or other materials provided with the distribution.
     15      1.1  joerg  *
     16      1.1  joerg  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
     17      1.1  joerg  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     18      1.1  joerg  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     19      1.1  joerg  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
     20      1.1  joerg  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21      1.1  joerg  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     22      1.1  joerg  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     23      1.1  joerg  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     24      1.1  joerg  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     25      1.1  joerg  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     26      1.1  joerg  * SUCH DAMAGE.
     27      1.1  joerg  */
     28      1.1  joerg 
     29      1.1  joerg #include <sys/cdefs.h>
     30  1.1.6.1   yamt __RCSID("$NetBSD: fenv.c,v 1.1.6.1 2012/10/30 18:59:12 yamt Exp $");
     31      1.1  joerg 
     32      1.1  joerg #include <assert.h>
     33      1.1  joerg #include <fenv.h>
     34      1.1  joerg #include <stddef.h>
     35      1.1  joerg #include <string.h>
     36      1.1  joerg 
     37      1.1  joerg /* Load x87 Control Word */
     38      1.1  joerg #define	__fldcw(__cw)		__asm__ __volatile__ \
     39      1.1  joerg 	("fldcw %0" : : "m" (__cw))
     40      1.1  joerg 
     41      1.1  joerg /* No-Wait Store Control Word */
     42      1.1  joerg #define	__fnstcw(__cw)		__asm__ __volatile__ \
     43      1.1  joerg 	("fnstcw %0" : "=m" (*(__cw)))
     44      1.1  joerg 
     45      1.1  joerg /* No-Wait Store Status Word */
     46      1.1  joerg #define	__fnstsw(__sw)		__asm__ __volatile__ \
     47      1.1  joerg 	("fnstsw %0" : "=am" (*(__sw)))
     48      1.1  joerg 
     49      1.1  joerg /* No-Wait Clear Exception Flags */
     50      1.1  joerg #define	__fnclex()		__asm__ __volatile__ \
     51      1.1  joerg 	("fnclex")
     52      1.1  joerg 
     53      1.1  joerg /* Load x87 Environment */
     54      1.1  joerg #define	__fldenv(__env)		__asm__ __volatile__ \
     55      1.1  joerg 	("fldenv %0" : : "m" (__env))
     56      1.1  joerg 
     57      1.1  joerg /* No-Wait Store x87 environment */
     58      1.1  joerg #define	__fnstenv(__env)	__asm__ __volatile__ \
     59      1.1  joerg 	("fnstenv %0" : "=m" (*(__env)))
     60      1.1  joerg 
     61      1.1  joerg /* Load the MXCSR register */
     62      1.1  joerg #define	__ldmxcsr(__mxcsr)	__asm__ __volatile__ \
     63      1.1  joerg 	("ldmxcsr %0" : : "m" (__mxcsr))
     64      1.1  joerg 
     65      1.1  joerg /* Store the MXCSR register state */
     66      1.1  joerg #define	__stmxcsr(__mxcsr)	__asm__ __volatile__ \
     67      1.1  joerg 	("stmxcsr %0" : "=m" (*(__mxcsr)))
     68      1.1  joerg 
     69      1.1  joerg /*
     70      1.1  joerg  * The following constant represents the default floating-point environment
     71      1.1  joerg  * (that is, the one installed at program startup) and has type pointer to
     72      1.1  joerg  * const-qualified fenv_t.
     73      1.1  joerg  *
     74      1.1  joerg  * It can be used as an argument to the functions within the <fenv.h> header
     75      1.1  joerg  * that manage the floating-point environment, namely fesetenv() and
     76      1.1  joerg  * feupdateenv().
     77      1.1  joerg  *
     78      1.1  joerg  * x87 fpu registers are 16bit wide. The upper bits, 31-16, are marked as
     79      1.1  joerg  * RESERVED. We provide a partial floating-point environment, where we
     80      1.1  joerg  * define only the lower bits. The reserved bits are extracted and set by
     81      1.1  joerg  * the consumers of FE_DFL_ENV, during runtime.
     82      1.1  joerg  */
     83      1.1  joerg fenv_t __fe_dfl_env = {
     84      1.1  joerg 	{
     85      1.1  joerg 		__NetBSD_NPXCW__,	/* Control word register */
     86      1.1  joerg 		0x00000000,		/* Status word register */
     87      1.1  joerg 		0x0000ffff,		/* Tag word register */
     88      1.1  joerg 		{
     89      1.1  joerg 			0x00000000,
     90      1.1  joerg 			0x00000000,
     91      1.1  joerg 			0x00000000,
     92      1.1  joerg 			0x00000000,
     93      1.1  joerg 		},
     94      1.1  joerg 	},
     95      1.1  joerg 	__INITIAL_MXCSR__       /* MXCSR register */
     96      1.1  joerg };
     97      1.1  joerg #define FE_DFL_ENV      ((const fenv_t *) &__fe_dfl_env)
     98      1.1  joerg 
     99      1.1  joerg 
    100      1.1  joerg /*
    101      1.1  joerg  * The feclearexcept() function clears the supported floating-point exceptions
    102      1.1  joerg  * represented by `excepts'.
    103      1.1  joerg  */
    104      1.1  joerg int
    105      1.1  joerg feclearexcept(int excepts)
    106      1.1  joerg {
    107      1.1  joerg 	fenv_t fenv;
    108      1.1  joerg 	int ex;
    109      1.1  joerg 
    110      1.1  joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    111      1.1  joerg 
    112      1.1  joerg 	ex = excepts & FE_ALL_EXCEPT;
    113      1.1  joerg 
    114      1.1  joerg 	/* Store the current x87 floating-point environment */
    115      1.1  joerg 	__fnstenv(&fenv);
    116      1.1  joerg 
    117      1.1  joerg 	/* Clear the requested floating-point exceptions */
    118      1.1  joerg 	fenv.x87.status &= ~ex;
    119      1.1  joerg 
    120      1.1  joerg 	/* Load the x87 floating-point environent */
    121      1.1  joerg 	__fldenv(fenv);
    122      1.1  joerg 
    123      1.1  joerg 	/* Same for SSE environment */
    124      1.1  joerg 	__stmxcsr(&fenv.mxcsr);
    125      1.1  joerg 	fenv.mxcsr &= ~ex;
    126      1.1  joerg 	__ldmxcsr(fenv.mxcsr);
    127      1.1  joerg 
    128      1.1  joerg 	/* Success */
    129      1.1  joerg 	return (0);
    130      1.1  joerg }
    131      1.1  joerg 
    132      1.1  joerg /*
    133      1.1  joerg  * The fegetexceptflag() function stores an implementation-defined
    134      1.1  joerg  * representation of the states of the floating-point status flags indicated by
    135      1.1  joerg  * the argument excepts in the object pointed to by the argument flagp.
    136      1.1  joerg  */
    137      1.1  joerg int
    138      1.1  joerg fegetexceptflag(fexcept_t *flagp, int excepts)
    139      1.1  joerg {
    140      1.1  joerg 	uint32_t mxcsr;
    141      1.1  joerg 	uint16_t x87_status;
    142      1.1  joerg 	int ex;
    143      1.1  joerg 
    144      1.1  joerg 	_DIAGASSERT(flagp != NULL);
    145      1.1  joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    146      1.1  joerg 
    147      1.1  joerg 	ex = excepts & FE_ALL_EXCEPT;
    148      1.1  joerg 
    149      1.1  joerg 	/* Store the current x87 status register */
    150      1.1  joerg 	__fnstsw(&x87_status);
    151      1.1  joerg 
    152      1.1  joerg 	/* Store the MXCSR register */
    153      1.1  joerg 	__stmxcsr(&mxcsr);
    154      1.1  joerg 
    155      1.1  joerg 	/* Store the results in flagp */
    156      1.1  joerg 	*flagp = (x87_status | mxcsr) & ex;
    157      1.1  joerg 
    158      1.1  joerg 	/* Success */
    159      1.1  joerg 	return (0);
    160      1.1  joerg }
    161      1.1  joerg 
    162      1.1  joerg /*
    163      1.1  joerg  * The feraiseexcept() function raises the supported floating-point exceptions
    164      1.1  joerg  * represented by the argument `excepts'.
    165      1.1  joerg  *
    166      1.1  joerg  * The standard explicitly allows us to execute an instruction that has the
    167      1.1  joerg  * exception as a side effect, but we choose to manipulate the status register
    168      1.1  joerg  * directly.
    169      1.1  joerg  *
    170      1.1  joerg  * The validation of input is being deferred to fesetexceptflag().
    171      1.1  joerg  */
    172      1.1  joerg int
    173      1.1  joerg feraiseexcept(int excepts)
    174      1.1  joerg {
    175      1.1  joerg 	int ex;
    176      1.1  joerg 
    177      1.1  joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    178      1.1  joerg 
    179      1.1  joerg 	ex = excepts & FE_ALL_EXCEPT;
    180      1.1  joerg 	fesetexceptflag((unsigned int *)&excepts, excepts);
    181      1.1  joerg 
    182      1.1  joerg 	/* Success */
    183      1.1  joerg 	return (0);
    184      1.1  joerg }
    185      1.1  joerg 
    186      1.1  joerg /*
    187      1.1  joerg  * This function sets the floating-point status flags indicated by the argument
    188      1.1  joerg  * `excepts' to the states stored in the object pointed to by `flagp'. It does
    189      1.1  joerg  * NOT raise any floating-point exceptions, but only sets the state of the flags.
    190      1.1  joerg  */
    191      1.1  joerg int
    192      1.1  joerg fesetexceptflag(const fexcept_t *flagp, int excepts)
    193      1.1  joerg {
    194      1.1  joerg 	fenv_t fenv;
    195      1.1  joerg 	int ex;
    196      1.1  joerg 
    197      1.1  joerg 	_DIAGASSERT(flagp != NULL);
    198      1.1  joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    199      1.1  joerg 
    200      1.1  joerg 	ex = excepts & FE_ALL_EXCEPT;
    201      1.1  joerg 
    202      1.1  joerg 	/* Store the current x87 floating-point environment */
    203      1.1  joerg 	__fnstenv(&fenv);
    204      1.1  joerg 
    205      1.1  joerg 	/* Set the requested status flags */
    206      1.1  joerg 	fenv.x87.status |= *flagp & ex;
    207      1.1  joerg 
    208      1.1  joerg 	/* Load the x87 floating-point environent */
    209      1.1  joerg 	__fldenv(fenv);
    210      1.1  joerg 
    211      1.1  joerg 	/* Same for SSE environment */
    212      1.1  joerg 	__stmxcsr(&fenv.mxcsr);
    213      1.1  joerg 	fenv.mxcsr |= *flagp & ex;
    214      1.1  joerg 	__ldmxcsr(fenv.mxcsr);
    215      1.1  joerg 
    216      1.1  joerg 	/* Success */
    217      1.1  joerg 	return (0);
    218      1.1  joerg }
    219      1.1  joerg 
    220      1.1  joerg /*
    221      1.1  joerg  * The fetestexcept() function determines which of a specified subset of the
    222      1.1  joerg  * floating-point exception flags are currently set. The `excepts' argument
    223      1.1  joerg  * specifies the floating-point status flags to be queried.
    224      1.1  joerg  */
    225      1.1  joerg int
    226      1.1  joerg fetestexcept(int excepts)
    227      1.1  joerg {
    228      1.1  joerg 	fenv_t fenv;
    229      1.1  joerg 	uint32_t mxcsr;
    230      1.1  joerg 	uint16_t status;
    231      1.1  joerg 	int ex;
    232      1.1  joerg 
    233      1.1  joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    234      1.1  joerg 
    235      1.1  joerg 	ex = excepts & FE_ALL_EXCEPT;
    236      1.1  joerg 
    237      1.1  joerg 	/* Store the current x87 floating-point environment */
    238      1.1  joerg 	memset(&fenv, 0, sizeof(fenv));
    239      1.1  joerg 
    240      1.1  joerg 	__fnstenv(&fenv);
    241      1.1  joerg 	__fnstsw(&status);
    242      1.1  joerg 
    243      1.1  joerg 	/* Store the MXCSR register state */
    244      1.1  joerg 	__stmxcsr(&fenv.mxcsr);
    245      1.1  joerg 	__stmxcsr(&mxcsr);
    246      1.1  joerg 
    247      1.1  joerg 	return ((fenv.x87.status | fenv.mxcsr) & ex);
    248      1.1  joerg }
    249      1.1  joerg 
    250      1.1  joerg /*
    251      1.1  joerg  * The fegetround() function gets the current rounding direction.
    252      1.1  joerg  */
    253      1.1  joerg int
    254      1.1  joerg fegetround(void)
    255      1.1  joerg {
    256      1.1  joerg 	uint32_t mxcsr;
    257      1.1  joerg 	uint16_t control;
    258      1.1  joerg 
    259      1.1  joerg 	/*
    260      1.1  joerg 	 * We check both the x87 floating-point unit _and_ the SSE unit.
    261      1.1  joerg 	 * Normally, those two must agree with respect to each other. If they
    262      1.1  joerg 	 * don't, it's not our fault and the result is non-determinable, in
    263      1.1  joerg 	 * which case POSIX says that a negative value should be returned.
    264      1.1  joerg 	 */
    265      1.1  joerg 	__fnstcw(&control);
    266      1.1  joerg 	__stmxcsr(&mxcsr);
    267      1.1  joerg 
    268      1.1  joerg 	if ((control & _X87_ROUNDING_MASK)
    269      1.1  joerg 	    != ((mxcsr & _SSE_ROUNDING_MASK) >> 3)) {
    270      1.1  joerg 		return (-1);
    271      1.1  joerg 	}
    272      1.1  joerg 
    273      1.1  joerg 	return (control & _X87_ROUNDING_MASK);
    274      1.1  joerg }
    275      1.1  joerg 
    276      1.1  joerg /*
    277      1.1  joerg  * The fesetround() function establishes the rounding direction represented by
    278      1.1  joerg  * its argument `round'. If the argument is not equal to the value of a rounding
    279      1.1  joerg  * direction macro, the rounding direction is not changed.
    280      1.1  joerg  */
    281      1.1  joerg int
    282      1.1  joerg fesetround(int round)
    283      1.1  joerg {
    284      1.1  joerg 	uint32_t  mxcsr;
    285      1.1  joerg 	uint16_t control;
    286      1.1  joerg 
    287      1.1  joerg 	/* Check whether requested rounding direction is supported */
    288      1.1  joerg 	if (round & (~_X87_ROUNDING_MASK))
    289      1.1  joerg 		return (-1);
    290      1.1  joerg 
    291      1.1  joerg 	/* Store the current x87 control word register  */
    292      1.1  joerg 	__fnstcw(&control);
    293      1.1  joerg 
    294      1.1  joerg 	/*
    295      1.1  joerg 	 * Set the rounding direction
    296      1.1  joerg 	 * Rounding Control is bits 10-11, so shift appropriately
    297      1.1  joerg 	 */
    298      1.1  joerg 	control &= ~_X87_ROUNDING_MASK;
    299      1.1  joerg 	control |= round;
    300      1.1  joerg 
    301      1.1  joerg 	/* Load the x87 control word register */
    302      1.1  joerg 	__fldcw(control);
    303      1.1  joerg 
    304      1.1  joerg 	/*
    305      1.1  joerg 	 * Same for the SSE environment
    306      1.1  joerg 	 * Rounding Control is bits 13-14, so shift appropriately
    307      1.1  joerg 	 */
    308      1.1  joerg 	__stmxcsr(&mxcsr);
    309      1.1  joerg 	mxcsr &= ~_SSE_ROUNDING_MASK;
    310      1.1  joerg 	mxcsr |= (round << _SSE_ROUND_SHIFT);
    311      1.1  joerg 	__ldmxcsr(mxcsr);
    312      1.1  joerg 
    313      1.1  joerg 	/* Success */
    314      1.1  joerg 	return (0);
    315      1.1  joerg }
    316      1.1  joerg 
    317      1.1  joerg /*
    318      1.1  joerg  * The fegetenv() function attempts to store the current floating-point
    319      1.1  joerg  * environment in the object pointed to by envp.
    320      1.1  joerg  */
    321      1.1  joerg int
    322      1.1  joerg fegetenv(fenv_t *envp)
    323      1.1  joerg {
    324      1.1  joerg 	_DIAGASSERT(envp != NULL);
    325      1.1  joerg 
    326      1.1  joerg 	/* Store the current x87 floating-point environment */
    327      1.1  joerg 	__fnstenv(envp);
    328      1.1  joerg 
    329      1.1  joerg 	/* Store the MXCSR register state */
    330      1.1  joerg 	__stmxcsr(&envp->mxcsr);
    331      1.1  joerg 
    332      1.1  joerg      /*
    333      1.1  joerg       * When an FNSTENV instruction is executed, all pending exceptions are
    334      1.1  joerg       * essentially lost (either the x87 FPU status register is cleared or all
    335      1.1  joerg       * exceptions are masked).
    336      1.1  joerg       *
    337      1.1  joerg       * 8.6 X87 FPU EXCEPTION SYNCHRONIZATION -
    338      1.1  joerg       * Intel(R) 64 and IA-32 Architectures Softare Developer's Manual - Vol 1
    339      1.1  joerg       *
    340      1.1  joerg       */
    341      1.1  joerg 	__fldcw(envp->x87.control);
    342      1.1  joerg 
    343      1.1  joerg 	/* Success */
    344      1.1  joerg 	return (0);
    345      1.1  joerg }
    346      1.1  joerg 
    347      1.1  joerg /*
    348      1.1  joerg  * The feholdexcept() function saves the current floating-point environment
    349      1.1  joerg  * in the object pointed to by envp, clears the floating-point status flags, and
    350      1.1  joerg  * then installs a non-stop (continue on floating-point exceptions) mode, if
    351      1.1  joerg  * available, for all floating-point exceptions.
    352      1.1  joerg  */
    353      1.1  joerg int
    354      1.1  joerg feholdexcept(fenv_t *envp)
    355      1.1  joerg {
    356      1.1  joerg 	uint32_t mxcsr;
    357      1.1  joerg 
    358      1.1  joerg 	_DIAGASSERT(envp != NULL);
    359      1.1  joerg 
    360      1.1  joerg 	/* Store the current x87 floating-point environment */
    361      1.1  joerg 	__fnstenv(envp);
    362      1.1  joerg 
    363      1.1  joerg 	/* Clear all exception flags in FPU */
    364      1.1  joerg 	__fnclex();
    365      1.1  joerg 
    366      1.1  joerg 	/* Store the MXCSR register state */
    367      1.1  joerg 	__stmxcsr(&envp->mxcsr);
    368      1.1  joerg 
    369      1.1  joerg 	/* Clear exception flags in MXCSR XXX */
    370      1.1  joerg 	mxcsr = envp->mxcsr;
    371      1.1  joerg 	mxcsr &= ~FE_ALL_EXCEPT;
    372      1.1  joerg 
    373      1.1  joerg 	/* Mask all exceptions */
    374      1.1  joerg 	mxcsr |= FE_ALL_EXCEPT << _SSE_EMASK_SHIFT;
    375      1.1  joerg 
    376      1.1  joerg 	__ldmxcsr(mxcsr);
    377      1.1  joerg 
    378      1.1  joerg 	/* Success */
    379      1.1  joerg 	return (0);
    380      1.1  joerg }
    381      1.1  joerg 
    382      1.1  joerg /*
    383      1.1  joerg  * The fesetenv() function attempts to establish the floating-point environment
    384      1.1  joerg  * represented by the object pointed to by envp. The argument `envp' points
    385      1.1  joerg  * to an object set by a call to fegetenv() or feholdexcept(), or equal a
    386      1.1  joerg  * floating-point environment macro. The fesetenv() function does not raise
    387      1.1  joerg  * floating-point exceptions, but only installs the state of the floating-point
    388      1.1  joerg  * status flags represented through its argument.
    389      1.1  joerg  */
    390      1.1  joerg int
    391      1.1  joerg fesetenv(const fenv_t *envp)
    392      1.1  joerg {
    393      1.1  joerg 	fenv_t fenv;
    394      1.1  joerg 
    395      1.1  joerg 	_DIAGASSERT(envp != NULL);
    396      1.1  joerg 
    397      1.1  joerg 	/* Store the x87 floating-point environment */
    398      1.1  joerg 	memset(&fenv, 0, sizeof fenv);
    399      1.1  joerg 	__fnstenv(&fenv);
    400      1.1  joerg 
    401      1.1  joerg 	__fe_dfl_env.x87.control = (fenv.x87.control & 0xffff0000)
    402      1.1  joerg 	    | (__fe_dfl_env.x87.control & 0x0000ffff);
    403      1.1  joerg 	__fe_dfl_env.x87.status = (fenv.x87.status & 0xffff0000)
    404      1.1  joerg 	    | (__fe_dfl_env.x87.status & 0x0000ffff);
    405      1.1  joerg 	__fe_dfl_env.x87.tag = (fenv.x87.tag & 0xffff0000)
    406      1.1  joerg 	    | (__fe_dfl_env.x87.tag & 0x0000ffff);
    407      1.1  joerg 	__fe_dfl_env.x87.others[3] = (fenv.x87.others[3] & 0xffff0000)
    408      1.1  joerg 	    | (__fe_dfl_env.x87.others[3] & 0x0000ffff);
    409      1.1  joerg 	__fldenv(*envp);
    410      1.1  joerg 
    411      1.1  joerg 	/* Store the MXCSR register */
    412      1.1  joerg 	__ldmxcsr(envp->mxcsr);
    413      1.1  joerg 
    414      1.1  joerg 	/* Success */
    415      1.1  joerg 	return (0);
    416      1.1  joerg }
    417      1.1  joerg 
    418      1.1  joerg /*
    419      1.1  joerg  * The feupdateenv() function saves the currently raised floating-point
    420      1.1  joerg  * exceptions in its automatic storage, installs the floating-point environment
    421      1.1  joerg  * represented by the object pointed to by `envp', and then raises the saved
    422      1.1  joerg  * floating-point exceptions. The argument `envp' shall point to an object set
    423      1.1  joerg  * by a call to feholdexcept() or fegetenv(), or equal a floating-point
    424      1.1  joerg  * environment macro.
    425      1.1  joerg  */
    426      1.1  joerg int
    427      1.1  joerg feupdateenv(const fenv_t *envp)
    428      1.1  joerg {
    429      1.1  joerg 	fenv_t fenv;
    430      1.1  joerg 	uint32_t mxcsr;
    431      1.1  joerg 	uint16_t sw;
    432      1.1  joerg 
    433      1.1  joerg 	_DIAGASSERT(envp != NULL);
    434      1.1  joerg 
    435      1.1  joerg 	/* Store the x87 floating-point environment */
    436      1.1  joerg 	memset(&fenv, 0, sizeof(fenv));
    437      1.1  joerg 	__fnstenv(&fenv);
    438      1.1  joerg 
    439      1.1  joerg 	__fe_dfl_env.x87.control = (fenv.x87.control & 0xffff0000)
    440      1.1  joerg 	    | (__fe_dfl_env.x87.control & 0x0000ffff);
    441      1.1  joerg 	__fe_dfl_env.x87.status = (fenv.x87.status & 0xffff0000)
    442      1.1  joerg 	    | (__fe_dfl_env.x87.status & 0x0000ffff);
    443      1.1  joerg 	__fe_dfl_env.x87.tag = (fenv.x87.tag & 0xffff0000)
    444      1.1  joerg 	    | (__fe_dfl_env.x87.tag & 0x0000ffff);
    445      1.1  joerg 	__fe_dfl_env.x87.others[3] = (fenv.x87.others[3] & 0xffff0000)
    446      1.1  joerg 	    | (__fe_dfl_env.x87.others[3] & 0x0000ffff);
    447      1.1  joerg 
    448      1.1  joerg 	/* Store the x87 status register */
    449      1.1  joerg 	__fnstsw(&sw);
    450      1.1  joerg 
    451      1.1  joerg 	/* Store the MXCSR register */
    452      1.1  joerg 	__stmxcsr(&mxcsr);
    453      1.1  joerg 
    454      1.1  joerg 	/* Install new floating-point environment */
    455      1.1  joerg 	fesetenv(envp);
    456      1.1  joerg 
    457      1.1  joerg 	/* Raise any previously accumulated exceptions */
    458      1.1  joerg 	feraiseexcept((sw | mxcsr) & FE_ALL_EXCEPT);
    459      1.1  joerg 
    460      1.1  joerg 	/* Success */
    461      1.1  joerg 	return (0);
    462      1.1  joerg }
    463      1.1  joerg 
    464      1.1  joerg /*
    465      1.1  joerg  * The following functions are extentions to the standard
    466      1.1  joerg  */
    467      1.1  joerg int
    468      1.1  joerg feenableexcept(int mask)
    469      1.1  joerg {
    470      1.1  joerg 	uint32_t mxcsr, omask;
    471      1.1  joerg 	uint16_t control;
    472      1.1  joerg 
    473      1.1  joerg 	_DIAGASSERT((mask & ~FE_ALL_EXCEPT) == 0);
    474      1.1  joerg 	mask &= FE_ALL_EXCEPT;
    475      1.1  joerg 
    476      1.1  joerg 	__fnstcw(&control);
    477      1.1  joerg 	__stmxcsr(&mxcsr);
    478      1.1  joerg 
    479      1.1  joerg 	omask = (control | mxcsr >> _SSE_EMASK_SHIFT) & FE_ALL_EXCEPT;
    480      1.1  joerg 	control &= ~mask;
    481      1.1  joerg 	__fldcw(control);
    482      1.1  joerg 
    483      1.1  joerg 	mxcsr &= ~(mask << _SSE_EMASK_SHIFT);
    484      1.1  joerg 	__ldmxcsr(mxcsr);
    485      1.1  joerg 
    486  1.1.6.1   yamt 	return (FE_ALL_EXCEPT & ~omask);
    487      1.1  joerg 
    488      1.1  joerg }
    489      1.1  joerg 
    490      1.1  joerg int
    491      1.1  joerg fedisableexcept(int mask)
    492      1.1  joerg {
    493      1.1  joerg 	uint32_t mxcsr, omask;
    494      1.1  joerg 	uint16_t control;
    495      1.1  joerg 
    496      1.1  joerg 	_DIAGASSERT((mask & ~FE_ALL_EXCEPT) == 0);
    497      1.1  joerg 
    498      1.1  joerg 	__fnstcw(&control);
    499      1.1  joerg 	__stmxcsr(&mxcsr);
    500      1.1  joerg 
    501      1.1  joerg 	omask = (control | mxcsr >> _SSE_EMASK_SHIFT) & FE_ALL_EXCEPT;
    502      1.1  joerg 	control |= mask;
    503      1.1  joerg 	__fldcw(control);
    504      1.1  joerg 
    505      1.1  joerg 	mxcsr |= mask << _SSE_EMASK_SHIFT;
    506      1.1  joerg 	__ldmxcsr(mxcsr);
    507      1.1  joerg 
    508  1.1.6.1   yamt 	return (FE_ALL_EXCEPT & ~omask);
    509      1.1  joerg }
    510      1.1  joerg 
    511      1.1  joerg int
    512      1.1  joerg fegetexcept(void)
    513      1.1  joerg {
    514      1.1  joerg 	uint16_t control;
    515      1.1  joerg 
    516      1.1  joerg 	/*
    517      1.1  joerg 	 * We assume that the masks for the x87 and the SSE unit are
    518      1.1  joerg 	 * the same.
    519      1.1  joerg 	 */
    520      1.1  joerg 	__fnstcw(&control);
    521      1.1  joerg 
    522      1.1  joerg 	return (control & FE_ALL_EXCEPT);
    523      1.1  joerg }
    524      1.1  joerg 
    525