From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out1.suse.de (smtp-out1.suse.de [195.135.220.28]) by sourceware.org (Postfix) with ESMTPS id EB391385843B for ; Thu, 26 Aug 2021 11:56:28 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org EB391385843B Received: from imap1.suse-dmz.suse.de (imap1.suse-dmz.suse.de [192.168.254.73]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by smtp-out1.suse.de (Postfix) with ESMTPS id 2F7DE21E20 for ; Thu, 26 Aug 2021 11:56:28 +0000 (UTC) Received: from imap1.suse-dmz.suse.de (imap1.suse-dmz.suse.de [192.168.254.73]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-521) server-digest SHA512) (No client certificate requested) by imap1.suse-dmz.suse.de (Postfix) with ESMTPS id 1D83D13318 for ; Thu, 26 Aug 2021 11:56:28 +0000 (UTC) Received: from dovecot-director2.suse.de ([192.168.254.65]) by imap1.suse-dmz.suse.de with ESMTPSA id ZE8rBmyBJ2GxPQAAGKfGzw (envelope-from ) for ; Thu, 26 Aug 2021 11:56:28 +0000 Date: Thu, 26 Aug 2021 13:56:26 +0200 From: Tom de Vries To: gdb-patches@sourceware.org Subject: [PATCH][gdb/testsuite] Support .debug_aranges in dwarf assembly Message-ID: <20210826115625.GA22715@delia> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) X-Spam-Status: No, score=-12.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 26 Aug 2021 11:56:39 -0000 Hi, Add a proc aranges such that we can generate .debug_aranges sections in dwarf assembly using: ... cu { label cu_label } { ... } aranges {} cu_label { arange -c $addr $len } ... Tested on x86_64-linux. Any comments? Thanks, - Tom [gdb/testsuite] Support .debug_aranges in dwarf assembly --- gdb/testsuite/lib/dwarf.exp | 173 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 173 insertions(+) diff --git a/gdb/testsuite/lib/dwarf.exp b/gdb/testsuite/lib/dwarf.exp index 8dda798ddf8..32b110b3f3e 100644 --- a/gdb/testsuite/lib/dwarf.exp +++ b/gdb/testsuite/lib/dwarf.exp @@ -2208,6 +2208,179 @@ namespace eval Dwarf { define_label $unit_end_label } + # Emit a DWARF .debug_aranges unit. + # + # OPTIONS is a list with an even number of elements containing + # option-name and option-value pairs. + # Current options are: + # is_64 0|1 - boolean indicating if you want to emit 64-bit DWARF + # default = 0 (32-bit) + # cu_is_64 0|1 - boolean indicating if LABEL refers to a 64-bit DWARF CU + # default = 0 (32-bit) + # section_version n + # - section version number to emit + # default = 2 + # seg_size n - the size of the adress selector in bytes: 0, 4, or 8 + # default = 0 + # + # LABEL is the label of the corresponding CU. + # + # BODY is Tcl code that emits the parts which make up the body of + # the aranges unit. It is evaluated in the caller's context. The + # following commands are available for the BODY section: + # + # arange [-c ] [] + # -- adds an address range. + + proc aranges { options label body } { + variable _addr_size + variable _seg_size + + # Establish the defaults. + set is_64 0 + set cu_is_64 0 + set section_version 2 + set _seg_size 0 + + # Handle options. + foreach { name value } $options { + switch -exact -- $name { + is_64 { set is_64 $value } + cu_is_64 { set cu_is_64 $value } + section_version {set section_version $value } + seg_size { set _seg_size $value } + default { error "unknown option $name" } + } + } + + if { [is_64_target] } { + set _addr_size 8 + } else { + set _addr_size 4 + } + + # Switch to .debug_aranges section. + _section .debug_aranges + + # Keep track of offset from start of section entry to determine + # padding amount. + set offset 0 + + # Initial length. + declare_labels aranges_start aranges_end + set length "$aranges_end - $aranges_start" + set comment "Length" + if { $is_64 } { + _op .4byte 0xffffffff + _op .8byte $length $comment + incr offset 12 + } else { + _op .4byte $length $comment + incr offset 4 + } + + # Start label. + aranges_start: + + # Section version. + _op .2byte $section_version "Section version" + incr offset 2 + + # Offset into .debug_info. + upvar $label my_label + if { $cu_is_64 } { + _op .8byte $my_label "Offset into .debug_info" + incr offset 8 + } else { + _op .4byte $my_label "Offset into .debug_info" + incr offset 4 + } + + # Address size. + _op .byte $_addr_size "Address size" + incr offset + + # Segment selector size. + _op .byte $_seg_size "Segment selector size" + incr offset + + # Padding. + set tuple_size [expr 2 * $_addr_size + $_seg_size] + while { 1 } { + if { [expr $offset % $tuple_size] == 0 } { + break + } + _op .byte 0 "Pad to $tuple_size byte boundary" + incr offset + } + + proc arange { args } { + set nargs [llength $args] + + # Handle optional -c . + if { $nargs >= 2 && [lindex $args 0] == "-c" } { + set comment [lindex $args 1] + # Wrap + set comment " ($comment)" + # Shift 2. + set args [lrange $args 2 end] + set nargs [llength $args] + } else { + set comment "" + } + + # Handle optional seg_sel. + if { $nargs == 2 } { + set seg_sel "" + } elseif { $nargs == 3 } { + set seg_sel [lindex $args 0] + # Shift 1. + set args [lrange $args 1 end] + } else { + error "Incorrect number of args" + } + + set arange_start [lindex $args 0] + set arange_length [lindex $args 1] + + if { $seg_sel != "" } { + variable _seg_size + if { $_seg_size == 8 } { + set seg_op .8byte + } elseif { $_segsize_size == 4 } { + set seg_op .4byte + } else { + error [join "Don't know how to handle" \ + "segment selector size $_seg_size"] + } + _op $seg_op $seg_sel "Address range segment selector$comment" + } + + variable _addr_size + if { $_addr_size == 8 } { + set addr_op .8byte + } elseif { $_addr_size == 4 } { + set addr_op .4byte + } + + _op $addr_op $arange_start "Address range start$comment" + _op $addr_op $arange_length "Address range length$comment" + } + + # Range tuples. + uplevel $body + + # Terminator tuple. + if { $_seg_size == 0 } { + arange -c terminator 0 0 + } else { + arange -c terminator 0 0 0 + } + + # End label. + aranges_end: + } + proc _empty_array {name} { upvar $name the_array