GoLang之[Go1.17]调用约定修改 实现寄存器传参

GoLang之[Go1.17]调用约定修改 实现寄存器传参

1.为啥要引入寄存器传参？

本期内容我们来看看，go1.17中调用约定的变化。先来回忆一下许久之前咱们介绍过的函数栈帧的知识。这样一个函数a调用函数b 时参数和返回值是怎样传递的呢？函数 的函数栈帧是这样的，a 的局部变量,然后是被调用函数的返回值空间,最后是a 要传递给b 的参数，由右至左依次入栈。函数b 使用的参数在这里,我们知道c p u 进行运算时，需要将数据拷贝到寄存器中。所以当函数b 执行时，c p u 会将处在参数空间的a 和b 拷贝到寄存器中进行运算，再将计算结果从寄存器拷贝到站上的返回值空间。

但是c p u 处理寄存器的速度与读写内存的速度压根儿不在一个数量级上。要是能将参数和返回值直接通过寄存器来传递，那就能减少内存与寄存器之间的数据拷贝，程序执行的速度自然也就更快了。

正因如此，在go1.17的调用约定中，就实现了通过寄存器来传参。例如这个in12函数，它接收12个入参，这些参数会依次使用c p u 中这9个通用寄存器进行传递。每个参数最少占用一个寄存器，也就是说即使是一个int8类型的参数也会独自占用一个寄存器。这9个寄存器装不下了，会继续使用栈来传递,对齐方式跟之前的调用约定相同，这是基础类型的参数。

2.结构体参数如何传参？

对于结构体类型的参数来说，如果使用寄存器可以装得下，那就用寄存器来传递。如果只用寄存器装不下整个结构体类型的参数时，并不会把它拆分开来使用两种方式传递，而是完全退化为栈传递。

3.浮点型参数如何传参？

还有一个比较特殊的参数类型，那就是浮点型参数。由于amd 64架构中，浮点型数据的编码与整形数据编码大不相同，而浮点数的运算会使用专用寄存器和指令。所以浮点数不会使用这9个通用寄存器来传递，而是使用这15个XMM寄存器来传递。这组XMM寄存器是随着多媒体相关的指令集一起引入的,go 语言使用它们来处理浮点数。前15个浮点型参数会依次使用x0到x14这15个寄存器来传递。
如果还有就要使用栈来传递了。

以上具体的探索过程以及新版调用约定对调用汇编函数的影响，请移步公众号查看调用约定相关文章。