gdb: add target_ops::supports_displaced_step
[deliverable/binutils-gdb.git] / gdb / target-descriptions.c
CommitLineData
424163ea
DJ
1/* Target description support for GDB.
2
b811d2c2 3 Copyright (C) 2006-2020 Free Software Foundation, Inc.
424163ea
DJ
4
5 Contributed by CodeSourcery.
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
424163ea
DJ
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
424163ea
DJ
21
22#include "defs.h"
23#include "arch-utils.h"
23181151 24#include "gdbcmd.h"
123dc839
DJ
25#include "gdbtypes.h"
26#include "reggroups.h"
424163ea
DJ
27#include "target.h"
28#include "target-descriptions.h"
123dc839 29#include "xml-support.h"
23181151 30#include "xml-tdesc.h"
c3f08eb7 31#include "osabi.h"
424163ea 32
123dc839
DJ
33#include "gdb_obstack.h"
34#include "hashtab.h"
6ecd4729 35#include "inferior.h"
25aa13e5 36#include <algorithm>
27d41eac
YQ
37#include "completer.h"
38#include "readline/tilde.h" /* tilde_expand */
424163ea
DJ
39
40/* Types. */
41
129c10bc 42struct property
29709017 43{
129c10bc
SM
44 property (const std::string &key_, const std::string &value_)
45 : key (key_), value (value_)
46 {}
47
48 std::string key;
49 std::string value;
50};
29709017 51
b8df6ca7
AH
52/* Convert a tdesc_type to a gdb type. */
53
54static type *
55make_gdb_type (struct gdbarch *gdbarch, struct tdesc_type *ttype)
56{
57 class gdb_type_creator : public tdesc_element_visitor
27d41eac 58 {
b8df6ca7
AH
59 public:
60 gdb_type_creator (struct gdbarch *gdbarch)
61 : m_gdbarch (gdbarch)
62 {}
d4a0e8b5 63
b8df6ca7
AH
64 type *get_type ()
65 {
66 return m_type;
67 }
d4a0e8b5 68
b8df6ca7
AH
69 void visit (const tdesc_type_builtin *e) override
70 {
71 switch (e->kind)
72 {
73 /* Predefined types. */
74 case TDESC_TYPE_BOOL:
75 m_type = builtin_type (m_gdbarch)->builtin_bool;
76 return;
77 case TDESC_TYPE_INT8:
78 m_type = builtin_type (m_gdbarch)->builtin_int8;
79 return;
80 case TDESC_TYPE_INT16:
81 m_type = builtin_type (m_gdbarch)->builtin_int16;
82 return;
83 case TDESC_TYPE_INT32:
84 m_type = builtin_type (m_gdbarch)->builtin_int32;
85 return;
86 case TDESC_TYPE_INT64:
87 m_type = builtin_type (m_gdbarch)->builtin_int64;
88 return;
89 case TDESC_TYPE_INT128:
90 m_type = builtin_type (m_gdbarch)->builtin_int128;
91 return;
92 case TDESC_TYPE_UINT8:
93 m_type = builtin_type (m_gdbarch)->builtin_uint8;
94 return;
95 case TDESC_TYPE_UINT16:
96 m_type = builtin_type (m_gdbarch)->builtin_uint16;
97 return;
98 case TDESC_TYPE_UINT32:
99 m_type = builtin_type (m_gdbarch)->builtin_uint32;
100 return;
101 case TDESC_TYPE_UINT64:
102 m_type = builtin_type (m_gdbarch)->builtin_uint64;
103 return;
104 case TDESC_TYPE_UINT128:
105 m_type = builtin_type (m_gdbarch)->builtin_uint128;
106 return;
107 case TDESC_TYPE_CODE_PTR:
108 m_type = builtin_type (m_gdbarch)->builtin_func_ptr;
109 return;
110 case TDESC_TYPE_DATA_PTR:
111 m_type = builtin_type (m_gdbarch)->builtin_data_ptr;
112 return;
113 }
d4a0e8b5 114
b8df6ca7
AH
115 m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
116 if (m_type != NULL)
117 return;
27d41eac 118
b8df6ca7
AH
119 switch (e->kind)
120 {
a6d0f249
AH
121 case TDESC_TYPE_IEEE_HALF:
122 m_type = arch_float_type (m_gdbarch, -1, "builtin_type_ieee_half",
123 floatformats_ieee_half);
124 return;
125
b8df6ca7
AH
126 case TDESC_TYPE_IEEE_SINGLE:
127 m_type = arch_float_type (m_gdbarch, -1, "builtin_type_ieee_single",
128 floatformats_ieee_single);
129 return;
130
131 case TDESC_TYPE_IEEE_DOUBLE:
132 m_type = arch_float_type (m_gdbarch, -1, "builtin_type_ieee_double",
133 floatformats_ieee_double);
134 return;
135 case TDESC_TYPE_ARM_FPA_EXT:
136 m_type = arch_float_type (m_gdbarch, -1, "builtin_type_arm_ext",
137 floatformats_arm_ext);
138 return;
139
140 case TDESC_TYPE_I387_EXT:
141 m_type = arch_float_type (m_gdbarch, -1, "builtin_type_i387_ext",
142 floatformats_i387_ext);
143 return;
144 }
d4a0e8b5 145
b8df6ca7
AH
146 internal_error (__FILE__, __LINE__,
147 "Type \"%s\" has an unknown kind %d",
148 e->name.c_str (), e->kind);
149 }
d4a0e8b5 150
b8df6ca7
AH
151 void visit (const tdesc_type_vector *e) override
152 {
153 m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
154 if (m_type != NULL)
155 return;
156
157 type *element_gdb_type = make_gdb_type (m_gdbarch, e->element_type);
158 m_type = init_vector_type (element_gdb_type, e->count);
d0e39ea2 159 m_type->set_name (xstrdup (e->name.c_str ()));
b8df6ca7
AH
160 return;
161 }
53c934e9 162
b8df6ca7
AH
163 void visit (const tdesc_type_with_fields *e) override
164 {
165 m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
166 if (m_type != NULL)
167 return;
d4a0e8b5 168
b8df6ca7
AH
169 switch (e->kind)
170 {
171 case TDESC_TYPE_STRUCT:
172 make_gdb_type_struct (e);
173 return;
174 case TDESC_TYPE_UNION:
175 make_gdb_type_union (e);
176 return;
177 case TDESC_TYPE_FLAGS:
178 make_gdb_type_flags (e);
179 return;
180 case TDESC_TYPE_ENUM:
181 make_gdb_type_enum (e);
182 return;
183 }
d4a0e8b5 184
b8df6ca7
AH
185 internal_error (__FILE__, __LINE__,
186 "Type \"%s\" has an unknown kind %d",
187 e->name.c_str (), e->kind);
188 }
d4a0e8b5 189
b8df6ca7 190 private:
d4a0e8b5 191
b8df6ca7
AH
192 void make_gdb_type_struct (const tdesc_type_with_fields *e)
193 {
194 m_type = arch_composite_type (m_gdbarch, NULL, TYPE_CODE_STRUCT);
d0e39ea2 195 m_type->set_name (xstrdup (e->name.c_str ()));
d4a0e8b5 196
b8df6ca7
AH
197 for (const tdesc_type_field &f : e->fields)
198 {
199 if (f.start != -1 && f.end != -1)
200 {
201 /* Bitfield. */
202 struct field *fld;
203 struct type *field_gdb_type;
204 int bitsize, total_size;
205
206 /* This invariant should be preserved while creating types. */
207 gdb_assert (e->size != 0);
208 if (f.type != NULL)
209 field_gdb_type = make_gdb_type (m_gdbarch, f.type);
210 else if (e->size > 4)
211 field_gdb_type = builtin_type (m_gdbarch)->builtin_uint64;
212 else
213 field_gdb_type = builtin_type (m_gdbarch)->builtin_uint32;
214
215 fld = append_composite_type_field_raw
216 (m_type, xstrdup (f.name.c_str ()), field_gdb_type);
217
218 /* For little-endian, BITPOS counts from the LSB of
219 the structure and marks the LSB of the field. For
220 big-endian, BITPOS counts from the MSB of the
221 structure and marks the MSB of the field. Either
222 way, it is the number of bits to the "left" of the
223 field. To calculate this in big-endian, we need
224 the total size of the structure. */
225 bitsize = f.end - f.start + 1;
226 total_size = e->size * TARGET_CHAR_BIT;
d5a22e77 227 if (gdbarch_byte_order (m_gdbarch) == BFD_ENDIAN_BIG)
b8df6ca7
AH
228 SET_FIELD_BITPOS (fld[0], total_size - f.start - bitsize);
229 else
230 SET_FIELD_BITPOS (fld[0], f.start);
231 FIELD_BITSIZE (fld[0]) = bitsize;
232 }
233 else
234 {
235 gdb_assert (f.start == -1 && f.end == -1);
236 type *field_gdb_type = make_gdb_type (m_gdbarch, f.type);
237 append_composite_type_field (m_type,
d4a0e8b5 238 xstrdup (f.name.c_str ()),
b8df6ca7
AH
239 field_gdb_type);
240 }
241 }
d4a0e8b5 242
b8df6ca7
AH
243 if (e->size != 0)
244 TYPE_LENGTH (m_type) = e->size;
245 }
d4a0e8b5 246
b8df6ca7
AH
247 void make_gdb_type_union (const tdesc_type_with_fields *e)
248 {
249 m_type = arch_composite_type (m_gdbarch, NULL, TYPE_CODE_UNION);
d0e39ea2 250 m_type->set_name (xstrdup (e->name.c_str ()));
d4a0e8b5 251
b8df6ca7
AH
252 for (const tdesc_type_field &f : e->fields)
253 {
254 type* field_gdb_type = make_gdb_type (m_gdbarch, f.type);
255 append_composite_type_field (m_type, xstrdup (f.name.c_str ()),
256 field_gdb_type);
257
258 /* If any of the children of a union are vectors, flag the
259 union as a vector also. This allows e.g. a union of two
260 vector types to show up automatically in "info vector". */
261 if (TYPE_VECTOR (field_gdb_type))
262 TYPE_VECTOR (m_type) = 1;
263 }
264 }
d4a0e8b5 265
b8df6ca7 266 void make_gdb_type_flags (const tdesc_type_with_fields *e)
d4a0e8b5 267 {
b8df6ca7
AH
268 m_type = arch_flags_type (m_gdbarch, e->name.c_str (),
269 e->size * TARGET_CHAR_BIT);
270
271 for (const tdesc_type_field &f : e->fields)
272 {
273 int bitsize = f.end - f.start + 1;
274
275 gdb_assert (f.type != NULL);
276 type *field_gdb_type = make_gdb_type (m_gdbarch, f.type);
277 append_flags_type_field (m_type, f.start, bitsize,
278 field_gdb_type, f.name.c_str ());
279 }
d4a0e8b5
SM
280 }
281
b8df6ca7
AH
282 void make_gdb_type_enum (const tdesc_type_with_fields *e)
283 {
284 m_type = arch_type (m_gdbarch, TYPE_CODE_ENUM, e->size * TARGET_CHAR_BIT,
285 e->name.c_str ());
d4a0e8b5 286
b8df6ca7
AH
287 TYPE_UNSIGNED (m_type) = 1;
288 for (const tdesc_type_field &f : e->fields)
289 {
290 struct field *fld
291 = append_composite_type_field_raw (m_type,
292 xstrdup (f.name.c_str ()),
293 NULL);
d4a0e8b5 294
b8df6ca7
AH
295 SET_FIELD_BITPOS (fld[0], f.start);
296 }
297 }
298
299 /* The gdbarch used. */
300 struct gdbarch *m_gdbarch;
301
302 /* The type created. */
303 type *m_type;
304 };
305
306 gdb_type_creator gdb_type (gdbarch);
307 ttype->accept (gdb_type);
308 return gdb_type.get_type ();
309}
123dc839 310
123dc839
DJ
311/* A target description. */
312
6eb1e6a8 313struct target_desc : tdesc_element
424163ea 314{
b468ff4c
YQ
315 target_desc ()
316 {}
317
3eea796c 318 virtual ~target_desc () = default;
b468ff4c
YQ
319
320 target_desc (const target_desc &) = delete;
321 void operator= (const target_desc &) = delete;
322
23181151 323 /* The architecture reported by the target, if any. */
b468ff4c 324 const struct bfd_arch_info *arch = NULL;
23181151 325
08d16641
PA
326 /* The osabi reported by the target, if any; GDB_OSABI_UNKNOWN
327 otherwise. */
b468ff4c 328 enum gdb_osabi osabi = GDB_OSABI_UNKNOWN;
08d16641 329
e35359c5 330 /* The list of compatible architectures reported by the target. */
40e2a983 331 std::vector<const bfd_arch_info *> compatible;
e35359c5 332
29709017 333 /* Any architecture-specific properties specified by the target. */
129c10bc 334 std::vector<property> properties;
123dc839
DJ
335
336 /* The features associated with this target. */
858c9d13 337 std::vector<tdesc_feature_up> features;
6eb1e6a8 338
e98577a9
AH
339 /* Used to cache the generated xml version of the target description. */
340 mutable char *xmltarget = nullptr;
341
6eb1e6a8
YQ
342 void accept (tdesc_element_visitor &v) const override
343 {
344 v.visit_pre (this);
345
3eea796c 346 for (const tdesc_feature_up &feature : features)
6eb1e6a8
YQ
347 feature->accept (v);
348
349 v.visit_post (this);
350 }
27d41eac
YQ
351
352 bool operator== (const target_desc &other) const
353 {
354 if (arch != other.arch)
355 return false;
356
357 if (osabi != other.osabi)
358 return false;
359
3eea796c 360 if (features.size () != other.features.size ())
27d41eac
YQ
361 return false;
362
3eea796c 363 for (int ix = 0; ix < features.size (); ix++)
27d41eac 364 {
3eea796c
SM
365 const tdesc_feature_up &feature1 = features[ix];
366 const tdesc_feature_up &feature2 = other.features[ix];
27d41eac 367
3eea796c 368 if (feature1 != feature2 && *feature1 != *feature2)
27d41eac
YQ
369 return false;
370 }
371
372 return true;
373 }
374
375 bool operator!= (const target_desc &other) const
376 {
377 return !(*this == other);
378 }
123dc839
DJ
379};
380
381/* Per-architecture data associated with a target description. The
382 target description may be shared by multiple architectures, but
383 this data is private to one gdbarch. */
384
f0cddbef 385struct tdesc_arch_reg
ad068eab 386{
f0cddbef
SM
387 tdesc_arch_reg (tdesc_reg *reg_, struct type *type_)
388 : reg (reg_), type (type_)
389 {}
390
ad068eab
UW
391 struct tdesc_reg *reg;
392 struct type *type;
f0cddbef 393};
ad068eab 394
123dc839
DJ
395struct tdesc_arch_data
396{
ad068eab 397 /* A list of register/type pairs, indexed by GDB's internal register number.
123dc839
DJ
398 During initialization of the gdbarch this list is used to store
399 registers which the architecture assigns a fixed register number.
400 Registers which are NULL in this array, or off the end, are
401 treated as zero-sized and nameless (i.e. placeholders in the
402 numbering). */
f0cddbef 403 std::vector<tdesc_arch_reg> arch_regs;
123dc839
DJ
404
405 /* Functions which report the register name, type, and reggroups for
406 pseudo-registers. */
f0cddbef
SM
407 gdbarch_register_name_ftype *pseudo_register_name = NULL;
408 gdbarch_register_type_ftype *pseudo_register_type = NULL;
409 gdbarch_register_reggroup_p_ftype *pseudo_register_reggroup_p = NULL;
424163ea
DJ
410};
411
6ecd4729
PA
412/* Info about an inferior's target description. There's one of these
413 for each inferior. */
424163ea 414
6ecd4729
PA
415struct target_desc_info
416{
417 /* A flag indicating that a description has already been fetched
418 from the target, so it should not be queried again. */
419
420 int fetched;
424163ea 421
6ecd4729
PA
422 /* The description fetched from the target, or NULL if the target
423 did not supply any description. Only valid when
424 target_desc_fetched is set. Only the description initialization
425 code should access this; normally, the description should be
426 accessed through the gdbarch object. */
424163ea 427
6ecd4729 428 const struct target_desc *tdesc;
424163ea 429
6ecd4729
PA
430 /* The filename to read a target description from, as set by "set
431 tdesc filename ..." */
424163ea 432
6ecd4729
PA
433 char *filename;
434};
23181151 435
6ecd4729
PA
436/* Get the inferior INF's target description info, allocating one on
437 the stop if necessary. */
23181151 438
6ecd4729
PA
439static struct target_desc_info *
440get_tdesc_info (struct inferior *inf)
441{
442 if (inf->tdesc_info == NULL)
443 inf->tdesc_info = XCNEW (struct target_desc_info);
444 return inf->tdesc_info;
445}
23181151 446
123dc839
DJ
447/* A handle for architecture-specific data associated with the
448 target description (see struct tdesc_arch_data). */
449
450static struct gdbarch_data *tdesc_data;
451
6ecd4729
PA
452/* See target-descriptions.h. */
453
454int
455target_desc_info_from_user_p (struct target_desc_info *info)
456{
457 return info != NULL && info->filename != NULL;
458}
459
460/* See target-descriptions.h. */
461
462void
463copy_inferior_target_desc_info (struct inferior *destinf, struct inferior *srcinf)
464{
465 struct target_desc_info *src = get_tdesc_info (srcinf);
466 struct target_desc_info *dest = get_tdesc_info (destinf);
467
468 dest->fetched = src->fetched;
469 dest->tdesc = src->tdesc;
470 dest->filename = src->filename != NULL ? xstrdup (src->filename) : NULL;
471}
472
473/* See target-descriptions.h. */
474
475void
476target_desc_info_free (struct target_desc_info *tdesc_info)
477{
478 if (tdesc_info != NULL)
479 {
480 xfree (tdesc_info->filename);
481 xfree (tdesc_info);
482 }
483}
484
485/* Convenience helper macros. */
486
487#define target_desc_fetched \
488 get_tdesc_info (current_inferior ())->fetched
489#define current_target_desc \
490 get_tdesc_info (current_inferior ())->tdesc
491#define target_description_filename \
492 get_tdesc_info (current_inferior ())->filename
493
494/* The string manipulated by the "set tdesc filename ..." command. */
495
496static char *tdesc_filename_cmd_string;
497
424163ea
DJ
498/* Fetch the current target's description, and switch the current
499 architecture to one which incorporates that description. */
500
501void
502target_find_description (void)
503{
504 /* If we've already fetched a description from the target, don't do
505 it again. This allows a target to fetch the description early,
506 during its to_open or to_create_inferior, if it needs extra
507 information about the target to initialize. */
508 if (target_desc_fetched)
509 return;
510
511 /* The current architecture should not have any target description
512 specified. It should have been cleared, e.g. when we
513 disconnected from the previous target. */
f5656ead 514 gdb_assert (gdbarch_target_desc (target_gdbarch ()) == NULL);
424163ea 515
23181151
DJ
516 /* First try to fetch an XML description from the user-specified
517 file. */
518 current_target_desc = NULL;
519 if (target_description_filename != NULL
520 && *target_description_filename != '\0')
521 current_target_desc
522 = file_read_description_xml (target_description_filename);
523
524 /* Next try to read the description from the current target using
525 target objects. */
526 if (current_target_desc == NULL)
8b88a78e 527 current_target_desc = target_read_description_xml (current_top_target ());
23181151
DJ
528
529 /* If that failed try a target-specific hook. */
530 if (current_target_desc == NULL)
8b88a78e 531 current_target_desc = target_read_description (current_top_target ());
424163ea
DJ
532
533 /* If a non-NULL description was returned, then update the current
534 architecture. */
535 if (current_target_desc)
536 {
537 struct gdbarch_info info;
538
539 gdbarch_info_init (&info);
540 info.target_desc = current_target_desc;
541 if (!gdbarch_update_p (info))
123dc839
DJ
542 warning (_("Architecture rejected target-supplied description"));
543 else
544 {
545 struct tdesc_arch_data *data;
546
19ba03f4
SM
547 data = ((struct tdesc_arch_data *)
548 gdbarch_data (target_gdbarch (), tdesc_data));
123dc839 549 if (tdesc_has_registers (current_target_desc)
f0cddbef 550 && data->arch_regs.empty ())
123dc839
DJ
551 warning (_("Target-supplied registers are not supported "
552 "by the current architecture"));
553 }
424163ea
DJ
554 }
555
556 /* Now that we know this description is usable, record that we
557 fetched it. */
558 target_desc_fetched = 1;
559}
560
561/* Discard any description fetched from the current target, and switch
562 the current architecture to one with no target description. */
563
564void
565target_clear_description (void)
566{
567 struct gdbarch_info info;
568
569 if (!target_desc_fetched)
570 return;
571
572 target_desc_fetched = 0;
573 current_target_desc = NULL;
574
575 gdbarch_info_init (&info);
576 if (!gdbarch_update_p (info))
577 internal_error (__FILE__, __LINE__,
578 _("Could not remove target-supplied description"));
579}
580
581/* Return the global current target description. This should only be
582 used by gdbarch initialization code; most access should be through
583 an existing gdbarch. */
584
585const struct target_desc *
586target_current_description (void)
587{
588 if (target_desc_fetched)
589 return current_target_desc;
590
591 return NULL;
592}
e35359c5
UW
593
594/* Return non-zero if this target description is compatible
595 with the given BFD architecture. */
596
597int
598tdesc_compatible_p (const struct target_desc *target_desc,
599 const struct bfd_arch_info *arch)
600{
40e2a983 601 for (const bfd_arch_info *compat : target_desc->compatible)
e35359c5
UW
602 {
603 if (compat == arch
604 || arch->compatible (arch, compat)
605 || compat->compatible (compat, arch))
606 return 1;
607 }
608
609 return 0;
610}
23181151
DJ
611\f
612
123dc839 613/* Direct accessors for target descriptions. */
424163ea 614
29709017
DJ
615/* Return the string value of a property named KEY, or NULL if the
616 property was not specified. */
617
618const char *
619tdesc_property (const struct target_desc *target_desc, const char *key)
620{
129c10bc
SM
621 for (const property &prop : target_desc->properties)
622 if (prop.key == key)
623 return prop.value.c_str ();
29709017
DJ
624
625 return NULL;
626}
627
23181151
DJ
628/* Return the BFD architecture associated with this target
629 description, or NULL if no architecture was specified. */
630
631const struct bfd_arch_info *
632tdesc_architecture (const struct target_desc *target_desc)
633{
634 return target_desc->arch;
635}
08d16641 636
268a13a5 637/* See gdbsupport/tdesc.h. */
d278f585
AH
638
639const char *
640tdesc_architecture_name (const struct target_desc *target_desc)
641{
642 return target_desc->arch->printable_name;
643}
644
08d16641
PA
645/* Return the OSABI associated with this target description, or
646 GDB_OSABI_UNKNOWN if no osabi was specified. */
647
648enum gdb_osabi
649tdesc_osabi (const struct target_desc *target_desc)
650{
651 return target_desc->osabi;
652}
653
268a13a5 654/* See gdbsupport/tdesc.h. */
d278f585
AH
655
656const char *
657tdesc_osabi_name (const struct target_desc *target_desc)
658{
659 enum gdb_osabi osabi = tdesc_osabi (target_desc);
660 if (osabi > GDB_OSABI_UNKNOWN && osabi < GDB_OSABI_INVALID)
661 return gdbarch_osabi_name (osabi);
662 return nullptr;
663}
23181151 664
123dc839
DJ
665/* Return 1 if this target description includes any registers. */
666
667int
668tdesc_has_registers (const struct target_desc *target_desc)
669{
123dc839
DJ
670 if (target_desc == NULL)
671 return 0;
672
3eea796c 673 for (const tdesc_feature_up &feature : target_desc->features)
c9c895b9 674 if (!feature->registers.empty ())
123dc839
DJ
675 return 1;
676
677 return 0;
678}
679
680/* Return the feature with the given name, if present, or NULL if
681 the named feature is not found. */
682
683const struct tdesc_feature *
684tdesc_find_feature (const struct target_desc *target_desc,
685 const char *name)
686{
3eea796c 687 for (const tdesc_feature_up &feature : target_desc->features)
f65ff9f9 688 if (feature->name == name)
3eea796c 689 return feature.get ();
123dc839
DJ
690
691 return NULL;
692}
693
694/* Return the name of FEATURE. */
695
696const char *
697tdesc_feature_name (const struct tdesc_feature *feature)
698{
f65ff9f9 699 return feature->name.c_str ();
123dc839
DJ
700}
701
9fd3625f
L
702/* Lookup type associated with ID. */
703
704struct type *
705tdesc_find_type (struct gdbarch *gdbarch, const char *id)
706{
f0cddbef
SM
707 tdesc_arch_data *data
708 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
9fd3625f 709
f0cddbef 710 for (const tdesc_arch_reg &reg : data->arch_regs)
9fd3625f 711 {
f0cddbef
SM
712 if (reg.reg
713 && reg.reg->tdesc_type
714 && reg.type
715 && reg.reg->tdesc_type->name == id)
716 return reg.type;
9fd3625f
L
717 }
718
719 return NULL;
720}
721
123dc839
DJ
722/* Support for registers from target descriptions. */
723
724/* Construct the per-gdbarch data. */
725
726static void *
727tdesc_data_init (struct obstack *obstack)
728{
284a0e3c 729 return obstack_new<tdesc_arch_data> (obstack);
123dc839
DJ
730}
731
732/* Similar, but for the temporary copy used during architecture
733 initialization. */
734
735struct tdesc_arch_data *
736tdesc_data_alloc (void)
737{
f0cddbef 738 return new tdesc_arch_data ();
123dc839
DJ
739}
740
741/* Free something allocated by tdesc_data_alloc, if it is not going
742 to be used (for instance if it was unsuitable for the
743 architecture). */
744
745void
746tdesc_data_cleanup (void *data_untyped)
747{
19ba03f4 748 struct tdesc_arch_data *data = (struct tdesc_arch_data *) data_untyped;
123dc839 749
f0cddbef 750 delete data;
123dc839
DJ
751}
752
753/* Search FEATURE for a register named NAME. */
754
7cc46491
DJ
755static struct tdesc_reg *
756tdesc_find_register_early (const struct tdesc_feature *feature,
757 const char *name)
123dc839 758{
c9c895b9 759 for (const tdesc_reg_up &reg : feature->registers)
a8142ee1 760 if (strcasecmp (reg->name.c_str (), name) == 0)
c9c895b9 761 return reg.get ();
123dc839 762
7cc46491
DJ
763 return NULL;
764}
765
766/* Search FEATURE for a register named NAME. Assign REGNO to it. */
767
768int
769tdesc_numbered_register (const struct tdesc_feature *feature,
770 struct tdesc_arch_data *data,
771 int regno, const char *name)
772{
773 struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
774
775 if (reg == NULL)
776 return 0;
777
778 /* Make sure the vector includes a REGNO'th element. */
f0cddbef
SM
779 while (regno >= data->arch_regs.size ())
780 data->arch_regs.emplace_back (nullptr, nullptr);
781
782 data->arch_regs[regno] = tdesc_arch_reg (reg, NULL);
ad068eab 783
7cc46491 784 return 1;
123dc839
DJ
785}
786
58d6951d
DJ
787/* Search FEATURE for a register named NAME, but do not assign a fixed
788 register number to it. */
789
790int
791tdesc_unnumbered_register (const struct tdesc_feature *feature,
792 const char *name)
793{
794 struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
795
796 if (reg == NULL)
797 return 0;
798
799 return 1;
800}
801
7cc46491
DJ
802/* Search FEATURE for a register whose name is in NAMES and assign
803 REGNO to it. */
123dc839
DJ
804
805int
806tdesc_numbered_register_choices (const struct tdesc_feature *feature,
807 struct tdesc_arch_data *data,
808 int regno, const char *const names[])
809{
810 int i;
811
812 for (i = 0; names[i] != NULL; i++)
813 if (tdesc_numbered_register (feature, data, regno, names[i]))
814 return 1;
815
816 return 0;
817}
818
7cc46491
DJ
819/* Search FEATURE for a register named NAME, and return its size in
820 bits. The register must exist. */
821
822int
12863263 823tdesc_register_bitsize (const struct tdesc_feature *feature, const char *name)
7cc46491
DJ
824{
825 struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
826
827 gdb_assert (reg != NULL);
828 return reg->bitsize;
829}
830
123dc839
DJ
831/* Look up a register by its GDB internal register number. */
832
ad068eab
UW
833static struct tdesc_arch_reg *
834tdesc_find_arch_register (struct gdbarch *gdbarch, int regno)
123dc839 835{
123dc839
DJ
836 struct tdesc_arch_data *data;
837
19ba03f4 838 data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
f0cddbef
SM
839 if (regno < data->arch_regs.size ())
840 return &data->arch_regs[regno];
123dc839
DJ
841 else
842 return NULL;
843}
844
ad068eab
UW
845static struct tdesc_reg *
846tdesc_find_register (struct gdbarch *gdbarch, int regno)
847{
848 struct tdesc_arch_reg *reg = tdesc_find_arch_register (gdbarch, regno);
5d502164 849
ad068eab
UW
850 return reg? reg->reg : NULL;
851}
852
f8b73d13
DJ
853/* Return the name of register REGNO, from the target description or
854 from an architecture-provided pseudo_register_name method. */
855
856const char *
d93859e2 857tdesc_register_name (struct gdbarch *gdbarch, int regno)
123dc839 858{
d93859e2
UW
859 struct tdesc_reg *reg = tdesc_find_register (gdbarch, regno);
860 int num_regs = gdbarch_num_regs (gdbarch);
123dc839
DJ
861
862 if (reg != NULL)
a8142ee1 863 return reg->name.c_str ();
123dc839 864
f6efe3f8 865 if (regno >= num_regs && regno < gdbarch_num_cooked_regs (gdbarch))
123dc839 866 {
19ba03f4
SM
867 struct tdesc_arch_data *data
868 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
5d502164 869
123dc839 870 gdb_assert (data->pseudo_register_name != NULL);
d93859e2 871 return data->pseudo_register_name (gdbarch, regno);
123dc839
DJ
872 }
873
874 return "";
875}
876
58d6951d 877struct type *
123dc839
DJ
878tdesc_register_type (struct gdbarch *gdbarch, int regno)
879{
ad068eab
UW
880 struct tdesc_arch_reg *arch_reg = tdesc_find_arch_register (gdbarch, regno);
881 struct tdesc_reg *reg = arch_reg? arch_reg->reg : NULL;
123dc839
DJ
882 int num_regs = gdbarch_num_regs (gdbarch);
883 int num_pseudo_regs = gdbarch_num_pseudo_regs (gdbarch);
884
885 if (reg == NULL && regno >= num_regs && regno < num_regs + num_pseudo_regs)
886 {
19ba03f4
SM
887 struct tdesc_arch_data *data
888 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
5d502164 889
123dc839
DJ
890 gdb_assert (data->pseudo_register_type != NULL);
891 return data->pseudo_register_type (gdbarch, regno);
892 }
893
894 if (reg == NULL)
895 /* Return "int0_t", since "void" has a misleading size of one. */
df4df182 896 return builtin_type (gdbarch)->builtin_int0;
123dc839 897
ad068eab 898 if (arch_reg->type == NULL)
123dc839 899 {
ad068eab
UW
900 /* First check for a predefined or target defined type. */
901 if (reg->tdesc_type)
b8df6ca7 902 arch_reg->type = make_gdb_type (gdbarch, reg->tdesc_type);
ad068eab
UW
903
904 /* Next try size-sensitive type shortcuts. */
a8142ee1 905 else if (reg->type == "float")
ad068eab
UW
906 {
907 if (reg->bitsize == gdbarch_float_bit (gdbarch))
908 arch_reg->type = builtin_type (gdbarch)->builtin_float;
909 else if (reg->bitsize == gdbarch_double_bit (gdbarch))
910 arch_reg->type = builtin_type (gdbarch)->builtin_double;
911 else if (reg->bitsize == gdbarch_long_double_bit (gdbarch))
912 arch_reg->type = builtin_type (gdbarch)->builtin_long_double;
913 else
914 {
915 warning (_("Register \"%s\" has an unsupported size (%d bits)"),
a8142ee1 916 reg->name.c_str (), reg->bitsize);
ad068eab
UW
917 arch_reg->type = builtin_type (gdbarch)->builtin_double;
918 }
919 }
a8142ee1 920 else if (reg->type == "int")
ad068eab
UW
921 {
922 if (reg->bitsize == gdbarch_long_bit (gdbarch))
923 arch_reg->type = builtin_type (gdbarch)->builtin_long;
924 else if (reg->bitsize == TARGET_CHAR_BIT)
925 arch_reg->type = builtin_type (gdbarch)->builtin_char;
926 else if (reg->bitsize == gdbarch_short_bit (gdbarch))
927 arch_reg->type = builtin_type (gdbarch)->builtin_short;
928 else if (reg->bitsize == gdbarch_int_bit (gdbarch))
929 arch_reg->type = builtin_type (gdbarch)->builtin_int;
930 else if (reg->bitsize == gdbarch_long_long_bit (gdbarch))
931 arch_reg->type = builtin_type (gdbarch)->builtin_long_long;
932 else if (reg->bitsize == gdbarch_ptr_bit (gdbarch))
c378eb4e 933 /* A bit desperate by this point... */
ad068eab
UW
934 arch_reg->type = builtin_type (gdbarch)->builtin_data_ptr;
935 else
936 {
937 warning (_("Register \"%s\" has an unsupported size (%d bits)"),
a8142ee1 938 reg->name.c_str (), reg->bitsize);
ad068eab
UW
939 arch_reg->type = builtin_type (gdbarch)->builtin_long;
940 }
941 }
942
943 if (arch_reg->type == NULL)
944 internal_error (__FILE__, __LINE__,
945 "Register \"%s\" has an unknown type \"%s\"",
a8142ee1 946 reg->name.c_str (), reg->type.c_str ());
123dc839 947 }
123dc839 948
ad068eab 949 return arch_reg->type;
123dc839
DJ
950}
951
952static int
953tdesc_remote_register_number (struct gdbarch *gdbarch, int regno)
954{
955 struct tdesc_reg *reg = tdesc_find_register (gdbarch, regno);
956
957 if (reg != NULL)
958 return reg->target_regnum;
959 else
960 return -1;
961}
962
963/* Check whether REGNUM is a member of REGGROUP. Registers from the
cef0f868
SH
964 target description may be classified as general, float, vector or other
965 register groups registered with reggroup_add(). Unlike a gdbarch
966 register_reggroup_p method, this function will return -1 if it does not
967 know; the caller should handle registers with no specified group.
968
969 The names of containing features are not used. This might be extended
970 to display registers in some more useful groupings.
123dc839
DJ
971
972 The save-restore flag is also implemented here. */
973
f8b73d13
DJ
974int
975tdesc_register_in_reggroup_p (struct gdbarch *gdbarch, int regno,
976 struct reggroup *reggroup)
123dc839 977{
123dc839
DJ
978 struct tdesc_reg *reg = tdesc_find_register (gdbarch, regno);
979
440cf44e
LM
980 if (reg != NULL && !reg->group.empty ()
981 && (reg->group == reggroup_name (reggroup)))
cef0f868 982 return 1;
123dc839 983
440cf44e
LM
984 if (reg != NULL
985 && (reggroup == save_reggroup || reggroup == restore_reggroup))
986 return reg->save_restore;
123dc839 987
f8b73d13
DJ
988 return -1;
989}
990
991/* Check whether REGNUM is a member of REGGROUP. Registers with no
992 group specified go to the default reggroup function and are handled
993 by type. */
994
995static int
996tdesc_register_reggroup_p (struct gdbarch *gdbarch, int regno,
997 struct reggroup *reggroup)
998{
999 int num_regs = gdbarch_num_regs (gdbarch);
1000 int num_pseudo_regs = gdbarch_num_pseudo_regs (gdbarch);
1001 int ret;
1002
1003 if (regno >= num_regs && regno < num_regs + num_pseudo_regs)
1004 {
19ba03f4
SM
1005 struct tdesc_arch_data *data
1006 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
5d502164 1007
58d6951d
DJ
1008 if (data->pseudo_register_reggroup_p != NULL)
1009 return data->pseudo_register_reggroup_p (gdbarch, regno, reggroup);
1010 /* Otherwise fall through to the default reggroup_p. */
f8b73d13
DJ
1011 }
1012
1013 ret = tdesc_register_in_reggroup_p (gdbarch, regno, reggroup);
1014 if (ret != -1)
1015 return ret;
1016
123dc839
DJ
1017 return default_register_reggroup_p (gdbarch, regno, reggroup);
1018}
1019
1020/* Record architecture-specific functions to call for pseudo-register
1021 support. */
1022
1023void
1024set_tdesc_pseudo_register_name (struct gdbarch *gdbarch,
1025 gdbarch_register_name_ftype *pseudo_name)
1026{
19ba03f4
SM
1027 struct tdesc_arch_data *data
1028 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
123dc839
DJ
1029
1030 data->pseudo_register_name = pseudo_name;
1031}
1032
1033void
1034set_tdesc_pseudo_register_type (struct gdbarch *gdbarch,
1035 gdbarch_register_type_ftype *pseudo_type)
1036{
19ba03f4
SM
1037 struct tdesc_arch_data *data
1038 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
123dc839
DJ
1039
1040 data->pseudo_register_type = pseudo_type;
1041}
1042
1043void
1044set_tdesc_pseudo_register_reggroup_p
1045 (struct gdbarch *gdbarch,
1046 gdbarch_register_reggroup_p_ftype *pseudo_reggroup_p)
1047{
19ba03f4
SM
1048 struct tdesc_arch_data *data
1049 = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
123dc839
DJ
1050
1051 data->pseudo_register_reggroup_p = pseudo_reggroup_p;
1052}
1053
1054/* Update GDBARCH to use the target description for registers. */
1055
1056void
1057tdesc_use_registers (struct gdbarch *gdbarch,
7cc46491 1058 const struct target_desc *target_desc,
123dc839
DJ
1059 struct tdesc_arch_data *early_data)
1060{
1061 int num_regs = gdbarch_num_regs (gdbarch);
123dc839
DJ
1062 struct tdesc_arch_data *data;
1063 htab_t reg_hash;
1064
123dc839
DJ
1065 /* We can't use the description for registers if it doesn't describe
1066 any. This function should only be called after validating
1067 registers, so the caller should know that registers are
1068 included. */
1069 gdb_assert (tdesc_has_registers (target_desc));
1070
19ba03f4 1071 data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
ad068eab 1072 data->arch_regs = early_data->arch_regs;
f0cddbef 1073 delete early_data;
123dc839
DJ
1074
1075 /* Build up a set of all registers, so that we can assign register
1076 numbers where needed. The hash table expands as necessary, so
1077 the initial size is arbitrary. */
1078 reg_hash = htab_create (37, htab_hash_pointer, htab_eq_pointer, NULL);
3eea796c 1079 for (const tdesc_feature_up &feature : target_desc->features)
c9c895b9 1080 for (const tdesc_reg_up &reg : feature->registers)
123dc839 1081 {
c9c895b9 1082 void **slot = htab_find_slot (reg_hash, reg.get (), INSERT);
123dc839 1083
c9c895b9 1084 *slot = reg.get ();
cef0f868
SH
1085 /* Add reggroup if its new. */
1086 if (!reg->group.empty ())
1087 if (reggroup_find (gdbarch, reg->group.c_str ()) == NULL)
1088 reggroup_add (gdbarch, reggroup_gdbarch_new (gdbarch,
1089 reg->group.c_str (),
1090 USER_REGGROUP));
123dc839
DJ
1091 }
1092
1093 /* Remove any registers which were assigned numbers by the
1094 architecture. */
f0cddbef
SM
1095 for (const tdesc_arch_reg &arch_reg : data->arch_regs)
1096 if (arch_reg.reg != NULL)
1097 htab_remove_elt (reg_hash, arch_reg.reg);
123dc839
DJ
1098
1099 /* Assign numbers to the remaining registers and add them to the
f57d151a 1100 list of registers. The new numbers are always above gdbarch_num_regs.
123dc839
DJ
1101 Iterate over the features, not the hash table, so that the order
1102 matches that in the target description. */
1103
f0cddbef
SM
1104 gdb_assert (data->arch_regs.size () <= num_regs);
1105 while (data->arch_regs.size () < num_regs)
1106 data->arch_regs.emplace_back (nullptr, nullptr);
1107
3eea796c 1108 for (const tdesc_feature_up &feature : target_desc->features)
c9c895b9
SM
1109 for (const tdesc_reg_up &reg : feature->registers)
1110 if (htab_find (reg_hash, reg.get ()) != NULL)
123dc839 1111 {
f0cddbef 1112 data->arch_regs.emplace_back (reg.get (), nullptr);
123dc839
DJ
1113 num_regs++;
1114 }
1115
1116 htab_delete (reg_hash);
1117
1118 /* Update the architecture. */
1119 set_gdbarch_num_regs (gdbarch, num_regs);
1120 set_gdbarch_register_name (gdbarch, tdesc_register_name);
1121 set_gdbarch_register_type (gdbarch, tdesc_register_type);
1122 set_gdbarch_remote_register_number (gdbarch,
1123 tdesc_remote_register_number);
1124 set_gdbarch_register_reggroup_p (gdbarch, tdesc_register_reggroup_p);
1125}
123dc839 1126
268a13a5 1127/* See gdbsupport/tdesc.h. */
f49ff000 1128
123dc839 1129struct tdesc_feature *
3b74854b 1130tdesc_create_feature (struct target_desc *tdesc, const char *name)
123dc839 1131{
72ddacb7 1132 struct tdesc_feature *new_feature = new tdesc_feature (name);
123dc839 1133
3eea796c
SM
1134 tdesc->features.emplace_back (new_feature);
1135
123dc839
DJ
1136 return new_feature;
1137}
1138
424163ea
DJ
1139struct target_desc *
1140allocate_target_description (void)
1141{
b468ff4c 1142 return new target_desc ();
424163ea 1143}
29709017 1144
c55d06ec
TT
1145void
1146target_desc_deleter::operator() (struct target_desc *target_desc) const
23181151 1147{
b468ff4c 1148 delete target_desc;
23181151
DJ
1149}
1150
e35359c5
UW
1151void
1152tdesc_add_compatible (struct target_desc *target_desc,
1153 const struct bfd_arch_info *compatible)
1154{
e35359c5
UW
1155 /* If this instance of GDB is compiled without BFD support for the
1156 compatible architecture, simply ignore it -- we would not be able
1157 to handle it anyway. */
1158 if (compatible == NULL)
1159 return;
1160
40e2a983 1161 for (const bfd_arch_info *compat : target_desc->compatible)
e35359c5
UW
1162 if (compat == compatible)
1163 internal_error (__FILE__, __LINE__,
1164 _("Attempted to add duplicate "
1165 "compatible architecture \"%s\""),
1166 compatible->printable_name);
1167
40e2a983 1168 target_desc->compatible.push_back (compatible);
e35359c5
UW
1169}
1170
29709017
DJ
1171void
1172set_tdesc_property (struct target_desc *target_desc,
1173 const char *key, const char *value)
1174{
29709017
DJ
1175 gdb_assert (key != NULL && value != NULL);
1176
129c10bc
SM
1177 if (tdesc_property (target_desc, key) != NULL)
1178 internal_error (__FILE__, __LINE__,
1179 _("Attempted to add duplicate property \"%s\""), key);
29709017 1180
129c10bc 1181 target_desc->properties.emplace_back (key, value);
29709017 1182}
23181151 1183
268a13a5 1184/* See gdbsupport/tdesc.h. */
5f035c07
YQ
1185
1186void
1187set_tdesc_architecture (struct target_desc *target_desc,
1188 const char *name)
1189{
1190 set_tdesc_architecture (target_desc, bfd_scan_arch (name));
1191}
1192
23181151
DJ
1193void
1194set_tdesc_architecture (struct target_desc *target_desc,
1195 const struct bfd_arch_info *arch)
1196{
1197 target_desc->arch = arch;
1198}
08d16641 1199
268a13a5 1200/* See gdbsupport/tdesc.h. */
5f035c07
YQ
1201
1202void
1203set_tdesc_osabi (struct target_desc *target_desc, const char *name)
1204{
1205 set_tdesc_osabi (target_desc, osabi_from_tdesc_string (name));
1206}
1207
08d16641
PA
1208void
1209set_tdesc_osabi (struct target_desc *target_desc, enum gdb_osabi osabi)
1210{
1211 target_desc->osabi = osabi;
1212}
23181151
DJ
1213\f
1214
1215static struct cmd_list_element *tdesc_set_cmdlist, *tdesc_show_cmdlist;
1216static struct cmd_list_element *tdesc_unset_cmdlist;
1217
1218/* Helper functions for the CLI commands. */
1219
23181151 1220static void
eb4c3f4a 1221set_tdesc_filename_cmd (const char *args, int from_tty,
23181151
DJ
1222 struct cmd_list_element *c)
1223{
6ecd4729
PA
1224 xfree (target_description_filename);
1225 target_description_filename = xstrdup (tdesc_filename_cmd_string);
1226
23181151
DJ
1227 target_clear_description ();
1228 target_find_description ();
1229}
1230
1231static void
1232show_tdesc_filename_cmd (struct ui_file *file, int from_tty,
1233 struct cmd_list_element *c,
1234 const char *value)
1235{
6ecd4729
PA
1236 value = target_description_filename;
1237
23181151 1238 if (value != NULL && *value != '\0')
3e43a32a 1239 printf_filtered (_("The target description will be read from \"%s\".\n"),
23181151
DJ
1240 value);
1241 else
3e43a32a
MS
1242 printf_filtered (_("The target description will be "
1243 "read from the target.\n"));
23181151
DJ
1244}
1245
1246static void
e100df1a 1247unset_tdesc_filename_cmd (const char *args, int from_tty)
23181151
DJ
1248{
1249 xfree (target_description_filename);
1250 target_description_filename = NULL;
1251 target_clear_description ();
1252 target_find_description ();
1253}
1254
6eb1e6a8
YQ
1255/* Print target description in C. */
1256
1257class print_c_tdesc : public tdesc_element_visitor
1258{
1259public:
1260 print_c_tdesc (std::string &filename_after_features)
1261 : m_filename_after_features (filename_after_features)
1262 {
1263 const char *inp;
1264 char *outp;
1265 const char *filename = lbasename (m_filename_after_features.c_str ());
1266
1267 m_function = (char *) xmalloc (strlen (filename) + 1);
1268 for (inp = filename, outp = m_function; *inp != '\0'; inp++)
1269 if (*inp == '.')
1270 break;
1271 else if (*inp == '-')
1272 *outp++ = '_';
1273 else
1274 *outp++ = *inp;
1275 *outp = '\0';
1276
1277 /* Standard boilerplate. */
1278 printf_unfiltered ("/* THIS FILE IS GENERATED. "
1279 "-*- buffer-read-only: t -*- vi"
1280 ":set ro:\n");
6eb1e6a8
YQ
1281 }
1282
1283 ~print_c_tdesc ()
1284 {
1285 xfree (m_function);
1286 }
1287
1288 void visit_pre (const target_desc *e) override
1289 {
25aa13e5
YQ
1290 printf_unfiltered (" Original: %s */\n\n",
1291 lbasename (m_filename_after_features.c_str ()));
1292
6eb1e6a8
YQ
1293 printf_unfiltered ("#include \"defs.h\"\n");
1294 printf_unfiltered ("#include \"osabi.h\"\n");
1295 printf_unfiltered ("#include \"target-descriptions.h\"\n");
1296 printf_unfiltered ("\n");
1297
1298 printf_unfiltered ("struct target_desc *tdesc_%s;\n", m_function);
1299 printf_unfiltered ("static void\n");
1300 printf_unfiltered ("initialize_tdesc_%s (void)\n", m_function);
1301 printf_unfiltered ("{\n");
1302 printf_unfiltered
1303 (" struct target_desc *result = allocate_target_description ();\n");
1304
1305 if (tdesc_architecture (e) != NULL)
1306 {
1307 printf_unfiltered
1308 (" set_tdesc_architecture (result, bfd_scan_arch (\"%s\"));\n",
1309 tdesc_architecture (e)->printable_name);
1310 printf_unfiltered ("\n");
1311 }
1312 if (tdesc_osabi (e) > GDB_OSABI_UNKNOWN
1313 && tdesc_osabi (e) < GDB_OSABI_INVALID)
1314 {
1315 printf_unfiltered
1316 (" set_tdesc_osabi (result, osabi_from_tdesc_string (\"%s\"));\n",
1317 gdbarch_osabi_name (tdesc_osabi (e)));
1318 printf_unfiltered ("\n");
1319 }
1320
23a8d186 1321 for (const bfd_arch_info_type *compatible : e->compatible)
40e2a983
SM
1322 printf_unfiltered
1323 (" tdesc_add_compatible (result, bfd_scan_arch (\"%s\"));\n",
1324 compatible->printable_name);
6eb1e6a8 1325
40e2a983 1326 if (!e->compatible.empty ())
6eb1e6a8
YQ
1327 printf_unfiltered ("\n");
1328
129c10bc
SM
1329 for (const property &prop : e->properties)
1330 printf_unfiltered (" set_tdesc_property (result, \"%s\", \"%s\");\n",
1331 prop.key.c_str (), prop.value.c_str ());
1332
6eb1e6a8
YQ
1333 printf_unfiltered (" struct tdesc_feature *feature;\n");
1334 }
1335
25aa13e5 1336 void visit_pre (const tdesc_feature *e) override
6eb1e6a8
YQ
1337 {
1338 printf_unfiltered ("\n feature = tdesc_create_feature (result, \"%s\");\n",
f65ff9f9 1339 e->name.c_str ());
6eb1e6a8
YQ
1340 }
1341
25aa13e5
YQ
1342 void visit_post (const tdesc_feature *e) override
1343 {}
1344
6eb1e6a8
YQ
1345 void visit_post (const target_desc *e) override
1346 {
1347 printf_unfiltered ("\n tdesc_%s = result;\n", m_function);
1348 printf_unfiltered ("}\n");
1349 }
1350
d4a0e8b5
SM
1351 void visit (const tdesc_type_builtin *type) override
1352 {
1353 error (_("C output is not supported type \"%s\"."), type->name.c_str ());
1354 }
1355
1356 void visit (const tdesc_type_vector *type) override
6eb1e6a8 1357 {
d4a0e8b5 1358 if (!m_printed_element_type)
6eb1e6a8 1359 {
d4a0e8b5
SM
1360 printf_unfiltered (" tdesc_type *element_type;\n");
1361 m_printed_element_type = true;
6eb1e6a8
YQ
1362 }
1363
d4a0e8b5
SM
1364 printf_unfiltered
1365 (" element_type = tdesc_named_type (feature, \"%s\");\n",
1366 type->element_type->name.c_str ());
1367 printf_unfiltered
1368 (" tdesc_create_vector (feature, \"%s\", element_type, %d);\n",
1369 type->name.c_str (), type->count);
1370
1371 printf_unfiltered ("\n");
1372 }
1373
1374 void visit (const tdesc_type_with_fields *type) override
1375 {
1376 if (!m_printed_type_with_fields)
6eb1e6a8 1377 {
d4a0e8b5
SM
1378 printf_unfiltered (" tdesc_type_with_fields *type_with_fields;\n");
1379 m_printed_type_with_fields = true;
1380 }
1381
6eb1e6a8
YQ
1382 switch (type->kind)
1383 {
6eb1e6a8
YQ
1384 case TDESC_TYPE_STRUCT:
1385 case TDESC_TYPE_FLAGS:
1386 if (type->kind == TDESC_TYPE_STRUCT)
1387 {
1388 printf_unfiltered
d4a0e8b5 1389 (" type_with_fields = tdesc_create_struct (feature, \"%s\");\n",
082b9140 1390 type->name.c_str ());
d4a0e8b5 1391 if (type->size != 0)
6eb1e6a8 1392 printf_unfiltered
d4a0e8b5 1393 (" tdesc_set_struct_size (type_with_fields, %d);\n", type->size);
6eb1e6a8
YQ
1394 }
1395 else
1396 {
1397 printf_unfiltered
d4a0e8b5
SM
1398 (" type_with_fields = tdesc_create_flags (feature, \"%s\", %d);\n",
1399 type->name.c_str (), type->size);
6eb1e6a8 1400 }
d4a0e8b5 1401 for (const tdesc_type_field &f : type->fields)
6eb1e6a8
YQ
1402 {
1403 const char *type_name;
1404
d05200d1
SM
1405 gdb_assert (f.type != NULL);
1406 type_name = f.type->name.c_str ();
6eb1e6a8
YQ
1407
1408 /* To minimize changes to generated files, don't emit type
1409 info for fields that have defaulted types. */
d05200d1 1410 if (f.start != -1)
6eb1e6a8 1411 {
d05200d1
SM
1412 gdb_assert (f.end != -1);
1413 if (f.type->kind == TDESC_TYPE_BOOL)
6eb1e6a8 1414 {
d05200d1 1415 gdb_assert (f.start == f.end);
6eb1e6a8 1416 printf_unfiltered
d4a0e8b5 1417 (" tdesc_add_flag (type_with_fields, %d, \"%s\");\n",
d05200d1 1418 f.start, f.name.c_str ());
6eb1e6a8 1419 }
d4a0e8b5
SM
1420 else if ((type->size == 4 && f.type->kind == TDESC_TYPE_UINT32)
1421 || (type->size == 8
d05200d1 1422 && f.type->kind == TDESC_TYPE_UINT64))
6eb1e6a8
YQ
1423 {
1424 printf_unfiltered
d4a0e8b5 1425 (" tdesc_add_bitfield (type_with_fields, \"%s\", %d, %d);\n",
d05200d1 1426 f.name.c_str (), f.start, f.end);
6eb1e6a8
YQ
1427 }
1428 else
1429 {
a8d2e585
SM
1430 printf_field_type_assignment
1431 ("tdesc_named_type (feature, \"%s\");\n",
6eb1e6a8
YQ
1432 type_name);
1433 printf_unfiltered
d4a0e8b5 1434 (" tdesc_add_typed_bitfield (type_with_fields, \"%s\","
6eb1e6a8 1435 " %d, %d, field_type);\n",
d05200d1 1436 f.name.c_str (), f.start, f.end);
6eb1e6a8
YQ
1437 }
1438 }
1439 else /* Not a bitfield. */
1440 {
d05200d1 1441 gdb_assert (f.end == -1);
6eb1e6a8 1442 gdb_assert (type->kind == TDESC_TYPE_STRUCT);
a8d2e585
SM
1443 printf_field_type_assignment
1444 ("tdesc_named_type (feature, \"%s\");\n", type_name);
6eb1e6a8 1445 printf_unfiltered
d4a0e8b5 1446 (" tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
d05200d1 1447 f.name.c_str ());
6eb1e6a8
YQ
1448 }
1449 }
1450 break;
1451 case TDESC_TYPE_UNION:
1452 printf_unfiltered
d4a0e8b5 1453 (" type_with_fields = tdesc_create_union (feature, \"%s\");\n",
082b9140 1454 type->name.c_str ());
d4a0e8b5 1455 for (const tdesc_type_field &f : type->fields)
6eb1e6a8 1456 {
a8d2e585
SM
1457 printf_field_type_assignment
1458 ("tdesc_named_type (feature, \"%s\");\n", f.type->name.c_str ());
6eb1e6a8 1459 printf_unfiltered
d4a0e8b5 1460 (" tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
d05200d1 1461 f.name.c_str ());
6eb1e6a8
YQ
1462 }
1463 break;
1464 case TDESC_TYPE_ENUM:
1465 printf_unfiltered
d4a0e8b5
SM
1466 (" type_with_fields = tdesc_create_enum (feature, \"%s\", %d);\n",
1467 type->name.c_str (), type->size);
1468 for (const tdesc_type_field &f : type->fields)
6eb1e6a8 1469 printf_unfiltered
d4a0e8b5 1470 (" tdesc_add_enum_value (type_with_fields, %d, \"%s\");\n",
d05200d1 1471 f.start, f.name.c_str ());
6eb1e6a8
YQ
1472 break;
1473 default:
082b9140 1474 error (_("C output is not supported type \"%s\"."), type->name.c_str ());
6eb1e6a8 1475 }
d4a0e8b5 1476
6eb1e6a8
YQ
1477 printf_unfiltered ("\n");
1478 }
1479
1480 void visit (const tdesc_reg *reg) override
1481 {
1482 printf_unfiltered (" tdesc_create_reg (feature, \"%s\", %ld, %d, ",
a8142ee1
SM
1483 reg->name.c_str (), reg->target_regnum,
1484 reg->save_restore);
1485 if (!reg->group.empty ())
1486 printf_unfiltered ("\"%s\", ", reg->group.c_str ());
6eb1e6a8
YQ
1487 else
1488 printf_unfiltered ("NULL, ");
a8142ee1 1489 printf_unfiltered ("%d, \"%s\");\n", reg->bitsize, reg->type.c_str ());
6eb1e6a8
YQ
1490 }
1491
25aa13e5
YQ
1492protected:
1493 std::string m_filename_after_features;
1494
6eb1e6a8 1495private:
a8d2e585
SM
1496
1497 /* Print an assignment to the field_type variable. Print the declaration
1498 of field_type if that has not been done yet. */
6e8c24fe 1499 ATTRIBUTE_PRINTF (2, 3)
a8d2e585
SM
1500 void printf_field_type_assignment (const char *fmt, ...)
1501 {
1502 if (!m_printed_field_type)
1503 {
1504 printf_unfiltered (" tdesc_type *field_type;\n");
1505 m_printed_field_type = true;
1506 }
1507
1508 printf_unfiltered (" field_type = ");
1509
1510 va_list args;
1511 va_start (args, fmt);
1512 vprintf_unfiltered (fmt, args);
1513 va_end (args);
1514 }
1515
6eb1e6a8 1516 char *m_function;
d4a0e8b5
SM
1517
1518 /* Did we print "struct tdesc_type *element_type;" yet? */
1519 bool m_printed_element_type = false;
1520
1521 /* Did we print "struct tdesc_type_with_fields *element_type;" yet? */
1522 bool m_printed_type_with_fields = false;
1523
1524 /* Did we print "struct tdesc_type *field_type;" yet? */
6eb1e6a8 1525 bool m_printed_field_type = false;
6eb1e6a8
YQ
1526};
1527
25aa13e5
YQ
1528/* Print target description feature in C. */
1529
1530class print_c_feature : public print_c_tdesc
1531{
1532public:
1533 print_c_feature (std::string &file)
1534 : print_c_tdesc (file)
1535 {
1536 /* Trim ".tmp". */
1537 auto const pos = m_filename_after_features.find_last_of ('.');
1538
1539 m_filename_after_features = m_filename_after_features.substr (0, pos);
1540 }
1541
1542 void visit_pre (const target_desc *e) override
1543 {
1544 printf_unfiltered (" Original: %s */\n\n",
1545 lbasename (m_filename_after_features.c_str ()));
1546
268a13a5 1547 printf_unfiltered ("#include \"gdbsupport/tdesc.h\"\n");
25aa13e5
YQ
1548 printf_unfiltered ("\n");
1549 }
1550
1551 void visit_post (const target_desc *e) override
1552 {}
1553
1554 void visit_pre (const tdesc_feature *e) override
1555 {
1556 std::string name (m_filename_after_features);
1557
1558 auto pos = name.find_first_of ('.');
1559
1560 name = name.substr (0, pos);
1561 std::replace (name.begin (), name.end (), '/', '_');
1562 std::replace (name.begin (), name.end (), '-', '_');
1563
1564 printf_unfiltered ("static int\n");
1565 printf_unfiltered ("create_feature_%s ", name.c_str ());
1566 printf_unfiltered ("(struct target_desc *result, long regnum)\n");
1567
1568 printf_unfiltered ("{\n");
1569 printf_unfiltered (" struct tdesc_feature *feature;\n");
0abe8a89
YQ
1570
1571 printf_unfiltered
3b74854b
AH
1572 ("\n feature = tdesc_create_feature (result, \"%s\");\n",
1573 e->name.c_str ());
25aa13e5
YQ
1574 }
1575
1576 void visit_post (const tdesc_feature *e) override
1577 {
1578 printf_unfiltered (" return regnum;\n");
1579 printf_unfiltered ("}\n");
1580 }
1581
1582 void visit (const tdesc_reg *reg) override
1583 {
ea03d0d3
YQ
1584 /* Most "reg" in XML target descriptions don't have "regnum"
1585 attribute, so the register number is allocated sequentially.
1586 In case that reg has "regnum" attribute, register number
1587 should be set by that explicitly. */
1588
1589 if (reg->target_regnum < m_next_regnum)
1590 {
1591 /* The integrity check, it can catch some errors on register
1592 number collision, like this,
1593
1594 <reg name="x0" bitsize="32"/>
1595 <reg name="x1" bitsize="32"/>
1596 <reg name="x2" bitsize="32"/>
1597 <reg name="x3" bitsize="32"/>
1598 <reg name="ps" bitsize="32" regnum="3"/>
1599
1600 but it also has false negatives. The target description
1601 below is correct,
1602
1603 <reg name="x1" bitsize="32" regnum="1"/>
1604 <reg name="x3" bitsize="32" regnum="3"/>
1605 <reg name="x2" bitsize="32" regnum="2"/>
1606 <reg name="x4" bitsize="32" regnum="4"/>
1607
1608 but it is not a good practice, so still error on this,
1609 and also print the message so that it can be saved in the
1610 generated c file. */
1611
1612 printf_unfiltered ("ERROR: \"regnum\" attribute %ld ",
1613 reg->target_regnum);
1614 printf_unfiltered ("is not the largest number (%d).\n",
1615 m_next_regnum);
1616 error (_("\"regnum\" attribute %ld is not the largest number (%d)."),
1617 reg->target_regnum, m_next_regnum);
1618 }
1619
1620 if (reg->target_regnum > m_next_regnum)
1621 {
1622 printf_unfiltered (" regnum = %ld;\n", reg->target_regnum);
1623 m_next_regnum = reg->target_regnum;
1624 }
1625
25aa13e5 1626 printf_unfiltered (" tdesc_create_reg (feature, \"%s\", regnum++, %d, ",
a8142ee1
SM
1627 reg->name.c_str (), reg->save_restore);
1628 if (!reg->group.empty ())
1629 printf_unfiltered ("\"%s\", ", reg->group.c_str ());
25aa13e5
YQ
1630 else
1631 printf_unfiltered ("NULL, ");
a8142ee1 1632 printf_unfiltered ("%d, \"%s\");\n", reg->bitsize, reg->type.c_str ());
ea03d0d3
YQ
1633
1634 m_next_regnum++;
25aa13e5
YQ
1635 }
1636
ea03d0d3
YQ
1637private:
1638 /* The register number to use for the next register we see. */
1639 int m_next_regnum = 0;
25aa13e5
YQ
1640};
1641
268a13a5 1642/* See gdbsupport/tdesc.h. */
e98577a9
AH
1643
1644const char *
1645tdesc_get_features_xml (const target_desc *tdesc)
1646{
1647 if (tdesc->xmltarget == nullptr)
1648 {
1649 std::string buffer ("@");
1650 print_xml_feature v (&buffer);
1651 tdesc->accept (v);
1652 tdesc->xmltarget = xstrdup (buffer.c_str ());
1653 }
1654 return tdesc->xmltarget;
1655}
1656
81adfced 1657static void
e100df1a 1658maint_print_c_tdesc_cmd (const char *args, int from_tty)
81adfced
DJ
1659{
1660 const struct target_desc *tdesc;
6eb1e6a8 1661 const char *filename;
81adfced 1662
8e2141c6
YQ
1663 if (args == NULL)
1664 {
1665 /* Use the global target-supplied description, not the current
1666 architecture's. This lets a GDB for one architecture generate C
1667 for another architecture's description, even though the gdbarch
1668 initialization code will reject the new description. */
1669 tdesc = current_target_desc;
1670 filename = target_description_filename;
1671 }
1672 else
1673 {
1674 /* Use the target description from the XML file. */
1675 filename = args;
1676 tdesc = file_read_description_xml (filename);
1677 }
1678
81adfced
DJ
1679 if (tdesc == NULL)
1680 error (_("There is no target description to print."));
1681
8e2141c6 1682 if (filename == NULL)
81adfced
DJ
1683 error (_("The current target description did not come from an XML file."));
1684
6eb1e6a8
YQ
1685 std::string filename_after_features (filename);
1686 auto loc = filename_after_features.rfind ("/features/");
4e2f8df6 1687
6eb1e6a8
YQ
1688 if (loc != std::string::npos)
1689 filename_after_features = filename_after_features.substr (loc + 10);
4e2f8df6 1690
25aa13e5
YQ
1691 /* Print c files for target features instead of target descriptions,
1692 because c files got from target features are more flexible than the
1693 counterparts. */
6c73f67f
YQ
1694 if (startswith (filename_after_features.c_str (), "i386/32bit-")
1695 || startswith (filename_after_features.c_str (), "i386/64bit-")
506fe5f4 1696 || startswith (filename_after_features.c_str (), "i386/x32-core.xml")
b5ffee31 1697 || startswith (filename_after_features.c_str (), "riscv/")
49bdb7ee 1698 || startswith (filename_after_features.c_str (), "tic6x-")
89abbcc2 1699 || startswith (filename_after_features.c_str (), "aarch64")
817a7585
AK
1700 || startswith (filename_after_features.c_str (), "arm/")
1701 || startswith (filename_after_features.c_str (), "arc/"))
25aa13e5
YQ
1702 {
1703 print_c_feature v (filename_after_features);
81adfced 1704
25aa13e5
YQ
1705 tdesc->accept (v);
1706 }
1707 else
1708 {
1709 print_c_tdesc v (filename_after_features);
1710
1711 tdesc->accept (v);
1712 }
81adfced
DJ
1713}
1714
27d41eac
YQ
1715namespace selftests {
1716
1c28969e
SM
1717/* A reference target description, used for testing (see record_xml_tdesc). */
1718
1719struct xml_test_tdesc
1720{
1721 xml_test_tdesc (const char *name, std::unique_ptr<const target_desc> &&tdesc)
1722 : name (name), tdesc (std::move (tdesc))
1723 {}
1724
1725 const char *name;
1726 std::unique_ptr<const target_desc> tdesc;
1727};
1728
1729static std::vector<xml_test_tdesc> xml_tdesc;
27d41eac
YQ
1730
1731#if GDB_SELF_TEST
1732
405feb71 1733/* See target-descriptions.h. */
27d41eac
YQ
1734
1735void
1736record_xml_tdesc (const char *xml_file, const struct target_desc *tdesc)
1737{
1c28969e 1738 xml_tdesc.emplace_back (xml_file, std::unique_ptr<const target_desc> (tdesc));
27d41eac
YQ
1739}
1740#endif
1741
1742}
1743
85102364 1744/* Test the conversion process of a target description to/from xml: Take a target
e98577a9
AH
1745 description TDESC, convert to xml, back to a description, and confirm the new
1746 tdesc is identical to the original. */
1747static bool
1748maintenance_check_tdesc_xml_convert (const target_desc *tdesc, const char *name)
1749{
1750 const char *xml = tdesc_get_features_xml (tdesc);
1751
1752 if (xml == nullptr || *xml != '@')
1753 {
1754 printf_filtered (_("Could not convert description for %s to xml.\n"),
1755 name);
1756 return false;
1757 }
1758
1759 const target_desc *tdesc_trans = string_read_description_xml (xml + 1);
1760
1761 if (tdesc_trans == nullptr)
1762 {
1763 printf_filtered (_("Could not convert description for %s from xml.\n"),
1764 name);
1765 return false;
1766 }
1767 else if (*tdesc != *tdesc_trans)
1768 {
1769 printf_filtered (_("Converted description for %s does not match.\n"),
1770 name);
1771 return false;
1772 }
1773 return true;
1774}
1775
1776
27d41eac
YQ
1777/* Check that the target descriptions created dynamically by
1778 architecture-specific code equal the descriptions created from XML files
1779 found in the specified directory DIR. */
1780
1781static void
e100df1a 1782maintenance_check_xml_descriptions (const char *dir, int from_tty)
27d41eac
YQ
1783{
1784 if (dir == NULL)
1785 error (_("Missing dir name"));
1786
1787 gdb::unique_xmalloc_ptr<char> dir1 (tilde_expand (dir));
1788 std::string feature_dir (dir1.get ());
1789 unsigned int failed = 0;
1790
1791 for (auto const &e : selftests::xml_tdesc)
1792 {
1c28969e 1793 std::string tdesc_xml = (feature_dir + SLASH_STRING + e.name);
27d41eac
YQ
1794 const target_desc *tdesc
1795 = file_read_description_xml (tdesc_xml.data ());
1796
1c28969e 1797 if (tdesc == NULL || *tdesc != *e.tdesc)
e98577a9 1798 {
1c28969e 1799 printf_filtered ( _("Descriptions for %s do not match.\n"), e.name);
e98577a9
AH
1800 failed++;
1801 }
1c28969e
SM
1802 else if (!maintenance_check_tdesc_xml_convert (tdesc, e.name)
1803 || !maintenance_check_tdesc_xml_convert (e.tdesc.get (), e.name))
27d41eac
YQ
1804 failed++;
1805 }
1806 printf_filtered (_("Tested %lu XML files, %d failed\n"),
1807 (long) selftests::xml_tdesc.size (), failed);
1808}
1809
6c265988 1810void _initialize_target_descriptions ();
23181151 1811void
6c265988 1812_initialize_target_descriptions ()
23181151 1813{
123dc839
DJ
1814 tdesc_data = gdbarch_data_register_pre_init (tdesc_data_init);
1815
0743fc83 1816 add_basic_prefix_cmd ("tdesc", class_maintenance, _("\
23181151 1817Set target description specific variables."),
0743fc83
TT
1818 &tdesc_set_cmdlist, "set tdesc ",
1819 0 /* allow-unknown */, &setlist);
1820 add_show_prefix_cmd ("tdesc", class_maintenance, _("\
23181151 1821Show target description specific variables."),
0743fc83
TT
1822 &tdesc_show_cmdlist, "show tdesc ",
1823 0 /* allow-unknown */, &showlist);
1824 add_basic_prefix_cmd ("tdesc", class_maintenance, _("\
23181151 1825Unset target description specific variables."),
0743fc83
TT
1826 &tdesc_unset_cmdlist, "unset tdesc ",
1827 0 /* allow-unknown */, &unsetlist);
23181151
DJ
1828
1829 add_setshow_filename_cmd ("filename", class_obscure,
6ecd4729 1830 &tdesc_filename_cmd_string,
23181151 1831 _("\
590042fc
PW
1832Set the file to read for an XML target description."), _("\
1833Show the file to read for an XML target description."), _("\
23181151
DJ
1834When set, GDB will read the target description from a local\n\
1835file instead of querying the remote target."),
1836 set_tdesc_filename_cmd,
1837 show_tdesc_filename_cmd,
1838 &tdesc_set_cmdlist, &tdesc_show_cmdlist);
1839
1840 add_cmd ("filename", class_obscure, unset_tdesc_filename_cmd, _("\
590042fc
PW
1841Unset the file to read for an XML target description.\n\
1842When unset, GDB will read the description from the target."),
23181151 1843 &tdesc_unset_cmdlist);
81adfced
DJ
1844
1845 add_cmd ("c-tdesc", class_maintenance, maint_print_c_tdesc_cmd, _("\
1846Print the current target description as a C source file."),
1847 &maintenanceprintlist);
27d41eac
YQ
1848
1849 cmd_list_element *cmd;
1850
1851 cmd = add_cmd ("xml-descriptions", class_maintenance,
1852 maintenance_check_xml_descriptions, _("\
590042fc 1853Check equality of GDB target descriptions and XML created descriptions.\n\
27d41eac
YQ
1854Check the target descriptions created in GDB equal the descriptions\n\
1855created from XML files in the directory.\n\
1856The parameter is the directory name."),
1857 &maintenancechecklist);
1858 set_cmd_completer (cmd, filename_completer);
23181151 1859}
This page took 1.58846 seconds and 4 git commands to generate.