1 /* Ravenscar SPARC target support.
3 Copyright (C) 2004-2019 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "sparc-tdep.h"
25 #include "ravenscar-thread.h"
26 #include "sparc-ravenscar-thread.h"
29 struct sparc_ravenscar_ops
: public ravenscar_arch_ops
31 void fetch_registers (struct regcache
*, int) override
;
32 void store_registers (struct regcache
*, int) override
;
35 /* Register offsets from a referenced address (exempli gratia the
36 Thread_Descriptor). The referenced address depends on the register
37 number. The Thread_Descriptor layout and the stack layout are documented
38 in the GNAT sources, in sparc-bb.h. */
40 static const int sparc_register_offsets
[] =
43 -1, 0x24, 0x28, 0x2C, 0x30, 0x34, 0x38, 0x3C,
45 0x00, 0x04, 0x08, 0x0C, 0x10, 0x14, 0x18, 0x1C,
47 0x00, 0x04, 0x08, 0x0C, 0x10, 0x14, 0x18, 0x1C,
49 0x20, 0x24, 0x28, 0x2C, 0x30, 0x34, 0x38, 0x3C,
51 0x50, 0x54, 0x58, 0x5C, 0x60, 0x64, 0x68, 0x6C,
52 0x70, 0x74, 0x78, 0x7C, 0x80, 0x84, 0x88, 0x8C,
53 0x90, 0x94, 0x99, 0x9C, 0xA0, 0xA4, 0xA8, 0xAC,
54 0xB0, 0xB4, 0xBB, 0xBC, 0xC0, 0xC4, 0xC8, 0xCC,
55 /* Y PSR WIM TBR PC NPC FPSR CPSR */
56 0x40, 0x20, 0x44, -1, 0x1C, -1, 0x4C, -1
59 /* supply register REGNUM, which has been saved on REGISTER_ADDR, to the
63 supply_register_at_address (struct regcache
*regcache
, int regnum
,
64 CORE_ADDR register_addr
)
66 struct gdbarch
*gdbarch
= regcache
->arch ();
67 int buf_size
= register_size (gdbarch
, regnum
);
70 buf
= (gdb_byte
*) alloca (buf_size
);
71 read_memory (register_addr
, buf
, buf_size
);
72 regcache
->raw_supply (regnum
, buf
);
75 /* Return true if, for a non-running thread, REGNUM has been saved on the
79 register_on_stack_p (int regnum
)
81 return (regnum
>= SPARC_L0_REGNUM
&& regnum
<= SPARC_L7_REGNUM
)
82 || (regnum
>= SPARC_I0_REGNUM
&& regnum
<= SPARC_I7_REGNUM
);
85 /* Return true if, for a non-running thread, REGNUM has been saved on the
89 register_in_thread_descriptor_p (int regnum
)
91 return (regnum
>= SPARC_O0_REGNUM
&& regnum
<= SPARC_O7_REGNUM
)
92 || (regnum
== SPARC32_PSR_REGNUM
)
93 || (regnum
>= SPARC_G1_REGNUM
&& regnum
<= SPARC_G7_REGNUM
)
94 || (regnum
== SPARC32_Y_REGNUM
)
95 || (regnum
== SPARC32_WIM_REGNUM
)
96 || (regnum
== SPARC32_FSR_REGNUM
)
97 || (regnum
>= SPARC_F0_REGNUM
&& regnum
<= SPARC_F0_REGNUM
+ 31)
98 || (regnum
== SPARC32_PC_REGNUM
);
101 /* to_fetch_registers when inferior_ptid is different from the running
105 sparc_ravenscar_ops::fetch_registers (struct regcache
*regcache
, int regnum
)
107 struct gdbarch
*gdbarch
= regcache
->arch ();
108 const int sp_regnum
= gdbarch_sp_regnum (gdbarch
);
109 const int num_regs
= gdbarch_num_regs (gdbarch
);
111 CORE_ADDR current_address
;
112 CORE_ADDR thread_descriptor_address
;
113 ULONGEST stack_address
;
115 /* The tid is the thread_id field, which is a pointer to the thread. */
116 thread_descriptor_address
= (CORE_ADDR
) inferior_ptid
.tid ();
118 /* Read the saved SP in the context buffer. */
119 current_address
= thread_descriptor_address
120 + sparc_register_offsets
[sp_regnum
];
121 supply_register_at_address (regcache
, sp_regnum
, current_address
);
122 regcache_cooked_read_unsigned (regcache
, sp_regnum
, &stack_address
);
124 /* Read registers. */
125 for (current_regnum
= 0; current_regnum
< num_regs
; current_regnum
++)
127 if (register_in_thread_descriptor_p (current_regnum
))
129 current_address
= thread_descriptor_address
130 + sparc_register_offsets
[current_regnum
];
131 supply_register_at_address (regcache
, current_regnum
,
134 else if (register_on_stack_p (current_regnum
))
136 current_address
= stack_address
137 + sparc_register_offsets
[current_regnum
];
138 supply_register_at_address (regcache
, current_regnum
,
144 /* to_store_registers when inferior_ptid is different from the running
148 sparc_ravenscar_ops::store_registers (struct regcache
*regcache
, int regnum
)
150 struct gdbarch
*gdbarch
= regcache
->arch ();
151 int buf_size
= register_size (gdbarch
, regnum
);
152 gdb_byte buf
[buf_size
];
153 ULONGEST register_address
;
155 if (register_in_thread_descriptor_p (regnum
))
157 inferior_ptid
.tid () + sparc_register_offsets
[regnum
];
158 else if (register_on_stack_p (regnum
))
160 regcache_cooked_read_unsigned (regcache
, SPARC_SP_REGNUM
,
162 register_address
+= sparc_register_offsets
[regnum
];
167 regcache
->raw_collect (regnum
, buf
);
168 write_memory (register_address
,
173 static struct sparc_ravenscar_ops sparc_ravenscar_ops
;
175 /* Register ravenscar_arch_ops in GDBARCH. */
178 register_sparc_ravenscar_ops (struct gdbarch
*gdbarch
)
180 set_gdbarch_ravenscar_ops (gdbarch
, &sparc_ravenscar_ops
);