LLVM Pass怎么遍历函数、基本块和指令

阿瑶吖_2382

阿瑶吖_2382

2026-09-29

972人浏览

原创

llvm pass遍历ir必须严格按module→function→basicblock→instruction层级进行,不可跳过;需用module->begin()/end()遍历所有function,跳过isdeclaration()为true的声明,用for(auto &bb : *f)遍历basicblock,用for(auto &i : bb)遍历instruction,调用识别用isa或isa。

llvm pass怎么遍历函数、基本块和指令

LLVM Pass 遍历 IR 的核心路径是 Module → Function → BasicBlock → Instruction,没有捷径,也不能跳过层级。如果你在写一个自定义 Pass 时发现没遍历到某条指令,大概率是漏了某一层的循环嵌套,或者用了错误的迭代器范围(比如用 front() 取单个基本块而不是遍历全部)。

怎么从 Module 开始拿到所有 Function

Module 是整个编译单元的顶层容器,所有函数都挂在它下面。直接用 module->begin() 和 module->end() 迭代即可,但要注意:某些 Pass(比如 ModulePass)接收的是 Module&,而 FunctionPass 接收的是单个 Function&,别混淆作用域。

  • 必须检查 !F->isDeclaration(),否则会把外部声明(如 printf)也当成本地函数处理
  • 如果只关心定义过的函数(即有函数体的),跳过 isDeclaration() == true 的 Function
  • Module::getFunction(StringRef) 是按名查找,适合调试时定位,但不用于遍历主逻辑

怎么安全遍历一个 Function 内的所有 BasicBlock

BasicBlock 是函数内不可分割的线性指令序列,遍历顺序默认是插入顺序(Function::begin() 到 end()),但某些优化 Pass(如 Reassociate)会先构造 ReversePostOrderTraversal 来保证数据流正确性。日常分析类 Pass 用默认顺序足够。

Vibe Island
Vibe Island

一款AI开发辅助工具,主要用于灵动岛式AI编程管理工具,适合需要提升相关任务效率的用户。

下载
  • 不要用 F->getEntryBlock() 作为唯一入口——它只返回第一个基本块,而函数可能有多个入口(如异常分发块)
  • 用 for (auto &BB : *F) 或 for (auto BB = F->begin(); BB != F->end(); ++BB) 才能覆盖全部
  • 如果需要前驱/后继信息(比如做 CFG 分析),调用 BB.getPredecessors() 或 BB.getSuccessors(),注意它们返回的是 SmallVector,不是迭代器

怎么逐条访问 BasicBlock 中的 Instruction 并识别调用

每条 Instruction 都是 SSA 形式,其操作数可通过 I.getOperand(i) 访问,类型判断靠 isa<callinst>(&I)</callinst> 这类模板谓词。直接 cast 有风险,必须先 dyn_cast 或 isa 检查。

  • 遍历指令必须用 for (auto &I : BB),不能用 BB.begin() + ++ 手动推进——IR 指令可能被中途删除,迭代器失效
  • 识别函数调用:优先用 isa<callinst>(&I) || isa<invokeinst>(&I)</invokeinst></callinst>,因为 invoke 也属于调用指令,但带异常路径
  • 获取被调用函数名:对 CallInst* 调用 CI->getCalledFunction(),若返回 nullptr,说明是间接调用(如函数指针),需进一步查 CI->getCalledValue()
  • 想统计指令频次?别只数 Instruction 类型,注意 PHINode、AllocaInst 等都继承自 Instruction,但语义完全不同

最容易被忽略的一点:LLVM IR 是模块化的,但遍历本身不自动处理跨函数引用。比如你在函数 A 里看到一条 call @foo,@foo 的定义可能在另一个 Translation Unit 里——此时 getCalledFunction() 返回 nullptr,你得决定是跳过、报错,还是加载对应 Module。真实项目中,这往往是静态分析准确率的分水岭。

相关文章

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

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

下载

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

相关专题

更多
PDF转图片方法
PDF转图片方法

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

2026.09.30

0

26

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

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

2026.09.29

0

15

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

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

2026.09.23

200

15

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

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

2026.09.23

120

15

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

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

2026.09.23

100

15

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

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

2026.09.22

60

12

Conan二进制包配置指南
Conan二进制包配置指南

本专题介绍Conan根据操作系统、编译器、架构和构建类型生成二进制包的方法,讲解Profile、Settings、Options及Package ID的作用,帮助管理不同平台和编译环境下的包版本。

2026.09.22

80

13

Conan私有仓库搭建教程
Conan私有仓库搭建教程

本专题系统的讲解Conan私有仓库的搭建流程,涵盖仓库服务部署、存储目录配置、用户认证、权限划分和远程地址添加,并介绍内部C++依赖包的上传、下载及版本维护方法。

2026.09.22

60

19

loomy官网入口地址合集
loomy官网入口地址合集

本专题汇总了 Loomy 桌面 AI 助理的官方入口地址合集及使用指南。提供 macOS 与 Windows 客户端下载 。Loomy 是讯飞推出的桌面级 AI 工作搭子,支持文件整理、数据分析、网页操作及通过飞书/钉钉远程操控电脑,助你高效完成本地办公任务 。

2026.09.22

80

19

热门下载

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

精品课程

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