xref: /openbmc/qemu/target/arm/vfp_fpscr.c (revision 09951f5a27a7f8633118c1808cf17e66b30c3c62)
1*cb8bb847SPeter Maydell /*
2*cb8bb847SPeter Maydell  * ARM VFP floating-point: handling of FPSCR/FPCR/FPSR
3*cb8bb847SPeter Maydell  *
4*cb8bb847SPeter Maydell  *  Copyright (c) 2003 Fabrice Bellard
5*cb8bb847SPeter Maydell  *
6*cb8bb847SPeter Maydell  * This library is free software; you can redistribute it and/or
7*cb8bb847SPeter Maydell  * modify it under the terms of the GNU Lesser General Public
8*cb8bb847SPeter Maydell  * License as published by the Free Software Foundation; either
9*cb8bb847SPeter Maydell  * version 2.1 of the License, or (at your option) any later version.
10*cb8bb847SPeter Maydell  *
11*cb8bb847SPeter Maydell  * This library is distributed in the hope that it will be useful,
12*cb8bb847SPeter Maydell  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13*cb8bb847SPeter Maydell  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14*cb8bb847SPeter Maydell  * Lesser General Public License for more details.
15*cb8bb847SPeter Maydell  *
16*cb8bb847SPeter Maydell  * You should have received a copy of the GNU Lesser General Public
17*cb8bb847SPeter Maydell  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18*cb8bb847SPeter Maydell  */
19*cb8bb847SPeter Maydell 
20*cb8bb847SPeter Maydell #include "qemu/osdep.h"
21*cb8bb847SPeter Maydell #include "cpu.h"
22*cb8bb847SPeter Maydell #include "internals.h"
23*cb8bb847SPeter Maydell #include "cpu-features.h"
24*cb8bb847SPeter Maydell 
vfp_get_fpcr(CPUARMState * env)25*cb8bb847SPeter Maydell uint32_t vfp_get_fpcr(CPUARMState *env)
26*cb8bb847SPeter Maydell {
27*cb8bb847SPeter Maydell     uint32_t fpcr = env->vfp.fpcr
28*cb8bb847SPeter Maydell         | (env->vfp.vec_len << 16)
29*cb8bb847SPeter Maydell         | (env->vfp.vec_stride << 20);
30*cb8bb847SPeter Maydell 
31*cb8bb847SPeter Maydell     /*
32*cb8bb847SPeter Maydell      * M-profile LTPSIZE is the same bits [18:16] as A-profile Len; whichever
33*cb8bb847SPeter Maydell      * of the two is not applicable to this CPU will always be zero.
34*cb8bb847SPeter Maydell      */
35*cb8bb847SPeter Maydell     fpcr |= env->v7m.ltpsize << 16;
36*cb8bb847SPeter Maydell 
37*cb8bb847SPeter Maydell     return fpcr;
38*cb8bb847SPeter Maydell }
39*cb8bb847SPeter Maydell 
vfp_get_fpsr(CPUARMState * env)40*cb8bb847SPeter Maydell uint32_t vfp_get_fpsr(CPUARMState *env)
41*cb8bb847SPeter Maydell {
42*cb8bb847SPeter Maydell     uint32_t fpsr = env->vfp.fpsr;
43*cb8bb847SPeter Maydell     uint32_t i;
44*cb8bb847SPeter Maydell 
45*cb8bb847SPeter Maydell     fpsr |= vfp_get_fpsr_from_host(env);
46*cb8bb847SPeter Maydell 
47*cb8bb847SPeter Maydell     i = env->vfp.qc[0] | env->vfp.qc[1] | env->vfp.qc[2] | env->vfp.qc[3];
48*cb8bb847SPeter Maydell     fpsr |= i ? FPSR_QC : 0;
49*cb8bb847SPeter Maydell     return fpsr;
50*cb8bb847SPeter Maydell }
51*cb8bb847SPeter Maydell 
vfp_get_fpscr(CPUARMState * env)52*cb8bb847SPeter Maydell uint32_t vfp_get_fpscr(CPUARMState *env)
53*cb8bb847SPeter Maydell {
54*cb8bb847SPeter Maydell     return (vfp_get_fpcr(env) & FPSCR_FPCR_MASK) |
55*cb8bb847SPeter Maydell         (vfp_get_fpsr(env) & FPSCR_FPSR_MASK);
56*cb8bb847SPeter Maydell }
57*cb8bb847SPeter Maydell 
vfp_set_fpsr(CPUARMState * env,uint32_t val)58*cb8bb847SPeter Maydell void vfp_set_fpsr(CPUARMState *env, uint32_t val)
59*cb8bb847SPeter Maydell {
60*cb8bb847SPeter Maydell     ARMCPU *cpu = env_archcpu(env);
61*cb8bb847SPeter Maydell 
62*cb8bb847SPeter Maydell     if (arm_feature(env, ARM_FEATURE_NEON) ||
63*cb8bb847SPeter Maydell         cpu_isar_feature(aa32_mve, cpu)) {
64*cb8bb847SPeter Maydell         /*
65*cb8bb847SPeter Maydell          * The bit we set within vfp.qc[] is arbitrary; the array as a
66*cb8bb847SPeter Maydell          * whole being zero/non-zero is what counts.
67*cb8bb847SPeter Maydell          */
68*cb8bb847SPeter Maydell         env->vfp.qc[0] = val & FPSR_QC;
69*cb8bb847SPeter Maydell         env->vfp.qc[1] = 0;
70*cb8bb847SPeter Maydell         env->vfp.qc[2] = 0;
71*cb8bb847SPeter Maydell         env->vfp.qc[3] = 0;
72*cb8bb847SPeter Maydell     }
73*cb8bb847SPeter Maydell 
74*cb8bb847SPeter Maydell     /*
75*cb8bb847SPeter Maydell      * NZCV lives only in env->vfp.fpsr. The cumulative exception flags
76*cb8bb847SPeter Maydell      * IOC|DZC|OFC|UFC|IXC|IDC also live in env->vfp.fpsr, with possible
77*cb8bb847SPeter Maydell      * extra pending exception information that hasn't yet been folded in
78*cb8bb847SPeter Maydell      * living in the float_status values (for TCG).
79*cb8bb847SPeter Maydell      * Since this FPSR write gives us the up to date values of the exception
80*cb8bb847SPeter Maydell      * flags, we want to store into vfp.fpsr the NZCV and CEXC bits, zeroing
81*cb8bb847SPeter Maydell      * anything else. We also need to clear out the float_status exception
82*cb8bb847SPeter Maydell      * information so that the next vfp_get_fpsr does not fold in stale data.
83*cb8bb847SPeter Maydell      */
84*cb8bb847SPeter Maydell     val &= FPSR_NZCV_MASK | FPSR_CEXC_MASK;
85*cb8bb847SPeter Maydell     env->vfp.fpsr = val;
86*cb8bb847SPeter Maydell     vfp_clear_float_status_exc_flags(env);
87*cb8bb847SPeter Maydell }
88*cb8bb847SPeter Maydell 
vfp_set_fpcr_masked(CPUARMState * env,uint32_t val,uint32_t mask)89*cb8bb847SPeter Maydell static void vfp_set_fpcr_masked(CPUARMState *env, uint32_t val, uint32_t mask)
90*cb8bb847SPeter Maydell {
91*cb8bb847SPeter Maydell     /*
92*cb8bb847SPeter Maydell      * We only set FPCR bits defined by mask, and leave the others alone.
93*cb8bb847SPeter Maydell      * We assume the mask is sensible (e.g. doesn't try to set only
94*cb8bb847SPeter Maydell      * part of a field)
95*cb8bb847SPeter Maydell      */
96*cb8bb847SPeter Maydell     ARMCPU *cpu = env_archcpu(env);
97*cb8bb847SPeter Maydell 
98*cb8bb847SPeter Maydell     /* When ARMv8.2-FP16 is not supported, FZ16 is RES0.  */
99*cb8bb847SPeter Maydell     if (!cpu_isar_feature(any_fp16, cpu)) {
100*cb8bb847SPeter Maydell         val &= ~FPCR_FZ16;
101*cb8bb847SPeter Maydell     }
102*cb8bb847SPeter Maydell     if (!cpu_isar_feature(aa64_afp, cpu)) {
103*cb8bb847SPeter Maydell         val &= ~(FPCR_FIZ | FPCR_AH | FPCR_NEP);
104*cb8bb847SPeter Maydell     }
105*cb8bb847SPeter Maydell 
106*cb8bb847SPeter Maydell     if (!cpu_isar_feature(aa64_ebf16, cpu)) {
107*cb8bb847SPeter Maydell         val &= ~FPCR_EBF;
108*cb8bb847SPeter Maydell     }
109*cb8bb847SPeter Maydell 
110*cb8bb847SPeter Maydell     vfp_set_fpcr_to_host(env, val, mask);
111*cb8bb847SPeter Maydell 
112*cb8bb847SPeter Maydell     if (mask & (FPCR_LEN_MASK | FPCR_STRIDE_MASK)) {
113*cb8bb847SPeter Maydell         if (!arm_feature(env, ARM_FEATURE_M)) {
114*cb8bb847SPeter Maydell             /*
115*cb8bb847SPeter Maydell              * Short-vector length and stride; on M-profile these bits
116*cb8bb847SPeter Maydell              * are used for different purposes.
117*cb8bb847SPeter Maydell              * We can't make this conditional be "if MVFR0.FPShVec != 0",
118*cb8bb847SPeter Maydell              * because in v7A no-short-vector-support cores still had to
119*cb8bb847SPeter Maydell              * allow Stride/Len to be written with the only effect that
120*cb8bb847SPeter Maydell              * some insns are required to UNDEF if the guest sets them.
121*cb8bb847SPeter Maydell              */
122*cb8bb847SPeter Maydell             env->vfp.vec_len = extract32(val, 16, 3);
123*cb8bb847SPeter Maydell             env->vfp.vec_stride = extract32(val, 20, 2);
124*cb8bb847SPeter Maydell         } else if (cpu_isar_feature(aa32_mve, cpu)) {
125*cb8bb847SPeter Maydell             env->v7m.ltpsize = extract32(val, FPCR_LTPSIZE_SHIFT,
126*cb8bb847SPeter Maydell                                          FPCR_LTPSIZE_LENGTH);
127*cb8bb847SPeter Maydell         }
128*cb8bb847SPeter Maydell     }
129*cb8bb847SPeter Maydell 
130*cb8bb847SPeter Maydell     /*
131*cb8bb847SPeter Maydell      * We don't implement trapped exception handling, so the
132*cb8bb847SPeter Maydell      * trap enable bits, IDE|IXE|UFE|OFE|DZE|IOE are all RAZ/WI (not RES0!)
133*cb8bb847SPeter Maydell      *
134*cb8bb847SPeter Maydell      * The FPCR bits we keep in vfp.fpcr are AHP, DN, FZ, RMode, EBF, FZ16,
135*cb8bb847SPeter Maydell      * FIZ, AH, and NEP.
136*cb8bb847SPeter Maydell      * Len, Stride and LTPSIZE we just handled. Store those bits
137*cb8bb847SPeter Maydell      * there, and zero any of the other FPCR bits and the RES0 and RAZ/WI
138*cb8bb847SPeter Maydell      * bits.
139*cb8bb847SPeter Maydell      */
140*cb8bb847SPeter Maydell     val &= FPCR_AHP | FPCR_DN | FPCR_FZ | FPCR_RMODE_MASK | FPCR_FZ16 |
141*cb8bb847SPeter Maydell         FPCR_EBF | FPCR_FIZ | FPCR_AH | FPCR_NEP;
142*cb8bb847SPeter Maydell     env->vfp.fpcr &= ~mask;
143*cb8bb847SPeter Maydell     env->vfp.fpcr |= val;
144*cb8bb847SPeter Maydell }
145*cb8bb847SPeter Maydell 
vfp_set_fpcr(CPUARMState * env,uint32_t val)146*cb8bb847SPeter Maydell void vfp_set_fpcr(CPUARMState *env, uint32_t val)
147*cb8bb847SPeter Maydell {
148*cb8bb847SPeter Maydell     vfp_set_fpcr_masked(env, val, MAKE_64BIT_MASK(0, 32));
149*cb8bb847SPeter Maydell }
150*cb8bb847SPeter Maydell 
vfp_set_fpscr(CPUARMState * env,uint32_t val)151*cb8bb847SPeter Maydell void vfp_set_fpscr(CPUARMState *env, uint32_t val)
152*cb8bb847SPeter Maydell {
153*cb8bb847SPeter Maydell     vfp_set_fpcr_masked(env, val, FPSCR_FPCR_MASK);
154*cb8bb847SPeter Maydell     vfp_set_fpsr(env, val & FPSCR_FPSR_MASK);
155*cb8bb847SPeter Maydell }
156