2

我有一个与此类似的真实世界程序，我将其称为test.cpp：

#include <stdlib.h>

extern void f(size_t i);

int sample(size_t x)
{
     size_t a = x;
     size_t i;  

     for (i = a-2; i>=0; i--) {
           f(i);   
     }
}

我的问题是 i 是一个无限循环。

如果我运行以下命令：

g++ -S -o test.s test.cpp

我得到以下组装顺序：

        .file   "test.cpp"
        .text
        .globl  _Z6samplem
        .type   _Z6samplem, @function
_Z6samplem:
.LFB0:
        .cfi_startproc
        pushq   %rbp
        .cfi_def_cfa_offset 16
        .cfi_offset 6, -16
        movq    %rsp, %rbp
        .cfi_def_cfa_register 6
        subq    $32, %rsp
        movq    %rdi, -24(%rbp)
        movq    -24(%rbp), %rax
        movq    %rax, -8(%rbp)
        movq    -8(%rbp), %rax
        subq    $2, %rax
        movq    %rax, -16(%rbp)
.L2:
        movq    -16(%rbp), %rax
        movq    %rax, %rdi
        call    _Z1fm
        subq    $1, -16(%rbp)
        jmp     .L2
        .cfi_endproc
.LFE0:
        .size   _Z6samplem, .-_Z6samplem
        .ident  "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
        .section        .note.GNU-stack,"",@progbits

我不是汇编语言专家，但我希望看到用于比较i >= 0的代码和有条件的跳出循环。这里发生了什么？？

Ubuntu Linux 上的 GNU C++ 4.6.3

4

1 回答 1

11

size_t是无符号的，所以条件i>=0总是true。i消极是不可能的。

于 2012-06-29T16:10:03.220 回答