📄 9.7.4b.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.4.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.4c.htm'" ></img></td>
</tr>
</table>
<br><br>
<table>
<tr>
<td class="content">
<font class = "example">例9.32</font>
<p align=center><img src="images\9_38.gif" align=center>
<p>当循环中有多于一个对x赋值时,要求条件(2)。图9.43的流图结构和图9.42(a)是一样的，并且也和图9.42(b)那样建立前置结点B6。 </p>
<p>因为B2是出口结点B4的必经结点,所以,条件(1)无法阻挡把i:=3外提到前置块B6中。但是，如果我们这样做，只要B3执行，i的值就是2，这个值会到达B5，即使执行的序列是B2→B3→B4→B2→B4→B5。可是，若没有外提，这个序列的执行使i=3到达B5。
<br>
</td>
</tr>
</table>
<table>
<tr>
<td class="content" valign="top">
<font class = "example">例9.33</font>
<p>现在考虑条件(3)。图9.44流图的基本块B4中i的引用由B1中的i:=1到达，也由B3中的i:=2到达。所以不能外提i:=2到前置块中，因为若u>=v,到达B5的K值会改变。 </td>
<td><p><img src="images\9_39.gif"> </p></td>
<td width="20%">  </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.4.htm'" ></td>
<td>
<img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='9.7.4c.htm'" ></img></td>
</tr>
</table>
</BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -