llvm学习日记八：IR层优化

参考书：《Getting Started with LLVM Core Libraries》

一、优化参数：

• -O0 ： 不优化，用于代码调试
• -O1 ：介于 O0 和 O2之间
• -O2 ：中等优化
• -Os ：类似于 O2 ，体积更小
• -Oz ：类似于 Os ， 体积最小
• -O3 ：类似于 O2 ，代码体积大于 O2，但是运行速度更快
• -O4 ：类似于 O3 ，增加了链接时优化。

其他优化参数：

• -std-compile-opts ： 标准编译时优化
• -std-link-opts ： 标准链接时优化

二、PASS 依赖

• Optimizations are usually composed of analysis and transform passes.
  优化主要由分析类pass和转化类pass组成
• 显示依赖：
  pass manager 全局管理pass类，如果一个pass依赖其他pass，pass manager 会先静默加载其他的pass，然后在运行这个pass
• 隐式依赖：
  一些转化和分析类pass依赖某些特定用法的IR代码，比如一个pass被指定只能在某个pass之后工作，这就诞生了隐式依赖。

这一段不好理解，我看了书中这一段很多次才有点理解
显示依赖就是强依赖，这些依赖必须满足，否则报错；
隐式依赖就是弱依赖，不满足会跳过正常执行。

三、PASS API

pass类是实现优化的主要类，但是这个pass类并不是直接使用，而是靠它的子类实现，下面是一些公共的子类：

• ModulePass ： 这是一个最普遍的pass，它允许你立即分析某个module，而无需任何特定的函数顺序。要使用它需要写一个子类继承ModulePass，必须要重写函数runOnModule()

• FunctionPass ： 这是一个用的最多的pass类型，允许一次处理一个函数，而不需要特定的顺序，它禁止修改其他函数、函数删除、全局量量的删除。使用它要重写runOnFunction()

• BasicBlockPass ：他处理基础块，类似于FunctionPass，它禁止修改其他BasicBlock，BasicBloc删除。使用时要重写runOnBasicBlock()

重写的入口函数：runOnModule、runOnFunction、runOnBasicBlock返回一个bool值，false表示操作的基本单元（module、function、basicblock）未改变，true表示改变