编译原理-13-中间代码继承

最新推荐文章于 2023-03-27 15:49:19 发布

SpriCoder

最新推荐文章于 2023-03-27 15:49:19 发布

阅读量268

点赞数

分类专栏：编译原理课程笔记

本文链接：https://blog.csdn.net/qq_44202160/article/details/123145218

版权

语法分析

编译原理课程笔记专栏收录该内容

19 篇文章 9 订阅

订阅专栏

IR2-中间代码继承

1. 控制流语句与布尔表达式的中间代码继承

label(xxx)表示名为xxx的标签

$\begin{array}{l} S \rightarrow if\ (B)\ S_1 \\ S \rightarrow if\ (B)\ S_1\ else\ S_2\\ S \rightarrow while\ (B)\ S_1 \\ \end{array}$

1.1. 生成式转化为语义规则示例

1.2. 一些语句得到的中间代码示例

继承属性S.next:S的下一条指令

S.next为语句S指明了"跳出"S的目标
$\begin{aligned} &S.code \\ &S.next: \\ \end{aligned}$

代表了表达式的翻译,包括数组引用
$\begin{aligned} &assign.code \\ \end{aligned}$

$B$ 为真，则 $n e w l a b e l$ ，否则跳出 $S_1$ ，上面写法不好，会给人在属性的类型上带来歧义，第二行应该是如下两行：
$\begin{array}{l} B.false = S.next \\ S_1.next = S.next \\ \end{array}$
翻译为中间代码如下
$\begin{aligned} &B.code\\ &B.true:\ S_1.code\\ &B.false(S.next):\\ \end{aligned}$

左侧的goto S.next代表了执行完S1后，跳过else S2继续执行
由此右侧的代码可以翻译为如下的伪代码，其中第一行代表 $S$ ， $t r u e$ 的位置为 $B$ ，第二行为 $S_1$ ， $t r u e$ 的位置为 $B$ ，第一个 $a s s i g n$ 为 $S_{11}$ ，第二个 $a s s i g n$ 为 $S_{12}$ ，剩下的一个 $a s s i g n$ 所在行为 $S_2$ 。

$\begin{aligned} &B.code \\ &B.true: S_1.code \\ &\qquad\qquad goto\ S.next \\ &B.false: S_2.code \\ &S.next:\\ \end{aligned}$

继续进行翻译，同样的规定，其中第一行代表S，true的位置为B，第二行为S1，true的位置为B，第一个assign为S11，第二个assign为S12。
中间代码格式

$\begin{aligned} &begin: B.code \\ &B.true: S_1.code \\ &\qquad\qquad goto\ begin\\ &B.false: \\ \end{aligned}$

中间代码如下
$\begin{aligned} &S_1.code \\ &S_1.next: S_2.code \\ \end{aligned}$

1.3. 生成式与语义规则对应表

2. 短路求值

中间代码示例
$\begin{aligned} &B_1.code \\ &B_1.false: B2.code \\ &B_1.true(B.true/B_2.true):\\ &B_2.false:\\ \end{aligned}$

中间代码示例
$\begin{aligned} &B_1.code \\ &B_1.true: B2.code \\ &B_2.true(B.true):\\ &B_1.false(B_2.false/B.false):\\ \end{aligned}$

rel是比较符号，得到的中间代码如下
中间代码示例
$\begin{aligned} &E_1.code \\ &E_2.code \\ &if\ E_1.addr\ rel.op\ E_2.addr\ goto\ B.true \\ &\qquad goto\ B.false\\ &B.true:\\ &B.false:\\ \end{aligned}$