大三上学期做的一个小项目
类C编译器
源代码和测试文件地址https://github.com/zxt1995/ttbox.git
总体框架: 读入待编译文件->语义分析并转换为指令->按照指令进行栈操作->得出结果
拓展部分(个人负责内容 其他内容在代码中有注释)
完成内容
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的语法规则
(这里结果是每次参数赋值之后的结果 后面的测试结果类同,组内其他成员实现了print函数可以输出特定的参数结果)
词法分析(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到结束
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的数量 都有一定上限！！
有待更好的数据结构来表述而不是二维/一维数组
所有代码https://github.com/zxt1995/ttbox.git
- 还没有人评论，欢迎说说您的想法！
客服
