【C++】汇编分析，函数是如何调用，传参，返回

传参（x86）

x86是用栈，push传参，x64用寄存器传参。
我在MSVC编译测出来的是PUSH传参（debug模式），具体过程如下

long func(long a, long b, long c, long d,
    long e, long f, long g, long h) {
    long sum;
    sum = (a + b + c + d + e + f + g + h);
    return sum;
}

int main() {
    long sum;
    sum = func(1, 2, 3, 4, 5, 6, 7, 8);
    std::cout << sum << std::endl;
    return 0;
}

调用方：

汇编

push 是将操作数压到栈顶，然后移动栈顶（esp）
push前：

push一次后：

call前：

进入函数func

汇编

分析：

1. 前3条是经典的移动堆栈
   移动后：
   
   注意这个ebp = 00ff68c, 理论上它应该是等于call前的esp即00ff694，为何相差8。
   参数和栈底ebp之间的这8个字节分别是两个地址，先是函数的返回地址，即call指令的下一条地址，call指令是先将下一条指令地址压入栈然后跳转；其次是函数调用方的ebp，由跳转后第一条指令push ebp写入。
   具体栈信息如图：
   

返回值

可见是通过eax寄存器返回的。

总结

可以回答以下几个问题：

1. 如何传参，通过push指令将参数压入栈，然后call
2. 参数放在哪：因为调用是先push再call, 进入函数后参数在栈下面，也就是不在[ebp, esp)这个范围内，通过ebp+x来取得参数。
3. 局部变量在哪：进入函数后的3条指令开辟了新的栈空间即[ebp, esp)， 局部变量在栈空间内，通过ebp-x来取值。
4. 函数执行完恢复调用方的堆栈信息：进入函数后先将调用方的ebp压入栈，然后移动堆栈，调用方的ebp就存在当前栈底，即ebp指向的就是，退出函数时有个mov esp, ebp；pop ebp 动作就是将栈底的值给ebp寄存器。就恢复了调用方的堆栈
5. 返回值，返回值简单时通过寄存器返回。
6. 为什么参数的入栈信息总是从右到左：栈是向上增长的，先入栈的参数处于高位地址，压栈完后从低地址往高地址看，参数顺序就是从左向右了。
7. ret指令: 跳转到当前栈顶的地址，然后esp-4
8. call指令：将下一条指令地址压入栈，然后esp+4
9. 调用函数栈信息如下：

//func的栈
-esp
...
-ebp   ----- 调用方的ebp
-ebp-4  返回地址
- ebp-8 参数1
- ...
- 参数 n

寄存器传参

传结构体

1. 小结构体（<= 16 字节）：
   如果结构体的大小为16字节或更小，那么它会被视为两个8字节的块。这些块将分别存储在一个或两个寄存器中，具体取决于结构体的大小和结构。
   如果结构体的大小小于或等于8字节，并且它只包含一个简单的类型（如整数、浮点数等），那么结构体会被直接放入一个寄存器（如 RDI, RSI 等）。
   如果结构体包含两个8字节块，每个块会被分别放入两个寄存器中。

2. 大结构体（> 16 字节）：
   如果结构体的大小超过16字节，那么通常会在栈上为结构体分配空间，并将结构体的地址传递给函数。函数通过这个指针来访问结构体的数据。
   在这种情况下，寄存器传递的实际是结构体的指针，而不是结构体本身的数据。

3. 特殊情况：
   如果结构体含有多个不同类型的数据，编译器会根据结构体中各字段的类型和顺序，决定如何将结构体拆分成多个8字节块，然后依次放入适当的寄存器中（如整数寄存器和浮点寄存器）或栈中。