LLVM IR旧教程中的指针写法怎么迁移到新版本

冬浩大大_2352

冬浩大大_2352

2026-10-03

145人浏览

原创

必须改用 basicblock::iterator 插入指令,因 llvm 15+ 中 instruction* 插入会静默丢弃 #dbg_value 调试信息并可能触发断言失败;正确做法包括用 i->getiterator()、bb->getfirstinsertionpt() 或 bb->end()。

llvm ir旧教程中的指针写法怎么迁移到新版本

旧教程里用 Instruction * 直接插入指令、用 BasicBlock::getFirstInsertionPt() 返回 Instruction * 再传给 InsertBefore 的写法,在 LLVM 15+(尤其是启用调试记录后)会静默丢弃调试信息,甚至触发断言失败。必须改用 BasicBlock::iterator。

为什么不能继续用 Instruction * 插入位置

新调试信息以 #dbg_value 记录形式存在,不参与指令链表,但绑定在 BasicBlock::iterator 的底层比特位上。一旦你把 Instruction * 强转成迭代器(比如调用 I->getIterator()),LLVM 会尝试从该指令向前扫描找最近的 dbg record —— 但如果插入点是基本块开头且没有前置指令,这个扫描会失败或返回错误位置。更糟的是,InsertBefore(Inst*) 内部会无条件丢弃所有关联的调试记录。

常见错误现象包括:

  • IR 中 #dbg_value 行消失,但 opt -S 输出看起来“正常”
  • 调试器无法停在某行,或变量显示为 <optimized out></optimized>
  • 启用 -g 编译后 lldb 显示源码行号错位

正确插入位置的三类写法

所有插入操作必须使用 BasicBlock::iterator 类型的位置标记,而不是 Instruction *:

DevChat
DevChat

DevChat是一款AI大模型工具,开源的支持多款大模型的AI编程助手。

下载
  • 插到某条指令前:用 I->getIterator(),不是 I
  • 插到基本块开头(如 PHIs 后):用 BB->getFirstInsertionPt() —— 它返回的就是 iterator,别再解引用或强转
  • 插到基本块末尾:用 BB->end(),不是 BB->getTerminator()

示例对比:

/* 错误:传 Instruction*,调试记录丢失 */
Builder.Insert(BB->getTerminator(), NewInst); // 不要这样
<p>/<em> 正确:用 iterator </em>/
Builder.Insert(BB->getTerminator()->getIterator(), NewInst);</p><p>/<em> 正确:插到开头(PHIs 之后) </em>/
auto InsertPt = BB->getFirstInsertionPt();
Builder.Insert(InsertPt, NewInst);</p>

批量移动指令时必须用 moveBeforePreserving

如果你在 Pass 中做指令重排(比如把一组计算提前到入口基本块),旧写法 Inst->moveBefore(OtherInst) 会切断调试记录绑定。新版本必须用 moveBeforePreserving:

  • Inst->moveBefore(OtherInst) → 仅移动指令,丢弃所有 #dbg_value
  • Inst->moveBeforePreserving(OtherInst) → 指令 + 关联调试记录一起移动

注意:这个函数只存在于 Instruction 类中,BasicBlock::splice 等批量操作默认已支持保留,但手动逐条调用 moveBefore 是高频出错点。

最易被忽略的是:即使你不显式操作调试信息,只要用了旧插入模式,生成的 bitcode 就可能在后续优化中因缺失调试上下文而触发未定义行为 —— 比如 LoopInfo 分析错判循环边界,或 GVN 错误合并等价表达式。别等调试器报错才回头查。

相关文章

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

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

下载

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

相关专题

更多
C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

319

31

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

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

2026.09.30

40

10

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

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

2026.09.30

40

14

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

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

2026.09.30

20

12

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

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

2026.09.30

20

26

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

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

2026.09.29

20

15

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

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

2026.09.23

240

15

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

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

2026.09.23

140

15

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

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

2026.09.23

120

15

热门下载

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

精品课程

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