g 编译的程序集导致无限循环？

Question

我一直在研究GNU的g编译器编译的汇编，它看起来像一个无限循环（g -S file.c -o的部分输出）：

.L3:
        movq    array2(%rip), %rax
        movq    array1(%rip), %rdx
        movq    -8(%rbp), %rcx
        salq    $3, %rcx
        addq    %rcx, %rdx
        movq    (%rdx), %rdx
        andl    $1, %edx
        salq    $3, %rdx
        addq    %rdx, %rax
        movq    (%rax), %rdx
        movq    temp(%rip), %rax
        andq    %rdx, %rax
        movq    %rax, temp(%rip)
        subq    $1, -8(%rbp)
        jmp     .L3

除了最后一条jmp指令之外，所有这些指令都是movq或计算指令，但这只是让我们回到.L3。这是以下代码的主体：

          ull i; // unsigned long long int
          for (i = x - 1; i >= 0; i--)
               temp &= array2[array1[i] & 1];

它是如何退出循环的？看起来它只是减少了i（subq$1，-8（%rbp）），并在没有比较的情况下重新启动。

Answer 1

假设< code>ull是< code>unsigned long long，循环永远不会结束，因为:

i >= 0

永远是真的。

注意：g 在启用警告的情况下进行编译时会报告此问题。