Ivanqi

Transfer Function：OUT[B] = genB U (IN[B] - killB) OUT[B]: 是基本块B的输出可用表达式集合，即离开基本块B仍然有效的表达式集合 genB: 是在

Control Flow：OUT[B] = US a_successor_of_BIN[S] OUT[B]: 基本块B的出口存活变量集合，即基本块B执行完毕后，接下来的执行仍然需要使用的变量集合 IN

概述 Reaching Definitions Analysis 是一种数据流分析技术，用于确定程序中某个变量定义对程序中其他点的可见性 Transfer Function：OUT[B] = genB

概述 “Backward Analysis”或“反向分析”是一种分析技术，它从程序或代码的输出结果开始，逆向推导出程序的状态或者输入值 这里的表达式“IN[s]=fs(OUT[s])”可以被解读为：给

概述 前向分析，它是一种数据流分析技术，其中分析按照程序执行的顺序进行 在前向分析中，关注如何从程序的开头向结尾传播信息，并计算每个语句(或基本块)的输出值 OUT[s]=fs(IN[s]) 说明 O

偏序集(Partially Ordered Set, POS) 首先，半格是基于偏序集的概念。偏序集是一个集合，集合中的某些元素之间进行比较，这些比较关系不一定完全，即并不是集合中的任意两个元素都是可

内积(点乘)概述 内积(inner product) 计算的则是两个向量之间的关系 两个相同维度向量内积的表达式为: # 内积(点乘)概述 内积(inner product) 计算的则是两个向量之间的

定义 在编译原理中， Φ-function(也称为phi函数)是用于在编译优化过程中，特别是在控制流图(Control Flow Graph, CFG) 中用于实现数据流分析的一个概念 Φ-funct

定义 支配边界是指在支配树中，一个节点的所有非直接支配的子节点集合 具体来说，对于支配树中的一个节点(n)，其支配边界(DF(n)) 是这样的节点集合 这些节点被(n)支配，但它们有一个或多个子节点不