]> Git Repo - binutils.git/blob - gdb/target-descriptions.c
Add tdesc osabi and architecture functions
[binutils.git] / gdb / target-descriptions.c
1 /* Target description support for GDB.
2
3    Copyright (C) 2006-2018 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 "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_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         }
141
142       internal_error (__FILE__, __LINE__,
143                       "Type \"%s\" has an unknown kind %d",
144                       e->name.c_str (), e->kind);
145     }
146
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     }
158
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;
164
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         }
180
181       internal_error (__FILE__, __LINE__,
182                       "Type \"%s\" has an unknown kind %d",
183                       e->name.c_str (), e->kind);
184     }
185
186   private:
187
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);
193
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,
235                                            xstrdup (f.name.c_str ()),
236                                            field_gdb_type);
237             }
238         }
239
240       if (e->size != 0)
241         TYPE_LENGTH (m_type) = e->size;
242     }
243
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 ());
248
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     }
262
263     void make_gdb_type_flags (const tdesc_type_with_fields *e)
264     {
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         }
277     }
278
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 ());
283
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);
291
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 }
307
308 /* A target description.  */
309
310 struct target_desc : tdesc_element
311 {
312   target_desc ()
313   {}
314
315   virtual ~target_desc () = default;
316
317   target_desc (const target_desc &) = delete;
318   void operator= (const target_desc &) = delete;
319
320   /* The architecture reported by the target, if any.  */
321   const struct bfd_arch_info *arch = NULL;
322
323   /* The osabi reported by the target, if any; GDB_OSABI_UNKNOWN
324      otherwise.  */
325   enum gdb_osabi osabi = GDB_OSABI_UNKNOWN;
326
327   /* The list of compatible architectures reported by the target.  */
328   std::vector<const bfd_arch_info *> compatible;
329
330   /* Any architecture-specific properties specified by the target.  */
331   std::vector<property> properties;
332
333   /* The features associated with this target.  */
334   std::vector<tdesc_feature_up> features;
335
336   void accept (tdesc_element_visitor &v) const override
337   {
338     v.visit_pre (this);
339
340     for (const tdesc_feature_up &feature : features)
341       feature->accept (v);
342
343     v.visit_post (this);
344   }
345
346   bool operator== (const target_desc &other) const
347   {
348     if (arch != other.arch)
349       return false;
350
351     if (osabi != other.osabi)
352       return false;
353
354     if (features.size () != other.features.size ())
355       return false;
356
357     for (int ix = 0; ix < features.size (); ix++)
358       {
359         const tdesc_feature_up &feature1 = features[ix];
360         const tdesc_feature_up &feature2 = other.features[ix];
361
362         if (feature1 != feature2 && *feature1 != *feature2)
363           return false;
364       }
365
366     return true;
367   }
368
369   bool operator!= (const target_desc &other) const
370   {
371     return !(*this == other);
372   }
373 };
374
375 /* Per-architecture data associated with a target description.  The
376    target description may be shared by multiple architectures, but
377    this data is private to one gdbarch.  */
378
379 struct tdesc_arch_reg
380 {
381   tdesc_arch_reg (tdesc_reg *reg_, struct type *type_)
382   : reg (reg_), type (type_)
383   {}
384
385   struct tdesc_reg *reg;
386   struct type *type;
387 };
388
389 struct tdesc_arch_data
390 {
391   /* A list of register/type pairs, indexed by GDB's internal register number.
392      During initialization of the gdbarch this list is used to store
393      registers which the architecture assigns a fixed register number.
394      Registers which are NULL in this array, or off the end, are
395      treated as zero-sized and nameless (i.e. placeholders in the
396      numbering).  */
397   std::vector<tdesc_arch_reg> arch_regs;
398
399   /* Functions which report the register name, type, and reggroups for
400      pseudo-registers.  */
401   gdbarch_register_name_ftype *pseudo_register_name = NULL;
402   gdbarch_register_type_ftype *pseudo_register_type = NULL;
403   gdbarch_register_reggroup_p_ftype *pseudo_register_reggroup_p = NULL;
404 };
405
406 /* Info about an inferior's target description.  There's one of these
407    for each inferior.  */
408
409 struct target_desc_info
410 {
411   /* A flag indicating that a description has already been fetched
412      from the target, so it should not be queried again.  */
413
414   int fetched;
415
416   /* The description fetched from the target, or NULL if the target
417      did not supply any description.  Only valid when
418      target_desc_fetched is set.  Only the description initialization
419      code should access this; normally, the description should be
420      accessed through the gdbarch object.  */
421
422   const struct target_desc *tdesc;
423
424   /* The filename to read a target description from, as set by "set
425      tdesc filename ..."  */
426
427   char *filename;
428 };
429
430 /* Get the inferior INF's target description info, allocating one on
431    the stop if necessary.  */
432
433 static struct target_desc_info *
434 get_tdesc_info (struct inferior *inf)
435 {
436   if (inf->tdesc_info == NULL)
437     inf->tdesc_info = XCNEW (struct target_desc_info);
438   return inf->tdesc_info;
439 }
440
441 /* A handle for architecture-specific data associated with the
442    target description (see struct tdesc_arch_data).  */
443
444 static struct gdbarch_data *tdesc_data;
445
446 /* See target-descriptions.h.  */
447
448 int
449 target_desc_info_from_user_p (struct target_desc_info *info)
450 {
451   return info != NULL && info->filename != NULL;
452 }
453
454 /* See target-descriptions.h.  */
455
456 void
457 copy_inferior_target_desc_info (struct inferior *destinf, struct inferior *srcinf)
458 {
459   struct target_desc_info *src = get_tdesc_info (srcinf);
460   struct target_desc_info *dest = get_tdesc_info (destinf);
461
462   dest->fetched = src->fetched;
463   dest->tdesc = src->tdesc;
464   dest->filename = src->filename != NULL ? xstrdup (src->filename) : NULL;
465 }
466
467 /* See target-descriptions.h.  */
468
469 void
470 target_desc_info_free (struct target_desc_info *tdesc_info)
471 {
472   if (tdesc_info != NULL)
473     {
474       xfree (tdesc_info->filename);
475       xfree (tdesc_info);
476     }
477 }
478
479 /* Convenience helper macros.  */
480
481 #define target_desc_fetched \
482   get_tdesc_info (current_inferior ())->fetched
483 #define current_target_desc \
484   get_tdesc_info (current_inferior ())->tdesc
485 #define target_description_filename \
486   get_tdesc_info (current_inferior ())->filename
487
488 /* The string manipulated by the "set tdesc filename ..." command.  */
489
490 static char *tdesc_filename_cmd_string;
491
492 /* Fetch the current target's description, and switch the current
493    architecture to one which incorporates that description.  */
494
495 void
496 target_find_description (void)
497 {
498   /* If we've already fetched a description from the target, don't do
499      it again.  This allows a target to fetch the description early,
500      during its to_open or to_create_inferior, if it needs extra
501      information about the target to initialize.  */
502   if (target_desc_fetched)
503     return;
504
505   /* The current architecture should not have any target description
506      specified.  It should have been cleared, e.g. when we
507      disconnected from the previous target.  */
508   gdb_assert (gdbarch_target_desc (target_gdbarch ()) == NULL);
509
510   /* First try to fetch an XML description from the user-specified
511      file.  */
512   current_target_desc = NULL;
513   if (target_description_filename != NULL
514       && *target_description_filename != '\0')
515     current_target_desc
516       = file_read_description_xml (target_description_filename);
517
518   /* Next try to read the description from the current target using
519      target objects.  */
520   if (current_target_desc == NULL)
521     current_target_desc = target_read_description_xml (&current_target);
522
523   /* If that failed try a target-specific hook.  */
524   if (current_target_desc == NULL)
525     current_target_desc = target_read_description (&current_target);
526
527   /* If a non-NULL description was returned, then update the current
528      architecture.  */
529   if (current_target_desc)
530     {
531       struct gdbarch_info info;
532
533       gdbarch_info_init (&info);
534       info.target_desc = current_target_desc;
535       if (!gdbarch_update_p (info))
536         warning (_("Architecture rejected target-supplied description"));
537       else
538         {
539           struct tdesc_arch_data *data;
540
541           data = ((struct tdesc_arch_data *)
542                   gdbarch_data (target_gdbarch (), tdesc_data));
543           if (tdesc_has_registers (current_target_desc)
544               && data->arch_regs.empty ())
545             warning (_("Target-supplied registers are not supported "
546                        "by the current architecture"));
547         }
548     }
549
550   /* Now that we know this description is usable, record that we
551      fetched it.  */
552   target_desc_fetched = 1;
553 }
554
555 /* Discard any description fetched from the current target, and switch
556    the current architecture to one with no target description.  */
557
558 void
559 target_clear_description (void)
560 {
561   struct gdbarch_info info;
562
563   if (!target_desc_fetched)
564     return;
565
566   target_desc_fetched = 0;
567   current_target_desc = NULL;
568
569   gdbarch_info_init (&info);
570   if (!gdbarch_update_p (info))
571     internal_error (__FILE__, __LINE__,
572                     _("Could not remove target-supplied description"));
573 }
574
575 /* Return the global current target description.  This should only be
576    used by gdbarch initialization code; most access should be through
577    an existing gdbarch.  */
578
579 const struct target_desc *
580 target_current_description (void)
581 {
582   if (target_desc_fetched)
583     return current_target_desc;
584
585   return NULL;
586 }
587
588 /* Return non-zero if this target description is compatible
589    with the given BFD architecture.  */
590
591 int
592 tdesc_compatible_p (const struct target_desc *target_desc,
593                     const struct bfd_arch_info *arch)
594 {
595   for (const bfd_arch_info *compat : target_desc->compatible)
596     {
597       if (compat == arch
598           || arch->compatible (arch, compat)
599           || compat->compatible (compat, arch))
600         return 1;
601     }
602
603   return 0;
604 }
605 \f
606
607 /* Direct accessors for target descriptions.  */
608
609 /* Return the string value of a property named KEY, or NULL if the
610    property was not specified.  */
611
612 const char *
613 tdesc_property (const struct target_desc *target_desc, const char *key)
614 {
615   for (const property &prop : target_desc->properties)
616     if (prop.key == key)
617       return prop.value.c_str ();
618
619   return NULL;
620 }
621
622 /* Return the BFD architecture associated with this target
623    description, or NULL if no architecture was specified.  */
624
625 const struct bfd_arch_info *
626 tdesc_architecture (const struct target_desc *target_desc)
627 {
628   return target_desc->arch;
629 }
630
631 /* See common/tdesc.h.  */
632
633 const char *
634 tdesc_architecture_name (const struct target_desc *target_desc)
635 {
636   return target_desc->arch->printable_name;
637 }
638
639 /* Return the OSABI associated with this target description, or
640    GDB_OSABI_UNKNOWN if no osabi was specified.  */
641
642 enum gdb_osabi
643 tdesc_osabi (const struct target_desc *target_desc)
644 {
645   return target_desc->osabi;
646 }
647
648 /* See common/tdesc.h.  */
649
650 const char *
651 tdesc_osabi_name (const struct target_desc *target_desc)
652 {
653   enum gdb_osabi osabi = tdesc_osabi (target_desc);
654   if (osabi > GDB_OSABI_UNKNOWN && osabi < GDB_OSABI_INVALID)
655     return gdbarch_osabi_name (osabi);
656   return nullptr;
657 }
658
659 /* Return 1 if this target description includes any registers.  */
660
661 int
662 tdesc_has_registers (const struct target_desc *target_desc)
663 {
664   if (target_desc == NULL)
665     return 0;
666
667   for (const tdesc_feature_up &feature : target_desc->features)
668     if (!feature->registers.empty ())
669       return 1;
670
671   return 0;
672 }
673
674 /* Return the feature with the given name, if present, or NULL if
675    the named feature is not found.  */
676
677 const struct tdesc_feature *
678 tdesc_find_feature (const struct target_desc *target_desc,
679                     const char *name)
680 {
681   for (const tdesc_feature_up &feature : target_desc->features)
682     if (feature->name == name)
683       return feature.get ();
684
685   return NULL;
686 }
687
688 /* Return the name of FEATURE.  */
689
690 const char *
691 tdesc_feature_name (const struct tdesc_feature *feature)
692 {
693   return feature->name.c_str ();
694 }
695
696 /* Lookup type associated with ID.  */
697
698 struct type *
699 tdesc_find_type (struct gdbarch *gdbarch, const char *id)
700 {
701   tdesc_arch_data *data
702     = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
703
704   for (const tdesc_arch_reg &reg : data->arch_regs)
705     {
706       if (reg.reg
707           && reg.reg->tdesc_type
708           && reg.type
709           && reg.reg->tdesc_type->name == id)
710         return reg.type;
711     }
712
713   return NULL;
714 }
715
716 /* Support for registers from target descriptions.  */
717
718 /* Construct the per-gdbarch data.  */
719
720 static void *
721 tdesc_data_init (struct obstack *obstack)
722 {
723   struct tdesc_arch_data *data;
724
725   data = OBSTACK_ZALLOC (obstack, struct tdesc_arch_data);
726   new (data) tdesc_arch_data ();
727
728   return data;
729 }
730
731 /* Similar, but for the temporary copy used during architecture
732    initialization.  */
733
734 struct tdesc_arch_data *
735 tdesc_data_alloc (void)
736 {
737   return new tdesc_arch_data ();
738 }
739
740 /* Free something allocated by tdesc_data_alloc, if it is not going
741    to be used (for instance if it was unsuitable for the
742    architecture).  */
743
744 void
745 tdesc_data_cleanup (void *data_untyped)
746 {
747   struct tdesc_arch_data *data = (struct tdesc_arch_data *) data_untyped;
748
749   delete data;
750 }
751
752 /* Search FEATURE for a register named NAME.  */
753
754 static struct tdesc_reg *
755 tdesc_find_register_early (const struct tdesc_feature *feature,
756                            const char *name)
757 {
758   for (const tdesc_reg_up &reg : feature->registers)
759     if (strcasecmp (reg->name.c_str (), name) == 0)
760       return reg.get ();
761
762   return NULL;
763 }
764
765 /* Search FEATURE for a register named NAME.  Assign REGNO to it.  */
766
767 int
768 tdesc_numbered_register (const struct tdesc_feature *feature,
769                          struct tdesc_arch_data *data,
770                          int regno, const char *name)
771 {
772   struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
773
774   if (reg == NULL)
775     return 0;
776
777   /* Make sure the vector includes a REGNO'th element.  */
778   while (regno >= data->arch_regs.size ())
779     data->arch_regs.emplace_back (nullptr, nullptr);
780
781   data->arch_regs[regno] = tdesc_arch_reg (reg, NULL);
782
783   return 1;
784 }
785
786 /* Search FEATURE for a register named NAME, but do not assign a fixed
787    register number to it.  */
788
789 int
790 tdesc_unnumbered_register (const struct tdesc_feature *feature,
791                            const char *name)
792 {
793   struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
794
795   if (reg == NULL)
796     return 0;
797
798   return 1;
799 }
800
801 /* Search FEATURE for a register whose name is in NAMES and assign
802    REGNO to it.  */
803
804 int
805 tdesc_numbered_register_choices (const struct tdesc_feature *feature,
806                                  struct tdesc_arch_data *data,
807                                  int regno, const char *const names[])
808 {
809   int i;
810
811   for (i = 0; names[i] != NULL; i++)
812     if (tdesc_numbered_register (feature, data, regno, names[i]))
813       return 1;
814
815   return 0;
816 }
817
818 /* Search FEATURE for a register named NAME, and return its size in
819    bits.  The register must exist.  */
820
821 int
822 tdesc_register_size (const struct tdesc_feature *feature,
823                      const char *name)
824 {
825   struct tdesc_reg *reg = tdesc_find_register_early (feature, name);
826
827   gdb_assert (reg != NULL);
828   return reg->bitsize;
829 }
830
831 /* Look up a register by its GDB internal register number.  */
832
833 static struct tdesc_arch_reg *
834 tdesc_find_arch_register (struct gdbarch *gdbarch, int regno)
835 {
836   struct tdesc_arch_data *data;
837
838   data = (struct tdesc_arch_data *) gdbarch_data (gdbarch, tdesc_data);
839   if (regno < data->arch_regs.size ())
840     return &data->arch_regs[regno];
841   else
842     return NULL;
843 }
844
845 static struct tdesc_reg *
846 tdesc_find_register (struct gdbarch *gdbarch, int regno)
847 {
848   struct tdesc_arch_reg *reg = tdesc_find_arch_register (gdbarch, regno);
849
850   return reg? reg->reg : NULL;
851 }
852
853 /* Return the name of register REGNO, from the target description or
854    from an architecture-provided pseudo_register_name method.  */
855
856 const char *
857 tdesc_register_name (struct gdbarch *gdbarch, int regno)
858 {
859   struct tdesc_reg *reg = tdesc_find_register (gdbarch, regno);
860   int num_regs = gdbarch_num_regs (gdbarch);
861   int num_pseudo_regs = gdbarch_num_pseudo_regs (gdbarch);
862
863   if (reg != NULL)
864     return reg->name.c_str ();
865
866   if (regno >= num_regs && regno < num_regs + num_pseudo_regs)
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 common/tdesc.h.  */
1129
1130 struct tdesc_feature *
1131 tdesc_create_feature (struct target_desc *tdesc, const char *name,
1132                       const char *xml)
1133 {
1134   struct tdesc_feature *new_feature = new tdesc_feature (name);
1135
1136   tdesc->features.emplace_back (new_feature);
1137
1138   return new_feature;
1139 }
1140
1141 struct target_desc *
1142 allocate_target_description (void)
1143 {
1144   return new target_desc ();
1145 }
1146
1147 static void
1148 free_target_description (void *arg)
1149 {
1150   struct target_desc *target_desc = (struct target_desc *) arg;
1151
1152   delete target_desc;
1153 }
1154
1155 struct cleanup *
1156 make_cleanup_free_target_description (struct target_desc *target_desc)
1157 {
1158   return make_cleanup (free_target_description, target_desc);
1159 }
1160
1161 void
1162 tdesc_add_compatible (struct target_desc *target_desc,
1163                       const struct bfd_arch_info *compatible)
1164 {
1165   /* If this instance of GDB is compiled without BFD support for the
1166      compatible architecture, simply ignore it -- we would not be able
1167      to handle it anyway.  */
1168   if (compatible == NULL)
1169     return;
1170
1171   for (const bfd_arch_info *compat : target_desc->compatible)
1172     if (compat == compatible)
1173       internal_error (__FILE__, __LINE__,
1174                       _("Attempted to add duplicate "
1175                         "compatible architecture \"%s\""),
1176                       compatible->printable_name);
1177
1178   target_desc->compatible.push_back (compatible);
1179 }
1180
1181 void
1182 set_tdesc_property (struct target_desc *target_desc,
1183                     const char *key, const char *value)
1184 {
1185   gdb_assert (key != NULL && value != NULL);
1186
1187   if (tdesc_property (target_desc, key) != NULL)
1188     internal_error (__FILE__, __LINE__,
1189                     _("Attempted to add duplicate property \"%s\""), key);
1190
1191   target_desc->properties.emplace_back (key, value);
1192 }
1193
1194 /* See common/tdesc.h.  */
1195
1196 void
1197 set_tdesc_architecture (struct target_desc *target_desc,
1198                         const char *name)
1199 {
1200   set_tdesc_architecture (target_desc, bfd_scan_arch (name));
1201 }
1202
1203 void
1204 set_tdesc_architecture (struct target_desc *target_desc,
1205                         const struct bfd_arch_info *arch)
1206 {
1207   target_desc->arch = arch;
1208 }
1209
1210 /* See common/tdesc.h.  */
1211
1212 void
1213 set_tdesc_osabi (struct target_desc *target_desc, const char *name)
1214 {
1215   set_tdesc_osabi (target_desc, osabi_from_tdesc_string (name));
1216 }
1217
1218 void
1219 set_tdesc_osabi (struct target_desc *target_desc, enum gdb_osabi osabi)
1220 {
1221   target_desc->osabi = osabi;
1222 }
1223 \f
1224
1225 static struct cmd_list_element *tdesc_set_cmdlist, *tdesc_show_cmdlist;
1226 static struct cmd_list_element *tdesc_unset_cmdlist;
1227
1228 /* Helper functions for the CLI commands.  */
1229
1230 static void
1231 set_tdesc_cmd (const char *args, int from_tty)
1232 {
1233   help_list (tdesc_set_cmdlist, "set tdesc ", all_commands, gdb_stdout);
1234 }
1235
1236 static void
1237 show_tdesc_cmd (const char *args, int from_tty)
1238 {
1239   cmd_show_list (tdesc_show_cmdlist, from_tty, "");
1240 }
1241
1242 static void
1243 unset_tdesc_cmd (const char *args, int from_tty)
1244 {
1245   help_list (tdesc_unset_cmdlist, "unset tdesc ", all_commands, gdb_stdout);
1246 }
1247
1248 static void
1249 set_tdesc_filename_cmd (const char *args, int from_tty,
1250                         struct cmd_list_element *c)
1251 {
1252   xfree (target_description_filename);
1253   target_description_filename = xstrdup (tdesc_filename_cmd_string);
1254
1255   target_clear_description ();
1256   target_find_description ();
1257 }
1258
1259 static void
1260 show_tdesc_filename_cmd (struct ui_file *file, int from_tty,
1261                          struct cmd_list_element *c,
1262                          const char *value)
1263 {
1264   value = target_description_filename;
1265
1266   if (value != NULL && *value != '\0')
1267     printf_filtered (_("The target description will be read from \"%s\".\n"),
1268                      value);
1269   else
1270     printf_filtered (_("The target description will be "
1271                        "read from the target.\n"));
1272 }
1273
1274 static void
1275 unset_tdesc_filename_cmd (const char *args, int from_tty)
1276 {
1277   xfree (target_description_filename);
1278   target_description_filename = NULL;
1279   target_clear_description ();
1280   target_find_description ();
1281 }
1282
1283 /* Print target description in C.  */
1284
1285 class print_c_tdesc : public tdesc_element_visitor
1286 {
1287 public:
1288   print_c_tdesc (std::string &filename_after_features)
1289     : m_filename_after_features (filename_after_features)
1290   {
1291     const char *inp;
1292     char *outp;
1293     const char *filename = lbasename (m_filename_after_features.c_str ());
1294
1295     m_function = (char *) xmalloc (strlen (filename) + 1);
1296     for (inp = filename, outp = m_function; *inp != '\0'; inp++)
1297       if (*inp == '.')
1298         break;
1299       else if (*inp == '-')
1300         *outp++ = '_';
1301       else
1302         *outp++ = *inp;
1303     *outp = '\0';
1304
1305     /* Standard boilerplate.  */
1306     printf_unfiltered ("/* THIS FILE IS GENERATED.  "
1307                        "-*- buffer-read-only: t -*- vi"
1308                        ":set ro:\n");
1309   }
1310
1311   ~print_c_tdesc ()
1312   {
1313     xfree (m_function);
1314   }
1315
1316   void visit_pre (const target_desc *e) override
1317   {
1318     printf_unfiltered ("  Original: %s */\n\n",
1319                        lbasename (m_filename_after_features.c_str ()));
1320
1321     printf_unfiltered ("#include \"defs.h\"\n");
1322     printf_unfiltered ("#include \"osabi.h\"\n");
1323     printf_unfiltered ("#include \"target-descriptions.h\"\n");
1324     printf_unfiltered ("\n");
1325
1326     printf_unfiltered ("struct target_desc *tdesc_%s;\n", m_function);
1327     printf_unfiltered ("static void\n");
1328     printf_unfiltered ("initialize_tdesc_%s (void)\n", m_function);
1329     printf_unfiltered ("{\n");
1330     printf_unfiltered
1331       ("  struct target_desc *result = allocate_target_description ();\n");
1332
1333     if (tdesc_architecture (e) != NULL)
1334       {
1335         printf_unfiltered
1336           ("  set_tdesc_architecture (result, bfd_scan_arch (\"%s\"));\n",
1337            tdesc_architecture (e)->printable_name);
1338         printf_unfiltered ("\n");
1339       }
1340     if (tdesc_osabi (e) > GDB_OSABI_UNKNOWN
1341         && tdesc_osabi (e) < GDB_OSABI_INVALID)
1342       {
1343         printf_unfiltered
1344           ("  set_tdesc_osabi (result, osabi_from_tdesc_string (\"%s\"));\n",
1345            gdbarch_osabi_name (tdesc_osabi (e)));
1346         printf_unfiltered ("\n");
1347       }
1348
1349     for (const bfd_arch_info_type *compatible : e->compatible)
1350       printf_unfiltered
1351         ("  tdesc_add_compatible (result, bfd_scan_arch (\"%s\"));\n",
1352          compatible->printable_name);
1353
1354     if (!e->compatible.empty ())
1355       printf_unfiltered ("\n");
1356
1357     for (const property &prop : e->properties)
1358       printf_unfiltered ("  set_tdesc_property (result, \"%s\", \"%s\");\n",
1359                          prop.key.c_str (), prop.value.c_str ());
1360
1361     printf_unfiltered ("  struct tdesc_feature *feature;\n");
1362   }
1363
1364   void visit_pre (const tdesc_feature *e) override
1365   {
1366     printf_unfiltered ("\n  feature = tdesc_create_feature (result, \"%s\");\n",
1367                        e->name.c_str ());
1368   }
1369
1370   void visit_post (const tdesc_feature *e) override
1371   {}
1372
1373   void visit_post (const target_desc *e) override
1374   {
1375     printf_unfiltered ("\n  tdesc_%s = result;\n", m_function);
1376     printf_unfiltered ("}\n");
1377   }
1378
1379   void visit (const tdesc_type_builtin *type) override
1380   {
1381     error (_("C output is not supported type \"%s\"."), type->name.c_str ());
1382   }
1383
1384   void visit (const tdesc_type_vector *type) override
1385   {
1386     if (!m_printed_element_type)
1387       {
1388         printf_unfiltered ("  tdesc_type *element_type;\n");
1389         m_printed_element_type = true;
1390       }
1391
1392     printf_unfiltered
1393       ("  element_type = tdesc_named_type (feature, \"%s\");\n",
1394        type->element_type->name.c_str ());
1395     printf_unfiltered
1396       ("  tdesc_create_vector (feature, \"%s\", element_type, %d);\n",
1397        type->name.c_str (), type->count);
1398
1399     printf_unfiltered ("\n");
1400   }
1401
1402   void visit (const tdesc_type_with_fields *type) override
1403   {
1404     if (!m_printed_type_with_fields)
1405       {
1406         printf_unfiltered ("  tdesc_type_with_fields *type_with_fields;\n");
1407         m_printed_type_with_fields = true;
1408       }
1409
1410     switch (type->kind)
1411       {
1412       case TDESC_TYPE_STRUCT:
1413       case TDESC_TYPE_FLAGS:
1414         if (type->kind == TDESC_TYPE_STRUCT)
1415           {
1416             printf_unfiltered
1417               ("  type_with_fields = tdesc_create_struct (feature, \"%s\");\n",
1418                type->name.c_str ());
1419             if (type->size != 0)
1420               printf_unfiltered
1421                 ("  tdesc_set_struct_size (type_with_fields, %d);\n", type->size);
1422           }
1423         else
1424           {
1425             printf_unfiltered
1426               ("  type_with_fields = tdesc_create_flags (feature, \"%s\", %d);\n",
1427                type->name.c_str (), type->size);
1428           }
1429         for (const tdesc_type_field &f : type->fields)
1430           {
1431             const char *type_name;
1432
1433             gdb_assert (f.type != NULL);
1434             type_name = f.type->name.c_str ();
1435
1436             /* To minimize changes to generated files, don't emit type
1437                info for fields that have defaulted types.  */
1438             if (f.start != -1)
1439               {
1440                 gdb_assert (f.end != -1);
1441                 if (f.type->kind == TDESC_TYPE_BOOL)
1442                   {
1443                     gdb_assert (f.start == f.end);
1444                     printf_unfiltered
1445                       ("  tdesc_add_flag (type_with_fields, %d, \"%s\");\n",
1446                        f.start, f.name.c_str ());
1447                   }
1448                 else if ((type->size == 4 && f.type->kind == TDESC_TYPE_UINT32)
1449                          || (type->size == 8
1450                              && f.type->kind == TDESC_TYPE_UINT64))
1451                   {
1452                     printf_unfiltered
1453                       ("  tdesc_add_bitfield (type_with_fields, \"%s\", %d, %d);\n",
1454                        f.name.c_str (), f.start, f.end);
1455                   }
1456                 else
1457                   {
1458                     printf_field_type_assignment
1459                       ("tdesc_named_type (feature, \"%s\");\n",
1460                        type_name);
1461                     printf_unfiltered
1462                       ("  tdesc_add_typed_bitfield (type_with_fields, \"%s\","
1463                        " %d, %d, field_type);\n",
1464                        f.name.c_str (), f.start, f.end);
1465                   }
1466               }
1467             else /* Not a bitfield.  */
1468               {
1469                 gdb_assert (f.end == -1);
1470                 gdb_assert (type->kind == TDESC_TYPE_STRUCT);
1471                 printf_field_type_assignment
1472                   ("tdesc_named_type (feature, \"%s\");\n", type_name);
1473                 printf_unfiltered
1474                   ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
1475                    f.name.c_str ());
1476               }
1477           }
1478         break;
1479       case TDESC_TYPE_UNION:
1480         printf_unfiltered
1481           ("  type_with_fields = tdesc_create_union (feature, \"%s\");\n",
1482            type->name.c_str ());
1483         for (const tdesc_type_field &f : type->fields)
1484           {
1485             printf_field_type_assignment
1486               ("tdesc_named_type (feature, \"%s\");\n", f.type->name.c_str ());
1487             printf_unfiltered
1488               ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
1489                f.name.c_str ());
1490           }
1491         break;
1492       case TDESC_TYPE_ENUM:
1493         printf_unfiltered
1494           ("  type_with_fields = tdesc_create_enum (feature, \"%s\", %d);\n",
1495            type->name.c_str (), type->size);
1496         for (const tdesc_type_field &f : type->fields)
1497           printf_unfiltered
1498             ("  tdesc_add_enum_value (type_with_fields, %d, \"%s\");\n",
1499              f.start, f.name.c_str ());
1500         break;
1501       default:
1502         error (_("C output is not supported type \"%s\"."), type->name.c_str ());
1503       }
1504
1505     printf_unfiltered ("\n");
1506   }
1507
1508   void visit (const tdesc_reg *reg) override
1509   {
1510     printf_unfiltered ("  tdesc_create_reg (feature, \"%s\", %ld, %d, ",
1511                        reg->name.c_str (), reg->target_regnum,
1512                        reg->save_restore);
1513     if (!reg->group.empty ())
1514       printf_unfiltered ("\"%s\", ", reg->group.c_str ());
1515     else
1516       printf_unfiltered ("NULL, ");
1517     printf_unfiltered ("%d, \"%s\");\n", reg->bitsize, reg->type.c_str ());
1518   }
1519
1520 protected:
1521   std::string m_filename_after_features;
1522
1523 private:
1524
1525   /* Print an assignment to the field_type variable.  Print the declaration
1526      of field_type if that has not been done yet.  */
1527   ATTRIBUTE_PRINTF (2, 3)
1528   void printf_field_type_assignment (const char *fmt, ...)
1529   {
1530     if (!m_printed_field_type)
1531       {
1532         printf_unfiltered ("  tdesc_type *field_type;\n");
1533         m_printed_field_type = true;
1534       }
1535
1536     printf_unfiltered ("  field_type = ");
1537
1538     va_list args;
1539     va_start (args, fmt);
1540     vprintf_unfiltered (fmt, args);
1541     va_end (args);
1542   }
1543
1544   char *m_function;
1545
1546   /* Did we print "struct tdesc_type *element_type;" yet?  */
1547   bool m_printed_element_type = false;
1548
1549   /* Did we print "struct tdesc_type_with_fields *element_type;" yet?  */
1550   bool m_printed_type_with_fields = false;
1551
1552   /* Did we print "struct tdesc_type *field_type;" yet?  */
1553   bool m_printed_field_type = false;
1554 };
1555
1556 /* Print target description feature in C.  */
1557
1558 class print_c_feature : public print_c_tdesc
1559 {
1560 public:
1561   print_c_feature (std::string &file)
1562     : print_c_tdesc (file)
1563   {
1564     /* Trim ".tmp".  */
1565     auto const pos = m_filename_after_features.find_last_of ('.');
1566
1567     m_filename_after_features = m_filename_after_features.substr (0, pos);
1568   }
1569
1570   void visit_pre (const target_desc *e) override
1571   {
1572     printf_unfiltered ("  Original: %s */\n\n",
1573                        lbasename (m_filename_after_features.c_str ()));
1574
1575     printf_unfiltered ("#include \"common/tdesc.h\"\n");
1576     printf_unfiltered ("\n");
1577   }
1578
1579   void visit_post (const target_desc *e) override
1580   {}
1581
1582   void visit_pre (const tdesc_feature *e) override
1583   {
1584     std::string name (m_filename_after_features);
1585
1586     auto pos = name.find_first_of ('.');
1587
1588     name = name.substr (0, pos);
1589     std::replace (name.begin (), name.end (), '/', '_');
1590     std::replace (name.begin (), name.end (), '-', '_');
1591
1592     printf_unfiltered ("static int\n");
1593     printf_unfiltered ("create_feature_%s ", name.c_str ());
1594     printf_unfiltered ("(struct target_desc *result, long regnum)\n");
1595
1596     printf_unfiltered ("{\n");
1597     printf_unfiltered ("  struct tdesc_feature *feature;\n");
1598
1599     printf_unfiltered
1600       ("\n  feature = tdesc_create_feature (result, \"%s\", \"%s\");\n",
1601        e->name.c_str (), lbasename (m_filename_after_features.c_str ()));
1602   }
1603
1604   void visit_post (const tdesc_feature *e) override
1605   {
1606     printf_unfiltered ("  return regnum;\n");
1607     printf_unfiltered ("}\n");
1608   }
1609
1610   void visit (const tdesc_reg *reg) override
1611   {
1612     /* Most "reg" in XML target descriptions don't have "regnum"
1613        attribute, so the register number is allocated sequentially.
1614        In case that reg has "regnum" attribute, register number
1615        should be set by that explicitly.  */
1616
1617     if (reg->target_regnum < m_next_regnum)
1618       {
1619         /* The integrity check, it can catch some errors on register
1620            number collision, like this,
1621
1622           <reg name="x0" bitsize="32"/>
1623           <reg name="x1" bitsize="32"/>
1624           <reg name="x2" bitsize="32"/>
1625           <reg name="x3" bitsize="32"/>
1626           <reg name="ps" bitsize="32" regnum="3"/>
1627
1628           but it also has false negatives.  The target description
1629           below is correct,
1630
1631           <reg name="x1" bitsize="32" regnum="1"/>
1632           <reg name="x3" bitsize="32" regnum="3"/>
1633           <reg name="x2" bitsize="32" regnum="2"/>
1634           <reg name="x4" bitsize="32" regnum="4"/>
1635
1636           but it is not a good practice, so still error on this,
1637           and also print the message so that it can be saved in the
1638           generated c file.  */
1639
1640         printf_unfiltered ("ERROR: \"regnum\" attribute %ld ",
1641                            reg->target_regnum);
1642         printf_unfiltered ("is not the largest number (%d).\n",
1643                            m_next_regnum);
1644         error (_("\"regnum\" attribute %ld is not the largest number (%d)."),
1645                reg->target_regnum, m_next_regnum);
1646       }
1647
1648     if (reg->target_regnum > m_next_regnum)
1649       {
1650         printf_unfiltered ("  regnum = %ld;\n", reg->target_regnum);
1651         m_next_regnum = reg->target_regnum;
1652       }
1653
1654     printf_unfiltered ("  tdesc_create_reg (feature, \"%s\", regnum++, %d, ",
1655                        reg->name.c_str (), reg->save_restore);
1656     if (!reg->group.empty ())
1657       printf_unfiltered ("\"%s\", ", reg->group.c_str ());
1658     else
1659       printf_unfiltered ("NULL, ");
1660     printf_unfiltered ("%d, \"%s\");\n", reg->bitsize, reg->type.c_str ());
1661
1662     m_next_regnum++;
1663   }
1664
1665 private:
1666   /* The register number to use for the next register we see.  */
1667   int m_next_regnum = 0;
1668 };
1669
1670 static void
1671 maint_print_c_tdesc_cmd (const char *args, int from_tty)
1672 {
1673   const struct target_desc *tdesc;
1674   const char *filename;
1675
1676   if (args == NULL)
1677     {
1678       /* Use the global target-supplied description, not the current
1679          architecture's.  This lets a GDB for one architecture generate C
1680          for another architecture's description, even though the gdbarch
1681          initialization code will reject the new description.  */
1682       tdesc = current_target_desc;
1683       filename = target_description_filename;
1684     }
1685   else
1686     {
1687       /* Use the target description from the XML file.  */
1688       filename = args;
1689       tdesc = file_read_description_xml (filename);
1690     }
1691
1692   if (tdesc == NULL)
1693     error (_("There is no target description to print."));
1694
1695   if (filename == NULL)
1696     error (_("The current target description did not come from an XML file."));
1697
1698   std::string filename_after_features (filename);
1699   auto loc = filename_after_features.rfind ("/features/");
1700
1701   if (loc != std::string::npos)
1702     filename_after_features = filename_after_features.substr (loc + 10);
1703
1704   /* Print c files for target features instead of target descriptions,
1705      because c files got from target features are more flexible than the
1706      counterparts.  */
1707   if (startswith (filename_after_features.c_str (), "i386/32bit-")
1708       || startswith (filename_after_features.c_str (), "i386/64bit-")
1709       || startswith (filename_after_features.c_str (), "i386/x32-core.xml")
1710       || startswith (filename_after_features.c_str (), "tic6x-")
1711       || startswith (filename_after_features.c_str (), "aarch64"))
1712     {
1713       print_c_feature v (filename_after_features);
1714
1715       tdesc->accept (v);
1716     }
1717   else
1718     {
1719       print_c_tdesc v (filename_after_features);
1720
1721       tdesc->accept (v);
1722     }
1723 }
1724
1725 namespace selftests {
1726
1727 static std::vector<std::pair<const char*, const target_desc *>> xml_tdesc;
1728
1729 #if GDB_SELF_TEST
1730
1731 /* See target-descritpions.h.  */
1732
1733 void
1734 record_xml_tdesc (const char *xml_file, const struct target_desc *tdesc)
1735 {
1736   xml_tdesc.emplace_back (xml_file, tdesc);
1737 }
1738 #endif
1739
1740 }
1741
1742 /* Check that the target descriptions created dynamically by
1743    architecture-specific code equal the descriptions created from XML files
1744    found in the specified directory DIR.  */
1745
1746 static void
1747 maintenance_check_xml_descriptions (const char *dir, int from_tty)
1748 {
1749   if (dir == NULL)
1750     error (_("Missing dir name"));
1751
1752   gdb::unique_xmalloc_ptr<char> dir1 (tilde_expand (dir));
1753   std::string feature_dir (dir1.get ());
1754   unsigned int failed = 0;
1755
1756   for (auto const &e : selftests::xml_tdesc)
1757     {
1758       std::string tdesc_xml = (feature_dir + SLASH_STRING + e.first);
1759       const target_desc *tdesc
1760         = file_read_description_xml (tdesc_xml.data ());
1761
1762       if (tdesc == NULL || *tdesc != *e.second)
1763         failed++;
1764     }
1765   printf_filtered (_("Tested %lu XML files, %d failed\n"),
1766                    (long) selftests::xml_tdesc.size (), failed);
1767 }
1768
1769 void
1770 _initialize_target_descriptions (void)
1771 {
1772   tdesc_data = gdbarch_data_register_pre_init (tdesc_data_init);
1773
1774   add_prefix_cmd ("tdesc", class_maintenance, set_tdesc_cmd, _("\
1775 Set target description specific variables."),
1776                   &tdesc_set_cmdlist, "set tdesc ",
1777                   0 /* allow-unknown */, &setlist);
1778   add_prefix_cmd ("tdesc", class_maintenance, show_tdesc_cmd, _("\
1779 Show target description specific variables."),
1780                   &tdesc_show_cmdlist, "show tdesc ",
1781                   0 /* allow-unknown */, &showlist);
1782   add_prefix_cmd ("tdesc", class_maintenance, unset_tdesc_cmd, _("\
1783 Unset target description specific variables."),
1784                   &tdesc_unset_cmdlist, "unset tdesc ",
1785                   0 /* allow-unknown */, &unsetlist);
1786
1787   add_setshow_filename_cmd ("filename", class_obscure,
1788                             &tdesc_filename_cmd_string,
1789                             _("\
1790 Set the file to read for an XML target description"), _("\
1791 Show the file to read for an XML target description"), _("\
1792 When set, GDB will read the target description from a local\n\
1793 file instead of querying the remote target."),
1794                             set_tdesc_filename_cmd,
1795                             show_tdesc_filename_cmd,
1796                             &tdesc_set_cmdlist, &tdesc_show_cmdlist);
1797
1798   add_cmd ("filename", class_obscure, unset_tdesc_filename_cmd, _("\
1799 Unset the file to read for an XML target description.  When unset,\n\
1800 GDB will read the description from the target."),
1801            &tdesc_unset_cmdlist);
1802
1803   add_cmd ("c-tdesc", class_maintenance, maint_print_c_tdesc_cmd, _("\
1804 Print the current target description as a C source file."),
1805            &maintenanceprintlist);
1806
1807   cmd_list_element *cmd;
1808
1809   cmd = add_cmd ("xml-descriptions", class_maintenance,
1810                  maintenance_check_xml_descriptions, _("\
1811 Check the target descriptions created in GDB equal the descriptions\n\
1812 created from XML files in the directory.\n\
1813 The parameter is the directory name."),
1814                  &maintenancechecklist);
1815   set_cmd_completer (cmd, filename_completer);
1816 }
This page took 0.128524 seconds and 4 git commands to generate.