LLVM IR 调试 常见错误

最新推荐文章于 2025-06-08 21:41:54 发布
最新推荐文章于 2025-06-08 21:41:54 发布
阅读量1.5k 收藏
点赞数 1
CC 4.0 BY-SA版权
分类专栏： LLVM
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/tina_j/article/details/21460729
本文分析了LLVM调试中常见的BasicBlock终止问题，详细解释了一种典型的错误——BasicBlockinfunction'Filter'doesnothaveterminator!并提供了具体的解决思路。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

LLVM 调试常见错误记录

Error:

Basic Block in function 'Filter' does not have terminator!

label %for.cond

LLVM ERROR: Broken module, no Basic Block terminator!

分析 ：

应该是某一个Basic BLock结束 却没有跳转；如本错误丢失

BranchInst::Create(label_for_body, label_for_end, int1_cmp, label_for_cond);此语句 导致Laber for cond 的block 无法结束；

（后续更新）

llvm-project
u012276729的博客
03-27 855
此外，不同的编译器和目标体系结构可能采用不同的寄存器分配策略和优化技术。通过进行过程间的数据流分析，编译器可以确定哪些变量在过程之间是活跃的，哪些变量是死亡的。这些头文件定义了 LLVM 的各种 API 和数据结构，以便其他代码可以使用 LLVM 的功能。因此，当你使用 LLVM 的某个功能时，你通常需要同时引用相应的头文件和链接相应的库文件。文件夹中的头文件定义了 LLVM 的 API 和数据结构，这些 API 和数据结构在。是几个重要的目录，它们分别存放了 LLVM 的头文件、库文件和运行时环境。
LLVM-pass.zip
08-13
4. **调试Pass**：LLVM提供了丰富的调试工具，如`-print-after`和`-print-before`选项，可以帮助开发者查看Pass前后的IR差异。 学习LLVM-pass和Clang编译器对于深入理解编译器工作原理、代码优化以及开发自定义...
LLVM 编译器学习笔记之三十二-- 调试信息的维护
~ 飞 扬 的 天 空 ~
11-11 411
1、readelf -w *.o 可以看到类似的信息，对应的含义
llvm libLLVMCore源码分析 23 - DINode
weixin_42654107的博客
03-25 1625
源码路径 llvm\include\llvm\IR\Metadata.h llvm\include\llvm\IR\DebugInfoMetadata.h DINode 表示DWARF标签信息(DW_TAG_*)，DINode继承树如下： GenericDINode 泛化的类DWARF元数据类型，第一个Operand是一个MDString，其余的Operand是对其他Metadata的指针。 IR示例如下： !0 = !{} !1 = !GenericDINode(tag: 3, he
【llvm】搭建llvm的本地调试环境
最新发布
weixin_39880773的博客
06-08 125
llvm是目前最广泛运用的开源编译器，本栏目旨在通过学习llvm源码，掌握编译器的大致流程和基础知识，尤其是一些常见优化pass的算法。除了阅读llvm源码，我们还可以通过编译llvm ir，在opt阶段指定特定pass或是通过自己添加pass来加深理解。为了到达这一目的，特地委托Claude老师开发了 llvm-study 工程。
关于llvm kaleidoscope: 记一次Debug血泪之路
weixin_30482181的博客
11-12 220
简而言之，慎(bu)用(yong)全局变量！ 这次debug基本上花了我一周的时间，我基本上是晚上9点30下自习回然后调试到11点30，如此反复一周直到今天周五终于解决了，，以前都听说前辈们 说尽量不要使用全局变量，我只当个笑话顺而过，今天我可能走了前辈们的老路，我实在忍不住要告诫各位请慎用全局变量，如果不当笑话对待这点那这篇...
postgresql 迁移数据库
欢迎所有人，批评指正！
07-18 1699
如果是不同节点之间迁移，建议先创建之前的用户，如果没有之前的用户导入时会导致表所有者是postgres。
LLVM笔记2 LLVM Debug 技巧
lml435035844的博客
12-16 841
搭配filter-print-funcs选项我们可以指定打印的函数。例如filter-print-funcs和print-after-all搭配使用，我们可以打印出每次优化后这个函数的现场，然后通过二分查找能够快速找到出问题的pass。opt-bisect-limit可以控制打印优化pass的执行流程，当指定-1时打印并执行所有优化，我们也可以指定一个数字让其执行前多少个优化。
C++编译器中间代码优化：LLVM IR与MSVC Intermediate Language对比分析
[C++编译器中间代码优化：LLVM IR与MSVC Intermediate Language对比分析](https://johnnysswlab.com/wp-content/uploads/image-8.png) # 1. 编译器中间代码优化概述 在现代编译器设计中，中间代码（Intermediate ...
LLVM-10.0.0-win64.exe.zip
08-26
例如，除了常见的x86和ARM架构，LLVM还支持PowerPC、MIPS、WebAssembly等多种架构。 总的来说，LLVM-10.0.0-win64.exe是Windows平台上一个强大的工具集，不仅用于编译和优化代码，还能用于代码分析、调试和教学研究...
LLVM中间表示(IR)详解：理解LLVM的转换过程
通过介绍LLVM架构的关键组件以及IR的特性，本文阐述了LLVM如何将源代码转换为中间表示，并通过优化提高效率。文章进一步讨论了LLVM IR的高级特性，如静态单赋值(SSA)形式、垃圾回收与内存管理策略，以及向量化与并
LLVM源码调试
大头蚂蚁的窝
01-05 4706
编写Pass时，可以借助DEBUG宏添加调试代码，这些代码只有在工具命令行加入“-debug”选项时才会执行。 1. 编译LLVM debug版本 release版本中一般已关闭DEBUG宏，可以自己编译debug版本，以使能DEBUG宏用于调试。 编译LLVM时，将build type设为Debug即可：cmake -DCMAKE_BUILD_TYPE=Debug ... ... 2. DEBUG宏定义 llvm/include/llvm/Support/Debug.h 3. Clang...
对LLVM Pass进行Debug
qq_39209008的博客
09-01 2060
对LLVM Pass进行动态调试
llvm 编译器学习笔记之二 -- 调试篇
~ 飞 扬 的 天 空 ~
10-11 4770
llvm 下构建配置小技巧 1、使能-DLLVM_CCACHE_BUILD=ON ，需要本地ccache工具的支持 llvm 下gdb的小技巧 1、llvm编写了自己的一些实用的类stl库，没有配置过的gdb没法直观的显示这些数据结构的内容 在llvm仓下 ./utils/gdb-scripts/prettyprinters.py， 在~/.gdbinit中添加source ${path}/prettyprinters.py,就可以较为直观的显示了 2、假如发现clang编译下的stl也无法显示，可..
LLVM ERROR: Program used external function '___dso_handle' which could not be resolved!的解决方案
幻想之渔
08-28 2504
需要在g++编译的时候加上 -fno-use-cxa-atexit 具体原因，欢迎讨论
使用LLVM库编译或运行出现错误的一些解决办法
Pewds的博客
10-05 7645
1.编译成功，提示Option注册了多次 效果图： 提示Option xxx registerd more than once! LLVM ERROR: inconsistency in registerd CommandLine options 原因分析： 如果使用的是CMake进行查找依赖的话，如llvm_map_components_to_libnames，可能是因为： 安装了多个LLVM版本，导致查找时得到了多次相同的Option 解决方法： 只保留一个LLVM版本 尝试将后面链接处改
typescript TS 错误码大全
weixin_39031037的博客
05-06 4462
1148 错误 Cannot use imports, exports, or module augmentations when '--module' is 'none'. Cannot compile modules unless the '--module' flag is provided with a valid module type. Consider setting the 'module' compiler option in a 'tsconfig.json' file.
解决编译llvm项目报错的几个问题
qq_34441123的博客
10-23 1929
编译llvm遇到的问题
使用LLVM api在IR中复制了一个函数，将原始函数删除后，会报告错误吗
03-19
<think>好的，我现在需要回答用户关于使用LLVM API复制函数并删除原函数后是否会导致错误的问题。首先，我需要理解用户的问题场景。用户可能在处理LLVM的中间表示（IR），他们复制了一个函数，然后删除了原始函数，想知道这样做是否会引发错误。 首先，我应该回忆一下LLVM中函数的管理机制。LLVM的Module类拥有所有的函数，每个函数都是Module的子对象。当复制一个函数时，可能需要使用Function::Create来基于原函数的类型创建一个新函数，然后复制其内容，比如基本块、指令等。用户可能通过CloneFunctionInto或者其他方法进行复制。 接下来，删除原函数。用户可能调用了eraseFromParent方法或者用其他方式从Module中移除原函数。这时候，问题在于其他部分是否仍然引用原函数。例如，如果有全局变量、其他函数或者元数据引用了原函数，删除它就会导致这些引用变成悬垂指针，从而在后续处理中引发错误，比如验证错误或者崩溃。 需要考虑到LLVM的IR验证机制。LLVM在优化过程中会进行IR验证，确保IR的合法性。如果删除原函数后，存在仍然引用它的地方，验证就会失败，导致错误。例如，如果另一个函数的调用指令仍然调用原函数，而原函数已经被删除，这时候IR就不再合法，验证时会报错。 另外，用户是否正确地复制了函数的所有引用？例如，如果原函数被其他函数调用，复制后的新函数需要替换这些调用点。否则，删除原函数后，这些调用点就指向了不存在的函数，导致错误。 可能的步骤是，用户复制函数，替换所有对原函数的引用为新函数，然后再删除原函数。这样就不会有问题。但如果用户只是简单地复制函数并删除原函数，而没有处理引用，那么就会导致错误。 还需要考虑LLVM的API使用细节。例如，当复制函数时，是否正确地处理了函数的属性、参数、基本块、指令以及使用的变量和常量。如果有遗漏，可能会导致新函数的行为不一致，或者在删除原函数后引发问题。 此外，函数的名称是否冲突？如果复制后的函数和原函数同名，删除原函数后，新函数可能继承了名称，但需要确保名称唯一性，否则可能影响后续处理。 总结可能的情况：如果用户在复制函数后没有正确更新所有对原函数的引用，直接删除原函数会导致IR中出现无效的引用，从而在验证或优化过程中报错。正确的做法是确保所有引用原函数的地方都被更新到新函数，然后再删除原函数。 现在需要将这些思考整理成结构化的回答，分步骤说明，包括关键点如引用更新、IR验证、名称处理等，并给出示例代码或建议的操作步骤，以及注意事项。</think>在 LLVM 中，复制函数后删除原始函数**可能导致错误**，具体取决于代码中是否存在对原函数的残留引用。以下是关键机制和操作建议的分步说明： --- ### **1. 错误场景分析** 删除原函数后可能触发以下两类问题： | 错误类型 | 触发条件 | |-------------------------|--------------------------------------------------------------------------| | **悬垂引用** | 其他函数中的 `CallInst` 仍调用原函数 | | **IR 验证失败** | 删除后未清理引用，LLVM 严格检查 IR 完整性（如 `verifyModule()` 抛出异常） | --- ### **2. 安全删除的条件** 必须确保以下两点后，才能安全删除原函数： 1. **所有调用点已迁移**：将原函数的 `CallInst`/`InvokeInst` 替换为新函数。 2. **无间接使用**：全局变量、别名（`GlobalAlias`）或元数据未引用原函数。 --- ### **3. 安全操作步骤** #### **步骤 1：复制函数** 通过 `CloneFunctionInto` 复制函数体（需手动创建新函数）： ```cpp // 原函数：F Module &M = *F.getParent(); FunctionType *FTy = F.getFunctionType(); Function *NewF = Function::Create(FTy, F.getLinkage(), "new_name", M); // 复制内容（参数、基本块、指令等） ValueToValueMapTy VMap; SmallVector<ReturnInst*, 8> Returns; // 忽略返回指令 CloneFunctionInto(NewF, &F, VMap, /*ModuleLevelChanges=*/true, Returns); ``` #### **步骤 2：替换所有调用点** 遍历模块中所有调用原函数的位置，替换为调用新函数： ```cpp for (User *U : F.users()) { if (CallBase *CB = dyn_cast<CallBase>(U)) { if (CB->getCalledFunction() == &F) { // 确认调用的是原函数 CB->setCalledFunction(NewF); // 替换为新函数 } } } ``` #### **步骤 3：删除原函数** 确认无残留引用后安全删除： ```cpp F.eraseFromParent(); // 从 Module 中移除原函数 ``` --- ### **4. 验证 IR 合法性** 操作后需显式调用验证，确保 IR 正确： ```cpp if (verifyModule(M, &errs())) { // 处理验证错误（如未清理的引用） } ``` --- ### **5. 常见错误示例** #### **未替换调用点直接删除** ```cpp Function *NewF = cloneFunction(F); F.eraseFromParent(); // 错误！其他 CallInst 仍指向 F，触发 IR 验证失败 ``` #### **输出错误信息** ``` Invalid function pointer called! %call = call i32 @original_func() ; 原函数已删除，@original_func 不存在 ``` --- ### **6. 高级场景处理** | 场景 | 解决方案 | |-------------------------------|--------------------------------------------------------------------------| | **动态调用（函数指针）** | 替换所有加载原函数地址的指令（如 `LoadInst` + `GlobalVariable`） | | **元数据引用** | 检查并更新 `NamedMDNode` 或指令元数据中的函数指针 | | **间接用户（如 BlockAddress）**| 更新 `BlockAddress` 中的函数引用 | --- ### **7. 完整代码示例** ```cpp void safelyReplaceAndDeleteFunction(Function &F) { Module &M = *F.getParent(); // 1. 复制函数 Function *NewF = Function::Create(F.getFunctionType(), F.getLinkage(), "new_name", M); ValueToValueMapTy VMap; SmallVector<ReturnInst*, 8> Returns; CloneFunctionInto(NewF, &F, VMap, /*ModuleLevelChanges=*/true, Returns); // 2. 替换所有调用点 std::vector<User*> Users(F.user_begin(), F.user_end()); // 避免迭代器失效 for (User *U : Users) { if (CallBase *CB = dyn_cast<CallBase>(U)) { CB->setCalledFunction(NewF); } } // 3. 验证并删除 if (!verifyModule(M, &errs())) { F.eraseFromParent(); } } ``` --- ### **8. 关键注意事项** - **线程安全**：若在优化过程中操作，需暂停相关 Pass 的执行。 - **调试信息**：若原函数关联了 `DISubprogram`，需同步更新调试元数据。 - **名称冲突**：确保新函数名称唯一（可通过 `getUniqueFunctionName()` 生成）。 --- 通过上述方法，可在保证 IR 完整性的前提下安全替换并删除函数。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值