为什么 rax 和 rdi 在这种情况下工作相同？

Question

我做了这个代码：

global  strlen
    ; int strlen(const char *string);
strlen:
    xor     rcx, rcx

retry:
    cmp byte    [rdi + rcx], 0
    je      result
    inc     rcx
    jmp     retry

result:
    mov     rax, rcx
    ret

这就是我测试它的方式:

#include <stdio.h>

int main(int argc, char **argv)
{
    char* bob = argv[1];
    printf("%i\n", strlen(bob));
    return 0;
}

这是一个有效的 strlen，这里没问题，但我注意到我可以在重试块的第一行中将 rdi 切换为 rax 而无需更改任何内容，我不知道这是否是正常行为。我应该保留哪些价值观？

Answer 1

只是运气不好。

GCC 8, without optimisations，使用rax作为中间位置将argv[1]移动到bob并将后者移动到strlen的第一个参数：

  push rbp
  mov rbp, rsp
  sub rsp, 32

  mov DWORD PTR [rbp-20], edi             ;argc
  mov QWORD PTR [rbp-32], rsi             ;argv

  mov rax, QWORD PTR [rbp-32]             ;argv
  mov rax, QWORD PTR [rax+8]              ;argv[1]
  mov QWORD PTR [rbp-8], rax              ;bob = argv[1]

  mov rax, QWORD PTR [rbp-8]
  mov rdi, rax
  call strlen                             ;strlen(bob)

  mov esi, eax
  mov edi, OFFSET FLAT:.LC0
  mov eax, 0
  call printf

  mov eax, 0
  leave
  ret

这只是运气不好，没有记录在案的行为，事实上 it fails if you use a string literal:

printf("%i\n", strlen("bob"));

  mov edi, OFFSET FLAT:.LC1
  call strlen                     ;No RAX here

  mov esi, eax
  mov edi, OFFSET FLAT:.LC0
  mov eax, 0
  call printf

指定如何将参数传递给函数的文档是您的 OS ABI，read more in this answer。

GCC 生成 "dumb" 代码，在禁用优化时大量使用寄存器，这简化了调试（GCC 引擎和编译的程序）并且基本上模仿了初学者：首先变量是从内存中读取并放入第一个空闲寄存器（一个问题解决了），然后将其复制到正确的寄存器中（另一个消失了），最后调用。
GCC 刚刚拾取了第一个空闲寄存器，在这个简单的程序中没有寄存器压力并且 rax 总是被拾取。

为什么 rax 和 rdi 在这种情况下工作相同？

Why does rax and rdi work the same in this situation?

assembly

x86-64

calling-convention

undefined-behavior