LLVM每日谈之四 Pass初探

作者:snsn1984

LLVM 的Pass框架是LLVM系统的一个很重要的部分。每个Pass都是做优化或者转变的工作,LLVM的优化和转换工作就是由很多个Pass来一起完成的。

所以按照我的理解,Pass就是LLVM系统转化和优化的工作的一个节点,每个节点做一些工作,这些工作加起来就构成了LLVM整个系统的优化和转化。Pass架构这么做的话,可重用性非常好,你可以选择已有的一些Pass,自己去构建出自己想要的优化和转化效果。并且自己也可以重新写Pass去做自己想要的优化和转变,因为每个Pass都可以独立存在,所以新建Pass并不用考虑LLVM之前的优化和转化是怎么做的,自己可以只运行自己新建的Pass,这样可以方便的实现自己想要的效果。

Pass最初的例子就在:llvm源码/lib/Transform/Hello/Hello.cpp。

可以采用命令

$ opt -load ../../../Debug+Asserts/lib/Hello.so -hello < hello.bc > /dev/null

去运行这个Pass,并且查看效果。

../../../Debug+Asserts/lib/Hello.so是so的目录,在llvm3.1中,这个例子的名称已经变成了LLVMHello.so. 存放在build目录/Release+Asserts/lib目录之下。如果编译的时候是Debug模式,则是在build目录/Debug+Asserts/lib目录之下。

-hello 是注册的使用Pass的时候的参数。可以在llvm源码/lib/Transform/Hello/Hello.cpp中看到。

hello.bc 是给Pass输入的二进制文件,也就是Pass要处理的二进制文件。至于如何生成该文件(使用命令:clang -emit-llvm -c hello.c -o hello.bc, hello.c就是个输出helloworld的简单C语言程序),在llvm每日谈之二 LLVM IR中有介绍,后续介绍clang的时候还会继续介绍。

所有的Pass都是继承自Pass类的。Pass类的API文档地址:

http://llvm.org/docs/doxygen/html/classllvm_1_1Pass.html

如果想仔细了解这个类的同学可以去这里看下。这里的函数都是可以通过点击跳转到源码中去的。

几个常用的Pass类的子类:

The ImmutablePass class

The ModulePass class

The CallGraphSCCPass class

The FunctionPass class

The LoopPass class

The RegionPass class

The BasicBlockPass class

The MachineFunctionPass class

 推荐文档: http://llvm.org/docs/WritingAnLLVMPass.html 该文档是LLVM官方介绍Pass的文档,英文的,英文不错的同学推荐直接看这个文档。
时间: 2024-09-29 16:31:11

LLVM每日谈之四 Pass初探的相关文章

LLVM每日谈之八 PASS例子分析

作者:snsn1984 之前已经 简单的介绍过怎么样去运行PASS(地址: http://blog.csdn.net/snsn1984/article/details/8160696),并且以hello PASS为例进行了运行,可以输出hello 和函数的名字.下面咱们继续进一步的分析一下这个PASS的具体内容: http://llvm.org/docs/doxygen/html/Hello_8cpp_source.html 这里就是之前运行过的pass的源码,可以看出来,输入的主要是在下面的代

LLVM每日谈之七 Clang

作者:snsn1984         官方介绍Clang是LLVM native的一个面向C/C++/Objective-C的编译器,目标是要提供一个编译非常快的编译器.他们宣称在Debug模式下编译Objective-C比GCC快3倍.至于是否能比GCC快这么多,总有人去做对比,大家可以搜索下,好像确实快了些. Clang一般被说是LLVM的一个前端.关于前端的定义,大家可以从LLVM每日谈之二里面看到前端在整个LLVM体系中的位置.Clang当初的定位就是要做下一个十年中一个伟大的前端,这

LLVM每日谈之十三 使用LLVM自带的PASS

作者:snsn1984 PS:最近一段时间,投入在LLVM上的时间有些减少.差点把对它的研究断掉,今天开始继续.对LLVM的研究需要很长一段时间的坚持不懈才可以彻底搞明白. 前面已经介绍过如何写自己的PASS,并且也针对一个简单的PASS进行了分析和介绍.相信大家也可以从LLVM源码中找到很多的PASS,这些PASS太多,他们每个到底是做什么用?如何去调用这些系统已经有的PASS?这就是这次每日谈要关注的问题. 在文档 http://llvm.org/docs/Passes.html 中,列出了

LLVM每日谈之十六 LLVM的学习感悟

这些总结并非我自己写的,而是摘自LLVM的版本比较老的文档中.因为老版本的文档已经鲜有人关注了,而这篇总结的非常好,到现在也很有用处,所以就把这部分内容贴出来了.这只是原文档的一部分. 原文档地址:http://llvm.org/releases/1.1/docs/Stacker.html 正文内容: Lessons I Learned About LLVM Everything's a Value! Although I knew that LLVM uses a Single Static

LLVM每日谈之二十三 LLVM/Clang编译Linux内核资料

作者:史宁宁(snsn1984) 之前有朋友问到这个问题,是否有使用LLVM/Clang编译Linux内核的,随手找了一些相关资料,在这里贴出来,与大家共享. 网址:http://llvm.linuxfoundation.org 项目简介: LLVMLinux Project Overview This project aims to fully build the Linux kernel using Clang which is the C front end for the LLVM co

LLVM每日谈之二十四 Google的ClangMR

ClangMR的论文<Large-Scale Automated Refactoring Using ClangMR>:http://www.hyrumwright.org/papers/icsm2013.pdf ClangMR是Goolge的一个工具,严格的说,并不属于Clang家族,是属于基于Clang所构建的一个工具.Google秉承他们一贯的原则,在构建该工具并投入使用之后,将该工具的情况发了一篇论文<Large-Scale Automated Refactoring Using

LLVM每日谈之二十一 一些关于编译器和LLVM/Clang的代码

作者:史宁宁(snsn1984) 自己收集了一些LLVM/Clang的代码,并且自己也在一点一点的写一些LLVM/Clang以及编译器的代码,在这里把这些代码库分享出来,欢迎大家交流探讨. 1.crange https://github.com/shining1984/crange 这是一个python写的调用libclang去定位和交叉检索C/C++源码的工具.这个工具不是我写的,我给fork过来了,方便自己加一些自己的代码. 2. libclang-examples https://gith

LLVM每日谈之十七 LLVM/Clang的学习的思考

        之前一直关注LLVM和基于LLVM的工程(工具)多一些,对Clang和基于Clang的工具关注不是很多.这就导致了一个很严重的问题,觉的如果要深入理解Clang就必须要去读Clang的源码,这个想法不是不对,但是这不是唯一的路,而且Clang的源码太多,容易让人无法坚持下去,也容易让人无从下手.         了解了Clang的一些工具之后,觉的这些工具是一个很好的切入点,简单.方便使用.代码量不大,却可以完成很多以前觉的是很难实现的工作.这让我觉的找到了可以深入学习Clang

LLVM每日谈之十一 编译器相关学习资料推荐

作者:snsn1984 近来碰到一些想学习LLVM但是已经把编译原理的知识还给老师的朋友,让帮忙推荐一些学习资料,我就把手头有的一些资料,大都是自己读过的一些资料整理一下,列出来,希望对大家有所帮助. 1.<Compilers---Principles,Techniques, and Tools> 没错,这就是传说中的龙书,虽然无数次被人推荐,也无数人说能不能换点别的推荐,但是它还是当之无愧的首选.网上可以找到PDF的电子版,中英文的都有.如果真是打算好好的学编译器,建议买本英文版的,读的时候