NASM汇编函数如何接收参数？多参数实现问题解答

你的代码返回随机值的核心原因 #

你写的测试代码存在两个致命错误：

1. 完全不符合System V AMD64调用约定的参数传递规则：你默认参数存放在rbx/rcx/rdx中是完全错误的，这几个寄存器并不是前序参数的固定传递位置，函数运行时这几个寄存器里存的是调用方（C代码main函数）执行过程留下的临时值，根本不是你传入的函数参数，读取出来自然是随机值。
2. 违规修改被调用者保存寄存器：rbx属于约定中由被调用方负责保存的寄存器，如果你在自定义函数中修改rbx的值，必须在函数入口将rbx原值压栈保存，函数返回前恢复原值，否则会直接破坏调用方的运行上下文，导致程序执行逻辑错乱。

你之前写的三参数maxofthree能正常运行，本质是刚好符合调用约定的规则：前3个整数参数确实是通过rdi/rsi/rdx传递的，逻辑和约定完全匹配，所以可以正常运行。

x86-64平台整数参数传递规则（System V AMD64，适用于Linux/BSD/macOS系统，也是你当前用gcc/clang编译C代码默认遵循的规则） #

• 函数的前6个整数/指针类型参数，从左到右按顺序通过以下寄存器传递：rdi、rsi、rdx、rcx、r8、r9
• 从第7个整数参数开始，所有参数按照从右向左的顺序压入栈空间传递，函数可以通过栈指针偏移读取这部分参数
• 函数的整数返回值统一存放在rax寄存器中
• 寄存器使用权限分为两类：
  • 调用者保存寄存器：rax、rcx、rdx、rsi、rdi、r8~r11，自定义汇编函数可以随意修改这些寄存器的值，不需要提前备份，调用方会自行负责这些寄存器的状态保存
  • 被调用者保存寄存器：rbx、rbp、r12~r15，如果函数中需要使用这些寄存器，必须在入口处将原值压栈保存，返回前弹出恢复，否则会引发程序异常

10个参数求最大值的实现方案 #

10个整数参数中，前6个通过寄存器传递，后4个存在栈上，不需要额外分配寄存器存储所有参数，只需要依次遍历所有参数、迭代更新最大值即可，全程只需要用到rax存临时最大值，不需要触碰被调用者保存寄存器，也不需要额外的栈操作。
对应的汇编实现代码如下：

global maxoften
section .text
maxoften:
    ; 先处理前6个寄存器传递的参数
    mov     rax, rdi                ; 初始化最大值为第一个参数
    cmp     rax, rsi
    cmovl   rax, rsi
    cmp     rax, rdx
    cmovl   rax, rdx
    cmp     rax, rcx
    cmovl   rax, rcx
    cmp     rax, r8
    cmovl   rax, r8
    cmp     rax, r9
    cmovl   rax, r9

    ; 处理栈上传递的第7-10个参数
    ; call指令会自动将8字节返回地址压栈，因此第一个栈上参数的偏移为rsp+8
    cmp     rax, [rsp + 8]          ; 第7个参数
    cmovl   rax, [rsp + 8]
    cmp     rax, [rsp + 16]         ; 第8个参数
    cmovl   rax, [rsp + 16]
    cmp     rax, [rsp + 24]         ; 第9个参数
    cmovl   rax, [rsp + 24]
    cmp     rax, [rsp + 32]         ; 第10个参数
    cmovl   rax, [rsp + 32]

    ret

对应的C端函数声明为：

int64_t maxoften(int64_t, int64_t, int64_t, int64_t, int64_t, int64_t, int64_t, int64_t, int64_t, int64_t);

如果需要处理更多数量的参数（比如几十上百个），更合理的方式是将参数存入数组，将数组首地址和元素个数作为两个参数传入汇编函数，通过循环遍历数组完成最大值查找，完全不受寄存器数量和栈传参数量的限制。

内容的提问来源于stack exchange，提问作者Goal