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的文档，英文的，英文不错的同窗推荐直接看这个文档。