什么是.LFB .LBB .LBE .LVL .loc在编译器生成的汇编代码中

Question

当我查看GCC生成的汇编代码时,有许多行开头.LBB和一个数字.似乎它们不是操作指令.更像是标记文件的内容或什么.

是什么.LFB,.LVL,LBB,LBE等是在编译器生成的汇编代码？ .loc是否意味着"代码行".那些线条只是表明了symbol table吗？

这是一段代码,

main:
.LFB1:
  .loc 1 8 0
  .cfi_startproc
.LVL2:
.LBB4:
.LBB5:
  .loc 1 2 0
  movsd b(%rip), %xmm0
.LBE5:
.LBE4:
  .loc 1 10 0
  xorl  %eax, %eax
.LBB7:
.LBB6:
  .loc 1 2 0
  mulsd a(%rip), %xmm0
.LBE6:
.LBE7:
  .loc 1 9 0
  movsd %xmm0, a(%rip)
.LVL3:
  .loc 1 10 0
  ret
  .cfi_endproc

Answer 1

的.loc

如Ferruccio .loc所述,它是一个调试指令,如果你告诉编译器生成调试信息,它只出现在GCC 4.8.2中-ggdb.

.loc记录在https://sourceware.org/binutils/docs-2.18/as/LNS-directives.html#LNS-directives中,确切的输出取决于调试数据格式(DWARF2等).

另一个是标签.

.L前缀

GCC使用.Lfor local标签.

默认情况下,GAS不会在编译输出上生成任何符号,如下所示:https://sourceware.org/binutils/docs-2.18/as/Symbol-Names.html

本地符号是以某些本地标签前缀开头的任何符号.默认情况下,ELF系统的本地标签前缀为".L"

本地符号在汇编程序中定义和使用,但它们通常不保存在目标文件中.因此,调试时它们不可见.您可以使用`-L'选项(请参阅包含本地符号:-L)来保留目标文件中的本地符号.

因此,如果使用:编译as -c a.S,nm a.o则根本不显示这些标签.

这只是有意义的,因为您无法从C程序生成此类标签.

还有一些选项可以管理它:

• man as --keep-locals
• man ld --discard-all

这似乎是GCC工具链的特定惯例,不是ELF ABI也不是NASM.

此外,NASM和GAS都使用以句点(但不是.L在GAS中)开始的标签生成局部符号的约定:http://www.nasm.us/doc/nasmdoc3.html#section-3.9但仍然存在输出.

后缀

您提到的后缀似乎都与调试相关,因为它们都是在GCC 4.8.2上的gcc/dwarf2out.c下定义的,而DWARF2是ELF的主要调试信息格式:

#define FUNC_BEGIN_LABEL  "LFB"
#define FUNC_END_LABEL    "LFE"
#define BLOCK_BEGIN_LABEL "LBB"
#define BLOCK_END_LABEL   "LBE"
ASM_GENERATE_INTERNAL_LABEL (loclabel, "LVL", loclabel_num);

根据我的实验,其中一些只是生成gcc -g,有些甚至没有生成g.

一旦我们有了这些定义名称,就很容易生成生成它们的C代码,看看它们的含义:

• LFB并LFE在函数的开头和结尾生成

• LBB并LBE通过用下面的代码生成的gcc -g内部功能块范围:

  #include <stdio.h>
  
  int main() {
      int i = 0;
      {
          int i = 1;
          printf("%d\n", i);
      }
      return 0;
  }
  

• LVL:TODO我无法轻易理解它.我们需要更多地解释源代码.

Answer 2

该.loc伪指令用于指示相应的源代码行。表示对应源代码的文件号、行号、列号。

其余的看起来像标签。