讲师中心 微信公众号
AI工具推荐 视频效率加速

LLVM怎么为函数调用生成IR

大墨小哥_9244

大墨小哥_9244

发布时间:2026-10-07 13:31:26

|

642人浏览过

|

来源于php中文网

原创

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* 必须与函数参数类型一一兼容:

  • 整数参数不能传 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。

热门AI工具

更多
墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

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

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

100

2026.09.30

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

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

100

2026.09.30

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

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

80

2026.09.30

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

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

60

2026.09.30

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

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

80

2026.09.29

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

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

280

2026.09.23

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

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

180

2026.09.23

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

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

140

2026.09.23

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

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

80

2026.09.22

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
GitHub Copilot手册
GitHub Copilot手册

共0课时 | 0人学习

php-src源码分析探索
php-src源码分析探索

共6课时 | 0.7万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn