1 /* Ravenscar Aarch64 target support.
3 Copyright (C) 2017-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/>. */
22 /* Local non-gdb includes. */
23 #include "aarch64-ravenscar-thread.h"
24 #include "aarch64-tdep.h"
27 #include "ravenscar-thread.h"
32 /* See aarch64-tdep.h for register numbers. */
34 static const int aarch64_context_offsets
[] =
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
, NO_OFFSET
,
40 NO_OFFSET
, NO_OFFSET
, NO_OFFSET
, NO_OFFSET
,
41 NO_OFFSET
, NO_OFFSET
, NO_OFFSET
, 0,
46 /* FP, LR, SP, PC, CPSR */
47 /* Note that as task switch is synchronous, PC is in fact the LR here */
68 /* The register layout info. */
70 struct ravenscar_reg_info
72 /* A table providing the offset relative to the context structure
73 where each register is saved. */
74 const int *context_offsets
;
76 /* The number of elements in the context_offsets table above. */
77 int context_offsets_size
;
80 /* supply register REGNUM, which has been saved on REGISTER_ADDR, to the
84 supply_register_at_address (struct regcache
*regcache
, int regnum
,
85 CORE_ADDR register_addr
)
87 struct gdbarch
*gdbarch
= regcache
->arch ();
88 int buf_size
= register_size (gdbarch
, regnum
);
91 buf
= (gdb_byte
*) alloca (buf_size
);
92 read_memory (register_addr
, buf
, buf_size
);
93 regcache
->raw_supply (regnum
, buf
);
96 /* Return true if, for a non-running thread, REGNUM has been saved on the
100 register_in_thread_descriptor_p (const struct ravenscar_reg_info
*reg_info
,
103 /* Check FPU registers */
104 return (regnum
< reg_info
->context_offsets_size
105 && reg_info
->context_offsets
[regnum
] != NO_OFFSET
);
108 /* to_fetch_registers when inferior_ptid is different from the running
112 aarch64_ravenscar_generic_fetch_registers
113 (const struct ravenscar_reg_info
*reg_info
,
114 struct regcache
*regcache
, int regnum
)
116 struct gdbarch
*gdbarch
= regcache
->arch ();
117 const int num_regs
= gdbarch_num_regs (gdbarch
);
119 CORE_ADDR current_address
;
120 CORE_ADDR thread_descriptor_address
;
122 /* The tid is the thread_id field, which is a pointer to the thread. */
123 thread_descriptor_address
= (CORE_ADDR
) inferior_ptid
.tid ();
125 /* Read registers. */
126 for (current_regnum
= 0; current_regnum
< num_regs
; current_regnum
++)
128 if (register_in_thread_descriptor_p (reg_info
, current_regnum
))
130 current_address
= thread_descriptor_address
131 + reg_info
->context_offsets
[current_regnum
];
132 supply_register_at_address (regcache
, current_regnum
,
138 /* to_store_registers when inferior_ptid is different from the running
142 aarch64_ravenscar_generic_store_registers
143 (const struct ravenscar_reg_info
*reg_info
,
144 struct regcache
*regcache
, int regnum
)
146 struct gdbarch
*gdbarch
= regcache
->arch ();
147 int buf_size
= register_size (gdbarch
, regnum
);
148 gdb_byte buf
[buf_size
];
149 ULONGEST register_address
;
151 if (register_in_thread_descriptor_p (reg_info
, regnum
))
153 = inferior_ptid
.tid () + reg_info
->context_offsets
[regnum
];
157 regcache
->raw_collect (regnum
, buf
);
158 write_memory (register_address
,
163 /* The ravenscar_reg_info for most Aarch64 targets. */
165 static const struct ravenscar_reg_info aarch64_reg_info
=
167 aarch64_context_offsets
,
168 ARRAY_SIZE (aarch64_context_offsets
),
171 struct aarch64_ravenscar_ops
: public ravenscar_arch_ops
173 void fetch_registers (struct regcache
*regcache
, int regnum
) override
175 aarch64_ravenscar_generic_fetch_registers
176 (&aarch64_reg_info
, regcache
, regnum
);
179 void store_registers (struct regcache
*regcache
, int regnum
) override
181 aarch64_ravenscar_generic_store_registers
182 (&aarch64_reg_info
, regcache
, regnum
);
186 /* The ravenscar_arch_ops vector for most Aarch64 targets. */
188 static struct aarch64_ravenscar_ops aarch64_ravenscar_ops
;
190 /* Register aarch64_ravenscar_ops in GDBARCH. */
193 register_aarch64_ravenscar_ops (struct gdbarch
*gdbarch
)
195 set_gdbarch_ravenscar_ops (gdbarch
, &aarch64_ravenscar_ops
);