[arm] d0..d15 are 64-bit each, not 32-bit

When unwinding the stack, the floating point registers d0 to d15
need to be handled as double words, not words.

Only the first 8 registers have been confirmed fixed with this patch
on a STM32F407-DISC0 board, but the upper 8 registers on Cortex-M33
should be handled in the same way.

The test consisted of running a program compiled with float-abi=hard.
In the main function, a function taking a double as an argument was
called. After the function call, a hardware timer was used to
trigger an interrupt.

In the debug session, a breakpoint was set in the function called
from main to verify the content of the registers using "info float"
and another breakpoint in the interrupt handler was used to check
the same registers using "info float" on frame 2 (the frame just
before the dummy frame created for the signal handler in gdb).

Signed-off-by: Torbjörn SVENSSON <torbjorn.svensson@st.com>
Signed-off-by: Yvan Roux <yvan.roux@foss.st.com>

diff --git a/gdb/arm-tdep.c b/gdb/arm-tdep.c
index 5ea6689874729c964b7967a7cccc8733a41a713c..d35c49bc1eae6294d688a9b2d862ba19d14c0f10 100644 (file)
--- a/gdb/arm-tdep.c
+++ b/gdb/arm-tdep.c
@@ -3464,10 +3464,10 @@ arm_m_exception_cache (struct frame_info *this_frame)
 
       /* Extended stack frame type used.  */
       fpu_regs_stack_offset = unwound_sp + sp_r0_offset + 0x20;
-      for (i = 0; i < 16; i++)
+      for (i = 0; i < 8; i++)
        {
          cache->saved_regs[ARM_D0_REGNUM + i].set_addr (fpu_regs_stack_offset);
-         fpu_regs_stack_offset += 4;
+         fpu_regs_stack_offset += 8;
        }
       cache->saved_regs[ARM_FPSCR_REGNUM].set_addr (unwound_sp + sp_r0_offset + 0x60);
       fpu_regs_stack_offset += 4;
@@ -3476,10 +3476,10 @@ arm_m_exception_cache (struct frame_info *this_frame)
        {
          /* Handle floating-point callee saved registers.  */
          fpu_regs_stack_offset = 0x90;
-         for (i = 16; i < 32; i++)
+         for (i = 8; i < 16; i++)
            {
              cache->saved_regs[ARM_D0_REGNUM + i].set_addr (fpu_regs_stack_offset);
-             fpu_regs_stack_offset += 4;
+             fpu_regs_stack_offset += 8;
            }
 
          arm_cache_set_active_sp_value (cache, tdep, unwound_sp + sp_r0_offset + 0xD0);