LLVM怎么为函数调用生成IR

大墨小哥_9244

大墨小哥_9244

2026-10-07

642人浏览

原创

llvm函数调用ir生成核心是irbuilder::createcall,需先声明/定义函数、确保参数类型匹配和调用约定一致,否则触发verifier错误;外部函数(如printf)须用function::create声明签名,参数须严格对齐并显式转换,递归调用需将函数指针提前加入模块。

llvm怎么为函数调用生成ir

LLVM 为函数调用生成 IR 的核心是 IRBuilder::CreateCall,但直接调用它之前必须确保函数声明/定义已存在、参数类型匹配、调用约定一致——否则会触发 verifier 错误或运行时崩溃。

函数必须先声明或定义,不能“裸调用”

LLVM 不允许在未注册函数符号的情况下生成 call 指令。即使目标函数在外部(如 libc 的 printf),也得先用 Function::Create 声明其签名:

  • FunctionType::get(RetTy, ArgTys, isVarArg) 构建函数类型,注意 isVarArg 对 printf 类函数必须为 true
  • 用 Function::Create(..., GlobalValue::ExternalLinkage, "printf", module) 创建声明;若函数在当前模块中定义,则需先建好 Function 并填充基本块
  • 漏掉这步会导致 Call site does not have matching function signature 或 verifier 失败

CreateCall 的参数顺序和值类型必须严格对齐

调用 builder.CreateCall(Fn, Args, Name) 时,Args 是 ArrayRef<value></value>,每个 Value* 必须与函数参数类型一一兼容:

Metaphor
Metaphor

Metaphor是一款通过大语言模型理解提示语并预测相关网页的 AI 搜索工具。

下载
  • 整数参数不能传 float,哪怕数值相同;需显式用 builder.CreateSIToFP 或 builder.CreateFPToSI 转换
  • 指针参数(如字符串字面量)要先用 builder.CreateGlobalStringPtr 转成 i8*,不能直接传 C 字符串常量
  • 若函数原型是 i32 (i32, i32),但你传了 3 个参数,LLVM 会静默截断或崩溃,取决于构建模式(Debug 版通常 abort)

调用外部函数时,CallingConv::C 是默认且关键的约定

多数 C 标准库函数(printf、malloc)依赖 C 调用约定,LLVM 默认使用 CallingConv::C,但如果你手动设置了其他约定(如 X86_64_SysV),链接期可能失败或行为异常:

  • 无需显式设置,Function::Create 声明时默认就是 CallingConv::C
  • 若调用 Windows API,需确认是否应设为 CallingConv::X86_StdCall;不匹配会导致栈失衡
  • 可通过 Fn->setCallingConv(CallingConv::C) 显式加固,尤其在多目标平台交叉生成时

递归调用必须确保函数定义已插入模块,且 codegen() 能访问到自身

像 factorial 这类递归函数,在 AST codegen 阶段生成调用时,Function* 可能尚未完成 body 填充,但 CreateCall 仍可接受未完成的 Function* ——前提是该 Function* 已被加入 TheModule:

  • 典型流程:先 Function::Create(..., module) 创建空函数 → 插入 NamedValues["factorial"] = Fn → 再进入 Fn->begin()->getFirstInsertionPt() 填充 body
  • 递归 call 发生在 body 填充过程中,此时 Fn 是有效指针,但 Fn->empty() == true;LLVM 允许这种“前向引用”
  • 如果忘了把 Fn 加入 TheModule,CreateCall 会返回空指针,且后续 verifyModule 报 Call to undefined function

最易被忽略的一点:CallInst 本身不携带返回值绑定逻辑,所有返回值都靠 Value* 指针承接并存入 NamedValues 或参与后续运算;漏接返回值不会报错,但会导致后续 use-def 链断裂,优化器可能直接删掉整个 call。

相关文章

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

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
php-src源码分析探索
php-src源码分析探索

共6课时 | 0.7万人学习