1 /* Copyright (C) 1996-2015 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public License as
7 published by the Free Software Foundation; either version 2.1 of the
8 License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <http://www.gnu.org/licenses/>. */
19 #ifndef _AARCH64_FPU_CONTROL_H
20 #define _AARCH64_FPU_CONTROL_H
22 /* Macros for accessing the FPCR and FPSR. */
24 #define _FPU_GETCW(fpcr) \
25 __asm__ __volatile__ ("mrs %0, fpcr" : "=r" (fpcr))
27 #define _FPU_SETCW(fpcr) \
28 __asm__ __volatile__ ("msr fpcr, %0" : : "r" (fpcr))
30 #define _FPU_GETFPSR(fpsr) \
31 __asm__ __volatile__ ("mrs %0, fpsr" : "=r" (fpsr))
33 #define _FPU_SETFPSR(fpsr) \
34 __asm__ __volatile__ ("msr fpsr, %0" : : "r" (fpsr))
36 /* Reserved bits should be preserved when modifying register
37 contents. These two masks indicate which bits in each of FPCR and
38 FPSR should not be changed. */
40 #define _FPU_RESERVED 0xfe0fe0ff
41 #define _FPU_FPSR_RESERVED 0x0fffffe0
43 #define _FPU_DEFAULT 0x00000000
44 #define _FPU_FPSR_DEFAULT 0x00000000
46 /* Layout of FPCR and FPSR:
49 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
51 c c c c c c c c c c c c
52 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
53 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
54 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
60 #define _FPU_FPCR_RM_MASK 0xc00000
62 #define _FPU_FPCR_MASK_IXE 0x1000
63 #define _FPU_FPCR_MASK_UFE 0x0800
64 #define _FPU_FPCR_MASK_OFE 0x0400
65 #define _FPU_FPCR_MASK_DZE 0x0200
66 #define _FPU_FPCR_MASK_IOE 0x0100
68 #define _FPU_FPCR_IEEE \
69 (_FPU_DEFAULT | _FPU_FPCR_MASK_IXE | \
70 _FPU_FPCR_MASK_UFE | _FPU_FPCR_MASK_OFE | \
71 _FPU_FPCR_MASK_DZE | _FPU_FPCR_MASK_IOE)
73 #define _FPU_FPSR_IEEE 0
75 typedef unsigned int fpu_control_t
;
76 typedef unsigned int fpu_fpsr_t
;
78 /* Default control word set at startup. */
79 extern fpu_control_t __fpu_control
;