大三上小学期大礼包编译原理report.pdfVIP

2016~2017秋季学期编译原理实验

DecafCompiler实验

PA3报告

1、任务说明

在本次实验中，要求和前⼏阶段⼀样，增加新语⾔特性的实现，对AST进⾏

扫描，完成相应语句和表达式的翻译⼯作。

具体要实现以下五个语⾔特性：

1.三元运算符?:

2.⼆元运算符

3.switch-case语句

4.repeat-until循环结构

5.循环控制语句continue

除此之外，本阶段还要求检测⼀种运⾏时错误：“除零”⾮法。可参考框架中的

两种关于数组地运⾏时错误检测：数组下标越界和数组⼤⼩⾮法。

2、具体实现

1.三元运算符?:

对于三元表达式A?B:C，主要参考ifelse的实现⽅式，具体实现上只要是在

TransPass2.java中增加visitTriple函数，较为简单。

2.⼆元运算符““

在这次的实验中，这部分难度最⼤。⾸先通过tac的⽅式实现循环，根据类的

vtable设置label。关键在于最⼩公共⽗类的寻找，由于不同类的对象虽然不同，但

vtable地址相同，故可以据此判断公共⽗类的vtable。然后再利⽤其new函数地址建⽴新

的对象。就这⼀个功能的实现代码有超过⼀百⾏，也是⼀个⽐较巨⼤的。

2

3.switch-case语句

这个功能代码量也⽐较⼤，在TransPass2.java中添加visitSwitch和visitCaseBlock两

个函数，其中visitSwitch是主体。先把所有case的value判断放在⼀起，仅当其值与switch

的value相同时，跳转到相应的执⾏语句块，即case的具体实现和相应的label。这与前

⼀阶段细分成好⼏个函数共同完成所不同（这次的做法编写时效率更⾼）。

4.repeat-until循环结构

repeat-until循环语句，可参照框架中已有的其他循环语句的处理⽅法（while循

环）。在TransPass2.java中仿照visitWhileLoop函数编写visitRepeatLoop即可。（其中的

内容在功能5实现时有所增加）。

5.循环控制语句continue

循环控制语句continue，参照框架中已有的break语句的处理⽅法。在

TransPass2.java中仿照loopExits新建continueExits，并且在全部代码块中进⾏添加（只在

visitSwitch中不对其进⾏添加），即可满⾜任务需求。

6.“除零”⾮法检测

这⼀部分主要在Translater.java⽂件内作修改，在getDiv和getMod中加⼊对0的判

断和错误输出即可，具体实现仿照数组⼤⼩⾮法来写。


3、问题和解决

在实现功能点⼆时，确实感觉思路⽐较。后来认真读了readme⽂档并且和室

友讨论才有了⼤致思路。在具体实现时也加深了对代码框架的理解，由于调试⽐

较，对于编写者不是⾮常的友好，希望以后的可以有更好的实验环境和调

试⼿段。

3