Tiger编译器中的活性分析与寄存器分配
1. Tiger编译器中的活性分析
Tiger编译器的流分析分为两个阶段:首先分析汇编程序的控制流,生成控制流图;然后分析控制流图中变量的活性,生成干扰图。
1.1 图的抽象数据类型
为了表示控制流图和干扰图,我们创建了一个图的抽象数据类型。以下是相关的代码定义:
/* graph.h */
typedef struct G_graph_ *G_graph;
// 图类型
typedef struct G_node_ *G_node;
// 节点类型
typedef struct G_nodeList_ *G_nodeList;
// 节点列表
struct G_nodeList_ { G_node head; G_nodeList tail;};
G_graph G_Graph(void);
// 创建一个新图
G_node G_Node(G_graph g, void *info);
// 在图g中创建新节点
G_nodeList G_NodeList(G_node head, G_nodeList tail);
G_nodeList G_nodes(G_graph g);
// 获取图g的节点列表
bool G_inNodeList(G_node a, G_nodeList l);
// 判断节点a是否在列表l中
void G_addEdge(G_node from, G_node to);
// 创建新边
void G_rmEdge(G_node from, G_node to);
// 删除边
void G_show(FILE *out, G_nodeL