arrays - x86-64 汇编中的数组元素比较(AT&T 语法)

Question

我正在尝试在 x86-64 程序集中编写一个简单的过程，它仅返回整数数组的长度。数组中的最后一个元素是 0，不应计算在内。该数组作为 int * 从 C 代码传入。

我的汇编代码如下:

f1:
    movq $0, %rax   # zero out %rax
    jmp   test      # jump to test
body:
    incq  %rax      # increment %rax, which is counter and array index

test:
    cmpq   $0, (%rdi,%rax,4)  # compare (rdi + (rax * 4)) to 0
    jne    body   # jump if zero flag is not set
ret

当这个运行时，我得到的结果不正确，但也不是完全错误，所以我得到的不是 11(传递的数组大小减去结尾 0)，而是 38。我认为发生的情况是我的比较语句是不正确。我的想法是，由于 cmpq 执行 (dest - src) 而不更改寄存器，因此如果数组索引为 0，0-0 将产生零，因此将设置零标志，但这似乎没有发生。

我可以任意将数组的任何元素加载到％rax中，它返回正确的值:

movq   (%rdi,%rax,4), %rax   # %rax initially 0, so first element loaded into %rax

任何帮助将不胜感激!

Answer 1

int 在 x86-64 ABI(SystemV 和 Windows)中都是 32 位(4 字节)。 (有关详细信息，请参阅 x86 标签 wiki)。

cmpq $0, (%rdi,%rax,4) 正确地将索引缩放 4，但错误地使用 64 位操作数大小。 (q 代表四字。在英特尔的 x86 术语中，一个“字”是 16 位。)

cmpq 正在比较两个连续元素。等效的 C 语言为 while( 0 != *(int64_t*)&(array[i]) ){++i; }

---

在 x86 之外，一个字通常是机器的寄存器大小或类似的东西，因此它与 long 的大小匹配。例如在 32 位 MIPS 上，一个字是 32 位。

这只是术语，有方便的名称很方便，例如 word(AT&T 语法 w 后缀)、dword(l 后缀)、qword(q 后缀)。

在 gdb 中，即使在调试 x86 时，某些地方“word”也是 32 位(例如转储内存的 x 命令有 b (字节)、h(半字:16b)、w(字)和g(巨人:8B)大小格式说明符。