📄 9.7.8.htm
字号:
<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.7.3b.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.13.htm'" ></img></td>
</tr>
</table>
<br><br>
<font class="title2"><b>9.7.8 有循环不变计算的归纳变量</b></font>
<table>
<tr>
<td>    </td>
<td class="content">
<p>
在算法9.11（寻找归纳变量）和9.12（强度削弱用于归纳变量）中，我们允许用循环不变计算代替常量，那么归纳变量j的三元组（i，c，d）可能包含循环不变计算而不是常量。这些计算必须在循环L外的前置块完成。而且，因为中间代码要求每个语句至多一个算符，因此我们必须准备为这种表达式的计算产生中间代码语句。算法9.13(归纳变量删除)的测试替换需要知道乘法常量c的符号。基于这一点，把注意力限制在c是已知常数的情况是合理的。
</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.7.3b.htm'" ></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.13.htm'" ></td>
</tr>
</table>
</BODY>
<html><script language="JavaScript">⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -