On Mon, May 6, 2024 at 5:21 AM Athira Rajeev
<[email protected]> wrote:
>
> Add support to capture and parse raw instruction in objdump.
> Currently, the perf tool infrastructure uses "--no-show-raw-insn" option
> with "objdump" while disassemble. Example from powerpc with this option
> for an instruction address is:
>
> Snippet from:
> objdump --start-address=<address> --stop-address=<address> -d --no-show-raw-insn -C <vmlinux>
>
> c0000000010224b4: lwz r10,0(r9)
>
> This line "lwz r10,0(r9)" is parsed to extract instruction name,
> registers names and offset. Also to find whether there is a memory
> reference in the operands, "memory_ref_char" field of objdump is used.
> For x86, "(" is used as memory_ref_char to tackle instructions of the
> form "mov (%rax), %rcx".
>
> In case of powerpc, not all instructions using "(" are the only memory
> instructions. Example, above instruction can also be of extended form (X
> form) "lwzx r10,0,r19". Inorder to easy identify the instruction category
> and extract the source/target registers, patch adds support to use raw
> instruction. With raw instruction, macros are added to extract opcode
> and register fields.
>
> "struct ins_operands" and "struct ins" is updated to carry opcode and
> raw instruction binary code (raw_insn). Function "disasm_line__parse"
> is updated to fill the raw instruction hex value and opcode in newly
> added fields. There is no changes in existing code paths, which parses
> the disassembled code. The architecture using the instruction name and
> present approach is not altered. Since this approach targets powerpc,
> the macro implementation is added for powerpc as of now.
>
> Example:
> representation using --show-raw-insn in objdump gives result:
>
> 38 01 81 e8 ld r4,312(r1)
>
> Here "38 01 81 e8" is the raw instruction representation. In powerpc,
> this translates to instruction form: "ld RT,DS(RA)" and binary code
> as:
> _____________________________________
> | 58 | RT | RA | DS | |
> -------------------------------------
> 0 6 11 16 30 31
>
> Function "disasm_line__parse" is updated to capture:
>
> line: 38 01 81 e8 ld r4,312(r1)
> opcode and raw instruction "38 01 81 e8"
> Raw instruction is used later to extract the reg/offset fields.
>
> Signed-off-by: Athira Rajeev <[email protected]>
> ---
> tools/include/linux/string.h | 2 +
> tools/lib/string.c | 13 +++++++
> tools/perf/arch/powerpc/util/dwarf-regs.c | 19 ++++++++++
> tools/perf/util/disasm.c | 46 +++++++++++++++++++----
> tools/perf/util/disasm.h | 6 +++
> tools/perf/util/include/dwarf-regs.h | 9 +++++
> 6 files changed, 88 insertions(+), 7 deletions(-)
>
> diff --git a/tools/include/linux/string.h b/tools/include/linux/string.h
> index db5c99318c79..0acb1fc14e19 100644
> --- a/tools/include/linux/string.h
> +++ b/tools/include/linux/string.h
> @@ -46,5 +46,7 @@ extern char * __must_check skip_spaces(const char *);
>
> extern char *strim(char *);
>
> +extern void remove_spaces(char *s);
> +
> extern void *memchr_inv(const void *start, int c, size_t bytes);
> #endif /* _TOOLS_LINUX_STRING_H_ */
> diff --git a/tools/lib/string.c b/tools/lib/string.c
> index 8b6892f959ab..21d273e69951 100644
> --- a/tools/lib/string.c
> +++ b/tools/lib/string.c
> @@ -153,6 +153,19 @@ char *strim(char *s)
> return skip_spaces(s);
> }
>
> +/*
> + * remove_spaces - Removes whitespaces from @s
> + */
> +void remove_spaces(char *s)
> +{
> + char *d = s;
> + do {
> + while (*d == ' ') {
> + ++d;
> + }
> + } while ((*s++ = *d++));
> +}
> +
> /**
> * strreplace - Replace all occurrences of character in string.
> * @s: The string to operate on.
> diff --git a/tools/perf/arch/powerpc/util/dwarf-regs.c b/tools/perf/arch/powerpc/util/dwarf-regs.c
> index 0c4f4caf53ac..e60a71fd846e 100644
> --- a/tools/perf/arch/powerpc/util/dwarf-regs.c
> +++ b/tools/perf/arch/powerpc/util/dwarf-regs.c
> @@ -98,3 +98,22 @@ int regs_query_register_offset(const char *name)
> return roff->ptregs_offset;
> return -EINVAL;
> }
> +
> +#define PPC_OP(op) (((op) >> 26) & 0x3F)
> +#define PPC_RA(a) (((a) >> 16) & 0x1f)
> +#define PPC_RT(t) (((t) >> 21) & 0x1f)
> +
> +int get_opcode_insn(unsigned int raw_insn)
> +{
> + return PPC_OP(raw_insn);
> +}
> +
> +int get_source_reg(unsigned int raw_insn)
> +{
> + return PPC_RA(raw_insn);
> +}
> +
> +int get_target_reg(unsigned int raw_insn)
> +{
> + return PPC_RT(raw_insn);
> +}
> diff --git a/tools/perf/util/disasm.c b/tools/perf/util/disasm.c
> index 2de66a092cab..85692f73e78f 100644
> --- a/tools/perf/util/disasm.c
> +++ b/tools/perf/util/disasm.c
> @@ -43,7 +43,7 @@ static int call__scnprintf(struct ins *ins, char *bf, size_t size,
> struct ins_operands *ops, int max_ins_name);
>
> static void ins__sort(struct arch *arch);
> -static int disasm_line__parse(char *line, const char **namep, char **rawp);
> +static int disasm_line__parse(char *line, const char **namep, char **rawp, int *opcode, int *rawp_insn);
>
> static __attribute__((constructor)) void symbol__init_regexpr(void)
> {
> @@ -512,7 +512,7 @@ static int lock__parse(struct arch *arch, struct ins_operands *ops, struct map_s
> if (ops->locked.ops == NULL)
> return 0;
>
> - if (disasm_line__parse(ops->raw, &ops->locked.ins.name, &ops->locked.ops->raw) < 0)
> + if (disasm_line__parse(ops->raw, &ops->locked.ins.name, &ops->locked.ops->raw, &ops->locked.ins.opcode, &ops->locked.ops->raw_insn) < 0)
This line is too long.
> goto out_free_ops;
>
> ops->locked.ins.ops = ins__find(arch, ops->locked.ins.name);
> @@ -815,11 +815,38 @@ static void disasm_line__init_ins(struct disasm_line *dl, struct arch *arch, str
> dl->ins.ops = NULL;
> }
>
> -static int disasm_line__parse(char *line, const char **namep, char **rawp)
> +int __weak get_opcode_insn(unsigned int raw_insn __maybe_unused)
> {
> - char tmp, *name = skip_spaces(line);
> + return -1;
> +}
> +
> +int __weak get_source_reg(unsigned int raw_insn __maybe_unused)
> +{
> + return -1;
> +}
> +
> +int __weak get_target_reg(unsigned int raw_insn __maybe_unused)
> +{
> + return -1;
> +}
I prefer having conditional code with #ifdef rather than weak
functions especially if it isn't needed for every arch.
> +
> +/*
> + * Parses the objdump result captured with --show-raw-insn.
> + * Example, objdump line from powerpc:
> + * line: 38 01 81 e8 ld r4,312(r1)
> + * namep : ld
> + * rawp : "ld r4,312(r1)"
> + * opcode: fetched from arch specific get_opcode_insn
> + * rawp_insn: e8810138
> + *
> + * rawp_insn is used later to extract the reg/offset fields
> + */
> +static int disasm_line__parse(char *line, const char **namep, char **rawp, int *opcode, int *rawp_insn)
> +{
> + char tmp, *tmp_opcode, *name_opcode = skip_spaces(line);
> + char *name = skip_spaces(name_opcode + 11);
>
> - if (name[0] == '\0')
> + if (name_opcode[0] == '\0')
> return -1;
>
> *rawp = name + 1;
> @@ -829,13 +856,18 @@ static int disasm_line__parse(char *line, const char **namep, char **rawp)
>
> tmp = (*rawp)[0];
> (*rawp)[0] = '\0';
> + tmp_opcode = strdup(name_opcode);
> + tmp_opcode[11] = '\0';
Looks like powerpc specific. Can we move it under arch check?
> + remove_spaces(tmp_opcode);
> *namep = strdup(name);
> + *opcode = get_opcode_insn(be32_to_cpu(strtol(tmp_opcode, NULL, 16)));
This as well. Maybe we could have per-arch disasm_line__parse().
>
> if (*namep == NULL)
> goto out;
>
> (*rawp)[0] = tmp;
> *rawp = strim(*rawp);
> + *rawp_insn = be32_to_cpu(strtol(tmp_opcode, NULL, 16));
>
> return 0;
>
> @@ -896,7 +928,7 @@ struct disasm_line *disasm_line__new(struct annotate_args *args)
> goto out_delete;
>
> if (args->offset != -1) {
> - if (disasm_line__parse(dl->al.line, &dl->ins.name, &dl->ops.raw) < 0)
> + if (disasm_line__parse(dl->al.line, &dl->ins.name, &dl->ops.raw, &dl->ins.opcode, &dl->ops.raw_insn) < 0)
> goto out_free_line;
>
> disasm_line__init_ins(dl, args->arch, &args->ms);
> @@ -1726,7 +1758,7 @@ int symbol__disassemble(struct symbol *sym, struct annotate_args *args)
> map__rip_2objdump(map, sym->start),
> map__rip_2objdump(map, sym->end),
> opts->show_linenr ? "-l" : "",
> - opts->show_asm_raw ? "" : "--no-show-raw-insn",
> + opts->show_asm_raw ? "" : "--show-raw-insn",
This is not what we want. According to the man page of objdump
the --show-raw-insn should be enabled by default. So I think the
default value prints nothing. But if it's not the case on powerpc
(maybe on x86 too?) we could add it in the positive case too and
make powerpc init code reset the option.
Thanks,
Namhyung
> opts->annotate_src ? "-S" : "",
> opts->prefix ? "--prefix " : "",
> opts->prefix ? '"' : ' ',
> diff --git a/tools/perf/util/disasm.h b/tools/perf/util/disasm.h
> index 718177fa4775..5c1520010ca7 100644
> --- a/tools/perf/util/disasm.h
> +++ b/tools/perf/util/disasm.h
> @@ -43,14 +43,18 @@ struct arch {
>
> struct ins {
> const char *name;
> + int opcode;
> struct ins_ops *ops;
> };
>
> struct ins_operands {
> char *raw;
> + int raw_insn;
> struct {
> char *raw;
> char *name;
> + int opcode;
> + int raw_insn;
> struct symbol *sym;
> u64 addr;
> s64 offset;
> @@ -62,6 +66,8 @@ struct ins_operands {
> struct {
> char *raw;
> char *name;
> + int opcode;
> + int raw_insn;
> u64 addr;
> bool multi_regs;
> } source;
> diff --git a/tools/perf/util/include/dwarf-regs.h b/tools/perf/util/include/dwarf-regs.h
> index 01fb25a1150a..2a4e1e16e52c 100644
> --- a/tools/perf/util/include/dwarf-regs.h
> +++ b/tools/perf/util/include/dwarf-regs.h
> @@ -31,6 +31,15 @@ static inline int get_dwarf_regnum(const char *name __maybe_unused,
> }
> #endif
>
> +/*
> + * get_opcode_insn - Return opcode from raw instruction
> + * get_source_reg - Return source reg from raw instruction
> + * get_target_reg - Return target reg from raw instruction
> + */
> +int get_opcode_insn(unsigned int raw_insn);
> +int get_source_reg(unsigned int raw_insn);
> +int get_target_reg(unsigned int raw_insn);
> +
> #ifdef HAVE_ARCH_REGS_QUERY_REGISTER_OFFSET
> /*
> * Arch should support fetching the offset of a register in pt_regs
> --
> 2.43.0
>