类C编译器 C代码实现

拓展部分(个人负责内容 其他内容在代码中有注释)

完成内容

Do while循环

Switch case语句

Goto语句

循环中Break和continue的实现

补充基础部分的短路计算

 

词法分析(switch)

Switch语句加入关键字 SYM_SWITCH,SYM_CASE,SYM_DEFAULT ,SYM_BREAK

加入新的OPR操作 OPR_CMP 保留栈顶和次栈顶 次栈顶是switch后面的选择表达式的结果值 栈顶为1(相等) 0(不相等)

语法分析(switch)

 

switch(expression)

begin

Case num1:

为0跳转 Statement(若最后无break);

Case num2:   JMP到下一个Statement开头

为0跳转 Statement(若最后有break);

Case num3:

为0跳转 Statement;

Default:   JMP到结束

Statement;

end;

 

代码分析(switch)

 

在pl0.h中加入全局变量

在statement中 加入

Switch语句正常检测对应SYM 然后做一次表达式计算即可

在switch语句的最后

要判断是否出现default来给最后一个case决定跳转位置

 

 

Case部分代码如下 default类似

 

 

Break 等待回填

 

 

 

截图示例(switch)

测试样例如下

左边是测试代码 右边是步骤

下面是结果 结果只计算了一开始i的赋值和p=30  j=40满足switch的语法规则

 

 

 

 

 

词法分析(goto)

加入关键字SYM_GOTO

加入新的label(字符型2元数组)

 

语法分析(goto)

 

 

 

 

begin:

statement

jmp statement

goto: label1;

Statement

label2:

statement

Statement jmp

goto: label2;

statement

label1:

statement

end;

只要匹配到对应的label就无条件跳转就可以

但是由于不知道对应的label是在哪里出现 所以要在block结束后再回填跳转指令

 

代码分析(goto)

首先在statement的if(getsym()==SYM_IDENTI)中加入无法辨别的id将他判别为标识符

 

 

然后在statement的if(getsym()==SYM_GOTO)中存入另一个label

 

 

 

最后在main函数的block之后进行字符串匹配就行

 

 

截图示例(goto)

测试样例如下

 

 

结果满足goto语法

 

 

 

词法分析(do while)

Statement中重写SYM_DO

 

语法分析(do while)

 

do

Statement 为0跳转

while(expression);

 

代码分析(do while)

基本实现方式和while循环类似

 

截图示例(do while)

(见continue break 和do while共同示例)

 

 

词法分析(break continue)

加入关键字 SYM_BREAK

   SYM_CONTINUE

加入全局变量

 

 

每次进入循环的时候 loopfi++ 出循环的时候loopfi-- 这样就不会在回填时出现失误

(注回填指令在出循环之后马上回填)

 

语法分析(break continue)

以while循环为例(begin end总体归约为一个大的statement)

 

 

 

 

 

 

 

While(expression)

begin

Statement  无条件跳转到expression之前

Continue；

Statement

break；

Statement 无条件jmp到循环结束

Statement

End；

 

代码分析(break continue)

在do while语句 for循环语句 while循环语句中都有修改 以while语句为例

 

 

添加识别sym   Break和continue如下

 

 

截图示例(break continue )

附带do while

 

 

 

 

 

 

结果正确

 

 

 

 

 

 

词法分析(补充bool短路)

加入全局变量如下

加入和JPC相反的指令JNP不是0跳转

 

语法分析(补充bool短路)

先以一层为例

Expression间写为expi JNP到结束

 

(exp1 && exp2 || exp3 || exp4 && exp5)

 

JPC到同层第一个||之后

   多层就存到对应层的的trur_list和false_list然后结束代表括号之后的位置即可

 

代码分析(补充bool短路)

如下以if语句为例

 

 

修改func_or和func_and基本同上

以or为例

 

遇到and更新假值链

遇到or更新真值链(同时填写同层与上一层的假值出口)

遇到Not交换真值假值链内容

 

示例截图

 

指令序列中不再出现opr_or 和opr_and

 

 

 

结果正确

 

 

 

总结(有什么能修改的地方)

Goto语句中label的数量

支持break continue的循环层数

Swich case中case和break的数量

都有一定上限 有待更好的方式来表述而不是二维/一维数组

 

最后给出所有代码