c - 识别编译器产生的汇编程序中的某些组件

Question

<分区>

Answer 1

使用-fverbose-asm 编译。 gcc 在 asm 输出中的注释比 clang 冗长得多，变量名可以帮助您找到您正在寻找的循环，但更多时候它们只是编号的内部临时变量。不过，ivtmp 可能代表迭代变量，这与保存其他表达式结果的其他临时变量不同。

void foo(int*p) {
  for (int i=0 ; i<123456 ; i++ )
    p[i] = p[i] * 4 - 1;
}

gcc 5.3 with -fverbose-asm -O3 -march=haswell -fno-tree-vectorize -fno-unroll-loops compiles it to 递增指针的代码，当然使用 lea 将移位和减法合而为一。

Clang -fverbose-asm 在循环顶部分支目标上添加注释，但不注释每一行。

foo:
    lea     rdx, [rdi+493824] # D.2351,
.L2:
    mov     eax, DWORD PTR [rdi]      # MEM[base: _17, offset: 0B], MEM[base: _17, offset: 0B]
    add     rdi, 4    # ivtmp.9,
    lea     eax, [-1+rax*4]   # tmp111,
    mov     DWORD PTR [rdi-4], eax    # MEM[base: _17, offset: 0B], tmp111
    cmp     rdx, rdi  # D.2351, ivtmp.9
    jne     .L2       #,
    ret

---

在更复杂的代码中:

要查找内部循环，请查找紧随其后的分支回到同一标签的标签。到处都会有标签，但您正在寻找一个返回标签的分支，中间没有其他标签或分支。 (对于内部没有流控制的简单循环)。

如果代码是矢量化的，则查找包含 vector 指令的循环。 (例如，大量完全展开的标量 addsd 序言/结尾，然后是一个微小的 addpd 内循环。)

---

调试信息还将每条指令与负责它的源代码行相关联。有多种使用方法，包括按照 Godbolt Compiler Explorer 的方式对 asm 输出进行着色。

gcc auto-vectorizes this simple loop 进入标量代码直到对齐指针，然后是 vector 内循环，然后在最后一个完整 vector 之后进行清理。展开的标量序言/结尾使用交替颜色来标记正在检查循环条件的部分与执行循环体的部分。