调用约定(Calling Conventions

LLVM functionscalls and invokes 可以带有一个可选的调用约定来指明调用方式。每一对 caller/callee(调用者/被调用者)的调用约定必须相匹配,不然这个程序的行为是未定义的。下面的是LLVM支持的调用约定形式,并且在未来可能会加入更多:

ccc” - The C calling convention

这个调用约定(在没有标识其他调用约定时,为默认调用约定)匹配其目标到C调用约定。这个调用约定支持变长参数函数调用并可容忍函数的声明和实现之间存在某些不匹配的地方(像正常的 C一样)

fastcc” - The fast calling convention
这个调用约定企图使调用尽可能的快速(如,通过寄存器传递参数)。这个调用约定允许目标使用任何技巧来为其产生快速的代码,不要求符合外部指定的ABI (Application Binary Interface).  尾部调用只能在theGHC or the HiPE convention 被使用的时候优化。这种调用约定不支持变长参数切要求所有被调用者的原型与函数定义的原型相匹配。
coldcc” - The cold calling convention
这种调用约定企图使调用者内的代码在假定这个调用不会被经常执行的情况下尽可能的有效率。像这种情况,这些调用通常会保护所有寄存器,因此这个调用不会破坏任何调用者内的生存范围(live ranges)。这种调用约定不支持变长参数切要求所有被调用者的原型与函数定义的原型相匹配。更进一步的,内联器(inliner)不会考虑把这种函数进行内联。
cc 10” - GHC convention
这种调用约定被明确的实现来用于 Glasgow Haskell Compiler (GHC)。它传递所有东西到寄存器中,并通过禁止被调用者保存寄存器来实现这种极端的方式。这种调用约定不应该轻易地使用除非像在实现函数式编程语言时,一个可选的the register pinning性能技术经常被使用的情况下。在目前只有X86支持这种约定切它有以下限制:
~ 在X86-32下只支持长度大于4bit的类型的形参。不支持浮点型。
~ 在X86-64下只支持长度大于10bit的类型形参且只支持 (6 floating point parameters?)
这种调用约定支持 tail call optimization 但要求调用者和被调用者都使用这种调用约定。
cc 11” - The HiPE calling convention
这种调用约定被明确实现来用于High-Performance Erlang (HiPE) compiler,the Ericsson’s Open Source Erlang/OTP system的本地编译器。它比普通的C调用约定使用了更多寄存器来用于实参的传递和定义非调用者保存寄存器(no callee-saved registers)。这个调用约定正确地支持尾部调用优化但要求调用者和被调用者都是用这个调用约定。它使用一个与GHC’s 约定相似的 register pinning 机制来保持被压在指定硬件寄存器上的运行时组件的频繁访问。在目前,只有X86支持这种调用约定(包括32位和64位)。
webkit_jscc” - WebKit’s JavaScript calling convention
这种调用约定被实现用于WebKit FTL JIT。它从右到左向stack传递实参(像cdcel 调用约定一样),并且返回一个值到平台所定义的返回寄存器中。
anyregcc” - Dynamic calling convention for code patching
这种特殊的调用约定支持修补一段任意的代码序列来取代一个调用地点(call site)。这种调用约定强制调用的实参到寄存器中但允许他们被动态分配。这种调用约定只能被llvm中的调用使用。这种调用约定是实验性的。patchpoint because only this intrinsic records the location of its arguments in a side table.See Stack maps and patch points in LLVM.“
preserve_mostcc” - The PreserveMost calling convention
这种调用约定企图使调用者中的代码尽可能地少受干扰。这种调用约定在如何传递实参和返回值上与C调用约定完全一致,但“preserve_mostcc” 使用不同的调用者保存寄存器和非调用者保存寄存器(caller/callee-saved register)集。这样可以减轻在调用开始和结束需要保存和恢复大量寄存器集的负担。如果实参传递到非调用者保存寄存器(callee-saved registers),那么他们会被被调用者保护起来。不能使用从非调用者保存寄存器(callee-saved registers)返回的值。
~ 在X86-64中被调用者保护所有普通目的寄存器,除了R11。R11可能被用作scratch register。浮点寄存器(XMMs/YMMs)不会被保护且需要被调用者保护。
这种调用约定背后的想法支持调用拥有一个 hot path 和一个 cold path 的运行期函数。hot path通常是不需要太多寄存器的小代码块。cold path可能需要调用另一个函数并且仅仅需要保护那些未被调用者保存的调用者保存寄存器(caller-saved registers)。“preserve_mostcc” 调用约定在调用者保存寄存器和非调用者保存寄存器(caller/callee-saved register)数量方面要小很多(@note -- 因为coldcc需要在每一个函数内部保存所有寄存器导致了很多不必要的操作),但它们被使用于不同类型的函数调用。“coldcc” 是用于那些很少被执行的函数调用,然而“preserve_mostcc”函数调用主要部分在于hot path且肯定被执行多次。(whereas preserve_mostcc function calls are intended to be on the hot path and definitely executed a lot.)此外,“preserve_mostcc”不能防止内联器(linker)内联这个函数调用。
这种调用约定将会被使用到Objective-C运行期的一个未来版本,因此该调用约定在目前仍然被认为是实验性的。计时这个约定已经被创建来优化确定的Objective-C运行期的运行期调用,它并不受限于Objective-C的运行期,在未来可能会被使用于其他运行期。当前的实现仅支持X86-64,但在未来会试吃更多得体系架构。
preserve_allcc” - The PreserveAll calling convention
这种调用约定企图使调用者中的代码尽可能地少受干扰。这种调用约定在如何传递实参和返回值上与C调用约定完全一致,但“preserve_mostcc” 使用不同的调用者保存寄存器和非调用者保存寄存器(caller/callee-saved register)集。这样可以减轻在调用开始和结束需要保存和恢复大量寄存器集的负担。如果实参传递到非调用者保存寄存器(callee-saved registers),那么他们会被被调用者保护起来。不能使用从非调用者保存寄存器(callee-saved registers)返回的值。
~ 在X86-64中被调用者保护所有普通目的寄存器,除了R11。R11可能被用作scratch register。浮点寄存器(XMMs/YMMs)不会被保护且需要被调用者保护。
这种调用约定背后的想法支持不需要调用其它函数的运行期函数。
这种调用约定,类似于“preserve_mostcc”调用约定,会被使用于Objective-C运行期的一个未来版本,在目前被认为是实验性的
cc <n>” - Numbered convention
任何调用约定肯能被一个数字标识,来允许作为一个与特定目标相关的调用约定。与特定目标相关的调用约定开始于数字64。

更多得调用约定可能被增加/定义在需要的基础上,从而支持Pascal调用约定或者其他任何知名的依赖于目标的调用约定。

LLVM language 参考手册(译)(2)的更多相关文章

  1. LLVM language 参考手册 翻译停止相关

    再翻译LLVM language 参考手册的时候,个人感觉很多东西都不是很懂,因此打算学习完编译原理后再去继续研究翻译,多有不便望见谅

  2. LLVM language 参考手册(译)(1)

    LLVM Language Reference Manual 摘要 这个文档是一个LLVM汇编语言的参考手册.LLVM是一个基于Static Single Assignment(SSA - 静态单赋值 ...

  3. LLVM language 参考手册(译)(3)

    可见性模式(Visibility Styles) 所有全局变量和函数具有以下的可见性模式之一: “default” - Default style 在那些使用ELF object file格式的平台( ...

  4. LLVM language 参考手册(译)(6)

    模块级内联汇编(Module-Level Inline Assembly) 模块包含“module-level inline assembly”块,这与GCC中的“file scope inline ...

  5. LLVM language 参考手册(译)(5)

    垃圾回收器名称(Garbage Collector Names) 每一个函数可以制定一个垃圾回收期的名称,这个名称是一个简单的字符串: define void @f() gc "name&q ...

  6. LLVM language 参考手册(译)(4)

    函数(Functions) LLVM函数定义由“define” 关键字,一个可选的链接标识,一个可选的可见性模式,一个可选的DLL存储类别,一个可选的调用约定,一个可选的 unnamed_addr 属 ...

  7. Lua 5.1 参考手册

    Lua 5.1 参考手册 by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes 云风 译 www.codingno ...

  8. [SQL]SQL语言入门级教材_SQL语法参考手册(三)

    SQL 语法参考手册 DB2 提供了关连式资料库的查询语言 SQL (Structured Query Language),是一种非常口语化.既易学又易懂的语法. 此语言几乎是每个资料库系统都必须提供 ...

  9. Lua参考手册

    英文原版: http://www.lua.org/manual/5.1/ 中文版下面2个地址都有:一样的 manual.luaer.cn lua在线手册 lua参考手册Lua参考手册的中文翻译(云风翻 ...

随机推荐

  1. 【阿里云产品公测】阿里云OpenSearch初次使用评测

    作者:阿里云用户 bailimei 从一开始我就对opensearch非常陌生,这是我第一次接触它,本以为对我来说上手难度会比较大,看完帮助信息后我决定试用看看,经试用后我发现阿里云opensearc ...

  2. c++ STL:队列queue、优先队列priority queue 的使用

    说明:本文全文转载而来,原文链接:http://www.cppblog.com/wanghaiguang/archive/2012/06/05/177644.html C++ Queues(队列) C ...

  3. VS2013 支持python和nodejs

    一.在VS2013中,安装python的支持 1. http://pytools.codeplex.com/下载插件 2. https://www.python.org/download/下载Pyth ...

  4. poi实现将数据输出到Excel表格当中

    今天简单的学习了一下POI,一下是所使用到的jar,这些jar可以到apache去下载

  5. oracle PL/SQL(procedure language/SQL)程序设计之异常(exception)

    什么是异常?在PL/SQL中的一个标识.在程序运行期间被触发的错误.异常是怎样被触发的?产生一个Oracle错误.用户显示触发.怎样处理异常?用异常处理句柄捕获异常.传播异常到调用环境. 捕获异常 E ...

  6. POJ 1502 MPI Maelstrom (最短路)

    MPI Maelstrom Time Limit: 1000MS   Memory Limit: 10000K Total Submissions: 6044   Accepted: 3761 Des ...

  7. XML语言:可扩展的标记语言;

    作用:1. 解决跨语言的数据交换,C#与Javascript 语言的数据交换:. 2.XML:用于数据的存储以及传输:1.新建方法: 在解决方案资源管理器----选中网站名---右击添加新建项---- ...

  8. 转载事务在C#方法里的应用

    问题:一个系统的数据库更新或者插入的时候若遭遇到断电等能引起数据库不能正常工作的情况的话,其更新或插入的将是不完整的数据,或者是错误的数据.故需要引入事务处理. 实例:数据更新的事务处理. 解决方案: ...

  9. CS异步下载

    using System; using System.Collections.Generic; using System.ComponentModel; using System.Data; usin ...

  10. Android 手势滑动,多点触摸放大缩小图片

    效果展示: 基本思路: <1>首先写一个图片控制类ImageControl,实现对图片控制的的基本操作,我们的图片控制类ImageControl是继承自ImageView自定义的视图: & ...