diff options
Diffstat (limited to 'ports/sysdeps/aarch64/fpu/fpu_control.h')
| -rw-r--r-- | ports/sysdeps/aarch64/fpu/fpu_control.h | 84 |
1 files changed, 0 insertions, 84 deletions
diff --git a/ports/sysdeps/aarch64/fpu/fpu_control.h b/ports/sysdeps/aarch64/fpu/fpu_control.h deleted file mode 100644 index 6a265e89b5..0000000000 --- a/ports/sysdeps/aarch64/fpu/fpu_control.h +++ /dev/null @@ -1,84 +0,0 @@ -/* Copyright (C) 1996-2014 Free Software Foundation, Inc. - - This file is part of the GNU C Library. - - The GNU C Library is free software; you can redistribute it and/or - modify it under the terms of the GNU Lesser General Public License as - published by the Free Software Foundation; either version 2.1 of the - License, or (at your option) any later version. - - The GNU C Library is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public - License along with the GNU C Library; if not, see - <http://www.gnu.org/licenses/>. */ - -#ifndef _AARCH64_FPU_CONTROL_H -#define _AARCH64_FPU_CONTROL_H - -/* Macros for accessing the FPCR and FPSR. */ - -#define _FPU_GETCW(fpcr) \ - __asm__ __volatile__ ("mrs %0, fpcr" : "=r" (fpcr)) - -#define _FPU_SETCW(fpcr) \ - { \ - __asm__ __volatile__ ("msr fpcr, %0" : : "r" (fpcr)); \ - __asm__ __volatile__ ("isb"); \ - } - -#define _FPU_GETFPSR(fpsr) \ - __asm__ __volatile__ ("mrs %0, fpsr" : "=r" (fpsr)) - -#define _FPU_SETFPSR(fpsr) \ - __asm__ __volatile__ ("msr fpsr, %0" : : "r" (fpsr)) - -/* Reserved bits should be preserved when modifying register - contents. These two masks indicate which bits in each of FPCR and - FPSR should not be changed. */ - -#define _FPU_RESERVED 0xfe0fe0ff -#define _FPU_FPSR_RESERVED 0x0fffffe0 - -#define _FPU_DEFAULT 0x00000000 -#define _FPU_FPSR_DEFAULT 0x00000000 - -/* Layout of FPCR and FPSR: - - | | | | | | | | - 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 - s s s s s s s s s s s - c c c c c c c c c c c c - N Z C V Q A D F R R S S S L L L I U U I U O D I I U U I U O D I - C H N Z M M T T B E E E D N N X F F Z O D N N X F F Z O - P O O R R Z N N N E K K E E E E E C K K C C C C C - D D I I P - E E D D - E E - */ - -#define _FPU_FPCR_RM_MASK 0xc00000 - -#define _FPU_FPCR_MASK_IXE 0x1000 -#define _FPU_FPCR_MASK_UFE 0x0800 -#define _FPU_FPCR_MASK_OFE 0x0400 -#define _FPU_FPCR_MASK_DZE 0x0200 -#define _FPU_FPCR_MASK_IOE 0x0100 - -#define _FPU_FPCR_IEEE \ - (_FPU_DEFAULT | _FPU_FPCR_MASK_IXE | \ - _FPU_FPCR_MASK_UFE | _FPU_FPCR_MASK_OFE | \ - _FPU_FPCR_MASK_DZE | _FPU_FPCR_MASK_IOE) - -#define _FPU_FPSR_IEEE 0 - -typedef unsigned int fpu_control_t; -typedef unsigned int fpu_fpsr_t; - -/* Default control word set at startup. */ -extern fpu_control_t __fpu_control; - -#endif |