Question

我在main.c文件中有以下代码：

int main() {
    int i;
    for (i = 0; i < 5; i++) {
    }

    return 0;
}

当我用gcc -x c -m32 -S -O0 -o main.s main.c编译它时（在Fedora 16 64位下）我得到了这个输出：

    .file   "main.c"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $16, %esp
    movl    $0, -4(%ebp)
    jmp .L2
.L3:
    addl    $1, -4(%ebp)
.L2:
    cmpl    $4, -4(%ebp)
    jle .L3
    movl    $0, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .ident  "GCC: (GNU) 4.6.2 20111027 (Red Hat 4.6.2-1)"
    .section    .note.GNU-stack,"",@progbits

然而，当我使用gcc -x c++ -m32 -S -O0 -o main.s main.c时，除了这些行之外，我得到相同的输出：

.L2:
    cmpl    $4, -4(%ebp)
    setle   %al
    testb   %al, %al
    jne .L3

我的问题是：为什么在C ++代码中使用setle和testb而不是jle？它更有效吗？

P.S。另外，有没有办法摆脱汇编输出中的这些.cfi_*指令？

Answer 1

嗯，你正在使用不同的编译器，所以你得到不同的输出并不奇怪。 {C}或C ++编译程序时，clang确实会给出完全相同的结果，如果您感兴趣的话：

$ cp example.c example.cpp
$ clang -o exampleC example.c
$ clang++ -o exampleC++ example.cpp
$ otool -tV exampleC > C
$ otool -tV exampleC++ > C++
$ diff C C++
1c1
< exampleC:
---
> exampleC++:
$

我的机器上的gcc和g++也得到了相同的结果，所以看起来它只是你特定编译器版本的一个怪癖。

“gcc -x c”和“gcc -x c ++”程序集输出之间的区别

1 个答案: