美文网首页
调用约定

调用约定

作者: tommwq | 来源:发表于2019-11-13 21:25 被阅读0次

对于常见的指令集,在指令层面没有所谓的“函数”概念,只有“子程序”概念。子程序是存储在“主程序”之外的一段指令。子程序通过call指令调用,通过ret指令返回。子程序可以使用内存、堆栈和寄存器。通常主程序会传递参数给子程序,子程序将执行结果返回给主程序。这些参数和返回值如何传递,可以由开发者决定。不过如果程序中同时使用了高级语言和汇编语言,为了让编译器生成的汇编代码可以正确的汇编和连接,必须采用一个双方都遵守的传递参数和返回值的方法。这就是调用约定。换言之,调用约定是为了保证了不同函数可以正确汇编和链接而设计的,主程序和子程序之间传递数据的方式。

从上面的说明可以看到,调用约定涉及参数和返回值两部分。早期的高级语言(比如C)只有一个返回值,因此返回值的传递也较为简单。下表总结了几个平台上返回值的传递方法:

| 平台 | 整型 | 结构体 | 浮点型 |
| x86 | eax | eax | st(0) |
| x86-64 | rax | rax | xmm0 |
| ARM | R0 | R0 | R0 |
| ARM64 | R0 | R0 | R0 |

调用约定中比较复杂的是参数传递方法,其中又以x86平台的调用约定种类繁多。

  • x86参数传递
    在32位x86系统上,由于寄存器数量较少,参数主要通过栈传递,也产生了比较多的调用方式。MSVC和GCC支持的32位调用约定有:

| 关键字 | 清理堆栈 | 参数传递 |
| __cdecl | caller | 从右向左将参数压栈。 |
| __clrcall | n/a | 将参数从左向右加入CLR表达式栈。 |
| __stdcall | callee | 从右向左将参数压栈。 |
| __fastcall | callee | 优先使用寄存器ecx和edx传递参数,然后才使用堆栈。 |
| __thiscall | callee | 通过ecx传递this指针,其他参数通过栈传递。 |
| __vectorcall | callee | 从右向左传递参数,优先使用寄存器ecx和edx,然后才使用堆栈。 |

通过栈传递参数时,栈的结构如下:

16(%ebp) - third function parameter
12(%ebp) - second function parameter
8(%ebp) - first function parameter
4(%ebp) - old %EIP (the function's "return address")
0(%ebp) - old %EBP (previous function's base pointer)
-4(%ebp) - first local variable
-8(%ebp) - second local variable
-12(%ebp) - third local variable

  • x86-64参数传递

x86-64拥有比较多的寄存器,因此主要通过寄存器传递参数,调用约定也较为统一。MSVC编译器通过rcx、rdx、r8、r9传递前4个参数,其余参数同过栈传递,正如下面的例子:

void func1(int a, int b, int c, int d, int e);
// a: rcx, b: rdx, c: r8, d: r9, e: stack

如果函数的参数是结构体,编译器将这个结构体的指针作为实际参数传递。如果参数是浮点数,将通过寄存器xmm0、xmm1、xmm2和xmm3传递。如果参数中既有整数又有浮点数,编译器将按照下面的例子传递参数:

void func2(int a, fouble b, int c, float d);
// a: rcx b: xmm1 c: r8 d: xmm3

如果参数通过栈传递,调用者(caller)负责清理堆栈。C++程序的this指针通常作为第一个参数,通过rcx传递。

在Linux上,GCC优先通过rdi、rsi、rdx、rcx、r8、r9传递参数。对于浮点数参数,GCC使用xmm0-xmm7寄存器。和MSVC一样,GCC也要求调用者清理堆栈。同时,GCC也将C++的this指针作为第一个参数。因此在GCC中,this指针通过rdi传递。

相关文章

  • 调用约定

    调用约定 调用约定参数压栈顺序平衡堆栈EAXAXAH - ALECXCXCH-CLEDXDXDH-DLEBXBXB...

  • 调用约定

    对于常见的指令集,在指令层面没有所谓的“函数”概念,只有“子程序”概念。子程序是存储在“主程序”之外的一段指令。子...

  • 11-27函数

    函数 函数的重点是识别调用约定、参数类型和返回值类型 调用约定: cdecl调用方平栈 stdcall被调用方平栈...

  • 函数调用约定

    援引《C++ Primer(Fifth Edition)》4.1.3节: Order of operand eva...

  • 函数调用约定

    函数调用约定 在C语言中,假设我们有这样的一个函数: int function(int a,int b) 调用时只...

  • 函数调用约定

    1. c调用约定 _cdecl 调用方将参数从右面到左压栈,被调用函数完成后,调用方负责从栈中清除参数。 2. s...

  • 函数调用约定

    最近在研究反汇编相关的东西,看到了一些汇编中函数调用的约定,顺便记录下来。 cdeclx86体系结构的许多C编译器...

  • 栈调用约定

    ads

  • Go 函数调用约定与栈

    调用约定 (calling convention) 是调用方 (caller) 与被调用方 (callee) 对于...

  • 调用约定与符号名

    目的: 这里对【函数调用约定与Name Mangling】之间的关系进行总结,方便后续查找。 调用约定: __st...

网友评论

      本文标题:调用约定

      本文链接:https://www.haomeiwen.com/subject/fwgkictx.html