1 /* Ravenscar Aarch64 target support.
3 Copyright (C) 2017-2018 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 "aarch64-tdep.h"
25 #include "ravenscar-thread.h"
26 #include "aarch64-ravenscar-thread.h"
30 /* See aarch64-tdep.h for register numbers. */
32 static const int aarch64_context_offsets[] =
35 NO_OFFSET, NO_OFFSET, NO_OFFSET, NO_OFFSET,
36 NO_OFFSET, NO_OFFSET, NO_OFFSET, NO_OFFSET,
37 NO_OFFSET, NO_OFFSET, NO_OFFSET, NO_OFFSET,
38 NO_OFFSET, NO_OFFSET, NO_OFFSET, NO_OFFSET,
39 NO_OFFSET, NO_OFFSET, NO_OFFSET, 0,
44 /* FP, LR, SP, PC, CPSR */
45 /* Note that as task switch is synchronous, PC is in fact the LR here */
66 /* The register layout info. */
68 struct ravenscar_reg_info
70 /* A table providing the offset relative to the context structure
71 where each register is saved. */
72 const int *context_offsets;
74 /* The number of elements in the context_offsets table above. */
75 int context_offsets_size;
78 /* supply register REGNUM, which has been saved on REGISTER_ADDR, to the
82 supply_register_at_address (struct regcache *regcache, int regnum,
83 CORE_ADDR register_addr)
85 struct gdbarch *gdbarch = regcache->arch ();
86 int buf_size = register_size (gdbarch, regnum);
89 buf = (gdb_byte *) alloca (buf_size);
90 read_memory (register_addr, buf, buf_size);
91 regcache->raw_supply (regnum, buf);
94 /* Return true if, for a non-running thread, REGNUM has been saved on the
98 register_in_thread_descriptor_p (const struct ravenscar_reg_info *reg_info,
101 /* Check FPU registers */
102 return (regnum < reg_info->context_offsets_size
103 && reg_info->context_offsets[regnum] != NO_OFFSET);
106 /* to_fetch_registers when inferior_ptid is different from the running
110 aarch64_ravenscar_generic_fetch_registers
111 (const struct ravenscar_reg_info *reg_info,
112 struct regcache *regcache, int regnum)
114 struct gdbarch *gdbarch = regcache->arch ();
115 const int num_regs = gdbarch_num_regs (gdbarch);
117 CORE_ADDR current_address;
118 CORE_ADDR thread_descriptor_address;
120 /* The tid is the thread_id field, which is a pointer to the thread. */
121 thread_descriptor_address = (CORE_ADDR) inferior_ptid.tid ();
123 /* Read registers. */
124 for (current_regnum = 0; current_regnum < num_regs; current_regnum++)
126 if (register_in_thread_descriptor_p (reg_info, current_regnum))
128 current_address = thread_descriptor_address
129 + reg_info->context_offsets[current_regnum];
130 supply_register_at_address (regcache, current_regnum,
136 /* to_prepare_to_store when inferior_ptid is different from the running
140 aarch64_ravenscar_generic_prepare_to_store (struct regcache *regcache)
145 /* to_store_registers when inferior_ptid is different from the running
149 aarch64_ravenscar_generic_store_registers
150 (const struct ravenscar_reg_info *reg_info,
151 struct regcache *regcache, int regnum)
153 struct gdbarch *gdbarch = regcache->arch ();
154 int buf_size = register_size (gdbarch, regnum);
155 gdb_byte buf[buf_size];
156 ULONGEST register_address;
158 if (register_in_thread_descriptor_p (reg_info, regnum))
160 = inferior_ptid.tid () + reg_info->context_offsets [regnum];
164 regcache->raw_collect (regnum, buf);
165 write_memory (register_address,
170 /* The ravenscar_reg_info for most Aarch64 targets. */
172 static const struct ravenscar_reg_info aarch64_reg_info =
174 aarch64_context_offsets,
175 ARRAY_SIZE (aarch64_context_offsets),
178 /* Implement the to_fetch_registers ravenscar_arch_ops method
179 for most Aarch64 targets. */
182 aarch64_ravenscar_fetch_registers (struct regcache *regcache, int regnum)
184 aarch64_ravenscar_generic_fetch_registers
185 (&aarch64_reg_info, regcache, regnum);
188 /* Implement the to_store_registers ravenscar_arch_ops method
189 for most Aarch64 targets. */
192 aarch64_ravenscar_store_registers (struct regcache *regcache, int regnum)
194 aarch64_ravenscar_generic_store_registers
195 (&aarch64_reg_info, regcache, regnum);
198 /* The ravenscar_arch_ops vector for most Aarch64 targets. */
200 static struct ravenscar_arch_ops aarch64_ravenscar_ops =
202 aarch64_ravenscar_fetch_registers,
203 aarch64_ravenscar_store_registers,
204 aarch64_ravenscar_generic_prepare_to_store
207 /* Register aarch64_ravenscar_ops in GDBARCH. */
210 register_aarch64_ravenscar_ops (struct gdbarch *gdbarch)
212 set_gdbarch_ravenscar_ops (gdbarch, &aarch64_ravenscar_ops);