汇编中标准c函数如何接受参数？[副本]

Question

我有64位MacOS汇编代码，它对数组执行二进制搜索。标准 C 库中的二进制搜索是：

void* bsearch (const void* key, const void* base,
               size_t num, size_t size,
               int (*compar)(const void*,const void*));

我的集会看起来像

mov    %edi,0x2(%rsp)
mov    $0x2010,%r8d
mov    $0x4,%ecx
lea    0x2(%rsp),%rdi
callq  <bsearch@plt>

我想知道bsearch是否具有任何明确的参数顺序，即是否有任何方法可以知道rdi，ecx，r8d对应于这里？它是关键，基础，比较吗？

Answer 1

根据您的操作系统，有两种可能的调用约定（请参阅此处了解更多详细信息）。在Microsoft上，顺序为RCX、RDX、R8、R9。在Unix上，顺序是RDI、RSI、RDX，RCX、R9、R8。请注意，开头的“r”或“e”仅指示您是使用寄存器的所有64位（r）还是仅使用较低的32位（e）。因此，在您的情况下，我猜您使用的是Unix，对应关系是rdi=key，ecx=size，r8d=compar。