BIT 2024 编译原理 Lab. 4 四代编译器实验说明和要求

2024-06-03 12:28

本文主要是介绍BIT 2024 编译原理 Lab. 4 四代编译器实验说明和要求,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

实验四:四代编译器实验

一、实验要求

详细实验要求请参考文件《Lab4实验说明和要求.pdf》。

二、实验思路

1、与 lab3 的对比

如果你在 lab3 就已经像我一样单独写了个函数处理表达式,那么理论上,lab4 相比于 lab3,不过就是多了对 ifwhile 等语句的处理,而其他部分几乎不需要任何改变!

这样一来,lab4 就非常简单了。因此,本文是基于 lab3 的代码上进行修改,关于 lab3 的文章在这里:http://t.csdnimg.cn/sQcsP

2、函数的划分

现在,不能简单地通过 } 的出现位置来区分不同的函数块,这是因为函数内的 ifwhile 语句块通常也会出现 }.

如果你仍然希望实现预先对函数进行划分,一种可行的做法是:维护一个变量 left_brace_minus_right_brace,它等于 左大括号的数量-右大括号的数量,当且仅当 } 的位置满足left_brace_minus_right_brace = 0 时,表明这个 } 用于划分函数是有效的。

3、句子的识别

现在,句子不总是以 ; 作为结尾,因为 ifwhile 语句块通常以 } 结尾,这意味着仅使用 ; 分割两个句子是不完全正确的。为了解决这个问题,你需要添加一些其他的条件判断。

4、句子的处理

注意:这里仅提供我的方法,实际上你应该结合自己的理解和自己的代码进行修改!

对于 ifwhile ,你觉得一个句子应该在什么地方进行划分?

我这里的做法简单来说,是按照有效的 } 进行划分,我举一个例子。有如下代码:

if ( a>3 ) {if ( a<10 ) {println_int(a);}while ( a<b ) {println_int(b);a=a+1;}
}

那么,对于上面的例子,我认为

if (a>3) { if (a<10) { println_int(a); } while (a<b) { println_int(b); a=a+1; } }Δ																		Δ

是一个句子。在这个句子中,含有两个子句,它们分别是

if (a<10) { println_int(a); }Δ					Δ
while (a<b) { println_int(b); a=a+1; }Δ					 	 Δ

对于前者,它又含有一个子句

println_int(a);

对于后者,它含有两个子句,分别是

println_int(b);
a=a+1;

这样的结构,令我想到了递归。显然,如同我在 lab3 中单独写一个函数处理表达式,现在,我要单独写一个函数处理句子

对于一个句子,直接调用该函数;如果句子内部又含有句子,则递归调用这个函数。

说实话,到这个时候,我也不敢说自己的做法是不是高明,所以请你自己思考一下,你会用什么样的方法来处理 ifwhile 的语句块?

5、if 对应的汇编语句

if 语句处理十分简单,在不考虑 else 的情况下,它的代码结构一定是:

if ( 表达式 ) {一些句子
}

对应的汇编是:

if结构

如果考虑 else,代码结构如下:

if ( 表达式 ) {句子群a
}
else {句子群b
}

对应的汇编是:

在这里插入图片描述

6、while 对应的汇编语句

while 语句处理相比于 if 稍微复杂一些,我们先不考虑 continuebreak,它的代码结构一定是:

while ( 表达式 ) {一些句子
}

对应的汇编是:

while结构

while 的内部每多一个 continue,就多一对 jump,如下图所示:(可以交换 jump1:jump3:

continue结构

while 的内部每多一个 break,就多一对 jump,如下图所示:(可以交换jump2:jump4:

break结构

你最好先理解了再写代码,不然写起来会很费劲的。

三、实验注意

  1. 该部分主要阐述本人在做该实验时踩过的坑

  2. 提交方式:和 lab3 一样

  3. 任何跳转的入口名都不能一样,例如有汇编语句:

    ...
    je .L_while_end_1	# 入口名一样
    ...
    je .L_while_end_1	# 入口名一样
    ...
    .L_while_end_1:... 
    

    这样写就会报错。

  4. 局部变量

    这里指的是 ifwhile 内部定义的变量,例如:

    if (a==b) {int c;c = a+b;println_int(c);
    }
    

    有时候,你可能需要注意对这种变量的处理。

  5. 注意自定义函数的 ifwhile 内部的 return,用例 3 就是这种情况

  6. continuebreak 可能出现在 if 的内部,用例 6 就是这种情况

  7. 如果 ifwhile 不带有 {} 呢?例如:

    if (a>1) a=1;
    

    我不知道有没有啊,我也正在写自己的代码,之后有的话我会提出来的。

*注:我还在写代码,过程中遇到的问题我会实时更新在这里。

这篇关于BIT 2024 编译原理 Lab. 4 四代编译器实验说明和要求的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1026987

相关文章

java脚本使用不同版本jdk的说明介绍

《java脚本使用不同版本jdk的说明介绍》本文介绍了在Java中执行JavaScript脚本的几种方式,包括使用ScriptEngine、Nashorn和GraalVM,ScriptEngine适用... 目录Java脚本使用不同版本jdk的说明1.使用ScriptEngine执行javascript2.

Redis主从/哨兵机制原理分析

《Redis主从/哨兵机制原理分析》本文介绍了Redis的主从复制和哨兵机制,主从复制实现了数据的热备份和负载均衡,而哨兵机制可以监控Redis集群,实现自动故障转移,哨兵机制通过监控、下线、选举和故... 目录一、主从复制1.1 什么是主从复制1.2 主从复制的作用1.3 主从复制原理1.3.1 全量复制

Redis主从复制的原理分析

《Redis主从复制的原理分析》Redis主从复制通过将数据镜像到多个从节点,实现高可用性和扩展性,主从复制包括初次全量同步和增量同步两个阶段,为优化复制性能,可以采用AOF持久化、调整复制超时时间、... 目录Redis主从复制的原理主从复制概述配置主从复制数据同步过程复制一致性与延迟故障转移机制监控与维

SpringCloud配置动态更新原理解析

《SpringCloud配置动态更新原理解析》在微服务架构的浩瀚星海中,服务配置的动态更新如同魔法一般,能够让应用在不重启的情况下,实时响应配置的变更,SpringCloud作为微服务架构中的佼佼者,... 目录一、SpringBoot、Cloud配置的读取二、SpringCloud配置动态刷新三、更新@R

Redis主从复制实现原理分析

《Redis主从复制实现原理分析》Redis主从复制通过Sync和CommandPropagate阶段实现数据同步,2.8版本后引入Psync指令,根据复制偏移量进行全量或部分同步,优化了数据传输效率... 目录Redis主DodMIK从复制实现原理实现原理Psync: 2.8版本后总结Redis主从复制实

Redis分布式锁使用及说明

《Redis分布式锁使用及说明》本文总结了Redis和Zookeeper在高可用性和高一致性场景下的应用,并详细介绍了Redis的分布式锁实现方式,包括使用Lua脚本和续期机制,最后,提到了RedLo... 目录Redis分布式锁加锁方式怎么会解错锁?举个小案例吧解锁方式续期总结Redis分布式锁如果追求

结构体和联合体的区别及说明

《结构体和联合体的区别及说明》文章主要介绍了C语言中的结构体和联合体,结构体是一种自定义的复合数据类型,可以包含多个成员,每个成员可以是不同的数据类型,联合体是一种特殊的数据结构,可以在内存中共享同一... 目录结构体和联合体的区别1. 结构体(Struct)2. 联合体(Union)3. 联合体与结构体的

Python基于火山引擎豆包大模型搭建QQ机器人详细教程(2024年最新)

《Python基于火山引擎豆包大模型搭建QQ机器人详细教程(2024年最新)》:本文主要介绍Python基于火山引擎豆包大模型搭建QQ机器人详细的相关资料,包括开通模型、配置APIKEY鉴权和SD... 目录豆包大模型概述开通模型付费安装 SDK 环境配置 API KEY 鉴权Ark 模型接口Prompt

关于SpringBoot的spring.factories文件详细说明

《关于SpringBoot的spring.factories文件详细说明》spring.factories文件是SpringBoot自动配置机制的核心部分之一,它位于每个SpringBoot自动配置模... 目录前言一、基本结构二、常见的键EnableAutoConfigurationAutoConfigu

Linux使用粘滞位 (t-bit)共享文件的方法教程

《Linux使用粘滞位(t-bit)共享文件的方法教程》在Linux系统中,共享文件是日常管理和协作中的常见任务,而粘滞位(StickyBit或t-bit)是实现共享目录安全性的重要工具之一,本文将... 目录文件共享的常见场景基础概念linux 文件权限粘滞位 (Sticky Bit)设置共享目录并配置粘