LLVM IR中的调用约定怎么指定

大伟小哥_3059

大伟小哥_3059

2026-10-07

602人浏览

原创

llvm ir中调用约定通过ccn或名称(如fastcc)在define/declare返回类型前显式指定,且call指令必须严格匹配;常见值有ccc、fastcc、coldcc、cc10等,数字型须写全,不支持简写,且跨模块声明与定义、调用点必须完全一致,否则触发verifier error或abi错误。

llvm ir中的调用约定怎么指定

在 define 或 declare 中直接加关键字

LLVM IR 里指定调用约定,是在函数定义或声明语句开头、返回类型前插入 cc 后接数字或名称。语法形如:define cc10 i32 @foo(i32 %x) 或 declare fastcc void @bar()。

常见可选值有:ccc(默认 C 调用)、fastcc、coldcc、cc10(GHC)、cc11(HiPE)、webkit_jscc 等。注意:数字型如 cc10 必须写全,不能简写为 10 或 ghc。

容易踩的坑:

  • cc 关键字必须紧挨在返回类型之前,中间不能换行或空格错位,否则解析失败
  • 同一个函数的 declare 和 define 必须使用完全相同的调用约定,否则链接或优化时行为未定义
  • fastcc 和 coldcc 不支持变长参数(...),若函数签名含 ... 却用了它们,llc 会报错

call 指令里也得同步写

调用点(call)必须显式匹配被调函数的调用约定,否则 LLVM 会拒绝验证通过。例如:

define fastcc i32 @callee() { ret i32 42 }
define i32 @caller() {
  %r = call fastcc i32 @callee()
  ret i32 %r
}

如果把 call fastcc i32 @callee() 写成 call i32 @callee()(即省略 fastcc),即使函数定义写了 fastcc,也会触发 verifier error:Calling convention mismatch on call。

关键点:

Vega AI
Vega AI

Vega AI是一款由右脑科技推出的在线 AI 绘画和视频创作平台。

下载
  • call 的调用约定必须和目标函数定义/声明一致,不是“可选”而是强制要求
  • 对 declare 的外部函数(如 libc 函数),call 里不写约定,默认按 ccc 处理;但若你 declare ccc 却在 call 里写 fastcc,同样报错
  • 内联汇编(callbr)或 patchpoint 场景下,约定更敏感,比如 anyregcc 只能用于 llvm.experimental.patchpoint

不同调用约定对参数传递和寄存器的影响

约定不是装饰——它直接决定 ABI 行为。例如:

  • ccc:参数压栈为主,部分平台用寄存器传前几个整数,支持 ...,调用者清理栈
  • fastcc:尽可能全用寄存器传参(x86-64 下最多 6 个整数 + 8 个浮点),不保存 callee-saved 寄存器,尾调用不自动优化
  • coldcc:调用前保存所有 caller-saved 寄存器,适合异常处理路径等低频调用,但禁止内联
  • cc10(GHC):X86-64 下只支持 ≤10 位整型参数和最多 6 个浮点参数,且要求调用者/被调用者都用 cc10 才能做尾调用优化

性能提示:盲目用 fastcc 不一定更快。如果函数体极短但调用频繁,寄存器压力可能反而升高;而 coldcc 在 hot path 上用会导致大量冗余 save/restore。

验证是否生效:看生成的汇编或用 opt -verify

最直接的办法是用 llc 输出汇编,观察参数如何传入。比如:

define fastcc i32 @f(i32 %a, i32 %b) { ret i32 %a }

在 x86-64 下,llc f.ll -o f.s 会看到 %a 在 %rdi、%b 在 %rsi —— 这就是 fastcc 的寄存器传参证据;而 ccc 版本通常从 %rdi 开始,但第 5 个参数起就进栈了。

调试建议:

  • 用 opt -verify f.ll 可提前捕获调用约定不匹配问题
  • 用 llvm-dis 反解 bitcode 后检查 define 行是否保留了 ccN 前缀(有时优化 pass 会 strip 掉非标准约定)
  • cc10/cc11 等非常规约定,在非 X86 目标上会被静默忽略或报错,务必确认 triple 匹配

真正麻烦的不是写错关键字,而是跨模块时一处漏写、一处多写,导致运行时栈错位或寄存器污染——这种 bug 往往不崩溃,只在特定输入下算出错值。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

120

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

100

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

80

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

60

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

80

15

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

2026.09.23

280

15

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

2026.09.23

180

15

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

2026.09.23

140

15

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

2026.09.22

80

12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程