【编译原理笔记17】代码优化：数据流分析，到达定值分析，到达定值方程的计算.pdfVIP

【编译原理笔记17】代码优化 ：数据流分析，到达定值分析，到达定值⽅程的 计算 本次笔记内 ： 8-5 数据流分析 8-6 到达定值分析 8-7 到达定值⽅程的计算 本节课幻灯⽚，见于我的 GitHub 仓库 ： ⽂章 ⽬录 数据流分析 数据流分析(data-flow analysis) 数据流分析 ：⼀组⽤来获取程序执⾏路径上的数据流信息的技术。 数据流分析应⽤ ： 到达-定值分析(Reaching-Definition Analysis) 活跃变量分析(Live-Variable Analysis) 可⽤表达式分析(Available-Expression Analysis) 在每⼀种数据流分析应⽤中，都会把每个 程序点 和⼀个 数据流值 关联起来。 数据流分析模式 语句的数据流模式 IN [s] ：语句s之前的数据流值 OUT [s] ： 语句s之后的数据流值 f ：语句s的传递函数(transfer function) s ⼀个赋值语句s之前和之后的数据流值的关系 传递函数的两种风格 信息沿执⾏路径前向传播(前向数据流问题) OUT [s] = f (IN [s]) s 信息沿执⾏路径逆向传播(逆向数据流问题) IN [s] = f (OUT [s]) s 基本块中相邻两个语句之间的数据流值的关系 设基本块B由语句s , s , … , s 顺序组成，则 1 2 n IN [si+1] = OUT [s ]i = 1, 2, … , n − 1 i 基本块上的数据流模式 到达定值分析 定值(Definition) ：变量x的 定值 是(可能)将⼀个值赋给x的 语句 。 到达定值(Reaching Definition) ： 如果 存在⼀条 从紧跟在定值d后⾯的点到达某⼀程序点p的路径，⽽且在此路径上d没有被 “杀死” (如果在此路径上有对变量x的其它定 值d′，则称变量x被这个定值 d′ “杀死 ”了) ，则称 定值 d 到达 程序点p。 直观地讲，如果某个变量x的⼀个定值d到达点p，在点p处使⽤的x的值 可能 就是由d 最后赋予 的。 例 ：可以到达各基本块的⼊⼝处的定值 假设每个控制流图都有两个 空基本块 ，分别是表⽰流图的开始点的 ENT RY 结点和结束点的 EXIT 结点 （所有离开该图的控制流都流向它）。 如上，是哪些定值可以 到达 B 的⼊⼝处。 i 到达定值分析的主要⽤途 循环不变计算的检测 ：如果循环中含有赋值x=y+z ，⽽y和z所有 可能的定值 都在 循环外⾯ (包括y或z是常数的特殊情况) ，那么y+z就是 循环不变计算 常量合并 ：如果对变量 x 的某次使⽤ 只有⼀个定值 可以到达，并且该定值把 ⼀个常量赋给x ，那么可以简单地 把x替换为该常量 判定变量x在p点上是否 未经定值 就 被引⽤ “⽣成”与“杀死”定值 对于定值 d ：u = v + w。这⾥， “+”代表⼀个⼀般性的 ⼆元运算符 。 该语句 “⽣成 ”了⼀个对变量u的定值d，并 “杀死 ”了程序中其它对u的定值。 到达定值的传递函数 f ：定值d ：u = v + w的传递函数，f (x) = gen ∪ (x − kill )。 d d d d fB ：基本块B的传递