了解gcc -S输出

Question

我在下面的x86_64非常复杂的程序上做了gcc -S:

int main() {
    int x = 3;
    x = 5;
    return 0;
}

而我得到的是:

       .file   "main.c"
        .text
.globl main
        .type   main, @function
main:
.LFB0:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        movl    $3, -4(%rbp)
        movl    $5, -4(%rbp)
        movl    $0, %eax
        leave
        .cfi_def_cfa 7, 8
        ret
        .cfi_endproc
.LFE0:
        .size   main, .-main
        .ident  "GCC: (GNU) 4.4.7 20120313 (Red Hat 4.4.7-3)"
        .section        .note.GNU-stack,"",@progbits

我想知道是否有人可以帮助我理解输出或引用我的一些链接解释.具体来说,cfi ,LFB0,LFE0 , leave意味着什么？关于这些我能找到的就是这篇文章但却无法完全理解它的用途.另外,ret在这种情况下做什么？我猜它正在回归__libc_start_main(),反过来会打电话do_exit(),这是正确的吗？

Answer 1

这些.cfisomething指令导致编译器生成附加数据.当指令导致异常时,此数据有助于遍历调用堆栈,因此可以找到并正确执行异常处理程序(如果有).调用堆栈信息对于调试很有用.此数据很可能会进入可执行文件的单独部分.它没有插入代码的指令之间.

.LFsomething: 只是常规标签,可能由额外的异常相关数据引用.

leave并且ret是CPU指令.

leave 相当于:

movq    %rbp, %rsp
popq    %rbp

它取消了这两个指令的效果

pushq   %rbp
movq    %rsp, %rbp

和通过从中减去一些东西来在堆栈上分配空间的指令rsp.

ret从函数返回.它从堆栈弹出返回地址并跳转到该地址.如果它被__libc_start_main()调用main(),那么它返回那里.

Answer 2

干得好 :

1:.LFB0, .LFE0只不过是当地的标签.

2:.cfi_startproc在每个函数的开头使用并且函数结束发生.cfi_endproc.

3:该leave指令是一个x86汇编程序指令,用于恢复调用函数的堆栈帧.

最后,在Ret指令之后,发生了一些事情

      o %eip contains return address
      o %esp points at arguments pushed by caller
      o called function may have trashed arguments
      o %eax contains return value (or trash if function is void)
      o %ecx, %edx may be trashed
      o %ebp, %ebx, %esi, %edi must contain contents from time of call