public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
From: Simon Marchi <simon.marchi@polymtl.ca>
To: Lancelot SIX <lsix@lancelotsix.com>, Zoran Zaric <zoran.zaric@amd.com>
Cc: gdb-patches@sourceware.org
Subject: Re: [PATCH v3 06/28] Add read method to location description classes
Date: Mon, 25 Oct 2021 17:37:08 -0400	[thread overview]
Message-ID: <7baf311a-d347-b5d3-e07b-b53c87ef1d38@polymtl.ca> (raw)
In-Reply-To: <20211025183356.4cw5xqpvyprgayfs@ubuntu.lan>



On 2021-10-25 14:33, Lancelot SIX via Gdb-patches wrote:
> Hi,
> 
> On Thu, Oct 14, 2021 at 10:32:13AM +0100, Zoran Zaric via Gdb-patches wrote:
>> From: Zoran Zaric <Zoran.Zaric@amd.com>
>>
>> After adding the interface for register and memory location access, a
>> new method for reading from any location derived from a dwarf_location
>> class, can now be defined.
>>
>> In the case of implicit pointer location description the existing
>> indirect_synthetic_pointer interface requiers a type of the pointer
>> to be specified, so for a generic read interface the only type that
>> makes sense is the DWARF generic type. This means that the existing
>> address_type method of a dwarf_expr_context class needs to be exposed
>> outside of that class.
>>
>> gdb/ChangeLog:
>>
>>         * dwarf2/expr.c (dwarf_location::read): New method.
>>         (dwarf_undefined::read): New method.
>>         (dwarf_memory::read): New method.
>>         (dwarf_register::read): New method.
>>         (dwarf_implicit::read): New method.
>>         (dwarf_implicit_pointer::read): New method.
>>         (dwarf_composite::read): New method.
>>         (dwarf_expr_context::address_type): Change to use the new
>>         address_type function.
>>         (address_type): New function.
>> ---
>>  gdb/dwarf2/expr.c | 305 ++++++++++++++++++++++++++++++++++++++++++----
>>  1 file changed, 284 insertions(+), 21 deletions(-)
>>
>> diff --git a/gdb/dwarf2/expr.c b/gdb/dwarf2/expr.c
>> index 56f17f52756..3f3e09db7cc 100644
>> --- a/gdb/dwarf2/expr.c
>> +++ b/gdb/dwarf2/expr.c
>> @@ -289,6 +289,36 @@ write_to_memory (CORE_ADDR address, const gdb_byte *buffer,
>>  					 length, buffer);
>>  }
>>  
>> +/* Return the type used for DWARF operations where the type is
>> +   generic in the DWARF spec, the ARCH is a target architecture.
> 
> There is an extra '.' at the end of this line.
> 
>> +   of the type and ADDR_SIZE is expected size of the address.
>> +   Only certain sizes are supported.  */
>> +
>> +static type *
>> +address_type (gdbarch *arch, int addr_size)
>> +{
>> +  dwarf_gdbarch_types *types
>> +    = (dwarf_gdbarch_types *) gdbarch_data (arch, dwarf_arch_cookie);
>> +  int ndx;
>> +
>> +  if (addr_size == 2)
>> +    ndx = 0;
>> +  else if (addr_size == 4)
>> +    ndx = 1;
>> +  else if (addr_size == 8)
>> +    ndx = 2;
>> +  else
>> +    error (_("Unsupported address size in DWARF expressions: %d bits"),
>> +	   HOST_CHAR_BIT * addr_size);
>> +
>> +  if (types->dw_types[ndx] == NULL)
> 
> It is not a big deal, but I think nullptr is preferred over NULL for
> new/updated code (there are few across the series, I can point them out
> if you want).
> 
>> +    types->dw_types[ndx]
>> +      = arch_integer_type (arch, HOST_CHAR_BIT * addr_size,
>> +			   0, "<signed DWARF address type>");
>> +
>> +  return types->dw_types[ndx];
>> +}
>> +
>>  class dwarf_location;
>>  class dwarf_memory;
>>  class dwarf_value;
>> @@ -349,6 +379,27 @@ class dwarf_location : public dwarf_entry
>>      ill_formed_expression ();
>>    }
>>  
>> +  /* Read contents from the described location.
>> +
>> +     The read operation is performed in the context of a FRAME.
>> +     BIT_SIZE is the number of bits to read.  The data read is copied
>> +     to the caller-managed buffer BUF.  BIG_ENDIAN defines the
>> +     endianness of the target.  BITS_TO_SKIP is a bit offset into the
>> +     location and BUF_BIT_OFFSET is buffer BUF's bit offset.
>> +     LOCATION_BIT_LIMIT is a maximum number of bits that location can
>> +     hold, where value zero signifies that there is no such
>> +     restriction.
>> +
>> +     Note that some location types can be read without a FRAME context.
>> +
>> +     If the location is optimized out or unavailable, the OPTIMIZED and
>> +     UNAVAILABLE outputs are set accordingly.  */
>> +  virtual void read (frame_info *frame, gdb_byte *buf,
>> +		     int buf_bit_offset, size_t bit_size,
>> +		     LONGEST bits_to_skip, size_t location_bit_limit,
>> +		     bool big_endian, int *optimized,
>> +		     int *unavailable) const = 0;
>> +
>>  protected:
>>    /* Architecture of the location.  */
>>    gdbarch *m_arch;
>> @@ -426,6 +477,14 @@ class dwarf_undefined final : public dwarf_location
>>    dwarf_undefined (gdbarch *arch)
>>      : dwarf_location (arch, 0)
>>    {}
>> +
>> +  void read (frame_info *frame, gdb_byte *buf, int buf_bit_offset,
>> +	     size_t bit_size, LONGEST bits_to_skip, size_t location_bit_limit,
>> +	     bool big_endian, int *optimized, int *unavailable) const override
>> +  {
>> +    *unavailable = 0;
>> +    *optimized = 1;
>> +  }
>>  };
>>  
>>  class dwarf_memory final : public dwarf_location
>> @@ -442,6 +501,11 @@ class dwarf_memory final : public dwarf_location
>>  
>>    dwarf_value_up to_value (struct type *type) const override;
>>  
>> +  void read (frame_info *frame, gdb_byte *buf, int buf_bit_offset,
>> +	     size_t bit_size, LONGEST bits_to_skip,
>> +	     size_t location_bit_limit, bool big_endian,
>> +	     int *optimized, int *unavailable) const override;
>> +
>>  private:
>>    /* True if the location belongs to a stack memory region.  */
>>    bool m_stack;
>> @@ -468,6 +532,46 @@ dwarf_memory::to_value (struct type *type) const
>>    return make_unique<dwarf_value> (m_offset, type);
>>  }
>>  
>> +void
>> +dwarf_memory::read (frame_info *frame, gdb_byte *buf,
>> +		    int buf_bit_offset, size_t bit_size,
>> +		    LONGEST bits_to_skip, size_t location_bit_limit,
>> +		    bool big_endian, int *optimized, int *unavailable) const
>> +{
>> +  LONGEST total_bits_to_skip = bits_to_skip;
>> +  CORE_ADDR start_address
>> +    = m_offset + (m_bit_suboffset + total_bits_to_skip) / HOST_CHAR_BIT;
> 
> I am not entirely sure of what follows, so if a maintainer can step in,
> I would appreciate.
> 
> I am not sure HOST_CHAR_BIT is what should be used here.  This is meant
> to compute an address on the target.  The number of bits per byte might
> (in theory) be different on the host and the target.  From what I
> understand, this is where gdbarch_addressable_memory_unit_size could
> come into play (it gives the number of octets associated with a memory
> address for the given arch).
> 
> In practice however, I do not know what target has non 8-bit bytes.
> set_gdbarch_addressable_memory_unit_size seems to never be called in the
> codebase, so I guess if such target has gdb support, it is off-tree.
> 
> As I said before, I am not entirely sure to what extent such target
> are currently supported.  Is this something you have considered?

It's true that there isn't an architecture upstream which uses that
feature.  I was the one who introduced
gdbarch_addressable_memory_unit_size, while at my previous job, because
we had a platform with non-8-bit-bytes.  And this was merged, as it was
seen as an improvement over using TARGET_CHAR_BIT (TARGET_CHAR_BIT is a
compile-time constant, so if you are building a GDB that debugs
architectures with different byte sizes... that doesn't work).

So yeah, gdbarch_addressable_memory_unit_size looks like the right thing
to use here.  Note that this function returns 1 for x86, and 2 for an
architecture with 16-bit bytes.  So you would divide by:

  gdbarch_addressable_memory_unit_size (arch) * 8

I am fine with using the magical number 8 here, because
gdbarch_addressable_memory_unit_size is explicitly defined as "the size
in 8-bit bytes of...".  Using CHAR_BIT or something like that would
defeat the purpose because it could *in theory* be something else than
8.

So cases like this one, we do a best effort to write things in a way
that works for non-8-bit-bytes platform, but don't sweat it too much.
Users downstream who actually use that will fix it and provide patches
if needed.

Simon

  reply	other threads:[~2021-10-25 21:38 UTC|newest]

Thread overview: 62+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-14  9:32 [PATCH v3 00/28] Allow location description on the DWARF stack Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 01/28] Add new register access interface to expr.c Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 02/28] Add new memory " Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 03/28] Add new classes that model DWARF stack element Zoran Zaric
2021-10-21 23:43   ` Lancelot SIX
2021-10-22 16:38     ` Zoran Zaric
2021-10-22 21:34       ` Lancelot SIX
2021-10-14  9:32 ` [PATCH v3 04/28] Add to_location method to DWARF entry classes Zoran Zaric
2021-10-22 21:21   ` Lancelot SIX
2021-10-25 21:23     ` Simon Marchi
2021-11-01 16:01       ` Zoran Zaric
2021-11-01 20:36         ` Simon Marchi
2021-11-01 16:00     ` Zoran Zaric
2021-11-01 17:48       ` Lancelot SIX
2021-10-14  9:32 ` [PATCH v3 05/28] Add to_value " Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 06/28] Add read method to location description classes Zoran Zaric
2021-10-25 18:33   ` Lancelot SIX
2021-10-25 21:37     ` Simon Marchi [this message]
2021-11-02 14:26       ` Zoran Zaric
2021-11-03 19:03         ` Simon Marchi
2021-11-05 11:58           ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 07/28] Add write " Zoran Zaric
2021-10-25 20:21   ` Lancelot SIX
2021-11-03 10:27     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 08/28] Add deref " Zoran Zaric
2021-10-25 22:31   ` Lancelot SIX
2021-11-03 10:51     ` Zoran Zaric
2021-11-03 17:37       ` Simon Marchi
2021-11-05 11:55         ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 09/28] Add read_from_gdb_value method to dwarf_location Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 10/28] Add write_to_gdb_value " Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 11/28] Add is_implicit_ptr_at " Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 12/28] Add indirect_implicit_ptr to dwarf_location class Zoran Zaric
2021-10-26 20:52   ` Lancelot SIX
2021-11-03 15:11     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 13/28] Add is_optimized_out " Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 14/28] Add new computed struct value callback interface Zoran Zaric
2021-10-26 22:50   ` Lancelot SIX
2021-11-04 11:32     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 15/28] Add to_gdb_value method to DWARF entry class Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 16/28] Change DWARF stack to use new dwarf_entry classes Zoran Zaric
2021-10-31 17:58   ` Lancelot SIX
2021-11-04 12:43     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 17/28] Remove old computed struct value callbacks Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 18/28] Comments cleanup between expr.h and expr.c Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 19/28] Remove dwarf_expr_context from expr.h interface Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 20/28] Move read_addr_from_reg function to frame.c Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 21/28] Add frame info check to DW_OP_reg operations Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 22/28] Remove DWARF expression composition check Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 23/28] Add support for any location description in CFI Zoran Zaric
2021-10-31 22:58   ` Lancelot SIX
2021-11-04 15:09     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 24/28] Add DWARF operations for byte and bit offset Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 25/28] Add support for DW_OP_LLVM_undefined operation Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 26/28] Add support for nested composite locations Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 27/28] Add DW_OP_LLVM_extend DWARF operation Zoran Zaric
2021-11-01 21:48   ` Lancelot SIX
2021-11-04 16:26     ` Zoran Zaric
2021-10-14  9:32 ` [PATCH v3 28/28] Add DW_OP_LLVM_select_bit_piece " Zoran Zaric
2021-11-01 22:25   ` Lancelot SIX
2021-11-04 16:39     ` Zoran Zaric
2021-11-05 11:54 ` [PATCH v3 00/28] Allow location description on the DWARF stack Zaric, Zoran (Zare)

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=7baf311a-d347-b5d3-e07b-b53c87ef1d38@polymtl.ca \
    --to=simon.marchi@polymtl.ca \
    --cc=gdb-patches@sourceware.org \
    --cc=lsix@lancelotsix.com \
    --cc=zoran.zaric@amd.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).