从OLLVM4.0.0升级到LLVM8.0.1,并且给LLVM增加Pass 插件系统

 版本太低了,用得我这个揪心。

上周日决定把手头的ollvm从4.0.0升级到LLVM8.0.1。

里面的Pass的话,决定移植到8.0.1里面。

 

我习惯从代码上来动手

1:下载LLVM  https://github.com/llvm/llvm-project/releases/download/llvmorg-8.0.1/llvm-8.0.1.src.tar.xz

2:下载CLang  https://github.com/llvm/llvm-project/releases/download/llvmorg-8.0.1/cfe-8.0.1.src.tar.xz

之后两个都解压,

然后把clang解压后的目录放到llvm目录中tools目录下,之后可以用cmake直接创建vs2017的项目。

全程没有错误,创建好了项目之后,直接可以完整编译。

 

前面都简单,后面是移植pass 的问题。

我准备加点戏,由于Pass集成在 clang里面,这会导致出现一个问题,

即,clang太大,编译速度太慢,改一笔pass要折腾20分钟编译,费事。

所以我准备写一个插件系统,把所有pass都写成插件,

clang里面直接支持插件接口。

这样以后编译的时候只编译插件就好了。clang不需要编译了。

* 我也不知道我这编译器怎么回事,明明我没选rebuild,文件也没改,但是它就是要把所有project 都check一遍。

* 懒得管它。

 

写插件的问题是,clang里面的插件写到哪里。

实际上可以在LLVMipo 工程的同级目录创建插件接口工程,

ipo 工程实际上是 Pass 的总入口工程,内部包含了 PassManagerBuilder 文件,即 PassManagerBuilder.cpp,

所有Pass 都是在这里注册的,细节看我之前的文章。

插件接口工程创建完之后,把它加到ipo工程的依赖项里面,

然后定义好插件接口即可。我是这样定义的,

目前比较简单。

每个模块内部导出一个函数,

这个函数返回一个结构体数组的指针,结构体定义如下

很简单,里面就一个元素,是个函数指针来定义的一个pass 创建函数,超级简单。

 

接口这里解决了,但是启动参数怎么解决呢,好解决,我自己写了个简单的模板来解决这个问题

 

该怎么用还怎么用,反正也就这样了,呵呵呵呵呵。

使用方法也很简单

几乎不改变使用习惯,这就差不多了。

 

但是还有最后一个问题,就是,LLVM原生要求参数必须提前注册,否则会提示错误,如下

解决它俩,其实也好办,其实它俩不重要,重要的是,它俩的后面直接把进程exit(1)了,所以只要找到它俩的位置,然后把结束进程给退出了就可以了。

进程会继续执行,如果看这个错误不爽,也可以把它俩删除了。

 

这些都解决了之后,还有一个小问题,就是插件工程放到什么地方。

这个问题好解决,

可以在libclong 工程的同级目录创建工程,然后在这里写插件,即可。

 

至此,问题全部解决。

 

升级LLVM框架完成,之前老的ollvm 就不要了。

 

感觉算是一个简单的解决方案,问题也都完美地解决了。

 

好吧,其实解决方式也不是很完美,凌晨写的,现在来补全问题。

首先,第一个问题,就是,clang 自带参数检测系统已经被我们pass掉了,即便参数出错,也无法通过clang 来检测到了。

解决方案,其实说简单也简单,说难也很难,clang在全局变量构造里面,创建参数检测系统,那么也就是说,我们可以做一个独立的函数或者结构体,

然后创建一个全局变量,然后给它初始化,在初始化函数里面,读取本地配置文件,在配置文件中记录全局参数,然后动态生成、注册cl::opt,

这样实际上就已经解决了问题,如果可以这样的话,那么实际上clang自带的参数检测系统也可以不用修改了。

第二个问题,就是标准库的问题,由于clang里面大量使用了stl标准库,而且我们又启用了插件功能,

导致exe创建的标准库对象可能要给dll来用,这里隐含性地可能会导致标准库变量导致程序崩溃。

实际上,这样的问题,也好解决,就是只要保证clang和插件处在同一个编译环境下就可以了,

即clang使用VS的哪一个版本编译,插件同之。

posted @ 2019-08-27 04:59  穷到底  阅读(1844)  评论(0编辑  收藏  举报