diff mbox series

target/arm: Use v7m_stack_read() for reading the frame signature

Message ID 20180419142106.9694-1-peter.maydell@linaro.org
State Superseded
Headers show
Series target/arm: Use v7m_stack_read() for reading the frame signature | expand

Commit Message

Peter Maydell April 19, 2018, 2:21 p.m. UTC
In commit 95695effe8caa552b8f2 we changed the v7M/v8M stack
pop code to use a new v7m_stack_read() function that checks
whether the read should fail due to an MPU or bus abort.
We missed one call though, the one which reads the signature
word for the callee-saved register part of the frame.

Correct the omission.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

---
 target/arm/helper.c | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

-- 
2.17.0

Comments

Philippe Mathieu-Daudé April 19, 2018, 4:58 p.m. UTC | #1
On 04/19/2018 11:21 AM, Peter Maydell wrote:
> In commit 95695effe8caa552b8f2 we changed the v7M/v8M stack

> pop code to use a new v7m_stack_read() function that checks

> whether the read should fail due to an MPU or bus abort.

> We missed one call though, the one which reads the signature

> word for the callee-saved register part of the frame.


Good catch.

> Correct the omission.


I checked, this was the unique omission.

> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>


Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>


> ---

>  target/arm/helper.c | 9 +++++----

>  1 file changed, 5 insertions(+), 4 deletions(-)

> 

> diff --git a/target/arm/helper.c b/target/arm/helper.c

> index b14fdab140..2ebd086ef2 100644

> --- a/target/arm/helper.c

> +++ b/target/arm/helper.c

> @@ -6913,7 +6913,6 @@ static bool v7m_push_stack(ARMCPU *cpu)

>  static void do_v7m_exception_exit(ARMCPU *cpu)

>  {

>      CPUARMState *env = &cpu->env;

> -    CPUState *cs = CPU(cpu);

>      uint32_t excret;

>      uint32_t xpsr;

>      bool ufault = false;

> @@ -7112,9 +7111,11 @@ static void do_v7m_exception_exit(ARMCPU *cpu)

>              ((excret & R_V7M_EXCRET_ES_MASK) == 0 ||

>               (excret & R_V7M_EXCRET_DCRS_MASK) == 0)) {

>              uint32_t expected_sig = 0xfefa125b;

> -            uint32_t actual_sig = ldl_phys(cs->as, frameptr);

> +            uint32_t actual_sig;

>  

> -            if (expected_sig != actual_sig) {

> +            pop_ok = v7m_stack_read(cpu, &actual_sig, frameptr, mmu_idx);

> +

> +            if (pop_ok && expected_sig != actual_sig) {

>                  /* Take a SecureFault on the current stack */

>                  env->v7m.sfsr |= R_V7M_SFSR_INVIS_MASK;

>                  armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_SECURE, false);

> @@ -7125,7 +7126,7 @@ static void do_v7m_exception_exit(ARMCPU *cpu)

>                  return;

>              }

>  

> -            pop_ok =

> +            pop_ok = pop_ok &&

>                  v7m_stack_read(cpu, &env->regs[4], frameptr + 0x8, mmu_idx) &&

>                  v7m_stack_read(cpu, &env->regs[4], frameptr + 0x8, mmu_idx) &&

>                  v7m_stack_read(cpu, &env->regs[5], frameptr + 0xc, mmu_idx) &&

>
Richard Henderson April 19, 2018, 7:29 p.m. UTC | #2
On 04/19/2018 04:21 AM, Peter Maydell wrote:
> In commit 95695effe8caa552b8f2 we changed the v7M/v8M stack

> pop code to use a new v7m_stack_read() function that checks

> whether the read should fail due to an MPU or bus abort.

> We missed one call though, the one which reads the signature

> word for the callee-saved register part of the frame.

> 

> Correct the omission.

> 

> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

> ---

>  target/arm/helper.c | 9 +++++----

>  1 file changed, 5 insertions(+), 4 deletions(-)


Reviewed-by: Richard Henderson <richard.henderson@linaro.org>



r~
diff mbox series

Patch

diff --git a/target/arm/helper.c b/target/arm/helper.c
index b14fdab140..2ebd086ef2 100644
--- a/target/arm/helper.c
+++ b/target/arm/helper.c
@@ -6913,7 +6913,6 @@  static bool v7m_push_stack(ARMCPU *cpu)
 static void do_v7m_exception_exit(ARMCPU *cpu)
 {
     CPUARMState *env = &cpu->env;
-    CPUState *cs = CPU(cpu);
     uint32_t excret;
     uint32_t xpsr;
     bool ufault = false;
@@ -7112,9 +7111,11 @@  static void do_v7m_exception_exit(ARMCPU *cpu)
             ((excret & R_V7M_EXCRET_ES_MASK) == 0 ||
              (excret & R_V7M_EXCRET_DCRS_MASK) == 0)) {
             uint32_t expected_sig = 0xfefa125b;
-            uint32_t actual_sig = ldl_phys(cs->as, frameptr);
+            uint32_t actual_sig;
 
-            if (expected_sig != actual_sig) {
+            pop_ok = v7m_stack_read(cpu, &actual_sig, frameptr, mmu_idx);
+
+            if (pop_ok && expected_sig != actual_sig) {
                 /* Take a SecureFault on the current stack */
                 env->v7m.sfsr |= R_V7M_SFSR_INVIS_MASK;
                 armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_SECURE, false);
@@ -7125,7 +7126,7 @@  static void do_v7m_exception_exit(ARMCPU *cpu)
                 return;
             }
 
-            pop_ok =
+            pop_ok = pop_ok &&
                 v7m_stack_read(cpu, &env->regs[4], frameptr + 0x8, mmu_idx) &&
                 v7m_stack_read(cpu, &env->regs[4], frameptr + 0x8, mmu_idx) &&
                 v7m_stack_read(cpu, &env->regs[5], frameptr + 0xc, mmu_idx) &&