编译器笔记48-代码优化-数据流分析

数据流分析(data-flow analysis)

• 数据流分析
  一组用来获取程序执行路径上的数据流信息的技术

• 数据流分析应用

1. 到达-定值分析(Reaching-Definition Analysis)
2. 活跃变量分析(Live-Variable Analysis)
3. 可用表达式分析(Available-Expression Analysis)

• 在每一种数据流分析应用中，都会把每个程序点和一个数据流值关联起来。

数据流分析模式

语句的数据流模式

IN[s]: 语句s之前的数据流值
OUT[s]: 语句s之后的数据流值

传递函数.png 语句之间数据流.png

基本块上的数据流模式

基本块上的数据流模式.png