Home | History | Annotate | Line # | Download | only in x86_64
      1  1.11  riastrad /* $NetBSD: fenv.c,v 1.11 2024/02/20 03:53:48 riastradh 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.11  riastrad __RCSID("$NetBSD: fenv.c,v 1.11 2024/02/20 03:53:48 riastradh Exp $");
     31   1.7       chs 
     32   1.7       chs #include "namespace.h"
     33   1.1     joerg 
     34   1.1     joerg #include <assert.h>
     35   1.1     joerg #include <fenv.h>
     36   1.1     joerg #include <stddef.h>
     37   1.1     joerg #include <string.h>
     38   1.1     joerg 
     39   1.7       chs #ifdef __weak_alias
     40   1.7       chs __weak_alias(feclearexcept,_feclearexcept)
     41   1.7       chs __weak_alias(fedisableexcept,_fedisableexcept)
     42   1.7       chs __weak_alias(feenableexcept,_feenableexcept)
     43   1.7       chs __weak_alias(fegetenv,_fegetenv)
     44   1.7       chs __weak_alias(fegetexcept,_fegetexcept)
     45   1.7       chs __weak_alias(fegetexceptflag,_fegetexceptflag)
     46   1.7       chs __weak_alias(fegetround,_fegetround)
     47   1.7       chs __weak_alias(feholdexcept,_feholdexcept)
     48   1.7       chs __weak_alias(feraiseexcept,_feraiseexcept)
     49   1.7       chs __weak_alias(fesetenv,_fesetenv)
     50   1.7       chs __weak_alias(fesetexceptflag,_fesetexceptflag)
     51   1.7       chs __weak_alias(fesetround,_fesetround)
     52   1.7       chs __weak_alias(fetestexcept,_fetestexcept)
     53   1.7       chs __weak_alias(feupdateenv,_feupdateenv)
     54   1.7       chs #endif
     55   1.7       chs 
     56   1.1     joerg /* Load x87 Control Word */
     57   1.1     joerg #define	__fldcw(__cw)		__asm__ __volatile__ \
     58   1.1     joerg 	("fldcw %0" : : "m" (__cw))
     59   1.1     joerg 
     60   1.1     joerg /* No-Wait Store Control Word */
     61   1.1     joerg #define	__fnstcw(__cw)		__asm__ __volatile__ \
     62   1.1     joerg 	("fnstcw %0" : "=m" (*(__cw)))
     63   1.1     joerg 
     64   1.1     joerg /* No-Wait Store Status Word */
     65   1.1     joerg #define	__fnstsw(__sw)		__asm__ __volatile__ \
     66   1.1     joerg 	("fnstsw %0" : "=am" (*(__sw)))
     67   1.1     joerg 
     68   1.1     joerg /* No-Wait Clear Exception Flags */
     69   1.1     joerg #define	__fnclex()		__asm__ __volatile__ \
     70   1.1     joerg 	("fnclex")
     71   1.1     joerg 
     72   1.1     joerg /* Load x87 Environment */
     73   1.1     joerg #define	__fldenv(__env)		__asm__ __volatile__ \
     74   1.1     joerg 	("fldenv %0" : : "m" (__env))
     75   1.1     joerg 
     76   1.1     joerg /* No-Wait Store x87 environment */
     77   1.1     joerg #define	__fnstenv(__env)	__asm__ __volatile__ \
     78   1.1     joerg 	("fnstenv %0" : "=m" (*(__env)))
     79   1.1     joerg 
     80   1.4  riastrad /* Check for and handle pending unmasked x87 pending FPU exceptions */
     81   1.4  riastrad #define	__fwait(__env)		__asm__	__volatile__	\
     82   1.4  riastrad 	("fwait")
     83   1.4  riastrad 
     84   1.1     joerg /* Load the MXCSR register */
     85   1.1     joerg #define	__ldmxcsr(__mxcsr)	__asm__ __volatile__ \
     86   1.1     joerg 	("ldmxcsr %0" : : "m" (__mxcsr))
     87   1.1     joerg 
     88   1.1     joerg /* Store the MXCSR register state */
     89   1.1     joerg #define	__stmxcsr(__mxcsr)	__asm__ __volatile__ \
     90   1.1     joerg 	("stmxcsr %0" : "=m" (*(__mxcsr)))
     91   1.1     joerg 
     92   1.1     joerg /*
     93   1.1     joerg  * The following constant represents the default floating-point environment
     94   1.1     joerg  * (that is, the one installed at program startup) and has type pointer to
     95   1.1     joerg  * const-qualified fenv_t.
     96   1.1     joerg  *
     97   1.1     joerg  * It can be used as an argument to the functions within the <fenv.h> header
     98   1.1     joerg  * that manage the floating-point environment, namely fesetenv() and
     99   1.1     joerg  * feupdateenv().
    100   1.1     joerg  *
    101   1.1     joerg  * x87 fpu registers are 16bit wide. The upper bits, 31-16, are marked as
    102   1.1     joerg  * RESERVED. We provide a partial floating-point environment, where we
    103   1.1     joerg  * define only the lower bits. The reserved bits are extracted and set by
    104   1.1     joerg  * the consumers of FE_DFL_ENV, during runtime.
    105   1.1     joerg  */
    106   1.1     joerg fenv_t __fe_dfl_env = {
    107   1.1     joerg 	{
    108   1.1     joerg 		__NetBSD_NPXCW__,	/* Control word register */
    109   1.1     joerg 		0x00000000,		/* Status word register */
    110   1.1     joerg 		0x0000ffff,		/* Tag word register */
    111   1.1     joerg 		{
    112   1.1     joerg 			0x00000000,
    113   1.1     joerg 			0x00000000,
    114   1.1     joerg 			0x00000000,
    115   1.1     joerg 			0x00000000,
    116   1.1     joerg 		},
    117   1.1     joerg 	},
    118   1.1     joerg 	__INITIAL_MXCSR__       /* MXCSR register */
    119   1.1     joerg };
    120   1.1     joerg #define FE_DFL_ENV      ((const fenv_t *) &__fe_dfl_env)
    121   1.1     joerg 
    122   1.6     joerg static void __init_libm(void) __attribute__ ((constructor, used));
    123   1.6     joerg 
    124   1.6     joerg static void __init_libm(void)
    125   1.6     joerg {
    126   1.6     joerg 	uint16_t control;
    127   1.6     joerg 
    128   1.6     joerg 	__fnstcw(&control);
    129   1.6     joerg 	__fe_dfl_env.x87.control = control;
    130   1.6     joerg }
    131   1.6     joerg 
    132   1.1     joerg 
    133   1.1     joerg /*
    134   1.1     joerg  * The feclearexcept() function clears the supported floating-point exceptions
    135   1.1     joerg  * represented by `excepts'.
    136   1.1     joerg  */
    137   1.1     joerg int
    138   1.1     joerg feclearexcept(int excepts)
    139   1.1     joerg {
    140   1.1     joerg 	fenv_t fenv;
    141   1.1     joerg 	int ex;
    142   1.1     joerg 
    143   1.1     joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    144   1.1     joerg 
    145   1.1     joerg 	ex = excepts & FE_ALL_EXCEPT;
    146   1.1     joerg 
    147   1.1     joerg 	/* Store the current x87 floating-point environment */
    148   1.1     joerg 	__fnstenv(&fenv);
    149   1.1     joerg 
    150   1.1     joerg 	/* Clear the requested floating-point exceptions */
    151   1.1     joerg 	fenv.x87.status &= ~ex;
    152   1.1     joerg 
    153   1.8    andvar 	/* Load the x87 floating-point environment */
    154   1.1     joerg 	__fldenv(fenv);
    155   1.1     joerg 
    156   1.1     joerg 	/* Same for SSE environment */
    157   1.1     joerg 	__stmxcsr(&fenv.mxcsr);
    158   1.1     joerg 	fenv.mxcsr &= ~ex;
    159   1.1     joerg 	__ldmxcsr(fenv.mxcsr);
    160   1.1     joerg 
    161   1.1     joerg 	/* Success */
    162   1.1     joerg 	return (0);
    163   1.1     joerg }
    164   1.1     joerg 
    165   1.1     joerg /*
    166   1.1     joerg  * The fegetexceptflag() function stores an implementation-defined
    167   1.1     joerg  * representation of the states of the floating-point status flags indicated by
    168   1.1     joerg  * the argument excepts in the object pointed to by the argument flagp.
    169   1.1     joerg  */
    170   1.1     joerg int
    171   1.1     joerg fegetexceptflag(fexcept_t *flagp, int excepts)
    172   1.1     joerg {
    173   1.1     joerg 	uint32_t mxcsr;
    174   1.1     joerg 	uint16_t x87_status;
    175   1.1     joerg 	int ex;
    176   1.1     joerg 
    177   1.1     joerg 	_DIAGASSERT(flagp != NULL);
    178   1.1     joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    179   1.1     joerg 
    180   1.1     joerg 	ex = excepts & FE_ALL_EXCEPT;
    181   1.1     joerg 
    182   1.1     joerg 	/* Store the current x87 status register */
    183   1.1     joerg 	__fnstsw(&x87_status);
    184   1.1     joerg 
    185   1.1     joerg 	/* Store the MXCSR register */
    186   1.1     joerg 	__stmxcsr(&mxcsr);
    187   1.1     joerg 
    188   1.1     joerg 	/* Store the results in flagp */
    189   1.1     joerg 	*flagp = (x87_status | mxcsr) & ex;
    190   1.1     joerg 
    191   1.1     joerg 	/* Success */
    192   1.1     joerg 	return (0);
    193   1.1     joerg }
    194   1.1     joerg 
    195   1.1     joerg /*
    196   1.1     joerg  * The feraiseexcept() function raises the supported floating-point exceptions
    197   1.1     joerg  * represented by the argument `excepts'.
    198   1.1     joerg  *
    199   1.1     joerg  * The standard explicitly allows us to execute an instruction that has the
    200   1.1     joerg  * exception as a side effect, but we choose to manipulate the status register
    201   1.1     joerg  * directly.
    202   1.1     joerg  *
    203   1.1     joerg  * The validation of input is being deferred to fesetexceptflag().
    204   1.1     joerg  */
    205   1.1     joerg int
    206   1.1     joerg feraiseexcept(int excepts)
    207   1.1     joerg {
    208   1.1     joerg 	int ex;
    209   1.1     joerg 
    210   1.1     joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    211   1.1     joerg 
    212   1.1     joerg 	ex = excepts & FE_ALL_EXCEPT;
    213   1.5  christos 	fesetexceptflag((unsigned int *)&ex, ex);
    214   1.4  riastrad 	__fwait();
    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  * This function sets the floating-point status flags indicated by the argument
    222   1.1     joerg  * `excepts' to the states stored in the object pointed to by `flagp'. It does
    223   1.1     joerg  * NOT raise any floating-point exceptions, but only sets the state of the flags.
    224   1.1     joerg  */
    225   1.1     joerg int
    226   1.1     joerg fesetexceptflag(const fexcept_t *flagp, int excepts)
    227   1.1     joerg {
    228   1.1     joerg 	fenv_t fenv;
    229   1.1     joerg 	int ex;
    230   1.1     joerg 
    231   1.1     joerg 	_DIAGASSERT(flagp != NULL);
    232   1.1     joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    233   1.1     joerg 
    234   1.1     joerg 	ex = excepts & FE_ALL_EXCEPT;
    235   1.1     joerg 
    236   1.1     joerg 	/* Store the current x87 floating-point environment */
    237   1.1     joerg 	__fnstenv(&fenv);
    238   1.1     joerg 
    239   1.1     joerg 	/* Set the requested status flags */
    240   1.1     joerg 	fenv.x87.status |= *flagp & ex;
    241   1.1     joerg 
    242   1.8    andvar 	/* Load the x87 floating-point environment */
    243   1.1     joerg 	__fldenv(fenv);
    244   1.1     joerg 
    245   1.1     joerg 	/* Same for SSE environment */
    246   1.1     joerg 	__stmxcsr(&fenv.mxcsr);
    247   1.1     joerg 	fenv.mxcsr |= *flagp & ex;
    248   1.1     joerg 	__ldmxcsr(fenv.mxcsr);
    249   1.1     joerg 
    250   1.1     joerg 	/* Success */
    251   1.1     joerg 	return (0);
    252   1.1     joerg }
    253   1.1     joerg 
    254   1.1     joerg /*
    255   1.1     joerg  * The fetestexcept() function determines which of a specified subset of the
    256   1.1     joerg  * floating-point exception flags are currently set. The `excepts' argument
    257   1.1     joerg  * specifies the floating-point status flags to be queried.
    258   1.1     joerg  */
    259   1.1     joerg int
    260   1.1     joerg fetestexcept(int excepts)
    261   1.1     joerg {
    262   1.1     joerg 	uint32_t mxcsr;
    263   1.1     joerg 	uint16_t status;
    264   1.1     joerg 	int ex;
    265   1.1     joerg 
    266   1.1     joerg 	_DIAGASSERT((excepts & ~FE_ALL_EXCEPT) == 0);
    267   1.1     joerg 
    268   1.1     joerg 	ex = excepts & FE_ALL_EXCEPT;
    269   1.1     joerg 
    270   1.1     joerg 	__fnstsw(&status);
    271   1.1     joerg 	__stmxcsr(&mxcsr);
    272   1.1     joerg 
    273  1.11  riastrad 	return ((status | mxcsr) & ex);
    274   1.1     joerg }
    275   1.1     joerg 
    276   1.1     joerg /*
    277   1.1     joerg  * The fegetround() function gets the current rounding direction.
    278   1.1     joerg  */
    279   1.1     joerg int
    280   1.1     joerg fegetround(void)
    281   1.1     joerg {
    282   1.1     joerg 	uint32_t mxcsr;
    283   1.1     joerg 	uint16_t control;
    284   1.1     joerg 
    285   1.1     joerg 	/*
    286   1.1     joerg 	 * We check both the x87 floating-point unit _and_ the SSE unit.
    287   1.1     joerg 	 * Normally, those two must agree with respect to each other. If they
    288   1.1     joerg 	 * don't, it's not our fault and the result is non-determinable, in
    289   1.1     joerg 	 * which case POSIX says that a negative value should be returned.
    290   1.1     joerg 	 */
    291   1.1     joerg 	__fnstcw(&control);
    292   1.1     joerg 	__stmxcsr(&mxcsr);
    293   1.1     joerg 
    294   1.1     joerg 	if ((control & _X87_ROUNDING_MASK)
    295   1.1     joerg 	    != ((mxcsr & _SSE_ROUNDING_MASK) >> 3)) {
    296   1.1     joerg 		return (-1);
    297   1.1     joerg 	}
    298   1.1     joerg 
    299   1.1     joerg 	return (control & _X87_ROUNDING_MASK);
    300   1.1     joerg }
    301   1.1     joerg 
    302   1.1     joerg /*
    303   1.1     joerg  * The fesetround() function establishes the rounding direction represented by
    304   1.1     joerg  * its argument `round'. If the argument is not equal to the value of a rounding
    305   1.1     joerg  * direction macro, the rounding direction is not changed.
    306   1.1     joerg  */
    307   1.1     joerg int
    308   1.1     joerg fesetround(int round)
    309   1.1     joerg {
    310   1.1     joerg 	uint32_t  mxcsr;
    311   1.1     joerg 	uint16_t control;
    312   1.1     joerg 
    313   1.1     joerg 	/* Check whether requested rounding direction is supported */
    314   1.1     joerg 	if (round & (~_X87_ROUNDING_MASK))
    315   1.1     joerg 		return (-1);
    316   1.1     joerg 
    317   1.1     joerg 	/* Store the current x87 control word register  */
    318   1.1     joerg 	__fnstcw(&control);
    319   1.1     joerg 
    320   1.1     joerg 	/*
    321   1.1     joerg 	 * Set the rounding direction
    322   1.1     joerg 	 * Rounding Control is bits 10-11, so shift appropriately
    323   1.1     joerg 	 */
    324   1.1     joerg 	control &= ~_X87_ROUNDING_MASK;
    325   1.1     joerg 	control |= round;
    326   1.1     joerg 
    327   1.1     joerg 	/* Load the x87 control word register */
    328   1.1     joerg 	__fldcw(control);
    329   1.1     joerg 
    330   1.1     joerg 	/*
    331   1.1     joerg 	 * Same for the SSE environment
    332   1.1     joerg 	 * Rounding Control is bits 13-14, so shift appropriately
    333   1.1     joerg 	 */
    334   1.1     joerg 	__stmxcsr(&mxcsr);
    335   1.1     joerg 	mxcsr &= ~_SSE_ROUNDING_MASK;
    336   1.1     joerg 	mxcsr |= (round << _SSE_ROUND_SHIFT);
    337   1.1     joerg 	__ldmxcsr(mxcsr);
    338   1.1     joerg 
    339   1.1     joerg 	/* Success */
    340   1.1     joerg 	return (0);
    341   1.1     joerg }
    342   1.1     joerg 
    343   1.1     joerg /*
    344   1.1     joerg  * The fegetenv() function attempts to store the current floating-point
    345   1.1     joerg  * environment in the object pointed to by envp.
    346   1.1     joerg  */
    347   1.1     joerg int
    348   1.1     joerg fegetenv(fenv_t *envp)
    349   1.1     joerg {
    350   1.1     joerg 	_DIAGASSERT(envp != NULL);
    351   1.1     joerg 
    352   1.1     joerg 	/* Store the current x87 floating-point environment */
    353   1.1     joerg 	__fnstenv(envp);
    354   1.1     joerg 
    355   1.1     joerg 	/* Store the MXCSR register state */
    356   1.1     joerg 	__stmxcsr(&envp->mxcsr);
    357   1.1     joerg 
    358   1.1     joerg      /*
    359   1.1     joerg       * When an FNSTENV instruction is executed, all pending exceptions are
    360   1.1     joerg       * essentially lost (either the x87 FPU status register is cleared or all
    361   1.1     joerg       * exceptions are masked).
    362   1.1     joerg       *
    363   1.1     joerg       * 8.6 X87 FPU EXCEPTION SYNCHRONIZATION -
    364   1.9    andvar       * Intel(R) 64 and IA-32 Architectures Software Developer's Manual - Vol 1
    365   1.1     joerg       *
    366   1.1     joerg       */
    367   1.1     joerg 	__fldcw(envp->x87.control);
    368   1.1     joerg 
    369   1.1     joerg 	/* Success */
    370   1.1     joerg 	return (0);
    371   1.1     joerg }
    372   1.1     joerg 
    373   1.1     joerg /*
    374   1.1     joerg  * The feholdexcept() function saves the current floating-point environment
    375   1.1     joerg  * in the object pointed to by envp, clears the floating-point status flags, and
    376   1.1     joerg  * then installs a non-stop (continue on floating-point exceptions) mode, if
    377   1.1     joerg  * available, for all floating-point exceptions.
    378   1.1     joerg  */
    379   1.1     joerg int
    380   1.1     joerg feholdexcept(fenv_t *envp)
    381   1.1     joerg {
    382   1.1     joerg 	uint32_t mxcsr;
    383   1.1     joerg 
    384   1.1     joerg 	_DIAGASSERT(envp != NULL);
    385   1.1     joerg 
    386   1.1     joerg 	/* Store the current x87 floating-point environment */
    387   1.1     joerg 	__fnstenv(envp);
    388   1.1     joerg 
    389   1.1     joerg 	/* Clear all exception flags in FPU */
    390   1.1     joerg 	__fnclex();
    391   1.1     joerg 
    392   1.1     joerg 	/* Store the MXCSR register state */
    393   1.1     joerg 	__stmxcsr(&envp->mxcsr);
    394   1.1     joerg 
    395   1.1     joerg 	/* Clear exception flags in MXCSR XXX */
    396   1.1     joerg 	mxcsr = envp->mxcsr;
    397   1.1     joerg 	mxcsr &= ~FE_ALL_EXCEPT;
    398   1.1     joerg 
    399   1.1     joerg 	/* Mask all exceptions */
    400   1.1     joerg 	mxcsr |= FE_ALL_EXCEPT << _SSE_EMASK_SHIFT;
    401   1.1     joerg 
    402   1.1     joerg 	__ldmxcsr(mxcsr);
    403   1.1     joerg 
    404   1.1     joerg 	/* Success */
    405   1.1     joerg 	return (0);
    406   1.1     joerg }
    407   1.1     joerg 
    408   1.1     joerg /*
    409   1.1     joerg  * The fesetenv() function attempts to establish the floating-point environment
    410   1.1     joerg  * represented by the object pointed to by envp. The argument `envp' points
    411   1.1     joerg  * to an object set by a call to fegetenv() or feholdexcept(), or equal a
    412   1.1     joerg  * floating-point environment macro. The fesetenv() function does not raise
    413   1.1     joerg  * floating-point exceptions, but only installs the state of the floating-point
    414   1.1     joerg  * status flags represented through its argument.
    415   1.1     joerg  */
    416   1.1     joerg int
    417   1.1     joerg fesetenv(const fenv_t *envp)
    418   1.1     joerg {
    419   1.1     joerg 	fenv_t fenv;
    420   1.1     joerg 
    421   1.1     joerg 	_DIAGASSERT(envp != NULL);
    422   1.1     joerg 
    423   1.1     joerg 	/* Store the x87 floating-point environment */
    424   1.1     joerg 	memset(&fenv, 0, sizeof fenv);
    425   1.1     joerg 	__fnstenv(&fenv);
    426   1.1     joerg 
    427   1.1     joerg 	__fe_dfl_env.x87.control = (fenv.x87.control & 0xffff0000)
    428   1.1     joerg 	    | (__fe_dfl_env.x87.control & 0x0000ffff);
    429   1.1     joerg 	__fe_dfl_env.x87.status = (fenv.x87.status & 0xffff0000)
    430   1.1     joerg 	    | (__fe_dfl_env.x87.status & 0x0000ffff);
    431   1.1     joerg 	__fe_dfl_env.x87.tag = (fenv.x87.tag & 0xffff0000)
    432   1.1     joerg 	    | (__fe_dfl_env.x87.tag & 0x0000ffff);
    433   1.1     joerg 	__fe_dfl_env.x87.others[3] = (fenv.x87.others[3] & 0xffff0000)
    434   1.1     joerg 	    | (__fe_dfl_env.x87.others[3] & 0x0000ffff);
    435   1.1     joerg 	__fldenv(*envp);
    436   1.1     joerg 
    437   1.1     joerg 	/* Store the MXCSR register */
    438   1.1     joerg 	__ldmxcsr(envp->mxcsr);
    439   1.1     joerg 
    440   1.1     joerg 	/* Success */
    441   1.1     joerg 	return (0);
    442   1.1     joerg }
    443   1.1     joerg 
    444   1.1     joerg /*
    445   1.1     joerg  * The feupdateenv() function saves the currently raised floating-point
    446   1.1     joerg  * exceptions in its automatic storage, installs the floating-point environment
    447   1.1     joerg  * represented by the object pointed to by `envp', and then raises the saved
    448   1.1     joerg  * floating-point exceptions. The argument `envp' shall point to an object set
    449   1.1     joerg  * by a call to feholdexcept() or fegetenv(), or equal a floating-point
    450   1.1     joerg  * environment macro.
    451   1.1     joerg  */
    452   1.1     joerg int
    453   1.1     joerg feupdateenv(const fenv_t *envp)
    454   1.1     joerg {
    455   1.1     joerg 	fenv_t fenv;
    456   1.1     joerg 	uint32_t mxcsr;
    457   1.1     joerg 	uint16_t sw;
    458   1.1     joerg 
    459   1.1     joerg 	_DIAGASSERT(envp != NULL);
    460   1.1     joerg 
    461   1.1     joerg 	/* Store the x87 floating-point environment */
    462   1.1     joerg 	memset(&fenv, 0, sizeof(fenv));
    463   1.1     joerg 	__fnstenv(&fenv);
    464   1.1     joerg 
    465   1.1     joerg 	__fe_dfl_env.x87.control = (fenv.x87.control & 0xffff0000)
    466   1.1     joerg 	    | (__fe_dfl_env.x87.control & 0x0000ffff);
    467   1.1     joerg 	__fe_dfl_env.x87.status = (fenv.x87.status & 0xffff0000)
    468   1.1     joerg 	    | (__fe_dfl_env.x87.status & 0x0000ffff);
    469   1.1     joerg 	__fe_dfl_env.x87.tag = (fenv.x87.tag & 0xffff0000)
    470   1.1     joerg 	    | (__fe_dfl_env.x87.tag & 0x0000ffff);
    471   1.1     joerg 	__fe_dfl_env.x87.others[3] = (fenv.x87.others[3] & 0xffff0000)
    472   1.1     joerg 	    | (__fe_dfl_env.x87.others[3] & 0x0000ffff);
    473   1.1     joerg 
    474   1.1     joerg 	/* Store the x87 status register */
    475   1.1     joerg 	__fnstsw(&sw);
    476   1.1     joerg 
    477   1.1     joerg 	/* Store the MXCSR register */
    478   1.1     joerg 	__stmxcsr(&mxcsr);
    479   1.1     joerg 
    480   1.1     joerg 	/* Install new floating-point environment */
    481   1.1     joerg 	fesetenv(envp);
    482   1.1     joerg 
    483   1.1     joerg 	/* Raise any previously accumulated exceptions */
    484   1.1     joerg 	feraiseexcept((sw | mxcsr) & FE_ALL_EXCEPT);
    485   1.1     joerg 
    486   1.1     joerg 	/* Success */
    487   1.1     joerg 	return (0);
    488   1.1     joerg }
    489   1.1     joerg 
    490   1.1     joerg /*
    491  1.10    andvar  * The following functions are extensions to the standard
    492   1.1     joerg  */
    493   1.1     joerg int
    494   1.1     joerg feenableexcept(int mask)
    495   1.1     joerg {
    496   1.1     joerg 	uint32_t mxcsr, omask;
    497   1.1     joerg 	uint16_t control;
    498   1.1     joerg 
    499   1.1     joerg 	_DIAGASSERT((mask & ~FE_ALL_EXCEPT) == 0);
    500   1.1     joerg 	mask &= FE_ALL_EXCEPT;
    501   1.1     joerg 
    502   1.1     joerg 	__fnstcw(&control);
    503   1.1     joerg 	__stmxcsr(&mxcsr);
    504   1.1     joerg 
    505   1.1     joerg 	omask = (control | mxcsr >> _SSE_EMASK_SHIFT) & FE_ALL_EXCEPT;
    506   1.1     joerg 	control &= ~mask;
    507   1.1     joerg 	__fldcw(control);
    508   1.1     joerg 
    509   1.1     joerg 	mxcsr &= ~(mask << _SSE_EMASK_SHIFT);
    510   1.1     joerg 	__ldmxcsr(mxcsr);
    511   1.1     joerg 
    512   1.2  riastrad 	return (FE_ALL_EXCEPT & ~omask);
    513   1.1     joerg 
    514   1.1     joerg }
    515   1.1     joerg 
    516   1.1     joerg int
    517   1.1     joerg fedisableexcept(int mask)
    518   1.1     joerg {
    519   1.1     joerg 	uint32_t mxcsr, omask;
    520   1.1     joerg 	uint16_t control;
    521   1.1     joerg 
    522   1.1     joerg 	_DIAGASSERT((mask & ~FE_ALL_EXCEPT) == 0);
    523   1.1     joerg 
    524   1.1     joerg 	__fnstcw(&control);
    525   1.1     joerg 	__stmxcsr(&mxcsr);
    526   1.1     joerg 
    527   1.1     joerg 	omask = (control | mxcsr >> _SSE_EMASK_SHIFT) & FE_ALL_EXCEPT;
    528   1.1     joerg 	control |= mask;
    529   1.1     joerg 	__fldcw(control);
    530   1.1     joerg 
    531   1.1     joerg 	mxcsr |= mask << _SSE_EMASK_SHIFT;
    532   1.1     joerg 	__ldmxcsr(mxcsr);
    533   1.1     joerg 
    534   1.2  riastrad 	return (FE_ALL_EXCEPT & ~omask);
    535   1.1     joerg }
    536   1.1     joerg 
    537   1.1     joerg int
    538   1.1     joerg fegetexcept(void)
    539   1.1     joerg {
    540   1.1     joerg 	uint16_t control;
    541   1.1     joerg 
    542   1.1     joerg 	/*
    543   1.1     joerg 	 * We assume that the masks for the x87 and the SSE unit are
    544   1.1     joerg 	 * the same.
    545   1.1     joerg 	 */
    546   1.1     joerg 	__fnstcw(&control);
    547   1.1     joerg 
    548   1.3  riastrad 	return (~control & FE_ALL_EXCEPT);
    549   1.1     joerg }
    550   1.1     joerg 
    551