编译方法、技术与实践课件：中间代码优化.pptx

;

?数据流分析理论与框架

?到达定值分析

?可用表达式分析

?活跃变量分析

?局部优化/全局优化;

?代码优化

O在目标代码中消除不必要的指令

O把一个指令序列替换为一个完成相同功能的更快的指令序列

?全局优化

?基于数据流分析技术

O用以收集程序相关信息的算法;

?编译器只能通过一些相对低层的语义等价转换来优化代码

?冗余运算的原因

O源程序中的冗余

O高级程序设计语言编程的副产品

?比如A[i][j].f=0;A[i][j].k=1;中的冗余运算

?语义不变的优化

O公共子表达式消除

O复制传播

O死代码消除

O常量折叠;

自动化重构技术：

重写规则：

(1)with上下文管理器重写规则;

(2)推导表达式重写规则;

(3)lambda表达式重写规则;

(4)yieldfrom重写规则;

(5)map、reduce、filter、sorted重写规则;

(6)装饰器重写规则等;

拟实现方法：

?源码静态分析，生成AST树

?对AST树进行规则匹配，并完成相应替换;;;;

?数据流分析

O用于获取数据沿着程序执行路径流动的信息的相关技术

O是优化的基础

?例如

O两个表达式是否一定计算得到相同的值？(公共子表达式)

O一个语句的计算结果有没有可能被后续语句使用？(死代码消除);

?程序点

O三地址语句之前或之后的位置

O基本块内部：一个语句之后的程序点等于下一个语句之前的程序点

O如果流图中有B1到B2的边，那么B2的第一个语句之前的点可能紧跟在B1的最后语句之后的点后面执行

?从p1到p2的执行路径：p1,p2,…,pn

O要么pi是一个语句之前的点，且pi+1是该语句之后的点

O要么pi是某个基本块的结尾，且pi+1是该基本块的某个后继的开头;

?出现在某个程序点的程序状态

O在某个运行时刻，当指令指针指向这个程序点时，各个变量和动态内存中存放的值

O指令指针可能多次指向同一个程序点

?因此一个程序点可能对应多个程序状态

?数据流分析把可能出现在某个程序点上的程序状态集合总结为一些特性

O不管程序怎么运行，当它到达某个程序点??，程序状态总是满足分析得到的特性

O不同的分析技术关心不同的信息

?为了高效、自动地进行数据流分析，通常要求这些特性能够被高效地表示和求解;;

?分析得到的性质集合应该是一个安全的估计值

O即根据这些性质进行优化不会改变程序的语义;

?数据流值

O某个程序点所有可能的状态集合的抽象表示

O和某个程序点关联的数据流值：程序运行中经过这个点时必然满足的这个条件

?域

O所有可能的数据流值的集合

?不同的应用选用不同的域，比如到达定值

O目标是分析在某个点上，各个变量的值由哪些语句定值

O因此数据流值是定值(即三地址语句)的集合，

表明集合中的定值对某个变量定值了;

?基于控制流的约束

OIN[si+1]=OUT[si];

?假设我们考虑各个变量在某个程序点上是;

s1:x=3;

?基本块的控制流非常简单

O从头到尾不会中断

O没有分支

?基本块的效果就是各个语句的效果的复合

?可以预先处理基本块内部的数据流关系，给出基本块对应的传递函数；

IN[B]=fB(OUT[B])或者

OUT[B]=fB(IN[B])

?设基本块包含语句s1,s2,…,snfB=fsn?…?fs2?fs1;

?前向数据流问题

OB的传递函数根据IN[B]计算得到OUT[B]

OIN[B]和B的各前驱基本块的OUT值之间具有约束关系

?逆向数据流问题

OB的传递函数根据OUT[B]计算IN[B]

OOUT[B]和B的各后继基本块的IN值之间具有约束关系;

s:z=x+y;

?数据流分析理论与框架

?到达定值分析

?可用表达式分析

?活跃变量分析

?