g ++不正确的循环？

Question

我有一个与此类似的真实世界计划，我称之为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);   
     }
}

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

如果我运行以下命令：

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

Answer 1

size_t未签名，因此条件i>=0始终为true。 i不可能是否定的。