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