llvm似乎还有一个奇怪的优化方法：llvm(low level virtual machine)本身就是一种抽象的、虚拟的计算机架构，其特性介于RISC和CISC之间，llvm会先将代码编译为llvm架构的字节码（这里还是说说数据吧，从其官方数据来看，生成的字节码略多于x86的目标代码而少于SPARC的目标代码），然后可以对字节码进行JIT优化然后再翻译为目标架构的二进制代码。另外，llvm实际上采用的是一种全生命周期（lifelong）的优化策略（虽然还是很偏重静态优化），最直接的体现就是比起gcc能做到的 -O3，llvm可以做到 -O4，而且 -O4采用的是LLVMgold.so所提供的运行时库。llvm本身的设计思想就是希望做到编译时、链接时、运行时、空闲时的全方位优化。关于这些优化，在llvm官网可以找到，请移步http://llvm.org/pubs/2004-01-30-CGO-LLVM.html。
最后来说一下llvm和gcc的兼容性，我前面只是说了llvm的后端兼容gcc的前端生成的AST，其实llvm对gcc的兼容性是很高的，我现在系统的环境变量CC设置的就是clang，我编译了很多工程都不用改Makefile就可以成功编译，不过很多工程里只是采用的 -O2，让我略不爽，所以我就手动将之改为 -O4，当然也就需要修改一下CFLAGS和LDFLAGS，为之加上llvm-config的输出。llvm本身在脚本上就设计为和gcc的兼容，所以改换编译链十分容易。
参考：
http://www.cnblogs.com/FreeBirdLjj/p/3270457.html
http://www.drdobbs.com/architecture-and-design/the-design-of-llvm/240001128
http://blog.csdn.net/michael_kang/article/details/6098839
编译MIPS：
http://elinux.org/images/a/a8/Lopes-LLVM.pdf
http://docs.huihoo.com/llvm/WritingAnLLVMBackend.html