在LLVM中编写Backend Pass的详细教程（2）

最新推荐文章于 2024-06-20 10:43:49 发布

白马负金羁

最新推荐文章于 2024-06-20 10:43:49 发布

阅读量6.3k

点赞数 5

分类专栏：系统安全与恶意学习文章标签： LLVM Backend Pass 基本块汇编

本文链接：https://blog.csdn.net/baimafujinji/article/details/6480155

版权

系统安全与恶意学习专栏收录该内容

40 篇文章 1301 订阅 ¥39.90 ¥99.00

订阅专栏

超级会员免费看

本文是LLVM Backend Pass系列教程的第二篇，介绍如何在X86架构下修改LLVM后端，为每个基本块添加边界标识。通过在EmitBasicBlockStart和EmitBasicBlockEnd前后插入代码，并利用getFullName函数为基本块生成唯一标识。编译修改后的LLVM，使用示例C文件生成汇编代码，观察标识已被成功添加。

摘要由CSDN通过智能技术生成

在上一篇文章中，我们已经讲到编写BackEnd Pass（或者说是Machine Pass）跟之前编写普通Pass是有一定区别的。“Machine passes are determined by the backend code. Therefore, we will modify an existing backend to run with our custom pass to see it in practice. ” 也就是说，LLVM中的BackEnd Pass通过修改已有文件来实现的。接下来，作为例子，我们选择X86架构来进行演示。

本质上，LLVM毕竟是围绕编译器展开的一个工具集，或者说编译器本身就是它的核心。因此，在编译原理课程上学到的很多知识在了解或研究LLVM时都能派上用场。之前的文章中曾经提到，后端部分的分析框架一般为MachineFunction → MachineBasicBlock → MachineInstruction。在这篇文章中，我们就来演示如何对基本块（Basic Block）的边际加标注。我们还会调用LLVM中的函数来对每个基本块产生一个描述名。这篇文章，对于深入理解LLVM编译器部分（尤其是后端部分）的实现细节很有帮助。

下面实验的环境是Ubuntu 18.04，LLVM的版本是8.0，需要注意的是，在编译LLVM时&#x