9.7.4c.htm
来自「建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术」· HTM 代码 · 共 63 行
HTM
63 行
<html>
<head>
<title>编译原理</title>
<meta http-equiv="Content-Type" content="text/html; charset=gb2312">
<link type="text/css" rel="stylesheet" href="../css/specification.css">
</head>
<BODY>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.4b.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.5.htm'" ></img></td>
</tr>
</table>
<br><br>
<p>
<font class = "definition"><a name="A9.8"></a>算法9.10 代码外提</font>
</p>
<p>
输入: 具有ud链和必经结点信息的一个循环L。
</p>
<p>
输出: 循环的修改版本，增加了前置块，可能有一些语句外提到前置<br>
    块中。
</p>
<p>
方法:
</p>
<p>
  (1) 用算法9．9找循环不变语句;<br></p>
<p>  (2) 为(1)找到的每个x定值语句s，检查：</p>
<p>   (a) s所在块是L所有出口的必经块;<br>
    (b) x在L的其它地方没有定值;<br>
    (c) L中所有x的引用只有s的x定值才能到达。<br></p>
<p>  (3) 按算法9．9找出的次序，把(1)找出的且满足(2)三个条件的<br>
        每个语句移到新的前置块。但是，若S的运算对象在L中定值<br>
        (由算法9．9的(3)找出这种s)，那么只有这种对象的定值语句<br>
        外提到前置块后，才能外提s。
</p>
<p>
上述算法的条件(2)(a)和(2)(b)保证在s计算的x值必定是L任何出口的x值，当把s外提到前置块时，s仍然是到达L任何出口的x的定值。条件(2)(c）保证L中任何x的引用在外提前后都引用s计算的x值。
</p>
<p>
为了明白为什么变换不会增加程序的运行时间，只需注意条件2（a），它保证控制每次进入循环L，s至少执行一次。代码外提后，它在前置块仅执行一次，控制进入L时，它根本不再执行。
</p>
</td>
</tr>
</table>
<br>
<table align=right width=300>
<tr>
<td><img src="../images/previous.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.4b.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.5.htm'" ></img></td>
</tr>
</table>
</BODY>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?