编译原理--中间代码生成（自己看）

• 高级语言 翻译成 LLVM虚拟机代码
• 可以移植到各种平台

课上要求 能够根据给定方案翻译得到结果即可

---

难点：实现一遍扫描

目标：转换为三地址语句

如：

常用三地址语句

声明语句的翻译过程

• 有翻译方案如下（三元式）

• 

• 要求翻译

• 

• 过程

• 1、画出注释分析树，如下

• 

• 易于发现，本次分析为综合属性分析，可以自底向上分析

• 加入属性

• 

• 所以顺序是：

• 

案例2

• 产生式和语义描述
• 
• 
• 要求：
• 
• 结果为（过程应为：画注释分析树—属性赋值—得到结果）：
• 
• 类似过程：
• 

---

---

---

1、布尔表达式的翻译（选择）（记得先画语法分析树）

• 形式如下（简单版本）： relop关系运算符
• 
• 复杂版本
• 
• 画出语法树
• 
• 根据箭头运行翻译分析（a1 到 a2 到 a3 到 a4 ），得到翻译结果如下：
• 
  例题：
  

---

---

---

2、控制语句的翻译（循环）

• 

回填技术（Backpatching）

• 
• 实际上是语法树上加了一个M，用于标记节点（也不知道这个解释行不行）
• 搜到的解释是这样的，不知道能不能启发一下（看完例子后）：
• 和栈的使用一样，这也是一种非常巧妙的技巧。它把一个由跳转指令组成的列表以综合属性的形式进行传递。

回填技术–概念

• 
• 注：第四区段，就是填横线空值，填为t

案例

• 
• 注释语法树：
• 
• 填属性流程按着我序号来，先接受，再分析吧，一开始问为什么，没啥用的。
• 首先规定 nexquad = 100
• 

---

• 因为输出了两次（emit两次），nextquad + 2得到102
• 
• 一样的过程
• 
• 输出两次，nextquad+2
• 
• 不标序号了，一样的
• 

开始关键的回填了，玄学max

• 为什么？自底向上就好，都是综合属性哈，S属性！
• 
• 继续
• 
• 注意看最后的，结尾部分
• 
• 结果如下：
  
• 本章节结束！！！！