LLVM Pass怎么插入一条新指令

冬强姑娘_2203

冬强姑娘_2203

2026-10-07

746人浏览

原创

irbuilder 是唯一安全插入新指令的方式,必须指定合法插入点,新指令需显式被使用或替换旧值,类型必须严格匹配,否则破坏ssa导致验证失败或pass崩溃。

llvm pass怎么插入一条新指令

直接在 IR 中插入一条新指令,不能靠“新建 + 替换指针”这种粗暴方式——IRBuilder 是唯一安全、可控、符合 LLVM SSA 约束的入口。

用 IRBuilder 在指定位置插入指令

LLVM 不允许你手动构造 Instruction 对象后硬塞进基本块;所有新指令必须经由 IRBuilder 创建,并明确指定插入点。否则会破坏 use-def 链,触发 verify 失败或后续 Pass 崩溃。

  • IRBuilder 的构造必须传入合法的插入点:可以是某条已有指令(如 Inst),也可以是基本块的 getFirstInsertionPt() 或 getTerminator()
  • 插入位置决定新指令的执行顺序和数据依赖:插在 load 之前,就不能用它的结果;插在 store 之后,可能被 DCE 掉
  • 不要复用同一个 IRBuilder 实例跨基本块插入;每次换块都要重建,否则插入点失效

示例:在 Inst 前插入一个 add

IRBuilder Builder(Inst);
Value *NewAdd = Builder.CreateAdd(Builder.getInt32(1), Builder.getInt32(2), "my.add");

插入后如何让其他指令用上这个新值

新指令只是“存在”,不代表它自动被消费。如果你希望某条指令(比如 ICmp)的某个操作数换成这个新值,必须显式调用 replaceUsesOfWith 或 replaceAllUsesWith ——但注意:这仅适用于你**替换的是一个 Value*(如 Instruction* 或 Constant*)的全部使用点**。

Vega AI
Vega AI

Vega AI是一款由右脑科技推出的在线 AI 绘画和视频创作平台。

下载
  • 若新指令返回值是 Value*(如 CreateAdd),且你想把它作为某条指令的操作数,直接传进去即可:Builder.CreateICmpEQ(NewAdd, ...)
  • 若你已有一条旧指令 OldInst,想让它所有使用点都改用 NewAdd,才调 OldInst->replaceAllUsesWith(NewAdd)
  • 千万别对刚创建的新指令调 replaceAllUsesWith——它还没被任何指令用过,调了也没效果

别碰 BasicBlock::getInstList().push_back() 这类底层 API

有人试图绕过 IRBuilder,直接往基本块指令链表里 push 新指令。这在语法上能编译,但几乎必然失败:

  • 新指令的 Parent 字段不会被自动设置,后续遍历基本块时会跳过它
  • LLVM 的验证器(verifyFunction)会立刻报 "Instruction not in a basic block"
  • 其操作数的 use 链不会被正确注册,导致 replaceAllUsesWith 找不到引用关系
  • 哪怕侥幸通过 verify,在 LoopInfo 或 DominatorTree 更新时大概率 crash

插入常量 vs 插入计算指令:别忽略类型匹配

IRBuilder 创建指令时,类型错误是高频崩溃源。例如:

  • Builder.getInt32(42) 返回 ConstantInt*,类型是 i32
  • 但若你把它喂给期望 i64 的 CreateShl,LLVM 不自动隐式转换,而是直接断言失败或生成非法 IR
  • 务必用 Builder.getInt64(42) 或显式 Builder.CreateSExt(..., Type::getInt64Ty(...))
  • 函数调用参数同理:实参类型必须与被调函数签名逐位匹配,差一个 const 或符号位都会在 verify 阶段报错

最稳妥的做法:用 Value::getType() 检查上游值类型,再决定如何构造或转换。

真正麻烦的从来不是“怎么插”,而是“插完之后 IR 是否仍满足 SSA 和 use-def 一致性”——哪怕只漏掉一次 replaceAllUsesWith 或插错位置,后续 Pass 就可能在完全无关的模块里崩溃,而且堆栈不指向你的代码。

相关文章

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

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

下载

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

相关专题

更多
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

60

26

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

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

2026.09.29

80

15

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

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

2026.09.23

280

15

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

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

2026.09.23

180

15

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

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

2026.09.23

140

15

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

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

2026.09.22

80

12

热门下载

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

精品课程

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