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