LLVM language 参考手册(译)(2)
调用约定(Calling Conventions)
LLVM functions, calls 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)的更多相关文章
- LLVM language 参考手册 翻译停止相关
再翻译LLVM language 参考手册的时候,个人感觉很多东西都不是很懂,因此打算学习完编译原理后再去继续研究翻译,多有不便望见谅
- LLVM language 参考手册(译)(1)
LLVM Language Reference Manual 摘要 这个文档是一个LLVM汇编语言的参考手册.LLVM是一个基于Static Single Assignment(SSA - 静态单赋值 ...
- LLVM language 参考手册(译)(3)
可见性模式(Visibility Styles) 所有全局变量和函数具有以下的可见性模式之一: “default” - Default style 在那些使用ELF object file格式的平台( ...
- LLVM language 参考手册(译)(6)
模块级内联汇编(Module-Level Inline Assembly) 模块包含“module-level inline assembly”块,这与GCC中的“file scope inline ...
- LLVM language 参考手册(译)(5)
垃圾回收器名称(Garbage Collector Names) 每一个函数可以制定一个垃圾回收期的名称,这个名称是一个简单的字符串: define void @f() gc "name&q ...
- LLVM language 参考手册(译)(4)
函数(Functions) LLVM函数定义由“define” 关键字,一个可选的链接标识,一个可选的可见性模式,一个可选的DLL存储类别,一个可选的调用约定,一个可选的 unnamed_addr 属 ...
- Lua 5.1 参考手册
Lua 5.1 参考手册 by Roberto Ierusalimschy, Luiz Henrique de Figueiredo, Waldemar Celes 云风 译 www.codingno ...
- [SQL]SQL语言入门级教材_SQL语法参考手册(三)
SQL 语法参考手册 DB2 提供了关连式资料库的查询语言 SQL (Structured Query Language),是一种非常口语化.既易学又易懂的语法. 此语言几乎是每个资料库系统都必须提供 ...
- Lua参考手册
英文原版: http://www.lua.org/manual/5.1/ 中文版下面2个地址都有:一样的 manual.luaer.cn lua在线手册 lua参考手册Lua参考手册的中文翻译(云风翻 ...
随机推荐
- [Javascript] Try...Catch和异常处理
在JavaScript可以使用try...catch来进行异常处理.例如: try { foo.bar(); } catch (e) { alert(e.name ...
- Stream Collector
// Accumulate names into a List List<String> list = people.stream().map(Person::getName).colle ...
- BOM/ROUTING/PO/WIP等模块常用查询
常用查询scripts /*bom*/ select p_item.segment1,c_item.segment1,bic.COMPONENT_QUANTITY,bic.COMPONENT_YIEL ...
- POJ 1797 Heavy Transportation (最短路)
Heavy Transportation Time Limit: 3000MS Memory Limit: 30000K Total Submissions: 22440 Accepted: ...
- IOS 支付宝、微信回调传值给H5网页
这里用是的苹果原生和JS的交互 .有不明白JavaScriptCore框架的可以去网上搜索下这方面的资料很多废话不多说直接上代码 @protocol JSContextDelegate <JSE ...
- innerHTML与innerText的PK
一.innerText属性用来定义对象所要输出的文本,在本例中innerText把对象it中的文本"您喜欢看微微一笑很倾城吗?"变成了"超级喜欢!"(语句it. ...
- 关于asp.net MVC 中的TryUpdateModel方法
有比较才会有收货,有需求才会发现更多. 在传统的WebFormk开发工作中,我们常常会存在如下的代码块 //保存 protected void btnSubmit_Click(object sende ...
- 【转】自己动手写SC语言编译器
自序 编译原理与技术的一整套理论在整个计算机科学领域占有相当重要的地位,学习它对程序设计人员有很大的帮助.我们考究历史会发现那些人人称颂的程序设 计大师都是编译领域的高手,像写出BASIC语言的BIL ...
- Android ViewPager的简单实现
研究了两天ViewPager,看了几篇网上的帖子,但总的来说看得一头雾水,理不清头绪,偶然发现了一篇简单易懂的帖子,讲的调理比较清晰,原文链接附在文后. 在本例中使用ViewPager + Fra ...
- HTML+CSS学习笔记 (15) - css样式设置小技巧
水平居中设置-行内元素 我们在实际工作中常会遇到需要设置水平居中场景,今天我们就来看看怎么设置水平居中的. 如果被设置元素为文本.图片等行内元素时,水平居中是通过给父元素设置 text-align:c ...