From: Philipp Rudo <prudo@linux.vnet.ibm.com>
To: Alan Hayward <Alan.Hayward@arm.com>
Cc: "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>,
nd <nd@arm.com>
Subject: Re: [PATCH v2 5/8] Use tdesc types in gdbserver tdesc
Date: Thu, 25 Jan 2018 13:13:00 -0000 [thread overview]
Message-ID: <20180125141259.544597d6@ThinkPad> (raw)
In-Reply-To: <771B81D3-D1C8-4D94-9713-3AD466DBA5F8@arm.com>
On Wed, 24 Jan 2018 09:29:20 +0000
Alan Hayward <Alan.Hayward@arm.com> wrote:
[...]
> Stubs of the make_gdb_type functions are added to gdbserver
> (they should never get called).
See comment in patch #6.
[...]
> diff --git a/gdb/arch/tdesc.c b/gdb/arch/tdesc.c
> index 603ccd79434e1dccd17e69ef193193e673835dd0..9518571d03d394ee7cbf78b31974818201c889cd 100644
> --- a/gdb/arch/tdesc.c
> +++ b/gdb/arch/tdesc.c
[...]
> @@ -84,6 +106,36 @@ bool tdesc_feature::operator== (const tdesc_feature &other) const
> return true;
> }
>
> +/* Lookup a predefined type. */
> +
> +static struct tdesc_type *
> +tdesc_predefined_type (enum tdesc_type_kind kind)
> +{
> + for (int ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
> + if (tdesc_predefined_types[ix].kind == kind)
> + return &tdesc_predefined_types[ix];
> +
> + gdb_assert_not_reached ("bad predefined tdesc type");
> +}
> +
> +/* See arch/tdesc.h. */
> +
> +struct tdesc_type *
> +tdesc_named_type (const struct tdesc_feature *feature, const char *id)
> +{
> + /* First try target-defined types. */
> + for (const tdesc_type_up &type : feature->types)
> + if (type->name == id)
> + return type.get ();
> +
> + /* Next try the predefined types. */
> + for (int ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
> + if (tdesc_predefined_types[ix].name == id)
> + return &tdesc_predefined_types[ix];
> +
> + return NULL;
> +}
> +
> /* See arch/tdesc.h. */
>
> void
> @@ -96,3 +148,144 @@ tdesc_create_reg (struct tdesc_feature *feature, const char *name,
>
> feature->registers.emplace_back (reg);
> }
> +
> +/* See arch/tdesc.h. */
> +
> +struct tdesc_type *
> +tdesc_create_vector (struct tdesc_feature *feature, const char *name,
> + struct tdesc_type *field_type, int count)
> +{
> + tdesc_type_vector *type = new tdesc_type_vector (name, field_type, count);
> + feature->types.emplace_back (type);
> +
> + return type;
> +}
> +
> +/* See arch/tdesc.h. */
> +
> +tdesc_type_with_fields *
> +tdesc_create_struct (struct tdesc_feature *feature, const char *name)
> +{
> + 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. */
> +
> +void
> +tdesc_set_struct_size (tdesc_type_with_fields *type, int size)
> +{
> + gdb_assert (type->kind == TDESC_TYPE_STRUCT);
> + gdb_assert (size > 0);
> + type->size = size;
> +}
> +
> +/* See arch/tdesc.h. */
> +
> +tdesc_type_with_fields *
> +tdesc_create_union (struct tdesc_feature *feature, const char *name)
> +{
> + 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. */
> +
> +tdesc_type_with_fields *
> +tdesc_create_flags (struct tdesc_feature *feature, const char *name,
> + int size)
> +{
> + gdb_assert (size > 0);
> +
> + tdesc_type_with_fields *type
> + = new tdesc_type_with_fields (name, TDESC_TYPE_FLAGS, size);
> + feature->types.emplace_back (type);
> +
> + return type;
> +}
> +
> +tdesc_type_with_fields *
> +tdesc_create_enum (struct tdesc_feature *feature, const char *name,
> + int size)
> +{
> + gdb_assert (size > 0);
> +
> + 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. */
> +
> +void
> +tdesc_add_field (tdesc_type_with_fields *type, const char *field_name,
> + struct tdesc_type *field_type)
> +{
> + gdb_assert (type->kind == TDESC_TYPE_UNION
> + || type->kind == TDESC_TYPE_STRUCT);
> +
> + /* Initialize start and end so we know this is not a bit-field
> + when we print-c-tdesc. */
> + type->fields.emplace_back (field_name, field_type, -1, -1);
> +}
> +
> +void
> +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->fields.emplace_back (field_name, field_type, start, end);
> +}
> +
> +/* See arch/tdesc.h. */
> +
> +void
> +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->size > 4)
> + field_type = tdesc_predefined_type (TDESC_TYPE_UINT64);
> + else
> + field_type = tdesc_predefined_type (TDESC_TYPE_UINT32);
> +
> + tdesc_add_typed_bitfield (type, field_name, start, end, field_type);
> +}
> +
> +/* See arch/tdesc.h. */
> +
> +void
> +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->fields.emplace_back (flag_name,
> + tdesc_predefined_type (TDESC_TYPE_BOOL),
> + start, start);
> +}
> +
> +void
> +tdesc_add_enum_value (tdesc_type_with_fields *type, int value,
> + const char *name)
> +{
> + gdb_assert (type->kind == TDESC_TYPE_ENUM);
> + type->fields.emplace_back (name,
> + tdesc_predefined_type (TDESC_TYPE_INT32),
> + value, -1);
> +}
> \ No newline at end of file
With tdesc_features, tdesc_type_with_fields etc. being no longer opaque and
so many functions shared many of them could be made class methods. However
that exceeds the scope of this patch set, but should be kept in mind for the
future.
Philipp
> diff --git a/gdb/gdbserver/tdesc.c b/gdb/gdbserver/tdesc.c
> index bc94d83ae58b9e79d8b71d0ce21c073f11765dd4..f0bd266a54601484df74ee1c5f8dce6fe04661c4 100644
> --- a/gdb/gdbserver/tdesc.c
> +++ b/gdb/gdbserver/tdesc.c
> @@ -197,70 +197,17 @@ tdesc_create_feature (struct target_desc *tdesc, const char *name,
> return new_feature;
> }
>
> -/* See arch/tdesc.h. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_flags (struct tdesc_feature *feature, const char *name,
> - int size)
> -{
> - return NULL;
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -void
> -tdesc_add_flag (tdesc_type_with_fields *type, int start,
> - const char *flag_name)
> -{}
> -
> -/* See arch/tdesc.h. */
> -
> -struct tdesc_type *
> -tdesc_named_type (const struct tdesc_feature *feature, const char *id)
> -{
> - return NULL;
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_union (struct tdesc_feature *feature, const char *id)
> +type *tdesc_type_builtin::make_gdb_type (struct gdbarch *gdbarch) const
> {
> - return NULL;
> + error (_("Cannot create gdbtypes."));
> }
>
> -/* See arch/tdesc.h. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_struct (struct tdesc_feature *feature, const char *id)
> -{
> - return NULL;
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -struct tdesc_type *
> -tdesc_create_vector (struct tdesc_feature *feature, const char *name,
> - struct tdesc_type *field_type, int count)
> +type *tdesc_type_vector::make_gdb_type (struct gdbarch *gdbarch) const
> {
> - return NULL;
> + error (_("Cannot create gdbtypes."));
> }
>
> -void
> -tdesc_add_bitfield (tdesc_type_with_fields *type, const char *field_name,
> - int start, int end)
> -{}
> -
> -/* See arch/tdesc.h. */
> -
> -void
> -tdesc_add_field (tdesc_type_with_fields *type, const char *field_name,
> - struct tdesc_type *field_type)
> -{}
> -
> -/* See arch/tdesc.h. */
> -
> -void
> -tdesc_set_struct_size (tdesc_type_with_fields *type, int size)
> +type *tdesc_type_with_fields::make_gdb_type (struct gdbarch *gdbarch) const
> {
> + error (_("Cannot create gdbtypes."));
> }
> diff --git a/gdb/target-descriptions.c b/gdb/target-descriptions.c
> index 8ead19efa24b3cb154c895c484e791b92ff61387..4f11120dce4092f15de99680a7c4868c4a2f4493 100644
> --- a/gdb/target-descriptions.c
> +++ b/gdb/target-descriptions.c
> @@ -50,80 +50,6 @@ struct property
> std::string value;
> };
>
> -/* A named type from a target description. */
> -
> -struct tdesc_type_field
> -{
> - tdesc_type_field (const std::string &name_, tdesc_type *type_,
> - int start_, int end_)
> - : name (name_), type (type_), start (start_), end (end_)
> - {}
> -
> - std::string name;
> - struct tdesc_type *type;
> - /* For non-enum-values, either both are -1 (non-bitfield), or both are
> - not -1 (bitfield). For enum values, start is the value (which could be
> - -1), end is -1. */
> - int start, end;
> -};
> -
> -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);
> - }
> -
> - type *make_gdb_type (struct gdbarch *gdbarch) const override;
> -};
> -
> -/* 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
> - {
> - v.visit (this);
> - }
> -
> - type *make_gdb_type (struct gdbarch *gdbarch) const override;
> -
> - 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
> - {
> - v.visit (this);
> - }
> -
> - type *make_gdb_type_struct (struct gdbarch *gdbarch) const;
> - type *make_gdb_type_union (struct gdbarch *gdbarch) const;
> - type *make_gdb_type_flags (struct gdbarch *gdbarch) const;
> - type *make_gdb_type_enum (struct gdbarch *gdbarch) const;
> - type *make_gdb_type (struct gdbarch *gdbarch) const override;
> -
> - std::vector<tdesc_type_field> fields;
> - int size;
> -};
>
> type *
> tdesc_type_builtin::make_gdb_type (struct gdbarch *gdbarch) const
> @@ -733,58 +659,6 @@ tdesc_feature_name (const struct tdesc_feature *feature)
> return feature->name.c_str ();
> }
>
> -/* Predefined types. */
> -static tdesc_type_builtin tdesc_predefined_types[] =
> -{
> - { "bool", TDESC_TYPE_BOOL },
> - { "int8", TDESC_TYPE_INT8 },
> - { "int16", TDESC_TYPE_INT16 },
> - { "int32", TDESC_TYPE_INT32 },
> - { "int64", TDESC_TYPE_INT64 },
> - { "int128", TDESC_TYPE_INT128 },
> - { "uint8", TDESC_TYPE_UINT8 },
> - { "uint16", TDESC_TYPE_UINT16 },
> - { "uint32", TDESC_TYPE_UINT32 },
> - { "uint64", TDESC_TYPE_UINT64 },
> - { "uint128", TDESC_TYPE_UINT128 },
> - { "code_ptr", TDESC_TYPE_CODE_PTR },
> - { "data_ptr", TDESC_TYPE_DATA_PTR },
> - { "ieee_single", TDESC_TYPE_IEEE_SINGLE },
> - { "ieee_double", TDESC_TYPE_IEEE_DOUBLE },
> - { "arm_fpa_ext", TDESC_TYPE_ARM_FPA_EXT },
> - { "i387_ext", TDESC_TYPE_I387_EXT }
> -};
> -
> -/* Lookup a predefined type. */
> -
> -static struct tdesc_type *
> -tdesc_predefined_type (enum tdesc_type_kind kind)
> -{
> - for (int ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
> - if (tdesc_predefined_types[ix].kind == kind)
> - return &tdesc_predefined_types[ix];
> -
> - gdb_assert_not_reached ("bad predefined tdesc type");
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -struct tdesc_type *
> -tdesc_named_type (const struct tdesc_feature *feature, const char *id)
> -{
> - /* First try target-defined types. */
> - for (const tdesc_type_up &type : feature->types)
> - if (type->name == id)
> - return type.get ();
> -
> - /* Next try the predefined types. */
> - for (int ix = 0; ix < ARRAY_SIZE (tdesc_predefined_types); ix++)
> - if (tdesc_predefined_types[ix].name == id)
> - return &tdesc_predefined_types[ix];
> -
> - return NULL;
> -}
> -
> /* Lookup type associated with ID. */
>
> struct type *
> @@ -1219,147 +1093,6 @@ tdesc_use_registers (struct gdbarch *gdbarch,
>
> /* See arch/tdesc.h. */
>
> -struct tdesc_type *
> -tdesc_create_vector (struct tdesc_feature *feature, const char *name,
> - struct tdesc_type *field_type, int count)
> -{
> - tdesc_type_vector *type = new tdesc_type_vector (name, field_type, count);
> - feature->types.emplace_back (type);
> -
> - return type;
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_struct (struct tdesc_feature *feature, const char *name)
> -{
> - 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. */
> -
> -void
> -tdesc_set_struct_size (tdesc_type_with_fields *type, int size)
> -{
> - gdb_assert (type->kind == TDESC_TYPE_STRUCT);
> - gdb_assert (size > 0);
> - type->size = size;
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_union (struct tdesc_feature *feature, const char *name)
> -{
> - 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. */
> -
> -tdesc_type_with_fields *
> -tdesc_create_flags (struct tdesc_feature *feature, const char *name,
> - int size)
> -{
> - gdb_assert (size > 0);
> -
> - tdesc_type_with_fields *type
> - = new tdesc_type_with_fields (name, TDESC_TYPE_FLAGS, size);
> - feature->types.emplace_back (type);
> -
> - return type;
> -}
> -
> -tdesc_type_with_fields *
> -tdesc_create_enum (struct tdesc_feature *feature, const char *name,
> - int size)
> -{
> - gdb_assert (size > 0);
> -
> - 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. */
> -
> -void
> -tdesc_add_field (tdesc_type_with_fields *type, const char *field_name,
> - struct tdesc_type *field_type)
> -{
> - gdb_assert (type->kind == TDESC_TYPE_UNION
> - || type->kind == TDESC_TYPE_STRUCT);
> -
> - /* Initialize start and end so we know this is not a bit-field
> - when we print-c-tdesc. */
> - type->fields.emplace_back (field_name, field_type, -1, -1);
> -}
> -
> -void
> -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->fields.emplace_back (field_name, field_type, start, end);
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -void
> -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->size > 4)
> - field_type = tdesc_predefined_type (TDESC_TYPE_UINT64);
> - else
> - field_type = tdesc_predefined_type (TDESC_TYPE_UINT32);
> -
> - tdesc_add_typed_bitfield (type, field_name, start, end, field_type);
> -}
> -
> -/* See arch/tdesc.h. */
> -
> -void
> -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->fields.emplace_back (flag_name,
> - tdesc_predefined_type (TDESC_TYPE_BOOL),
> - start, start);
> -}
> -
> -void
> -tdesc_add_enum_value (tdesc_type_with_fields *type, int value,
> - const char *name)
> -{
> - gdb_assert (type->kind == TDESC_TYPE_ENUM);
> - type->fields.emplace_back (name,
> - tdesc_predefined_type (TDESC_TYPE_INT32),
> - value, -1);
> -}
> -
> -/* See arch/tdesc.h. */
> -
> struct tdesc_feature *
> tdesc_create_feature (struct target_desc *tdesc, const char *name,
> const char *xml)
>
next prev parent reply other threads:[~2018-01-25 13:13 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-24 9:26 [PATCH v2 0/8] Remove XML files from gdbserver Alan Hayward
2018-01-24 9:26 ` [PATCH v2 1/8] Move tdesc header funcs to c file Alan Hayward
2018-01-24 9:27 ` [PATCH v2 2/8] Use tdesc_reg in gxdbserver tdesc Alan Hayward
2018-01-25 13:12 ` Philipp Rudo
2018-01-24 9:28 ` [PATCH v2 4/8] Move make_gdb_type functions within file Alan Hayward
2018-01-24 9:28 ` [PATCH v2 3/8] Use tdesc_feature in gdbserver tdesc Alan Hayward
2018-01-25 13:12 ` Philipp Rudo
2018-01-24 9:29 ` [PATCH v2 5/8] Use tdesc types " Alan Hayward
2018-01-25 13:13 ` Philipp Rudo [this message]
2018-01-29 7:28 ` Omair Javaid
2018-01-29 11:01 ` Alan Hayward
2018-01-29 11:31 ` Philipp Rudo
2018-01-29 15:52 ` Alan Hayward
2018-01-24 9:30 ` [PATCH v2 6/8] Create xml from target descriptions Alan Hayward
2018-01-25 13:14 ` Philipp Rudo
2018-01-25 15:45 ` Yao Qi
2018-01-25 16:13 ` Alan Hayward
2018-01-25 16:56 ` Philipp Rudo
2018-01-24 9:31 ` [PATCH v2 7/8]: Remove xml file references " Alan Hayward
2018-01-24 9:32 ` [PATCH v2 8/8] Remove xml files from gdbserver Alan Hayward
2018-01-24 10:57 ` [PATCH v2 0/8] Remove XML " Omair Javaid
2018-01-24 12:29 ` Alan Hayward
2018-01-24 14:44 ` Omair Javaid
2018-01-24 18:53 ` Alan Hayward
2018-01-25 13:11 ` Philipp Rudo
2018-01-26 22:31 ` Omair Javaid
2018-01-29 16:28 ` Yao Qi
2018-01-29 17:13 ` Alan Hayward
2018-01-31 11:28 ` Alan Hayward
2018-01-31 11:43 ` Omair Javaid
2018-01-29 18:18 ` Pedro Alves
2018-01-30 12:16 ` Alan Hayward
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20180125141259.544597d6@ThinkPad \
--to=prudo@linux.vnet.ibm.com \
--cc=Alan.Hayward@arm.com \
--cc=gdb-patches@sourceware.org \
--cc=nd@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).