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