LLVM Pass如何获取DominatorTree分析结果

秋静大大_7843

秋静大大_7843

2026-10-08

118人浏览

原创

必须显式声明依赖,不能直接 new 或 getanalysis 两次以上;legacy pm 中唯一合法方式是 getanalysis().getdomtree();new pm 中需用 am.getresult(f),且修改 cfg 后须手动 invalidate。

llvm pass如何获取dominatortree分析结果

必须显式声明依赖,不能直接 new 或 getAnalysis 两次以上

Legacy PM 中调用 getAnalysis<dominatortreewrapperpass>()</dominatortreewrapperpass> 是唯一合法方式

Legacy Pass Manager 不允许在 runOnFunction() 里临时构造或缓存 DominatorTree 实例。你看到的 getAnalysis<dominatortreewrapperpass>().getDomTree()</dominatortreewrapperpass> 这一连串调用,本质是:先拿到 DominatorTreeWrapperPass 实例(它内部已构建好支配树),再从中取出 DominatorTree& 引用。

常见错误现象:

  • 直接 new DominatorTree(F) —— 构造出的树未经过验证,后续 dominates() 可能返回错误结果
  • 在 runOnFunction() 多次调用 getAnalysis<...>()</...> —— 虽不崩溃,但违反 Pass Manager 的生命周期约定,可能触发断言或未定义行为
  • 漏写 AU.addRequired<dominatortreewrapperpass>()</dominatortreewrapperpass> —— 运行时 panic:“Analysis not available”

New PM 下要用 getAnalysis<dominatortreeanalysis>()</dominatortreeanalysis> 并传入 Function&

New Pass Manager 彻底重构了分析传递机制:DominatorTreeWrapperPass 已废弃,取而代之的是无状态的 DominatorTreeAnalysis 类。它不持有任何实例,只提供 run() 接口生成新 DominatorTree。

Mistral AI
Mistral AI

Mistral AI是一款面向企业和开发者的开放模型、AI 助手、Agent 与模型平台。

下载

使用场景:

  • 你的 Pass 继承自 FunctionPass(New PM)时,run() 签名是 PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM)
  • 获取方式变为:DominatorTree &DT = AM.getResult<dominatortreeanalysis>(F);</dominatortreeanalysis>
  • 注意:每次 getResult 都会复用已有分析结果,不会重复计算;但如果上游 Pass 修改了 CFG,该结果可能过期

两种 PM 的支配树对象类型不同,不可混用

Legacy 返回的是 DominatorTree&(实际是 DominatorTreeBase<basicblock false></basicblock> 的别名),New PM 返回的是 DominatorTree&(但底层是 DominatorTreeBase<basicblock true></basicblock>)。虽然名字一样,但成员函数签名、迭代器行为、甚至 dominates(A, B) 对 unreachable block 的处理逻辑都不同。

容易踩的坑:

  • 把 Legacy 版本的 DT.dominates(A, B) 代码直接复制到 New PM Pass 里 —— 编译不过,因为 New 版本要求第三个参数 const DominatorTree & 显式传入
  • 试图用 DT.getRootNode() 在 New PM 中取根节点 —— 该方法已被移除,改用 DT.getRoot() 返回 BasicBlock*
  • 在 New PM 中误写成 AM.getResult<dominatortreewrapperpass>(F)</dominatortreewrapperpass> —— 编译失败,DominatorTreeWrapperPass 不再注册为 Analysis

最易被忽略的一点:New PM 的 DominatorTreeAnalysis 默认不自动更新。如果你的 Pass 修改了 CFG(比如拆分 BB 或插入分支),必须手动调用 AM.invalidate<dominatortreeanalysis>(F, PreservedAnalyses::none())</dominatortreeanalysis>,否则后续 Pass 拿到的是脏数据。

相关文章

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

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

下载

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

相关专题

更多
DOM是什么意思
DOM是什么意思

dom的英文全称是documentobjectmodel,表示文件对象模型,是w3c组织推荐的处理可扩展置标语言的标准编程接口;dom是html文档的内存中对象表示,它提供了使用javascript与网页交互的方式。想了解更多的相关内容,可以阅读本专题下面的文章。

2024.08.14

6481

7

FrankenPHP集成Laravel详细教程
FrankenPHP集成Laravel详细教程

本专题提供FrankenPHP集成Laravel的详细配置指南,全面解析运行原理、开发环境搭建、Caddyfile配置、Octane工作模式、数据库连接、队列任务、定时任务和生产环境优化,解决部署过程中常见的报错与兼容性问题。

2026.10.08

20

20

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

80

26

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

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

2026.09.29

100

15

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

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

2026.09.23

300

15

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

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

2026.09.23

180

15

热门下载

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

精品课程

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