/*      $NetBSD: fenv.h,v 1.8 2024/10/30 15:56:11 riastradh Exp $       */

/*-
* Copyright (c) 2004-2005 David Schultz <[email protected]>
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
*    notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
*    notice, this list of conditions and the following disclaimer in the
*    documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*
* $FreeBSD: head/lib/msun/powerpc/fenv.h 226218 2011-10-10 15:43:09Z das $
*/

#ifndef _POWERPC_FENV_H_
#define _POWERPC_FENV_H_

#include <sys/featuretest.h>
#include <sys/stdint.h>

/* Exception flags */
#define FE_INEXACT      0x02000000
#define FE_DIVBYZERO    0x04000000
#define FE_UNDERFLOW    0x08000000
#define FE_OVERFLOW     0x10000000
#define FE_INVALID      0x20000000      /* all types of invalid FP ops */

/*
* The PowerPC architecture has extra invalid flags that indicate the
* specific type of invalid operation occurred.  These flags may be
* tested, set, and cleared---but not masked---separately.  All of
* these bits are cleared when FE_INVALID is cleared, but only
* FE_VXSOFT is set when FE_INVALID is explicitly set in software.
*/
#define FE_VXCVI        0x00000100      /* invalid integer convert */
#define FE_VXSQRT       0x00000200      /* square root of a negative */
#define FE_VXSOFT       0x00000400      /* software-requested exception */
#define FE_VXVC         0x00080000      /* ordered comparison involving NaN */
#define FE_VXIMZ        0x00100000      /* inf * 0 */
#define FE_VXZDZ        0x00200000      /* 0 / 0 */
#define FE_VXIDI        0x00400000      /* inf / inf */
#define FE_VXISI        0x00800000      /* inf - inf */
#define FE_VXSNAN       0x01000000      /* operation on a signalling NaN */
#define FE_ALL_INVALID  (FE_VXCVI | FE_VXSQRT | FE_VXSOFT | FE_VXVC | \
                        FE_VXIMZ | FE_VXZDZ | FE_VXIDI | FE_VXISI | \
                        FE_VXSNAN | FE_INVALID)
#define FE_ALL_EXCEPT   (FE_DIVBYZERO | FE_INEXACT | \
                        FE_ALL_INVALID | FE_OVERFLOW | FE_UNDERFLOW)

/* Rounding modes */
#define FE_TONEAREST    0x0000
#define FE_TOWARDZERO   0x0001
#define FE_UPWARD       0x0002
#define FE_DOWNWARD     0x0003
#define _ROUND_MASK     (FE_TONEAREST | FE_DOWNWARD | \
                        FE_UPWARD | FE_TOWARDZERO)

#ifndef _SOFT_FLOAT

#ifndef __fenv_static
#define __fenv_static   static
#endif

typedef uint32_t        fenv_t;
typedef uint32_t        fexcept_t;

#ifndef _KERNEL
__BEGIN_DECLS

/* Default floating-point environment */
extern const fenv_t     __fe_dfl_env;
#define FE_DFL_ENV      (&__fe_dfl_env)

/* We need to be able to map status flag positions to mask flag positions */
#define _FPUSW_SHIFT    22
#define _ENABLE_MASK    ((FE_DIVBYZERO | FE_INEXACT | FE_INVALID | \
                        FE_OVERFLOW | FE_UNDERFLOW) >> _FPUSW_SHIFT)

#ifndef _SOFT_FLOAT
#define __mffs(__env)   __asm __volatile("mffs %0" : "=f" (*(__env)))
#define __mtfsf(__env)  __asm __volatile("mtfsf 255,%0" : : "f" (__env))

static __inline uint32_t
__mfmsr(void)
{
       uint32_t __msr;

       __asm volatile ("mfmsr %0" : "=r"(__msr));
       return __msr;
}

static __inline void
__mtmsr(uint32_t __msr)
{

       __asm volatile ("mtmsr %0" : : "r"(__msr));
}

#define __MSR_FE_MASK   (0x00000800 | 0x00000100)
#define __MSR_FE_DIS    (0)
#define __MSR_FE_PREC   (0x00000800 | 0x00000100)

static __inline void
__updatemsr(uint32_t __reg)
{
       uint32_t __msr;

       __msr = __mfmsr() & ~__MSR_FE_MASK;
       if (__reg != 0) {
               __msr |= __MSR_FE_PREC;
       } else {
               __msr |= __MSR_FE_DIS;
       }
       __mtmsr(__msr);
}

#else
#define __mffs(__env)
#define __mtfsf(__env)
#define __updatemsr(__reg)
#endif

union __fpscr {
       double __d;
       struct {
               uint32_t __junk;
               fenv_t __reg;
       } __bits;
};

#if __GNUC_PREREQ__(8, 0)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wshadow"
#endif

__fenv_static __inline int
feclearexcept(int __excepts)
{
       union __fpscr __r;

       if (__excepts & FE_INVALID)
               __excepts |= FE_ALL_INVALID;
       __mffs(&__r.__d);
       __r.__bits.__reg &= ~__excepts;
       __mtfsf(__r.__d);
       return (0);
}

__fenv_static __inline int
fegetexceptflag(fexcept_t *__flagp, int __excepts)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       *__flagp = __r.__bits.__reg & __excepts;
       return (0);
}

__fenv_static __inline int
fesetexceptflag(const fexcept_t *__flagp, int __excepts)
{
       union __fpscr __r;

       if (__excepts & FE_INVALID)
               __excepts |= FE_ALL_INVALID;
       __mffs(&__r.__d);
       __r.__bits.__reg &= ~__excepts;
       __r.__bits.__reg |= *__flagp & __excepts;
       __mtfsf(__r.__d);
       return (0);
}

__fenv_static __inline int
feraiseexcept(int __excepts)
{
       union __fpscr __r;

       if (__excepts & FE_INVALID)
               __excepts |= FE_VXSOFT;
       __mffs(&__r.__d);
       __r.__bits.__reg |= __excepts;
       __mtfsf(__r.__d);
       return (0);
}

__fenv_static __inline int
fetestexcept(int __excepts)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       return (__r.__bits.__reg & __excepts);
}

__fenv_static __inline int
fegetround(void)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       return (__r.__bits.__reg & _ROUND_MASK);
}

__fenv_static __inline int
fesetround(int __round)
{
       union __fpscr __r;

       if (__round & ~_ROUND_MASK)
               return (-1);
       __mffs(&__r.__d);
       __r.__bits.__reg &= ~_ROUND_MASK;
       __r.__bits.__reg |= __round;
       __mtfsf(__r.__d);
       return (0);
}

__fenv_static __inline int
fegetenv(fenv_t *__envp)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       *__envp = __r.__bits.__reg;
       return (0);
}

__fenv_static __inline int
feholdexcept(fenv_t *__envp)
{
       union __fpscr __r;
       uint32_t msr;

       __mffs(&__r.__d);
       *__envp = __r.__bits.__reg;
       __r.__bits.__reg &= ~(FE_ALL_EXCEPT | _ENABLE_MASK);
       __mtfsf(__r.__d);
       __updatemsr(__r.__bits.__reg);
       return (0);
}

__fenv_static __inline int
fesetenv(const fenv_t *__envp)
{
       union __fpscr __r;

       __r.__bits.__reg = *__envp;
       __mtfsf(__r.__d);
       __updatemsr(__r.__bits.__reg);
       return (0);
}

__fenv_static __inline int
feupdateenv(const fenv_t *__envp)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       __r.__bits.__reg &= FE_ALL_EXCEPT;
       __r.__bits.__reg |= *__envp;
       __mtfsf(__r.__d);
       __updatemsr(__r.__bits.__reg);
       return (0);
}

#if __GNUC_PREREQ__(8, 0)
#pragma GCC diagnostic pop
#endif

#if defined(_NETBSD_SOURCE) || defined(_GNU_SOURCE)

__fenv_static __inline int
feenableexcept(int __mask)
{
       union __fpscr __r;
       fenv_t __oldmask;

       __mffs(&__r.__d);
       __oldmask = __r.__bits.__reg;
       __r.__bits.__reg |= (__mask & FE_ALL_EXCEPT) >> _FPUSW_SHIFT;
       __mtfsf(__r.__d);
       __updatemsr(__r.__bits.__reg);
       return ((__oldmask & _ENABLE_MASK) << _FPUSW_SHIFT);
}

__fenv_static __inline int
fedisableexcept(int __mask)
{
       union __fpscr __r;
       fenv_t __oldmask;

       __mffs(&__r.__d);
       __oldmask = __r.__bits.__reg;
       __r.__bits.__reg &= ~((__mask & FE_ALL_EXCEPT) >> _FPUSW_SHIFT);
       __mtfsf(__r.__d);
       __updatemsr(__r.__bits.__reg);
       return ((__oldmask & _ENABLE_MASK) << _FPUSW_SHIFT);
}

__fenv_static __inline int
fegetexcept(void)
{
       union __fpscr __r;

       __mffs(&__r.__d);
       return ((__r.__bits.__reg & _ENABLE_MASK) << _FPUSW_SHIFT);
}

#endif /* _NETBSD_SOURCE || _GNU_SOURCE */

__END_DECLS

#endif
#endif  /* _SOFT_FLOAT */

#endif  /* !_POWERPC_FENV_H_ */