高教社课件现代编译器设计与实现5.1 Mem2Reg.pptxVIP

Mem2Reg;Pass的概念

Mem2Reg;Pass的概念

Mem2Reg;机器无关的代码优化

Pass是中间代码优化的基本单元，执行编译器的转换和优化。

Pass就是“遍历一遍IR，可以同时对它做一些操作”的意思。

;机器无关的代码优化

Pass是中间代码优化的基本单元，执行编译器的转换和优化。

Pass就是“遍历一遍IR，可以同时对它做一些操作”的意思。

Pass分类

分析型Pass：对IR进行分析，得到一些数据流/控制流信息，用于后续Pass使用，如循环查找。

转换型Pass：对IR进行等价变化，提升代码性能，如常量传播。

;机器无关的代码优化

Pass是中间代码优化的基本单元，执行编译器的转换和优化。

Pass就是“遍历一遍IR，可以同时对它做一些操作”的意思。

Pass分类

分析型Pass：对IR进行分析，得到一些数据流/控制流信息，用于后续Pass使用，如循环查找。

转换型Pass：对IR进行等价变化，提升代码性能，如常量传播。

优化目标

运行时间更短

占用空间更小

;Lab4中新加的Pass

分析型Pass

Dominators：支配树分析

FuncInfo：纯函数分析

转换型Pass

Mem2Reg:提升内存变量为寄存器变量TODO

DeadCode：死代码删除

;Pass的概念

Mem2Reg;Mem2Reg;LightIR(LLVM)引入了alloc