target/arm: Factor out preserve-fp-state from full_vfp_access_check()
Factor out the code which handles M-profile lazy FP state preservation from full_vfp_access_check(); accesses to the FPCXT_NS register are a special case which need to do just this part (corresponding in the pseudocode to the PreserveFPState() function), and not the full set of actions matching the pseudocode ExecuteFPCheck() which normal FP instructions need to do. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Message-id: 20201119215617.29887-13-peter.maydell@linaro.org
This commit is contained in:
parent
6a017acdf8
commit
96dfae6866
|
@ -83,6 +83,32 @@ static inline long vfp_f16_offset(unsigned reg, bool top)
|
||||||
return offs;
|
return offs;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Generate code for M-profile lazy FP state preservation if needed;
|
||||||
|
* this corresponds to the pseudocode PreserveFPState() function.
|
||||||
|
*/
|
||||||
|
static void gen_preserve_fp_state(DisasContext *s)
|
||||||
|
{
|
||||||
|
if (s->v7m_lspact) {
|
||||||
|
/*
|
||||||
|
* Lazy state saving affects external memory and also the NVIC,
|
||||||
|
* so we must mark it as an IO operation for icount (and cause
|
||||||
|
* this to be the last insn in the TB).
|
||||||
|
*/
|
||||||
|
if (tb_cflags(s->base.tb) & CF_USE_ICOUNT) {
|
||||||
|
s->base.is_jmp = DISAS_UPDATE_EXIT;
|
||||||
|
gen_io_start();
|
||||||
|
}
|
||||||
|
gen_helper_v7m_preserve_fp_state(cpu_env);
|
||||||
|
/*
|
||||||
|
* If the preserve_fp_state helper doesn't throw an exception
|
||||||
|
* then it will clear LSPACT; we don't need to repeat this for
|
||||||
|
* any further FP insns in this TB.
|
||||||
|
*/
|
||||||
|
s->v7m_lspact = false;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Check that VFP access is enabled. If it is, do the necessary
|
* Check that VFP access is enabled. If it is, do the necessary
|
||||||
* M-profile lazy-FP handling and then return true.
|
* M-profile lazy-FP handling and then return true.
|
||||||
|
@ -113,24 +139,7 @@ static bool full_vfp_access_check(DisasContext *s, bool ignore_vfp_enabled)
|
||||||
/* Handle M-profile lazy FP state mechanics */
|
/* Handle M-profile lazy FP state mechanics */
|
||||||
|
|
||||||
/* Trigger lazy-state preservation if necessary */
|
/* Trigger lazy-state preservation if necessary */
|
||||||
if (s->v7m_lspact) {
|
gen_preserve_fp_state(s);
|
||||||
/*
|
|
||||||
* Lazy state saving affects external memory and also the NVIC,
|
|
||||||
* so we must mark it as an IO operation for icount (and cause
|
|
||||||
* this to be the last insn in the TB).
|
|
||||||
*/
|
|
||||||
if (tb_cflags(s->base.tb) & CF_USE_ICOUNT) {
|
|
||||||
s->base.is_jmp = DISAS_UPDATE_EXIT;
|
|
||||||
gen_io_start();
|
|
||||||
}
|
|
||||||
gen_helper_v7m_preserve_fp_state(cpu_env);
|
|
||||||
/*
|
|
||||||
* If the preserve_fp_state helper doesn't throw an exception
|
|
||||||
* then it will clear LSPACT; we don't need to repeat this for
|
|
||||||
* any further FP insns in this TB.
|
|
||||||
*/
|
|
||||||
s->v7m_lspact = false;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* Update ownership of FP context: set FPCCR.S to match current state */
|
/* Update ownership of FP context: set FPCCR.S to match current state */
|
||||||
if (s->v8m_fpccr_s_wrong) {
|
if (s->v8m_fpccr_s_wrong) {
|
||||||
|
|
Loading…
Reference in a new issue