From: Sami Tolvanen <samitolvanen@google.com>
To: Masahiro Yamada <masahiroy@kernel.org>,
Luis Chamberlain <mcgrof@kernel.org>,
Miguel Ojeda <ojeda@kernel.org>,
Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Cc: Matthew Maurer <mmaurer@google.com>,
Alex Gaynor <alex.gaynor@gmail.com>, Gary Guo <gary@garyguo.net>,
Petr Pavlu <petr.pavlu@suse.com>,
Daniel Gomez <da.gomez@samsung.com>, Neal Gompa <neal@gompa.dev>,
Hector Martin <marcan@marcan.st>, Janne Grunau <j@jannau.net>,
Miroslav Benes <mbenes@suse.cz>,
Asahi Linux <asahi@lists.linux.dev>,
Sedat Dilek <sedat.dilek@gmail.com>,
linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org,
linux-modules@vger.kernel.org, rust-for-linux@vger.kernel.org,
Sami Tolvanen <samitolvanen@google.com>
Subject: [PATCH v8 06/18] gendwarfksyms: Expand subroutine_type
Date: Fri, 3 Jan 2025 20:45:28 +0000 [thread overview]
Message-ID: <20250103204521.1885406-26-samitolvanen@google.com> (raw)
In-Reply-To: <20250103204521.1885406-20-samitolvanen@google.com>
Add support for expanding DW_TAG_subroutine_type and the parameters
in DW_TAG_formal_parameter. Use this to also expand subprograms.
Example output with --dump-dies:
subprogram (
formal_parameter pointer_type {
const_type {
base_type char byte_size(1) encoding(6)
}
}
)
-> base_type unsigned long byte_size(8) encoding(7)
Signed-off-by: Sami Tolvanen <samitolvanen@google.com>
Reviewed-by: Petr Pavlu <petr.pavlu@suse.com>
---
scripts/gendwarfksyms/dwarf.c | 84 ++++++++++++++++++++++++++-
scripts/gendwarfksyms/gendwarfksyms.h | 4 ++
2 files changed, 85 insertions(+), 3 deletions(-)
diff --git a/scripts/gendwarfksyms/dwarf.c b/scripts/gendwarfksyms/dwarf.c
index 3e08a32b7b16..7d8a4eb6c387 100644
--- a/scripts/gendwarfksyms/dwarf.c
+++ b/scripts/gendwarfksyms/dwarf.c
@@ -212,6 +212,15 @@ DEFINE_PROCESS_UDATA_ATTRIBUTE(alignment)
DEFINE_PROCESS_UDATA_ATTRIBUTE(byte_size)
DEFINE_PROCESS_UDATA_ATTRIBUTE(encoding)
+/* Match functions -- die_match_callback_t */
+#define DEFINE_MATCH(type) \
+ static bool match_##type##_type(Dwarf_Die *die) \
+ { \
+ return dwarf_tag(die) == DW_TAG_##type##_type; \
+ }
+
+DEFINE_MATCH(formal_parameter)
+
bool match_all(Dwarf_Die *die)
{
return true;
@@ -224,19 +233,28 @@ int process_die_container(struct state *state, struct die *cache,
Dwarf_Die current;
int res;
+ /* Track the first item in lists. */
+ if (state)
+ state->first_list_item = true;
+
res = checkp(dwarf_child(die, ¤t));
while (!res) {
if (match(¤t)) {
/* <0 = error, 0 = continue, >0 = stop */
res = checkp(func(state, cache, ¤t));
if (res)
- return res;
+ goto out;
}
res = checkp(dwarf_siblingof(¤t, ¤t));
}
- return 0;
+ res = 0;
+out:
+ if (state)
+ state->first_list_item = false;
+
+ return res;
}
static int process_type(struct state *state, struct die *parent,
@@ -256,6 +274,40 @@ static void process_type_attr(struct state *state, struct die *cache,
process(cache, "base_type void");
}
+static void process_list_comma(struct state *state, struct die *cache)
+{
+ if (state->first_list_item) {
+ state->first_list_item = false;
+ } else {
+ process(cache, " ,");
+ process_linebreak(cache, 0);
+ }
+}
+
+/* Comma-separated with DW_AT_type */
+static void __process_list_type(struct state *state, struct die *cache,
+ Dwarf_Die *die, const char *type)
+{
+ const char *name = get_name_attr(die);
+
+ process_list_comma(state, cache);
+ process(cache, type);
+ process_type_attr(state, cache, die);
+ if (name) {
+ process(cache, " ");
+ process(cache, name);
+ }
+}
+
+#define DEFINE_PROCESS_LIST_TYPE(type) \
+ static void process_##type##_type(struct state *state, \
+ struct die *cache, Dwarf_Die *die) \
+ { \
+ __process_list_type(state, cache, die, #type " "); \
+ }
+
+DEFINE_PROCESS_LIST_TYPE(formal_parameter)
+
/* Container types with DW_AT_type */
static void __process_type(struct state *state, struct die *cache,
Dwarf_Die *die, const char *type)
@@ -290,6 +342,29 @@ DEFINE_PROCESS_TYPE(shared)
DEFINE_PROCESS_TYPE(volatile)
DEFINE_PROCESS_TYPE(typedef)
+static void __process_subroutine_type(struct state *state, struct die *cache,
+ Dwarf_Die *die, const char *type)
+{
+ process(cache, type);
+ process(cache, " (");
+ process_linebreak(cache, 1);
+ /* Parameters */
+ check(process_die_container(state, cache, die, process_type,
+ match_formal_parameter_type));
+ process_linebreak(cache, -1);
+ process(cache, ")");
+ process_linebreak(cache, 0);
+ /* Return type */
+ process(cache, "-> ");
+ process_type_attr(state, cache, die);
+}
+
+static void process_subroutine_type(struct state *state, struct die *cache,
+ Dwarf_Die *die)
+{
+ __process_subroutine_type(state, cache, die, "subroutine_type");
+}
+
static void process_base_type(struct state *state, struct die *cache,
Dwarf_Die *die)
{
@@ -360,8 +435,11 @@ static int process_type(struct state *state, struct die *parent, Dwarf_Die *die)
PROCESS_TYPE(rvalue_reference)
PROCESS_TYPE(shared)
PROCESS_TYPE(volatile)
+ /* Subtypes */
+ PROCESS_TYPE(formal_parameter)
/* Other types */
PROCESS_TYPE(base)
+ PROCESS_TYPE(subroutine)
PROCESS_TYPE(typedef)
default:
debug("unimplemented type: %x", tag);
@@ -391,7 +469,7 @@ static void process_symbol(struct state *state, Dwarf_Die *die,
static int __process_subprogram(struct state *state, struct die *cache,
Dwarf_Die *die)
{
- process(cache, "subprogram");
+ __process_subroutine_type(state, cache, die, "subprogram");
return 0;
}
diff --git a/scripts/gendwarfksyms/gendwarfksyms.h b/scripts/gendwarfksyms/gendwarfksyms.h
index 832d05b4fc1c..0746a36f4924 100644
--- a/scripts/gendwarfksyms/gendwarfksyms.h
+++ b/scripts/gendwarfksyms/gendwarfksyms.h
@@ -60,6 +60,7 @@ extern int dump_dies;
#define checkp(expr) __check(expr, __res < 0)
/* Consistent aliases (DW_TAG_<type>_type) for DWARF tags */
+#define DW_TAG_formal_parameter_type DW_TAG_formal_parameter
#define DW_TAG_typedef_type DW_TAG_typedef
/*
@@ -154,6 +155,9 @@ void die_map_free(void);
struct state {
struct symbol *sym;
Dwarf_Die die;
+
+ /* List expansion */
+ bool first_list_item;
};
typedef int (*die_callback_t)(struct state *state, struct die *cache,
--
2.47.1.613.gc27f4b7a9f-goog
next prev parent reply other threads:[~2025-01-03 20:45 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-03 20:45 [PATCH v8 00/18] Implement DWARF modversions Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 01/18] tools: Add gendwarfksyms Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 02/18] gendwarfksyms: Add address matching Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 03/18] gendwarfksyms: Expand base_type Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 04/18] gendwarfksyms: Add a cache for processed DIEs Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 05/18] gendwarfksyms: Expand type modifiers and typedefs Sami Tolvanen
2025-01-03 20:45 ` Sami Tolvanen [this message]
2025-01-03 20:45 ` [PATCH v8 07/18] gendwarfksyms: Expand array_type Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 08/18] gendwarfksyms: Expand structure types Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 09/18] gendwarfksyms: Limit structure expansion Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 10/18] gendwarfksyms: Add die_map debugging Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 11/18] gendwarfksyms: Add symtypes output Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 12/18] gendwarfksyms: Add symbol versioning Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 13/18] gendwarfksyms: Add support for kABI rules Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 14/18] gendwarfksyms: Add support for reserved and ignored fields Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 15/18] gendwarfksyms: Add support for symbol type pointers Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 16/18] export: Add __gendwarfksyms_ptr_ references to exported symbols Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 17/18] kbuild: Add gendwarfksyms as an alternative to genksyms Sami Tolvanen
2025-01-03 20:45 ` [PATCH v8 18/18] Documentation/kbuild: Add DWARF module versioning Sami Tolvanen
2025-01-10 17:36 ` [PATCH v8 00/18] Implement DWARF modversions Masahiro Yamada
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=20250103204521.1885406-26-samitolvanen@google.com \
--to=samitolvanen@google.com \
--cc=alex.gaynor@gmail.com \
--cc=asahi@lists.linux.dev \
--cc=da.gomez@samsung.com \
--cc=gary@garyguo.net \
--cc=gregkh@linuxfoundation.org \
--cc=j@jannau.net \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-modules@vger.kernel.org \
--cc=marcan@marcan.st \
--cc=masahiroy@kernel.org \
--cc=mbenes@suse.cz \
--cc=mcgrof@kernel.org \
--cc=mmaurer@google.com \
--cc=neal@gompa.dev \
--cc=ojeda@kernel.org \
--cc=petr.pavlu@suse.com \
--cc=rust-for-linux@vger.kernel.org \
--cc=sedat.dilek@gmail.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