- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* 下面是仅含0,1,2型四元式的基本块的DAG构造算法。 首先,DAG为空。 对基本块的每一四元式,依次执行: 1. 如果NODE(B)无定义,则构造一标记为B的叶结点并定义NODE(B)为这个结点; 如果当前四元式是0型,则记NODE(B)的值为n,转4。 如果当前四元式是1型,则转2.(1)。 如果当前四元式是2型,则:(Ⅰ)如果NODE(C)无定义,则构造一标记为C的叶结点并定义NODE(C)为这个结点,(Ⅱ)转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。转处理下一四元式。 * 例 试构造以下基本块G的DAG。 (1) T0∶=3.14 (2) T1∶=2 * T0 (3) T2∶=R + r (4) A∶=T1 * T2 (5) B∶=A (6) T3∶=2 * T0 (7) T4∶=R + r (8) T5∶=T3 * T4 (9) T6∶=R - r (10) B∶=T5 * T6 * * 将图11.10(k)的基本块G的DAG按原来构造其结点的顺序,重新写成四元式,得到以下的四元式序列G′ G’: (1) T0∶=3.14 (2) T1∶=6.28 (3) T3∶=6.28 (4) T2∶=R+r (5) T4∶=T2 (6) A∶=6.28*T2 (7) T5∶=A (8) T6∶=R-r (9) B∶=A*T6 原来:G (1) T0∶=3.14 (2) T1∶=2 * T0 (3) T2∶=R + r (4) A∶=T1 * T2 (5) B∶=A (6) T3∶=2 * T0 (7) T4∶=R + r (8) T5∶=T3 * T4 (9) T6∶=R - r (10) B∶=T5 * T6 1. G中的代码(2)和(6)的已知量都已合并。 2. G中(5)的无用赋值已被删除。 3. G中(3)和(7)的公共子表达式R+r只被计算一次,删除了多余运算。 所以G′是G的优化结果。 * 控制流分析和循环优化 循环中的代码反复执行,因而为了提高目标代码的效率必须着重考虑循环的代码优化。 进行循环优化必须找出程序中的循环,这就需要对程序的控制流程进行分析 * 控制流程图 一个控制流程图就是具有唯一首结点的有向图。 首结点就是从它开始到控制流程图中任何结点都有一条通路的结点。 把一个控制流程图表示成一个三元组G=(N,E,n0),其中,N代表图中所有结点集,E代表图中所有有向边集,n0代表首结点。 控制流程图简称为流图。 * 一个程序可用一个流图来表示。流图中的有限结点集N就是程序的基本块集,流图中的结点就是程序中的基本块。流图的首结点就是包含程序第一个语句的基本块。 程序流图中的有向边集E是这样构成的: 假设流图中结点i和结点j分别对应于程序的基本块i和基本块j,则当下述条件1)或2)有一个成立时,从结点i有一有向边引向结点j: 1). 基本块j在程序中的位置紧跟在基本块i之后,并且基本块的出口语句不是无条件转移语句goto(s)或停语句。 2). 基本块i的出口语句是g
文档评论(0)