Message ID | 1501692241-23310-14-git-send-email-peter.maydell@linaro.org |
---|---|
State | Superseded |
Headers | show |
Series | v7M: cleanups and bugfixes prior to v8M | expand |
On 08/02/2017 01:43 PM, Peter Maydell wrote: > Add a utility function for testing whether the CPU is in Handler > mode; this is just a check whether v7m.exception is non-zero, but > we do it in several places and it makes the code a bit easier > to read to not have to mentally figure out what the test is testing. <3 <3 <3 > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> > --- > target/arm/cpu.h | 10 ++++++++-- > target/arm/helper.c | 8 ++++---- > 2 files changed, 12 insertions(+), 6 deletions(-) > > diff --git a/target/arm/cpu.h b/target/arm/cpu.h > index da90b7a..a3b4b78 100644 > --- a/target/arm/cpu.h > +++ b/target/arm/cpu.h > @@ -1630,13 +1630,19 @@ static inline int arm_highest_el(CPUARMState *env) > return 1; > } > > +/* Return true if a v7M CPU is in Handler mode */ > +static inline bool arm_v7m_is_handler_mode(CPUARMState *env) > +{ > + return env->v7m.exception != 0; > +} > + > /* Return the current Exception Level (as per ARMv8; note that this differs > * from the ARMv7 Privilege Level). > */ > static inline int arm_current_el(CPUARMState *env) > { > if (arm_feature(env, ARM_FEATURE_M)) { > - return !((env->v7m.exception == 0) && (env->v7m.control & 1)); > + return arm_v7m_is_handler_mode(env) || !(env->v7m.control & 1); > } > > if (is_a64(env)) { > @@ -2636,7 +2642,7 @@ static inline void cpu_get_tb_cpu_state(CPUARMState *env, target_ulong *pc, > } > *flags |= fp_exception_el(env) << ARM_TBFLAG_FPEXC_EL_SHIFT; > > - if (env->v7m.exception != 0) { > + if (arm_v7m_is_handler_mode(env)) { > *flags |= ARM_TBFLAG_HANDLER_MASK; > } > > diff --git a/target/arm/helper.c b/target/arm/helper.c > index 0ecc8f1..7920153 100644 > --- a/target/arm/helper.c > +++ b/target/arm/helper.c > @@ -6147,7 +6147,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) > * that jumps to magic addresses don't have magic behaviour unless > * we're in Handler mode (compare pseudocode BXWritePC()). > */ > - assert(env->v7m.exception != 0); > + assert(arm_v7m_is_handler_mode(env)); > > /* In the spec pseudocode ExceptionReturn() is called directly > * from BXWritePC() and gets the full target PC value including > @@ -6254,7 +6254,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) > * resuming in Thread mode. If that doesn't match what the > * exception return type specified then this is a UsageFault. > */ > - if (return_to_handler == (env->v7m.exception == 0)) { > + if (return_to_handler != arm_v7m_is_handler_mode(env)) { > /* Take an INVPC UsageFault by pushing the stack again. */ > armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE); > env->v7m.cfsr |= R_V7M_CFSR_INVPC_MASK; > @@ -6405,7 +6405,7 @@ void arm_v7m_cpu_do_interrupt(CPUState *cs) > if (env->v7m.control & R_V7M_CONTROL_SPSEL_MASK) { > lr |= 4; > } > - if (env->v7m.exception == 0) { > + if (!arm_v7m_is_handler_mode(env)) { > lr |= 8; > } > > @@ -8798,7 +8798,7 @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) > * switch_v7m_sp() deals with updating the SPSEL bit in > * env->v7m.control, so we only need update the others. > */ > - if (env->v7m.exception == 0) { > + if (!arm_v7m_is_handler_mode(env)) { > switch_v7m_sp(env, (val & R_V7M_CONTROL_SPSEL_MASK) != 0); > } > env->v7m.control &= ~R_V7M_CONTROL_NPRIV_MASK; >
On Wed, Aug 02, 2017 at 05:43:59PM +0100, Peter Maydell wrote: > Add a utility function for testing whether the CPU is in Handler > mode; this is just a check whether v7m.exception is non-zero, but > we do it in several places and it makes the code a bit easier > to read to not have to mentally figure out what the test is testing. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > target/arm/cpu.h | 10 ++++++++-- > target/arm/helper.c | 8 ++++---- > 2 files changed, 12 insertions(+), 6 deletions(-) > > diff --git a/target/arm/cpu.h b/target/arm/cpu.h > index da90b7a..a3b4b78 100644 > --- a/target/arm/cpu.h > +++ b/target/arm/cpu.h > @@ -1630,13 +1630,19 @@ static inline int arm_highest_el(CPUARMState *env) > return 1; > } > > +/* Return true if a v7M CPU is in Handler mode */ > +static inline bool arm_v7m_is_handler_mode(CPUARMState *env) > +{ > + return env->v7m.exception != 0; The != 0 shouldn't be needed when you return a bool... Either way: Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com> > +} > + > /* Return the current Exception Level (as per ARMv8; note that this differs > * from the ARMv7 Privilege Level). > */ > static inline int arm_current_el(CPUARMState *env) > { > if (arm_feature(env, ARM_FEATURE_M)) { > - return !((env->v7m.exception == 0) && (env->v7m.control & 1)); > + return arm_v7m_is_handler_mode(env) || !(env->v7m.control & 1); > } > > if (is_a64(env)) { > @@ -2636,7 +2642,7 @@ static inline void cpu_get_tb_cpu_state(CPUARMState *env, target_ulong *pc, > } > *flags |= fp_exception_el(env) << ARM_TBFLAG_FPEXC_EL_SHIFT; > > - if (env->v7m.exception != 0) { > + if (arm_v7m_is_handler_mode(env)) { > *flags |= ARM_TBFLAG_HANDLER_MASK; > } > > diff --git a/target/arm/helper.c b/target/arm/helper.c > index 0ecc8f1..7920153 100644 > --- a/target/arm/helper.c > +++ b/target/arm/helper.c > @@ -6147,7 +6147,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) > * that jumps to magic addresses don't have magic behaviour unless > * we're in Handler mode (compare pseudocode BXWritePC()). > */ > - assert(env->v7m.exception != 0); > + assert(arm_v7m_is_handler_mode(env)); > > /* In the spec pseudocode ExceptionReturn() is called directly > * from BXWritePC() and gets the full target PC value including > @@ -6254,7 +6254,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) > * resuming in Thread mode. If that doesn't match what the > * exception return type specified then this is a UsageFault. > */ > - if (return_to_handler == (env->v7m.exception == 0)) { > + if (return_to_handler != arm_v7m_is_handler_mode(env)) { > /* Take an INVPC UsageFault by pushing the stack again. */ > armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE); > env->v7m.cfsr |= R_V7M_CFSR_INVPC_MASK; > @@ -6405,7 +6405,7 @@ void arm_v7m_cpu_do_interrupt(CPUState *cs) > if (env->v7m.control & R_V7M_CONTROL_SPSEL_MASK) { > lr |= 4; > } > - if (env->v7m.exception == 0) { > + if (!arm_v7m_is_handler_mode(env)) { > lr |= 8; > } > > @@ -8798,7 +8798,7 @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) > * switch_v7m_sp() deals with updating the SPSEL bit in > * env->v7m.control, so we only need update the others. > */ > - if (env->v7m.exception == 0) { > + if (!arm_v7m_is_handler_mode(env)) { > switch_v7m_sp(env, (val & R_V7M_CONTROL_SPSEL_MASK) != 0); > } > env->v7m.control &= ~R_V7M_CONTROL_NPRIV_MASK; > -- > 2.7.4 > >
On 08/02/2017 09:43 AM, Peter Maydell wrote: > Add a utility function for testing whether the CPU is in Handler > mode; this is just a check whether v7m.exception is non-zero, but > we do it in several places and it makes the code a bit easier > to read to not have to mentally figure out what the test is testing. > > Signed-off-by: Peter Maydell <peter.maydell@linaro.org> > --- > target/arm/cpu.h | 10 ++++++++-- > target/arm/helper.c | 8 ++++---- > 2 files changed, 12 insertions(+), 6 deletions(-) Reviewed-by: Richard Henderson <richard.henderson@linaro.org> r~
diff --git a/target/arm/cpu.h b/target/arm/cpu.h index da90b7a..a3b4b78 100644 --- a/target/arm/cpu.h +++ b/target/arm/cpu.h @@ -1630,13 +1630,19 @@ static inline int arm_highest_el(CPUARMState *env) return 1; } +/* Return true if a v7M CPU is in Handler mode */ +static inline bool arm_v7m_is_handler_mode(CPUARMState *env) +{ + return env->v7m.exception != 0; +} + /* Return the current Exception Level (as per ARMv8; note that this differs * from the ARMv7 Privilege Level). */ static inline int arm_current_el(CPUARMState *env) { if (arm_feature(env, ARM_FEATURE_M)) { - return !((env->v7m.exception == 0) && (env->v7m.control & 1)); + return arm_v7m_is_handler_mode(env) || !(env->v7m.control & 1); } if (is_a64(env)) { @@ -2636,7 +2642,7 @@ static inline void cpu_get_tb_cpu_state(CPUARMState *env, target_ulong *pc, } *flags |= fp_exception_el(env) << ARM_TBFLAG_FPEXC_EL_SHIFT; - if (env->v7m.exception != 0) { + if (arm_v7m_is_handler_mode(env)) { *flags |= ARM_TBFLAG_HANDLER_MASK; } diff --git a/target/arm/helper.c b/target/arm/helper.c index 0ecc8f1..7920153 100644 --- a/target/arm/helper.c +++ b/target/arm/helper.c @@ -6147,7 +6147,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) * that jumps to magic addresses don't have magic behaviour unless * we're in Handler mode (compare pseudocode BXWritePC()). */ - assert(env->v7m.exception != 0); + assert(arm_v7m_is_handler_mode(env)); /* In the spec pseudocode ExceptionReturn() is called directly * from BXWritePC() and gets the full target PC value including @@ -6254,7 +6254,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu) * resuming in Thread mode. If that doesn't match what the * exception return type specified then this is a UsageFault. */ - if (return_to_handler == (env->v7m.exception == 0)) { + if (return_to_handler != arm_v7m_is_handler_mode(env)) { /* Take an INVPC UsageFault by pushing the stack again. */ armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE); env->v7m.cfsr |= R_V7M_CFSR_INVPC_MASK; @@ -6405,7 +6405,7 @@ void arm_v7m_cpu_do_interrupt(CPUState *cs) if (env->v7m.control & R_V7M_CONTROL_SPSEL_MASK) { lr |= 4; } - if (env->v7m.exception == 0) { + if (!arm_v7m_is_handler_mode(env)) { lr |= 8; } @@ -8798,7 +8798,7 @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) * switch_v7m_sp() deals with updating the SPSEL bit in * env->v7m.control, so we only need update the others. */ - if (env->v7m.exception == 0) { + if (!arm_v7m_is_handler_mode(env)) { switch_v7m_sp(env, (val & R_V7M_CONTROL_SPSEL_MASK) != 0); } env->v7m.control &= ~R_V7M_CONTROL_NPRIV_MASK;
Add a utility function for testing whether the CPU is in Handler mode; this is just a check whether v7m.exception is non-zero, but we do it in several places and it makes the code a bit easier to read to not have to mentally figure out what the test is testing. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> --- target/arm/cpu.h | 10 ++++++++-- target/arm/helper.c | 8 ++++---- 2 files changed, 12 insertions(+), 6 deletions(-) -- 2.7.4