基于C语言实现中间代码生成【100012433】

# 中间代码生成 # 一、完成功能 实现了对C—语的中间代码成，能够翻译包含维数组类型的变量可以作为函数参数，可以出现维数组类型的变量的代码，修正了部分语义分析阶段遗留的错误 # 二、实验环境 实验编写在 MacOS 系统下，使flex 2.5.35和bison 2.3编译通过并运。提交之前在ubuntu 16.04环境下编译通过并测试成功 //macOS下编译需要-ll参数而非-lfl参数，在提交前已将Makefile恢复为-lfl # 三、 实现解释 ## 3.1 操作值表示  这是中间代码的变量的数据结构，其中类型分别为临时变量，变量，即数，Label名，函数名，地址（于函数中传识别传地址），空类型。 其中空类型是为了防出现段错误加的，在优化中去去除包含该类型的代码。变量名和函数名和地址名均直接使代码中的名称，临时变量为t0，t1 …., label名为 l1,l2,l3…。 ## 3.2 中间代码  中间代码的数据结构如上图，采双向链表记录全部代码，所有类型与书上给的中间代码指令致。 ## 3.3 中间代码生成 在语义分析的同时进中间代码成，成式与书上的翻译模板致，此外为了实现要求3.2，实现了额外操作： - 声明时加数组声明的中间代码 - 检测到多维数组时，对上维度的数组空间*位置得到偏移量，在原地址基础上加上偏移量得到新的地址 - 调⽤函数，压⼊变量时如果是数组变量，则直接压⼊数组的地址 - 在函数内部，若数组变量是本地声明，则要先取地址再操作，若是形参传则需再取地址 ## 3.4 特殊思路 - 为了屏蔽掉带有结构体变量的代码，在语义分析之前直接扫描语法树来判断 - 实验中若遇到需要place = NULL的情况，则传kind = O_NULL的变量，先加进中间代码再通过优化去除 - 代码优化思路如下 - 扫描全部代码，去掉所有包含O_NULL的代码 - 创建个与临时变量数相等的数组，扫描全部代码，若遇到形如 “临时变量 := 即数” 或者 “临时变量 := 变量” 在数组中对应临时变量的位置中存相应即数或变量，删除此代码 - 扫描全部代码，对每个临时变量 如果 数组中该临时变量的位置不为空，则将该临时变量改为对应即数或变量。对所有算数表达式代码，如果其两个操作数均为即数，则将该值计算出来并将 原代码变为赋值代码 - 重复ii. iii.步骤直代码中不存在上述形式的代码。 ## 3.5 运行效果