2 * Copyright (c) 2004-2005 David Schultz <das@FreeBSD.ORG>
3 * Copyright (c) 2015 Ruslan Bukin <br@bsdpad.com>
6 * Portions of this software were developed by SRI International and the
7 * University of Cambridge Computer Laboratory under DARPA/AFRL contract
8 * FA8750-10-C-0237 ("CTSRD"), as part of the DARPA CRASH research programme.
10 * Portions of this software were developed by the University of Cambridge
11 * Computer Laboratory as part of the CTSRD Project, with support from the
12 * UK Higher Education Innovation Fund (HEIF).
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions
17 * 1. Redistributions of source code must retain the above copyright
18 * notice, this list of conditions and the following disclaimer.
19 * 2. Redistributions in binary form must reproduce the above copyright
20 * notice, this list of conditions and the following disclaimer in the
21 * documentation and/or other materials provided with the distribution.
23 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
24 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
27 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
41 #include <sys/_types.h>
44 #define __fenv_static static
47 typedef __uint64_t fenv_t
;
48 typedef __uint64_t fexcept_t
;
51 #define FE_INVALID 0x0010
52 #define FE_DIVBYZERO 0x0008
53 #define FE_OVERFLOW 0x0004
54 #define FE_UNDERFLOW 0x0002
55 #define FE_INEXACT 0x0001
56 #define FE_ALL_EXCEPT (FE_DIVBYZERO | FE_INEXACT | \
57 FE_INVALID | FE_OVERFLOW | FE_UNDERFLOW)
60 * RISC-V Rounding modes
62 #define FE_TONEAREST (0x00 << 5)
63 #define FE_TOWARDZERO (0x01 << 5)
64 #define FE_DOWNWARD (0x02 << 5)
65 #define FE_UPWARD (0x03 << 5)
66 #define _ROUND_SHIFT 5
67 #define _ROUND_MASK (FE_TONEAREST | FE_DOWNWARD | \
68 FE_UPWARD | FE_TOWARDZERO)
72 /* Default floating-point environment */
73 extern const fenv_t __fe_dfl_env
;
74 #define FE_DFL_ENV (&__fe_dfl_env)
76 /* We need to be able to map status flag positions to mask flag positions */
77 #define _FPUSW_SHIFT 0
78 #define _ENABLE_MASK (FE_ALL_EXCEPT << _FPUSW_SHIFT)
80 #define __rfs(__fpsr) __asm __volatile("csrr %0, fcsr" : "=r" (*(__fpsr)))
81 #define __wfs(__fpsr) __asm __volatile("csrw fcsr, %0" :: "r" (__fpsr))
83 __fenv_static
inline int
84 feclearexcept(int __excepts
)
94 __fenv_static
inline int
95 fegetexceptflag(fexcept_t
*__flagp
, int __excepts
)
100 *__flagp
= __fpsr
& __excepts
;
104 __fenv_static
inline int
105 fesetexceptflag(const fexcept_t
*__flagp
, int __excepts
)
110 __fpsr
&= ~__excepts
;
111 __fpsr
|= *__flagp
& __excepts
;
116 __fenv_static
inline int
117 feraiseexcept(int __excepts
)
119 fexcept_t __ex
= __excepts
;
121 fesetexceptflag(&__ex
, __excepts
); /* XXX */
125 __fenv_static
inline int
126 fetestexcept(int __excepts
)
131 return (__fpsr
& __excepts
);
134 __fenv_static
inline int
141 __fenv_static
inline int
142 fesetround(int __round
)
148 __fenv_static
inline int
149 fegetenv(fenv_t
*__envp
)
156 __fenv_static
inline int
157 feholdexcept(fenv_t
*__envp
)
163 __env
&= ~(FE_ALL_EXCEPT
| _ENABLE_MASK
);
168 __fenv_static
inline int
169 fesetenv(const fenv_t
*__envp
)
176 __fenv_static
inline int
177 feupdateenv(const fenv_t
*__envp
)
183 feraiseexcept(__fpsr
& FE_ALL_EXCEPT
);
189 /* We currently provide no external definitions of the functions below. */
192 feenableexcept(int __mask
)
198 __new_fpsr
= __old_fpsr
| (__mask
& FE_ALL_EXCEPT
) << _FPUSW_SHIFT
;
200 return ((__old_fpsr
>> _FPUSW_SHIFT
) & FE_ALL_EXCEPT
);
204 fedisableexcept(int __mask
)
210 __new_fpsr
= __old_fpsr
& ~((__mask
& FE_ALL_EXCEPT
) << _FPUSW_SHIFT
);
212 return ((__old_fpsr
>> _FPUSW_SHIFT
) & FE_ALL_EXCEPT
);
221 return ((__fpsr
& _ENABLE_MASK
) >> _FPUSW_SHIFT
);
224 #endif /* __BSD_VISIBLE */
228 #endif /* !_FENV_H_ */