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

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

阿瑶吖_2382

阿瑶吖_2382

发布时间:2026-09-29 15:41:18

|

972人浏览过

|

来源于php中文网

原创

LLVM Pass遍历IR必须严格按Module→Function→BasicBlock→Instruction层级进行,不可跳过;需用module->begin()/end()遍历所有Function,跳过isDeclaration()为true的声明,用for(auto &BB : *F)遍历BasicBlock,用for(auto &I : BB)遍历Instruction,调用识别用isa<CallInst>或isa<InvokeInst>。

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 用默认顺序足够。

  • 不要用 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。真实项目中,这往往是静态分析准确率的分水岭。

热门AI工具

更多
二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

墨刀AI
墨刀AI Hot

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

WorkBuddy

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

豆包大模型

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

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

DeepSeek

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

相关专题

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

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

0

2026.09.30

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

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

0

2026.09.30

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

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

0

2026.09.30

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

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

0

2026.09.30

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

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

0

2026.09.29

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

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

200

2026.09.23

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

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

120

2026.09.23

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

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

100

2026.09.23

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

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

60

2026.09.22

热门下载

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

精品课程

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

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