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