gcc - 作为调试标签的结构

Question

上下文：

Linux 64.

我想告诉 gcc 在使用 gcc -O0 -S -g myprog.c 生成程序集时保持结构不变

我的意思是：我不希望通过地址引用结构，而是希望它们被标签引用。这将简化解析而无需再次阅读源代码。

所以，例如：

struct mystruct{
    int32_t a;
    char * b;
}

会变成这样：

label_mystruct:
    -4(label_mystruct)
    -12(label_mystruct)

例如，被引用：

add $56, -4(label_mystruct)

目前是这样引用的

.globl _main
_main:
LFB13:
LM157:
    pushq %rbp  #
LCFI27:
    movq %rsp, %rbp#,
LCFI28:
    subq $80, %rsp#,
    movl %edi,-68(%rbp) # argc, argc,
    movq %rsi,-80(%rbp) # argv, argv

    Next line is the culprit:
    movq -56(%rbp), %rdx # list, D.3781
    movq -16(%rbp), %rax # arr, D.3780
    movq %rdx, %rsi # D.3781,
    movq %rax, %rdi # D.3780,
    call _myaddhu   #

我希望它是

label_mystruct:
    -4(label_mystruct)
    -12(label_mystruct)

.globl _main
_main:
LFB13:
LM157:
    pushq %rbp  #
LCFI27:
    movq %rsp, %rbp#,
LCFI28:
    subq $80, %rsp#,
    movl %edi,-68(%rbp) # argc, argc,
    movq %rsi,-80(%rbp) # argv, argv

    Now it is fine:
    movq label_mystruct, %rdx # list, D.3781
    movq -16(%rbp), %rax # arr, D.3780
    movq %rdx, %rsi # D.3781,
    movq %rax, %rdi # D.3780,
    call _myaddhu   #

问题：

在不使用外部工具的情况下，使用 gcc 是否可行？

Answer 1

我认为这是不可能的，这是 GCC 中使用的设置。

这里的问题是这里的结构存储在堆栈上，你不能真正拥有一个标签来引用堆栈上的东西。如果该结构不在堆栈上，它会有一个引用它的标签（例如，如果它是一个全局变量）。

另一方面，GCC 会生成调试信息，其中包含有关在运行特定代码时放置哪些数据的信息。在您的示例中，它本质上会说“执行此代码时 -56(%ebp) 指向mystruct”。

另一方面，如果您要手动编写汇编代码，您当然可以对变量进行符号引用。例如，您可以这样做：

#define MYSTRUCT -56(%ebp)

...
movq MYSTRUCT, %rdx 

但是MYSTRUCT 将被扩展，并且在汇编代码期间该符号会丢失。如果 GCC 这样做将无济于事（除非-s 生成的汇编代码可能更具可读性），此外 GCC 无论如何都不会通过预处理器传递汇编程序（因为它不这样做）。

Answer 2

如果你把你的结构放入静态存储中，你就会明白这一点。这当然会改变代码的含义。比如这段代码

struct {
    int a, b;
} test;

int settest(int a, b) {
    test.a = a;
    test.b = b;
}

编译为（清理）：

settest:
    movl    %edi, test(%rip)
    movl    %esi, test+4(%rip)
    ret

    .comm   test,8,4

您也可以尝试将选项 -fverbose-asm 传递给 gcc，它会指示 gcc 添加一些注释，以使程序集更易于阅读。