实现代码优化器.docVIP

国家人才培养模式创新实验区、云南省教学团队、云南大学软件学院教育创新基金（编号：2009EI08）联合资助项目 实现代码优化器 姓 名： 学 号： 专 业： 软件工程 任 课 教 师 ： 柳青 编 制 时 间 ： 2014年6月28日 成 绩： 云南大学软件学院 2012年6月制表 报告内容： 一、实验目的 （1） 了解代码优化技术； （2）掌握局部代码优化原理和相关的算法。 实验内容和要求 编写调试一个程序，它把四元式序列表示的基本块改造为相应的DAG并进行优化，再根据DAG重建基本块。 实验分析与设计 四元式语句的基本块的划分 基本块的划分三种划分方式： （1）一个入口语句到下一入口语句（不包括此下一入口语句）之间的语句序列。 （2）由一入口语句到一转移语句（包括此转移语句）之间的语句序列。 （3）由一入口语句到一停语句（包括此停语句）之间的语句序列。 例如： *(1)read x (2)read y *(3)r:=x mod y (4)if r=0 goto (8) *(5)x:=y (6)y:=r (7)goto(3) *(8)write y (9)halt 可以划分为以下四个基本块： *(1)read x (2)read y B1 *(3)r:=x mod y (4)if r=0 goto (8) B2 *(5)x:=y (6)y:=r (7)goto(3) B3 *(8)write y (9)halt B4 四元式序列表示的基本块改造为相应的DAG DAG的构造算法 首先，DAG为空。 对基本块的每一四元式，依次执行1，2，3，4步： 1. 如果NODE(B)无定义，则构造一标记为B的叶结点并定义NODE(B)为这个结点； 如果当前四元式是0NODE(B)的值为n，转4。 如果当前四元式是12(1)。 如果当前四元式是2 (1) 如果NODE(C)无定义，则构造一标记为C的叶结点并定义NODE(C) 为这个结点； (2) 转2 (2) 2. (1) 如果NODE(B)是标记为常数的叶结点 ，则转2(3)，否则转3(1)。 (2) 如果NODE(B)和NODE(C)都是标记为常数的叶结点，则转2(4)，否则转3(2)。 (3) 执行op B（即合并已知量），令得到的新常数为P。如果NODE(B)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P做标记的叶结点n。置NODE(P)=n，转4。 (4) 执行B op C（即合并已知量），令得到的新常数为P。如果NODE(B)或NODE(C)是处理当前四元式时新构造出来的结点，则删除它。如果NODE(P)无定义，则构造一用P做标记的叶结点n。置NODE(P)=n，转4。 3. (1) 检查DAG中是否已有一结点，其唯一后继为NODE(B)，且标记为op（即找公共子表达式）。如果没有，则构造该结点n，否则就把已有的结点作为它的结点并设该结点为n，转4。 (2) 检查中DAG中是否已有一结点，其左后继为NODE(B)，其右后继为NODE(C)，且标记为op（即找公共子表达式）。如果没有，则构造该结点n，否则就把已有的结点作为它的结点并设该结点为n，转4。 4. 如果NODE(A)无定义，则把A附加在结点n上并令NODE(A)=n；否则先把A从NODE(A)结点上附加标识符集中删除（注意，如果NODE(A)是叶结点，则其标记A不删除），把A附加到新结点n上并令NODE(A)=n。转处理下一四元式。 这样，就可由DAG重新生成原基本块的一个优化的代码序列。 例如： DAG重建基本块 在一个基本块被构造成相应的DAG的过程中已经进行了一些基本的优化工作。现可由DAG重新生成原基本块的一个优化的代码序列。依照DAG中结点生成顺序还原四元式序列，依次逐个结点地分析: （1）若是叶结点，且附加的标识符表为空，则不生成四元式； （2）若是叶结点，标记为B，且附加标识符为A，则生成四元式：(:=, B, －, A)； （3）若是内部结点，附加标识符为A，则根据其标记op及子结点数生成下列4种形式的四元式之一。 四、实验DAG的概念和相关的算法。