来源: sbw Blog |
浏览: 91 |
评论: 0 |
时间: 2023-02-12
编译器后端中指令的编码是一项非常繁杂、易错的工作。需要查找大量的手册资料才能拼接出二进制序列，并且测试成本也比较高。于是研究了下，使用LLVM的模块完成指令的编码，自己的编译器这端只需要输出到符号化的汇编指令即可，大大减少了查文档拼二进制这项令人头秃的工作。
来源: 石博文博客 |
浏览: 2613 |
评论: 0 |
时间: 2019-03-29
上一篇已经成功深入到指令层面了，这一篇就开始使用 IRBuilder 对函数流程进行修改，使得“不安全”版本的除法函数也增加对除数的零检查。因为除法指令分为整数除法、浮点数除法等等，而例如整数除法又可以细分为有符号数除法、无符号数除法，同时每种除法又根据类型不同分为32位除法、64位除法....。这里为了演示效果，我们只实现了32位的有符号除法。仅仅满足了测试代码的要求，如果要真的在生产中实现这个功能，细节上的很多问题还是要仔细分类处理的。
来源: 石博文博客 |
浏览: 1913 |
评论: 0 |
时间: 2019-03-29
上一篇中实现了一个简单的编译器插件，它的作用仅仅是在编译过程中输出所有函数的名称。那么这一篇就更深入一步来观察LLVM的中间代码及指令生成部分，从而确定应该如何修改并添加程序逻辑，以实现我们最初的“除法保护”的功能。本篇主要介绍了LLVM编译系统的一些特点及典型用法，包括LLVM的模块划分，IR中的SSA（静态单赋值）概念与 PHI 节点的概念，以及如何使用 LLVM 的 IR Builder 在编译过程修改或插入一些逻辑代码。
来源: 石博文博客 |
浏览: 2183 |
评论: 0 |
时间: 2019-03-28
在上一篇中介绍了LLVM/Clang的编译器插件可以用来进行一些简单的编译器功能扩展，从这篇开始就一步步来实现这个编译器插件。本篇主要介绍了如何建立LLVM/Clang编译器插件的开发环境及开发目录配置，如何使用CMake编译系统组织起整个工程项目来，以及使用最基本的LLVM趟管理器遍历输出函数信息等。
来源: 石博文博客 |
浏览: 2291 |
评论: 2 |
时间: 2019-03-28
LLVM/Clang 提供了编译器插件机制可供扩展编译器的功能，实际上 LLVM/Clang 本身的很多功能也是以插件方式注册到编译器系统中进行实现的。在一些对安全要求极端苛刻的环境下，或是一些特殊的硬件平台中，总有一些奇怪的需求，而这些定制化的功能如果不是很复杂，就没有必要大动干戈去修改编译器，可以使用编译器插件来完成。这个系列文章设想一种需要进行除法保护的应用场景，需要在编译层面对除法进行强制检查，以杜绝除零异常的发生。
在没有特别指明时以
CC-BY-SA 3.0 协议进行许可。