📄 8.6.2c.htm

📁 建立《编译原理网络课程》的目的不仅使学生掌握构造编译程序的原理和技术

💻 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='8.6.2b.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='8.7.0.htm'"></img></td>
</tr>
</table>
<br><br>

<table><tr><td>&nbsp&nbsp&nbsp&nbsp</td>
<td class="content">
<P>对指针赋值*p:=w，其中p是一个指针，会产生同样的问题。如果我们并不知道p可能指向哪些变量，则对当前正在建立中   
的dag的每一个结点在上述意义下予以注销。</P>
<P>在一个基本块中的一个过程调用将注销所有的结点，因为对被调用过程的情况缺乏了解，我们必须假定任何变量都可能发生变化而产生副作用。</P>
<P>一般而言，在基本块中出现有过程调用、数组或指针赋值等三地址语句的情况下，重写基本块时要遵循的规则可归纳为。</P>
<P>1.对数组a任何元素的赋值或引用，都必须跟在原来位于其前面的（如果有的话，下同）对数组a任何元素的赋值之后。</P>
<P>2.对数组a任何元素的赋值，都必须跟在原来位于其前面的对数组a任何元素的引用之后。</P>
<P>3.对任何标识符的引用或赋值，都必须跟在原来位于其前面的任何过程调用或通过指针的间接赋值之后。</P>
<P>4.任何过程调用或通过指针的间接赋值，都必须跟在原来位于其前面的任何标识符的引用或赋值之后。</P>
<P>总之，当对基本块重新编码时，任何数组a的引用不可以互相调换次序，并且任何语句不得跨越一个过程调用语句或通过指针的间接赋值。</P>
<P>这样一来，不难看到，在本小节的第一个基本块的三个语句中，语句a[j]：＝y必须接在x：＝a[i]之后，z：＝a[i]必须接在语句a[j]：＝y之后。换句话说，它们不能互相调换顺序，如第二个基本块那样是不允许的。<BR><BR></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='8.6.2b.htm'"></img></td>
<td><img src="../images/next.gif" onmouseover="javascript:style.cursor='hand'" onclick="vbscript:window.location.href='8.7.0.htm'"></img></td>
</tr>
</table>

</body>
</html>

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -