Change value::parent to a value_ref_ptr
[deliverable/binutils-gdb.git] / gdb / target-descriptions.c
index 0f47fee16e0b19c651510e04b77bbc8750afe0bf..5d34e29a867f8d39cd0451eb48cbf39614c9acba 100644 (file)
@@ -1,6 +1,6 @@
 /* Target description support for GDB.
 
-   Copyright (C) 2006-2017 Free Software Foundation, Inc.
+   Copyright (C) 2006-2018 Free Software Foundation, Inc.
 
    Contributed by CodeSourcery.
 
 #include "completer.h"
 #include "readline/tilde.h" /* tilde_expand */
 
+static type *make_gdb_type (struct gdbarch *gdbarch, struct tdesc_type *ttype);
+
 /* The interface to visit different elements of target description.  */
 
 class tdesc_element_visitor
 {
 public:
-  virtual void visit_pre (const target_desc *e) = 0;
-  virtual void visit_post (const target_desc *e) = 0;
+  virtual void visit_pre (const target_desc *e)
+  {}
 
-  virtual void visit_pre (const tdesc_feature *e) = 0;
-  virtual void visit_post (const tdesc_feature *e) = 0;
+  virtual void visit_post (const target_desc *e)
+  {}
+
+  virtual void visit_pre (const tdesc_feature *e)
+  {}
+
+  virtual void visit_post (const tdesc_feature *e)
+  {}
+
+  virtual void visit (const tdesc_type_builtin *e)
+  {}
 
-  virtual void visit (const tdesc_type *e) = 0;
-  virtual void visit (const tdesc_reg *e) = 0;
+  virtual void visit (const tdesc_type_vector *e)
+  {}
+
+  virtual void visit (const tdesc_type_with_fields *e)
+  {}
+
+  virtual void visit (const tdesc_reg *e)
+  {}
 };
 
 class tdesc_element
@@ -108,12 +125,11 @@ struct tdesc_reg : tdesc_element
   int save_restore;
 
   /* The name of the register group containing this register, or empty
-     if the group should be automatically determined from the
-     register's type.  If this is "general", "float", or "vector", the
-     corresponding "info" command should display this register's
-     value.  It can be an arbitrary string, but should be limited to
-     alphanumeric characters and internal hyphens.  Currently other
-     strings are ignored (treated as empty).  */
+     if the group should be automatically determined from the register's
+     type.  This is traditionally "general", "float", "vector" but can
+     also be an arbitrary string.  If defined the corresponding "info"
+     command should display this register's value.  The string should be
+     limited to alphanumeric characters and internal hyphens.  */
   std::string group;
 
   /* The size of the register, in bits.  */
@@ -200,38 +216,9 @@ struct tdesc_type : tdesc_element
 {
   tdesc_type (const std::string &name_, enum tdesc_type_kind kind_)
     : name (name_), kind (kind_)
-  {
-    memset (&u, 0, sizeof (u));
-
-    switch (kind)
-      {
-      case TDESC_TYPE_STRUCT:
-      case TDESC_TYPE_UNION:
-      case TDESC_TYPE_FLAGS:
-      case TDESC_TYPE_ENUM:
-       u.u.fields = new std::vector<tdesc_type_field> ();
-       break;
-
-      default:
-       break;
-      }
-  }
-
-  virtual ~tdesc_type ()
-  {
-    switch (kind)
-      {
-      case TDESC_TYPE_STRUCT:
-      case TDESC_TYPE_UNION:
-      case TDESC_TYPE_FLAGS:
-      case TDESC_TYPE_ENUM:
-       delete u.u.fields;
-       break;
+  {}
 
-      default:
-       break;
-      }
-  }
+  virtual ~tdesc_type () = default;
 
   DISABLE_COPY_AND_ASSIGN (tdesc_type);
 
@@ -241,41 +228,321 @@ struct tdesc_type : tdesc_element
   /* Identify the kind of this type.  */
   enum tdesc_type_kind kind;
 
-  /* Kind-specific data.  */
-  union
+  bool operator== (const tdesc_type &other) const
   {
-    /* Vector type.  */
-    struct
-    {
-      struct tdesc_type *type;
-      int count;
-    } v;
+    return name == other.name && kind == other.kind;
+  }
 
-    /* Struct, union, flags, or enum type.  */
-    struct
-    {
-      std::vector<tdesc_type_field> *fields;
-      int size;
-    } u;
-  } u;
+  bool operator!= (const tdesc_type &other) const
+  {
+    return !(*this == other);
+  }
+};
+
+typedef std::unique_ptr<tdesc_type> tdesc_type_up;
+
+struct tdesc_type_builtin : tdesc_type
+{
+  tdesc_type_builtin (const std::string &name, enum tdesc_type_kind kind)
+  : tdesc_type (name, kind)
+  {}
 
   void accept (tdesc_element_visitor &v) const override
   {
     v.visit (this);
   }
+};
 
-  bool operator== (const tdesc_type &other) const
+/* tdesc_type for vector types.  */
+
+struct tdesc_type_vector : tdesc_type
+{
+  tdesc_type_vector (const std::string &name, tdesc_type *element_type_, int count_)
+  : tdesc_type (name, TDESC_TYPE_VECTOR),
+    element_type (element_type_), count (count_)
+  {}
+
+  void accept (tdesc_element_visitor &v) const override
   {
-    return name == other.name && kind == other.kind;
+    v.visit (this);
   }
 
-  bool operator!= (const tdesc_type &other) const
+  struct tdesc_type *element_type;
+  int count;
+};
+
+/* tdesc_type for struct, union, flags, and enum types.  */
+
+struct tdesc_type_with_fields : tdesc_type
+{
+  tdesc_type_with_fields (const std::string &name, tdesc_type_kind kind,
+                         int size_ = 0)
+  : tdesc_type (name, kind), size (size_)
+  {}
+
+  void accept (tdesc_element_visitor &v) const override
   {
-    return !(*this == other);
+    v.visit (this);
   }
+
+  std::vector<tdesc_type_field> fields;
+  int size;
 };
 
-typedef std::unique_ptr<tdesc_type> tdesc_type_up;
+/* Convert a tdesc_type to a gdb type.  */
+
+static type *
+make_gdb_type (struct gdbarch *gdbarch, struct tdesc_type *ttype)
+{
+  class gdb_type_creator : public tdesc_element_visitor
+  {
+  public:
+    gdb_type_creator (struct gdbarch *gdbarch)
+      : m_gdbarch (gdbarch)
+    {}
+
+    type *get_type ()
+    {
+      return m_type;
+    }
+
+    void visit (const tdesc_type_builtin *e) override
+    {
+      switch (e->kind)
+       {
+         /* Predefined types.  */
+       case TDESC_TYPE_BOOL:
+         m_type = builtin_type (m_gdbarch)->builtin_bool;
+         return;
+       case TDESC_TYPE_INT8:
+         m_type = builtin_type (m_gdbarch)->builtin_int8;
+         return;
+       case TDESC_TYPE_INT16:
+         m_type = builtin_type (m_gdbarch)->builtin_int16;
+         return;
+       case TDESC_TYPE_INT32:
+         m_type = builtin_type (m_gdbarch)->builtin_int32;
+         return;
+       case TDESC_TYPE_INT64:
+         m_type = builtin_type (m_gdbarch)->builtin_int64;
+         return;
+       case TDESC_TYPE_INT128:
+         m_type = builtin_type (m_gdbarch)->builtin_int128;
+         return;
+       case TDESC_TYPE_UINT8:
+         m_type = builtin_type (m_gdbarch)->builtin_uint8;
+         return;
+       case TDESC_TYPE_UINT16:
+         m_type = builtin_type (m_gdbarch)->builtin_uint16;
+         return;
+       case TDESC_TYPE_UINT32:
+         m_type = builtin_type (m_gdbarch)->builtin_uint32;
+         return;
+       case TDESC_TYPE_UINT64:
+         m_type = builtin_type (m_gdbarch)->builtin_uint64;
+         return;
+       case TDESC_TYPE_UINT128:
+         m_type = builtin_type (m_gdbarch)->builtin_uint128;
+         return;
+       case TDESC_TYPE_CODE_PTR:
+         m_type = builtin_type (m_gdbarch)->builtin_func_ptr;
+         return;
+       case TDESC_TYPE_DATA_PTR:
+         m_type = builtin_type (m_gdbarch)->builtin_data_ptr;
+         return;
+       }
+
+      m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
+      if (m_type != NULL)
+       return;
+
+      switch (e->kind)
+       {
+       case TDESC_TYPE_IEEE_SINGLE:
+         m_type = arch_float_type (m_gdbarch, -1, "builtin_type_ieee_single",
+                                   floatformats_ieee_single);
+         return;
+
+       case TDESC_TYPE_IEEE_DOUBLE:
+         m_type = arch_float_type (m_gdbarch, -1, "builtin_type_ieee_double",
+                                   floatformats_ieee_double);
+         return;
+       case TDESC_TYPE_ARM_FPA_EXT:
+         m_type = arch_float_type (m_gdbarch, -1, "builtin_type_arm_ext",
+                                   floatformats_arm_ext);
+         return;
+
+       case TDESC_TYPE_I387_EXT:
+         m_type = arch_float_type (m_gdbarch, -1, "builtin_type_i387_ext",
+                                   floatformats_i387_ext);
+         return;
+       }
+
+      internal_error (__FILE__, __LINE__,
+                     "Type \"%s\" has an unknown kind %d",
+                     e->name.c_str (), e->kind);
+    }
+
+    void visit (const tdesc_type_vector *e) override
+    {
+      m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
+      if (m_type != NULL)
+       return;
+
+      type *element_gdb_type = make_gdb_type (m_gdbarch, e->element_type);
+      m_type = init_vector_type (element_gdb_type, e->count);
+      TYPE_NAME (m_type) = xstrdup (e->name.c_str ());
+      return;
+    }
+
+    void visit (const tdesc_type_with_fields *e) override
+    {
+      m_type = tdesc_find_type (m_gdbarch, e->name.c_str ());
+      if (m_type != NULL)
+       return;
+
+      switch (e->kind)
+       {
+       case TDESC_TYPE_STRUCT:
+         make_gdb_type_struct (e);
+         return;
+       case TDESC_TYPE_UNION:
+         make_gdb_type_union (e);
+         return;
+       case TDESC_TYPE_FLAGS:
+         make_gdb_type_flags (e);
+         return;
+       case TDESC_TYPE_ENUM:
+         make_gdb_type_enum (e);
+         return;
+       }
+
+      internal_error (__FILE__, __LINE__,
+                     "Type \"%s\" has an unknown kind %d",
+                     e->name.c_str (), e->kind);
+    }
+
+  private:
+
+    void make_gdb_type_struct (const tdesc_type_with_fields *e)
+    {
+      m_type = arch_composite_type (m_gdbarch, NULL, TYPE_CODE_STRUCT);
+      TYPE_NAME (m_type) = xstrdup (e->name.c_str ());
+      TYPE_TAG_NAME (m_type) = TYPE_NAME (m_type);
+
+      for (const tdesc_type_field &f : e->fields)
+       {
+         if (f.start != -1 && f.end != -1)
+           {
+             /* Bitfield.  */
+             struct field *fld;
+             struct type *field_gdb_type;
+             int bitsize, total_size;
+
+             /* This invariant should be preserved while creating types.  */
+             gdb_assert (e->size != 0);
+             if (f.type != NULL)
+               field_gdb_type = make_gdb_type (m_gdbarch, f.type);
+             else if (e->size > 4)
+               field_gdb_type = builtin_type (m_gdbarch)->builtin_uint64;
+             else
+               field_gdb_type = builtin_type (m_gdbarch)->builtin_uint32;
+
+             fld = append_composite_type_field_raw
+                     (m_type, xstrdup (f.name.c_str ()), field_gdb_type);
+
+             /* For little-endian, BITPOS counts from the LSB of
+                the structure and marks the LSB of the field.  For
+                big-endian, BITPOS counts from the MSB of the
+                structure and marks the MSB of the field.  Either
+                way, it is the number of bits to the "left" of the
+                field.  To calculate this in big-endian, we need
+                the total size of the structure.  */
+             bitsize = f.end - f.start + 1;
+             total_size = e->size * TARGET_CHAR_BIT;
+             if (gdbarch_bits_big_endian (m_gdbarch))
+               SET_FIELD_BITPOS (fld[0], total_size - f.start - bitsize);
+             else
+               SET_FIELD_BITPOS (fld[0], f.start);
+             FIELD_BITSIZE (fld[0]) = bitsize;
+           }
+         else
+           {
+             gdb_assert (f.start == -1 && f.end == -1);
+             type *field_gdb_type = make_gdb_type (m_gdbarch, f.type);
+             append_composite_type_field (m_type,
+                                          xstrdup (f.name.c_str ()),
+                                          field_gdb_type);
+           }
+       }
+
+      if (e->size != 0)
+       TYPE_LENGTH (m_type) = e->size;
+    }
+
+    void make_gdb_type_union (const tdesc_type_with_fields *e)
+    {
+      m_type = arch_composite_type (m_gdbarch, NULL, TYPE_CODE_UNION);
+      TYPE_NAME (m_type) = xstrdup (e->name.c_str ());
+
+      for (const tdesc_type_field &f : e->fields)
+       {
+         type* field_gdb_type = make_gdb_type (m_gdbarch, f.type);
+         append_composite_type_field (m_type, xstrdup (f.name.c_str ()),
+                                      field_gdb_type);
+
+         /* If any of the children of a union are vectors, flag the
+            union as a vector also.  This allows e.g. a union of two
+            vector types to show up automatically in "info vector".  */
+         if (TYPE_VECTOR (field_gdb_type))
+           TYPE_VECTOR (m_type) = 1;
+       }
+    }
+
+    void make_gdb_type_flags (const tdesc_type_with_fields *e)
+    {
+      m_type = arch_flags_type (m_gdbarch, e->name.c_str (),
+                               e->size * TARGET_CHAR_BIT);
+
+      for (const tdesc_type_field &f : e->fields)
+       {
+         int bitsize = f.end - f.start + 1;
+
+         gdb_assert (f.type != NULL);
+         type *field_gdb_type = make_gdb_type (m_gdbarch, f.type);
+         append_flags_type_field (m_type, f.start, bitsize,
+                                  field_gdb_type, f.name.c_str ());
+       }
+    }
+
+    void make_gdb_type_enum (const tdesc_type_with_fields *e)
+    {
+      m_type = arch_type (m_gdbarch, TYPE_CODE_ENUM, e->size * TARGET_CHAR_BIT,
+                         e->name.c_str ());
+
+      TYPE_UNSIGNED (m_type) = 1;
+      for (const tdesc_type_field &f : e->fields)
+       {
+         struct field *fld
+           = append_composite_type_field_raw (m_type,
+                                              xstrdup (f.name.c_str ()),
+                                              NULL);
+
+         SET_FIELD_BITPOS (fld[0], f.start);
+       }
+    }
+
+    /* The gdbarch used.  */
+    struct gdbarch *m_gdbarch;
+
+    /* The type created.  */
+    type *m_type;
+  };
+
+  gdb_type_creator gdb_type (gdbarch);
+  ttype->accept (gdb_type);
+  return gdb_type.get_type ();
+}
 
 /* A feature from a target description.  Each feature is a collection
    of other elements, e.g. registers and types.  */
@@ -295,7 +562,7 @@ struct tdesc_feature : tdesc_element
   std::string name;
 
   /* The registers associated with this feature.  */
-  std::vector<std::unique_ptr<tdesc_reg>> registers;
+  std::vector<tdesc_reg_up> registers;
 
   /* The types associated with this feature.  */
   std::vector<tdesc_type_up> types;
@@ -379,7 +646,7 @@ struct target_desc : tdesc_element
   std::vector<property> properties;
 
   /* The features associated with this target.  */
-  std::vector<std::unique_ptr<tdesc_feature>> features;
+  std::vector<tdesc_feature_up> features;
 
   void accept (tdesc_element_visitor &v) const override
   {
@@ -725,7 +992,7 @@ tdesc_feature_name (const struct tdesc_feature *feature)
 }
 
 /* Predefined types.  */
-static struct tdesc_type tdesc_predefined_types[] =
+static tdesc_type_builtin tdesc_predefined_types[] =
 {
   { "bool", TDESC_TYPE_BOOL },
   { "int8", TDESC_TYPE_INT8 },
@@ -758,7 +1025,7 @@ tdesc_predefined_type (enum tdesc_type_kind kind)
   gdb_assert_not_reached ("bad predefined tdesc type");
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 struct tdesc_type *
 tdesc_named_type (const struct tdesc_feature *feature, const char *id)
@@ -796,218 +1063,6 @@ tdesc_find_type (struct gdbarch *gdbarch, const char *id)
   return NULL;
 }
 
-/* Construct, if necessary, and return the GDB type implementing target
-   type TDESC_TYPE for architecture GDBARCH.  */
-
-static struct type *
-tdesc_gdb_type (struct gdbarch *gdbarch, struct tdesc_type *tdesc_type)
-{
-  struct type *type;
-
-  switch (tdesc_type->kind)
-    {
-    /* Predefined types.  */
-    case TDESC_TYPE_BOOL:
-      return builtin_type (gdbarch)->builtin_bool;
-
-    case TDESC_TYPE_INT8:
-      return builtin_type (gdbarch)->builtin_int8;
-
-    case TDESC_TYPE_INT16:
-      return builtin_type (gdbarch)->builtin_int16;
-
-    case TDESC_TYPE_INT32:
-      return builtin_type (gdbarch)->builtin_int32;
-
-    case TDESC_TYPE_INT64:
-      return builtin_type (gdbarch)->builtin_int64;
-
-    case TDESC_TYPE_INT128:
-      return builtin_type (gdbarch)->builtin_int128;
-
-    case TDESC_TYPE_UINT8:
-      return builtin_type (gdbarch)->builtin_uint8;
-
-    case TDESC_TYPE_UINT16:
-      return builtin_type (gdbarch)->builtin_uint16;
-
-    case TDESC_TYPE_UINT32:
-      return builtin_type (gdbarch)->builtin_uint32;
-
-    case TDESC_TYPE_UINT64:
-      return builtin_type (gdbarch)->builtin_uint64;
-
-    case TDESC_TYPE_UINT128:
-      return builtin_type (gdbarch)->builtin_uint128;
-
-    case TDESC_TYPE_CODE_PTR:
-      return builtin_type (gdbarch)->builtin_func_ptr;
-
-    case TDESC_TYPE_DATA_PTR:
-      return builtin_type (gdbarch)->builtin_data_ptr;
-
-    default:
-      break;
-    }
-
-  type = tdesc_find_type (gdbarch, tdesc_type->name.c_str ());
-  if (type)
-    return type;
-
-  switch (tdesc_type->kind)
-    {
-    case TDESC_TYPE_IEEE_SINGLE:
-      return arch_float_type (gdbarch, -1, "builtin_type_ieee_single",
-                             floatformats_ieee_single);
-
-    case TDESC_TYPE_IEEE_DOUBLE:
-      return arch_float_type (gdbarch, -1, "builtin_type_ieee_double",
-                             floatformats_ieee_double);
-
-    case TDESC_TYPE_ARM_FPA_EXT:
-      return arch_float_type (gdbarch, -1, "builtin_type_arm_ext",
-                             floatformats_arm_ext);
-
-    case TDESC_TYPE_I387_EXT:
-      return arch_float_type (gdbarch, -1, "builtin_type_i387_ext",
-                             floatformats_i387_ext);
-
-    /* Types defined by a target feature.  */
-    case TDESC_TYPE_VECTOR:
-      {
-       struct type *type, *field_type;
-
-       field_type = tdesc_gdb_type (gdbarch, tdesc_type->u.v.type);
-       type = init_vector_type (field_type, tdesc_type->u.v.count);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name.c_str ());
-
-       return type;
-      }
-
-    case TDESC_TYPE_STRUCT:
-      {
-       struct type *type, *field_type;
-
-       type = arch_composite_type (gdbarch, NULL, TYPE_CODE_STRUCT);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name.c_str ());
-       TYPE_TAG_NAME (type) = TYPE_NAME (type);
-
-       for (const tdesc_type_field &f : *tdesc_type->u.u.fields)
-         {
-           if (f.start != -1 && f.end != -1)
-             {
-               /* Bitfield.  */
-               struct field *fld;
-               struct type *field_type;
-               int bitsize, total_size;
-
-               /* This invariant should be preserved while creating types.  */
-               gdb_assert (tdesc_type->u.u.size != 0);
-               if (f.type != NULL)
-                 field_type = tdesc_gdb_type (gdbarch, f.type);
-               else if (tdesc_type->u.u.size > 4)
-                 field_type = builtin_type (gdbarch)->builtin_uint64;
-               else
-                 field_type = builtin_type (gdbarch)->builtin_uint32;
-
-               fld = append_composite_type_field_raw
-                 (type, xstrdup (f.name.c_str ()), field_type);
-
-               /* For little-endian, BITPOS counts from the LSB of
-                  the structure and marks the LSB of the field.  For
-                  big-endian, BITPOS counts from the MSB of the
-                  structure and marks the MSB of the field.  Either
-                  way, it is the number of bits to the "left" of the
-                  field.  To calculate this in big-endian, we need
-                  the total size of the structure.  */
-               bitsize = f.end - f.start + 1;
-               total_size = tdesc_type->u.u.size * TARGET_CHAR_BIT;
-               if (gdbarch_bits_big_endian (gdbarch))
-                 SET_FIELD_BITPOS (fld[0], total_size - f.start - bitsize);
-               else
-                 SET_FIELD_BITPOS (fld[0], f.start);
-               FIELD_BITSIZE (fld[0]) = bitsize;
-             }
-           else
-             {
-               gdb_assert (f.start == -1 && f.end == -1);
-               field_type = tdesc_gdb_type (gdbarch, f.type);
-               append_composite_type_field (type, xstrdup (f.name.c_str ()),
-                                            field_type);
-             }
-         }
-
-       if (tdesc_type->u.u.size != 0)
-         TYPE_LENGTH (type) = tdesc_type->u.u.size;
-       return type;
-      }
-
-    case TDESC_TYPE_UNION:
-      {
-       struct type *type, *field_type;
-
-       type = arch_composite_type (gdbarch, NULL, TYPE_CODE_UNION);
-       TYPE_NAME (type) = xstrdup (tdesc_type->name.c_str ());
-
-       for (const tdesc_type_field &f : *tdesc_type->u.u.fields)
-         {
-           field_type = tdesc_gdb_type (gdbarch, f.type);
-           append_composite_type_field (type, xstrdup (f.name.c_str ()),
-                                        field_type);
-
-           /* If any of the children of a union are vectors, flag the
-              union as a vector also.  This allows e.g. a union of two
-              vector types to show up automatically in "info vector".  */
-           if (TYPE_VECTOR (field_type))
-             TYPE_VECTOR (type) = 1;
-         }
-       return type;
-      }
-
-    case TDESC_TYPE_FLAGS:
-      {
-       type = arch_flags_type (gdbarch, tdesc_type->name.c_str (),
-                               tdesc_type->u.u.size * TARGET_CHAR_BIT);
-       for (const tdesc_type_field &f : *tdesc_type->u.u.fields)
-         {
-           struct type *field_type;
-           int bitsize = f.end - f.start + 1;
-
-           gdb_assert (f.type != NULL);
-           field_type = tdesc_gdb_type (gdbarch, f.type);
-           append_flags_type_field (type, f.start, bitsize,
-                                    field_type, f.name.c_str ());
-         }
-
-       return type;
-      }
-
-    case TDESC_TYPE_ENUM:
-      {
-       type = arch_type (gdbarch, TYPE_CODE_ENUM,
-                         tdesc_type->u.u.size * TARGET_CHAR_BIT,
-                         tdesc_type->name.c_str ());
-       TYPE_UNSIGNED (type) = 1;
-       for (const tdesc_type_field &f : *tdesc_type->u.u.fields)
-         {
-           struct field *fld
-             = append_composite_type_field_raw (type,
-                                                xstrdup (f.name.c_str ()),
-                                                NULL);
-
-           SET_FIELD_BITPOS (fld[0], f.start);
-         }
-
-       return type;
-      }
-    }
-
-  internal_error (__FILE__, __LINE__,
-                 "Type \"%s\" has an unknown kind %d",
-                 tdesc_type->name.c_str (), tdesc_type->kind);
-}
-\f
-
 /* Support for registers from target descriptions.  */
 
 /* Construct the per-gdbarch data.  */
@@ -1195,7 +1250,7 @@ tdesc_register_type (struct gdbarch *gdbarch, int regno)
     {
       /* First check for a predefined or target defined type.  */
       if (reg->tdesc_type)
-        arch_reg->type = tdesc_gdb_type (gdbarch, reg->tdesc_type);
+       arch_reg->type = make_gdb_type (gdbarch, reg->tdesc_type);
 
       /* Next try size-sensitive type shortcuts.  */
       else if (reg->type == "float")
@@ -1257,17 +1312,13 @@ tdesc_remote_register_number (struct gdbarch *gdbarch, int regno)
 }
 
 /* Check whether REGNUM is a member of REGGROUP.  Registers from the
-   target description may be classified as general, float, or vector.
-   Unlike a gdbarch register_reggroup_p method, this function will
-   return -1 if it does not know; the caller should handle registers
-   with no specified group.
-
-   Arbitrary strings (other than "general", "float", and "vector")
-   from the description are not used; they cause the register to be
-   displayed in "info all-registers" but excluded from "info
-   registers" et al.  The names of containing features are also not
-   used.  This might be extended to display registers in some more
-   useful groupings.
+   target description may be classified as general, float, vector or other
+   register groups registered with reggroup_add().  Unlike a gdbarch
+   register_reggroup_p method, this function will return -1 if it does not
+   know; the caller should handle registers with no specified group.
+
+   The names of containing features are not used.  This might be extended
+   to display registers in some more useful groupings.
 
    The save-restore flag is also implemented here.  */
 
@@ -1277,26 +1328,9 @@ tdesc_register_in_reggroup_p (struct gdbarch *gdbarch, int regno,
 {
   struct tdesc_reg *reg = tdesc_find_register (gdbarch, regno);
 
-  if (reg != NULL && !reg->group.empty ())
-    {
-      int general_p = 0, float_p = 0, vector_p = 0;
-
-      if (reg->group == "general")
-       general_p = 1;
-      else if (reg->group == "float")
-       float_p = 1;
-      else if (reg->group == "vector")
-       vector_p = 1;
-
-      if (reggroup == float_reggroup)
-       return float_p;
-
-      if (reggroup == vector_reggroup)
-       return vector_p;
-
-      if (reggroup == general_reggroup)
-       return general_p;
-    }
+  if (reg != NULL && !reg->group.empty ()
+      && (reg->group == reggroup_name (reggroup)))
+       return 1;
 
   if (reg != NULL
       && (reggroup == save_reggroup || reggroup == restore_reggroup))
@@ -1399,6 +1433,12 @@ tdesc_use_registers (struct gdbarch *gdbarch,
        void **slot = htab_find_slot (reg_hash, reg.get (), INSERT);
 
        *slot = reg.get ();
+       /* Add reggroup if its new.  */
+       if (!reg->group.empty ())
+         if (reggroup_find (gdbarch, reg->group.c_str ()) == NULL)
+           reggroup_add (gdbarch, reggroup_gdbarch_new (gdbarch,
+                                                        reg->group.c_str (),
+                                                        USER_REGGROUP));
       }
 
   /* Remove any registers which were assigned numbers by the
@@ -1436,7 +1476,7 @@ tdesc_use_registers (struct gdbarch *gdbarch,
 }
 \f
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
 tdesc_create_reg (struct tdesc_feature *feature, const char *name,
@@ -1449,87 +1489,84 @@ tdesc_create_reg (struct tdesc_feature *feature, const char *name,
   feature->registers.emplace_back (reg);
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 struct tdesc_type *
 tdesc_create_vector (struct tdesc_feature *feature, const char *name,
                     struct tdesc_type *field_type, int count)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_VECTOR);
-
-  type->u.v.type = field_type;
-  type->u.v.count = count;
-
+  tdesc_type_vector *type = new tdesc_type_vector (name, field_type, count);
   feature->types.emplace_back (type);
+
   return type;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_struct (struct tdesc_feature *feature, const char *name)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_STRUCT);
-
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_STRUCT);
   feature->types.emplace_back (type);
+
   return type;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
-tdesc_set_struct_size (struct tdesc_type *type, int size)
+tdesc_set_struct_size (tdesc_type_with_fields *type, int size)
 {
   gdb_assert (type->kind == TDESC_TYPE_STRUCT);
   gdb_assert (size > 0);
-  type->u.u.size = size;
+  type->size = size;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_union (struct tdesc_feature *feature, const char *name)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_UNION);
-
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_UNION);
   feature->types.emplace_back (type);
+
   return type;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_flags (struct tdesc_feature *feature, const char *name,
                    int size)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_FLAGS);
-
   gdb_assert (size > 0);
 
-  type->u.u.size = size;
-
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_FLAGS, size);
   feature->types.emplace_back (type);
+
   return type;
 }
 
-struct tdesc_type *
+tdesc_type_with_fields *
 tdesc_create_enum (struct tdesc_feature *feature, const char *name,
                   int size)
 {
-  struct tdesc_type *type = new tdesc_type (name, TDESC_TYPE_ENUM);
-
   gdb_assert (size > 0);
 
-  type->u.u.size = size;
-
+  tdesc_type_with_fields *type
+    = new tdesc_type_with_fields (name, TDESC_TYPE_ENUM, size);
   feature->types.emplace_back (type);
+
   return type;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
-tdesc_add_field (struct tdesc_type *type, const char *field_name,
+tdesc_add_field (tdesc_type_with_fields *type, const char *field_name,
                 struct tdesc_type *field_type)
 {
   gdb_assert (type->kind == TDESC_TYPE_UNION
@@ -1537,31 +1574,31 @@ tdesc_add_field (struct tdesc_type *type, const char *field_name,
 
   /* Initialize start and end so we know this is not a bit-field
      when we print-c-tdesc.  */
-  type->u.u.fields->emplace_back (field_name, field_type, -1, -1);
+  type->fields.emplace_back (field_name, field_type, -1, -1);
 }
 
 void
-tdesc_add_typed_bitfield (struct tdesc_type *type, const char *field_name,
+tdesc_add_typed_bitfield (tdesc_type_with_fields *type, const char *field_name,
                          int start, int end, struct tdesc_type *field_type)
 {
   gdb_assert (type->kind == TDESC_TYPE_STRUCT
              || type->kind == TDESC_TYPE_FLAGS);
   gdb_assert (start >= 0 && end >= start);
 
-  type->u.u.fields->emplace_back (field_name, field_type, start, end);
+  type->fields.emplace_back (field_name, field_type, start, end);
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
-tdesc_add_bitfield (struct tdesc_type *type, const char *field_name,
+tdesc_add_bitfield (tdesc_type_with_fields *type, const char *field_name,
                    int start, int end)
 {
   struct tdesc_type *field_type;
 
   gdb_assert (start >= 0 && end >= start);
 
-  if (type->u.u.size > 4)
+  if (type->size > 4)
     field_type = tdesc_predefined_type (TDESC_TYPE_UINT64);
   else
     field_type = tdesc_predefined_type (TDESC_TYPE_UINT32);
@@ -1569,32 +1606,31 @@ tdesc_add_bitfield (struct tdesc_type *type, const char *field_name,
   tdesc_add_typed_bitfield (type, field_name, start, end, field_type);
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
-tdesc_add_flag (struct tdesc_type *type, int start,
+tdesc_add_flag (tdesc_type_with_fields *type, int start,
                const char *flag_name)
 {
   gdb_assert (type->kind == TDESC_TYPE_FLAGS
              || type->kind == TDESC_TYPE_STRUCT);
 
-  type->u.u.fields->emplace_back (flag_name,
-                                  tdesc_predefined_type (TDESC_TYPE_BOOL),
-                                  start, start);
+  type->fields.emplace_back (flag_name,
+                            tdesc_predefined_type (TDESC_TYPE_BOOL),
+                            start, start);
 }
 
 void
-tdesc_add_enum_value (struct tdesc_type *type, int value,
+tdesc_add_enum_value (tdesc_type_with_fields *type, int value,
                      const char *name)
 {
   gdb_assert (type->kind == TDESC_TYPE_ENUM);
-
-  type->u.u.fields->emplace_back (name,
-                                  tdesc_predefined_type (TDESC_TYPE_INT32),
-                                  value, -1);
+  type->fields.emplace_back (name,
+                            tdesc_predefined_type (TDESC_TYPE_INT32),
+                            value, -1);
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 struct tdesc_feature *
 tdesc_create_feature (struct target_desc *tdesc, const char *name,
@@ -1660,7 +1696,7 @@ set_tdesc_property (struct target_desc *target_desc,
   target_desc->properties.emplace_back (key, value);
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
 set_tdesc_architecture (struct target_desc *target_desc,
@@ -1676,7 +1712,7 @@ set_tdesc_architecture (struct target_desc *target_desc,
   target_desc->arch = arch;
 }
 
-/* See arch/tdesc.h.  */
+/* See common/tdesc.h.  */
 
 void
 set_tdesc_osabi (struct target_desc *target_desc, const char *name)
@@ -1815,7 +1851,7 @@ public:
        printf_unfiltered ("\n");
       }
 
-    for (const struct bfd_arch_info *compatible : e->compatible)
+    for (const bfd_arch_info_type *compatible : e->compatible)
       printf_unfiltered
        ("  tdesc_add_compatible (result, bfd_scan_arch (\"%s\"));\n",
         compatible->printable_name);
@@ -1845,57 +1881,57 @@ public:
     printf_unfiltered ("}\n");
   }
 
-  void visit (const tdesc_type *type) override
+  void visit (const tdesc_type_builtin *type) override
   {
-    /* Now we do some "filtering" in order to know which variables to
-       declare.  This is needed because otherwise we would declare unused
-       variables `field_type' and `type'.  */
-    if (!m_printed_field_type)
+    error (_("C output is not supported type \"%s\"."), type->name.c_str ());
+  }
+
+  void visit (const tdesc_type_vector *type) override
+  {
+    if (!m_printed_element_type)
       {
-       printf_unfiltered ("  struct tdesc_type *field_type;\n");
-       m_printed_field_type = true;
+       printf_unfiltered ("  tdesc_type *element_type;\n");
+       m_printed_element_type = true;
       }
 
-    if ((type->kind == TDESC_TYPE_UNION
-        || type->kind == TDESC_TYPE_STRUCT
-        || type->kind == TDESC_TYPE_FLAGS
-        || type->kind == TDESC_TYPE_ENUM)
-       && !type->u.u.fields->empty ()
-       && !m_printed_type)
+    printf_unfiltered
+      ("  element_type = tdesc_named_type (feature, \"%s\");\n",
+       type->element_type->name.c_str ());
+    printf_unfiltered
+      ("  tdesc_create_vector (feature, \"%s\", element_type, %d);\n",
+       type->name.c_str (), type->count);
+
+    printf_unfiltered ("\n");
+  }
+
+  void visit (const tdesc_type_with_fields *type) override
+  {
+    if (!m_printed_type_with_fields)
       {
-       printf_unfiltered ("  struct tdesc_type *type;\n");
-       m_printed_type = true;
+       printf_unfiltered ("  tdesc_type_with_fields *type_with_fields;\n");
+       m_printed_type_with_fields = true;
       }
 
     switch (type->kind)
       {
-      case TDESC_TYPE_VECTOR:
-       printf_unfiltered
-         ("  field_type = tdesc_named_type (feature, \"%s\");\n",
-          type->u.v.type->name.c_str ());
-       printf_unfiltered
-         ("  tdesc_create_vector (feature, \"%s\", field_type, %d);\n",
-          type->name.c_str (), type->u.v.count);
-       break;
       case TDESC_TYPE_STRUCT:
       case TDESC_TYPE_FLAGS:
        if (type->kind == TDESC_TYPE_STRUCT)
          {
            printf_unfiltered
-             ("  type = tdesc_create_struct (feature, \"%s\");\n",
+             ("  type_with_fields = tdesc_create_struct (feature, \"%s\");\n",
               type->name.c_str ());
-           if (type->u.u.size != 0)
+           if (type->size != 0)
              printf_unfiltered
-               ("  tdesc_set_struct_size (type, %d);\n",
-                type->u.u.size);
+               ("  tdesc_set_struct_size (type_with_fields, %d);\n", type->size);
          }
        else
          {
            printf_unfiltered
-             ("  type = tdesc_create_flags (feature, \"%s\", %d);\n",
-              type->name.c_str (), type->u.u.size);
+             ("  type_with_fields = tdesc_create_flags (feature, \"%s\", %d);\n",
+              type->name.c_str (), type->size);
          }
-       for (const tdesc_type_field &f : *type->u.u.fields)
+       for (const tdesc_type_field &f : type->fields)
          {
            const char *type_name;
 
@@ -1911,26 +1947,24 @@ public:
                  {
                    gdb_assert (f.start == f.end);
                    printf_unfiltered
-                     ("  tdesc_add_flag (type, %d, \"%s\");\n",
+                     ("  tdesc_add_flag (type_with_fields, %d, \"%s\");\n",
                       f.start, f.name.c_str ());
                  }
-               else if ((type->u.u.size == 4
-                         && f.type->kind == TDESC_TYPE_UINT32)
-                        || (type->u.u.size == 8
+               else if ((type->size == 4 && f.type->kind == TDESC_TYPE_UINT32)
+                        || (type->size == 8
                             && f.type->kind == TDESC_TYPE_UINT64))
                  {
                    printf_unfiltered
-                     ("  tdesc_add_bitfield (type, \"%s\", %d, %d);\n",
+                     ("  tdesc_add_bitfield (type_with_fields, \"%s\", %d, %d);\n",
                       f.name.c_str (), f.start, f.end);
                  }
                else
                  {
-                   printf_unfiltered
-                     ("  field_type = tdesc_named_type (feature,"
-                      " \"%s\");\n",
+                   printf_field_type_assignment
+                     ("tdesc_named_type (feature, \"%s\");\n",
                       type_name);
                    printf_unfiltered
-                     ("  tdesc_add_typed_bitfield (type, \"%s\","
+                     ("  tdesc_add_typed_bitfield (type_with_fields, \"%s\","
                       " %d, %d, field_type);\n",
                       f.name.c_str (), f.start, f.end);
                  }
@@ -1939,42 +1973,40 @@ public:
              {
                gdb_assert (f.end == -1);
                gdb_assert (type->kind == TDESC_TYPE_STRUCT);
+               printf_field_type_assignment
+                 ("tdesc_named_type (feature, \"%s\");\n", type_name);
                printf_unfiltered
-                 ("  field_type = tdesc_named_type (feature,"
-                  " \"%s\");\n",
-                  type_name);
-               printf_unfiltered
-                 ("  tdesc_add_field (type, \"%s\", field_type);\n",
+                 ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
                   f.name.c_str ());
              }
          }
        break;
       case TDESC_TYPE_UNION:
        printf_unfiltered
-         ("  type = tdesc_create_union (feature, \"%s\");\n",
+         ("  type_with_fields = tdesc_create_union (feature, \"%s\");\n",
           type->name.c_str ());
-       for (const tdesc_type_field &f : *type->u.u.fields)
+       for (const tdesc_type_field &f : type->fields)
          {
+           printf_field_type_assignment
+             ("tdesc_named_type (feature, \"%s\");\n", f.type->name.c_str ());
            printf_unfiltered
-             ("  field_type = tdesc_named_type (feature, \"%s\");\n",
-              f.type->name.c_str ());
-           printf_unfiltered
-             ("  tdesc_add_field (type, \"%s\", field_type);\n",
+             ("  tdesc_add_field (type_with_fields, \"%s\", field_type);\n",
               f.name.c_str ());
          }
        break;
       case TDESC_TYPE_ENUM:
        printf_unfiltered
-         ("  type = tdesc_create_enum (feature, \"%s\", %d);\n",
-          type->name.c_str (), type->u.u.size);
-       for (const tdesc_type_field &f : *type->u.u.fields)
+         ("  type_with_fields = tdesc_create_enum (feature, \"%s\", %d);\n",
+          type->name.c_str (), type->size);
+       for (const tdesc_type_field &f : type->fields)
          printf_unfiltered
-           ("  tdesc_add_enum_value (type, %d, \"%s\");\n",
+           ("  tdesc_add_enum_value (type_with_fields, %d, \"%s\");\n",
             f.start, f.name.c_str ());
        break;
       default:
        error (_("C output is not supported type \"%s\"."), type->name.c_str ());
       }
+
     printf_unfiltered ("\n");
   }
 
@@ -1994,9 +2026,36 @@ protected:
   std::string m_filename_after_features;
 
 private:
+
+  /* Print an assignment to the field_type variable.  Print the declaration
+     of field_type if that has not been done yet.  */
+  ATTRIBUTE_PRINTF (2, 3)
+  void printf_field_type_assignment (const char *fmt, ...)
+  {
+    if (!m_printed_field_type)
+      {
+       printf_unfiltered ("  tdesc_type *field_type;\n");
+       m_printed_field_type = true;
+      }
+
+    printf_unfiltered ("  field_type = ");
+
+    va_list args;
+    va_start (args, fmt);
+    vprintf_unfiltered (fmt, args);
+    va_end (args);
+  }
+
   char *m_function;
+
+  /* Did we print "struct tdesc_type *element_type;" yet?  */
+  bool m_printed_element_type = false;
+
+  /* Did we print "struct tdesc_type_with_fields *element_type;" yet?  */
+  bool m_printed_type_with_fields = false;
+
+  /* Did we print "struct tdesc_type *field_type;" yet?  */
   bool m_printed_field_type = false;
-  bool m_printed_type = false;
 };
 
 /* Print target description feature in C.  */
@@ -2018,7 +2077,7 @@ public:
     printf_unfiltered ("  Original: %s */\n\n",
                       lbasename (m_filename_after_features.c_str ()));
 
-    printf_unfiltered ("#include \"arch/tdesc.h\"\n");
+    printf_unfiltered ("#include \"common/tdesc.h\"\n");
     printf_unfiltered ("\n");
   }
 
This page took 0.037887 seconds and 4 git commands to generate.