|
Packit Service |
82fcde |
/* FPU control word definitions. SH version.
|
|
Packit Service |
82fcde |
Copyright (C) 1999-2018 Free Software Foundation, Inc.
|
|
Packit Service |
82fcde |
This file is part of the GNU C Library.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit Service |
82fcde |
modify it under the terms of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License as published by the Free Software Foundation; either
|
|
Packit Service |
82fcde |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit Service |
82fcde |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit Service |
82fcde |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit Service |
82fcde |
Lesser General Public License for more details.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
You should have received a copy of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License along with the GNU C Library; if not, see
|
|
Packit Service |
82fcde |
<http://www.gnu.org/licenses/>. */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#ifndef _FPU_CONTROL_H
|
|
Packit Service |
82fcde |
#define _FPU_CONTROL_H
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#if !defined(__SH_FPU_ANY__)
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#define _FPU_RESERVED 0xffffffff
|
|
Packit Service |
82fcde |
#define _FPU_DEFAULT 0x00000000
|
|
Packit Service |
82fcde |
typedef unsigned int fpu_control_t;
|
|
Packit Service |
82fcde |
#define _FPU_GETCW(cw) (cw) = 0
|
|
Packit Service |
82fcde |
#define _FPU_SETCW(cw) (void) (cw)
|
|
Packit Service |
82fcde |
extern fpu_control_t __fpu_control;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#else
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#include <features.h>
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* masking of interrupts */
|
|
Packit Service |
82fcde |
#define _FPU_MASK_VM 0x0800 /* Invalid operation */
|
|
Packit Service |
82fcde |
#define _FPU_MASK_ZM 0x0400 /* Division by zero */
|
|
Packit Service |
82fcde |
#define _FPU_MASK_OM 0x0200 /* Overflow */
|
|
Packit Service |
82fcde |
#define _FPU_MASK_UM 0x0100 /* Underflow */
|
|
Packit Service |
82fcde |
#define _FPU_MASK_IM 0x0080 /* Inexact operation */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* rounding control */
|
|
Packit Service |
82fcde |
#define _FPU_RC_NEAREST 0x0 /* RECOMMENDED */
|
|
Packit Service |
82fcde |
#define _FPU_RC_ZERO 0x1
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#define _FPU_RESERVED 0xffc00000 /* These bits are reserved. */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* The fdlibm code requires strict IEEE double precision arithmetic,
|
|
Packit Service |
82fcde |
and no interrupts for exceptions, rounding to nearest. */
|
|
Packit Service |
82fcde |
#define _FPU_DEFAULT 0x00080000 /* Default value. */
|
|
Packit Service |
82fcde |
#define _FPU_IEEE 0x00080f80 /* Default + exceptions enabled. */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* Type of the control word. */
|
|
Packit Service |
82fcde |
typedef unsigned int fpu_control_t;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* Macros for accessing the hardware control word. */
|
|
Packit Service |
82fcde |
#define _FPU_GETCW(cw) __asm__ ("sts fpscr,%0" : "=r" (cw))
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#if defined __GNUC__
|
|
Packit Service |
82fcde |
__BEGIN_DECLS
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* GCC provides this function. */
|
|
Packit Service |
82fcde |
extern void __set_fpscr (unsigned long);
|
|
Packit Service |
82fcde |
#define _FPU_SETCW(cw) __set_fpscr ((cw))
|
|
Packit Service |
82fcde |
#else
|
|
Packit Service |
82fcde |
#define _FPU_SETCW(cw) __asm__ ("lds %0,fpscr" : : "r" (cw))
|
|
Packit Service |
82fcde |
#endif
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* Default control word set at startup. */
|
|
Packit Service |
82fcde |
extern fpu_control_t __fpu_control;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
__END_DECLS
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#endif /* __SH_FPU_ANY__ */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#endif /* _FPU_CONTROL_H */
|