编译原理 4 - 语义分析、中间代码生成、代码优化、代码生成

于 2023-07-20 12:03:57 发布
阅读量635 收藏 3
点赞数 1
分类专栏： 笔记 文章标签： 编译原理
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_50918834/article/details/127923739
版权

第7章 语义分析与中间代码生成

7.1 中间代码

  • 作用：经语义分析翻译成中间代码序列
  • 优点：形式简单、语义明确、独立于目标语言；便于编译系统的实现、移植、代码优化
  • 中间代码的形式：抽象语法树，逆波兰表示，三地址码，DAG图表示

逆波兰表示

  • 后缀表示法：表达式的运算顺序就是运算符出现的顺序
    在这里插入图片描述

三地址码

  • 每条指令最多只能包含三个地址，即两个操作数地址和一个结果地址
    在这里插入图片描述

四元式

在这里插入图片描述

三元式

在这里插入图片描述

DAG 有向无环图

在这里插入图片描述

7.2 声明语句的翻译

在这里插入图片描述

7.4 类型检查（略）

语法分析(syntax analysis) 是编译程序的核心部分，其任务是检查词法分析器输出的单词序列是否是源语言中的句子

第10章 代码优化

重点：代码优化的任务，局部优化、循环优化、全局优化的基本方法

  • 代码优化：对程序进行等价变换，提高目标程序的效率，通常只对中间代码进行优化

优化的种类

  • 按 机器相关性 划分：
    • 机器相关优化
      寄存器优化、多处理器优化、特殊指令优化、无用指令消除等
    • 机器无关优化
  • 按 优化语言级 划分：
    • 针对中间代码
    • 针对机器语言

代码优化方法

  • 公共子表达式删除
  • 复制传播
  • 无用代码删除
  • 代码外提
  • 强度削弱

局部优化

局部优化：以程序的基本块为基础，基本块内的优化

  • 利用DAG(有向无环图)进行基本块变换
    ① 局部公共子表达式删除
    ② 无用代码删除
    ③ 交换两个独立的相邻语句的次序，以便减少某个临时值需要保存在寄存器中的时间
    ④ 使用代数规则重新排列三地址码的运算对象的顺序，以便简化计算过程
  • 循环优化
    • 循环不变计算的检测
    • 代码外提
    • 归纳变量删除 和 强度削弱
  • 全局优化：跨基本块的优化
    • 全局公共子表达式的删除
    • 复制传播

第11章 代码生成 略

Safforn
关注
  • 1
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
编译原理——中间代码生成
aoe41606的博客
02-28 1602
预备知识 源语言->中间代码->目标语言 中间代码（Intermediate Representation或者IR）:复杂性介于源程序语言和机器语言的一种表示形式。 编译程序锁使用的中间代码有多种形式。常见的有逆波兰记号，三元式。四元式。和树形表示。四元式是一种普...
编译原理课程设计＋实验报告（完整）
05-19
编译原理课程设计，里面包含完整的代码和实验报告，以及个人信息，请朋友们慎重使用
编译原理 语义分析及中间代码生成 c语言
12-07
一个简单的编辑器 编译原理课设 对简单的程序进行语义分析并将中间代码生成
编译原理实验　语义分析与中间代码生成　
06-27
编译原理实验　语义分析与中间代码生成 Sample语言的语义和代码生成规则，熟悉Sample语言的语义分析和代码生成过
编译原理的语义分析和中间代码生成
01-30
实验课上写的编译原理的语义分析和四元式代码的生成。
中间代码生成中的优化
billleelh的专栏
07-08 1407
1)  消除仅初始化一次的临时变量：遍历所有中间变量，对于仅仅在t := x时进行 过一次赋值的临时变量t置标记，对于有标记的临时变量，遍历中间变量，将 t全部替换为x，并且删除原有的t := x，如return  0;会产生中间代码t1  :=  #0,  return t1经过优化后变为return #0  2)  常量计算：遍历所有中间变量，对于x := y +/-/*// z的中间
编译原理-7-语义分析和中间代码生成
greatcoder的博客
05-10 568
第七章 语义分析和中间代码生成 静态语义检查包括： 许多编译程序采用中间语言，而不是直接翻译成目标语言，好处： 7.1 中间语言 7.1.1 后缀式 先将运算级别最低的运算符提出来往后放 7.1.2 7.1.3 三地址码： x = y op z 四元式： （op, arg1,arg2, result） 三元式： 为避免把临时变量填入到符号表，可以通过计算这个临时变量的语句位置来引用这个临时变量，这样只需要三个域(𝑜𝑝, 𝑎𝑟𝑔1, 𝑎𝑟𝑔2) 间接三元式： 为了便于代码优化处理，有时不直
编译原理实验-中间代码生成（三地址代码）
001
05-26 4426
条件语句三地址代码生成函数如图6-6（a）、图6-6（b）、图6-6（c）所示，该函数对条件语句结点node进行三地址代码化，并将result字符类型指针指向生成的条件语句三地址代码。逻辑表达式三地址代码生成函数如图6-4（a）、图6-4（b）、图6-4（c）所示，该函数对逻辑表达式结点node进行三地址代码化，并将result字符类型指针指向生成的逻辑表达式三地址代码。threeaddress.l源程序中规则部分（识别符号的正则表达式及其对应的相关的动作）如图1-2（a）、1-2（b）所示。
第七章 语义分析和中间代码生成
热门推荐
yongchaocsdn的博客
01-14 1万+
1、   编译程序的任务是把源语言程序翻译成目标程序，有些编译程序在编译过程中，不产生中间语言，而是直接从源语言程序翻译成目标语言程序。        以上编译过程省略了中间语言，它不利于编译所产生的目标代码的优化.为了产生高质量的代码，可以将源语言程序首先翻译成一种特殊形式的中间语言代码形式，并对其进行优化，然后再将它翻译成最终的目标代码。 中间代码   中间代码也
编译原理实验七：中间代码生成器
裕东方的博客
04-13 1万+
实现一门语言的中间代码生成器（4小时） 实验目的 通过本次实验，加深对中间代码生成的理解，学会编制中间代码生成器。 实验任务 用C、JAVA或其他语言编写一门语言的中间代码生成器，所选实现语言应与之前语言保持一致。 实验内容 实现中间代码生成器，可以将任一源语言（源语言尽量与前期实验中的源语言保持一致）转化成三地址码（或其他中间表示形式）。 准备2~3个测试用例，测试你的程序，...
编译原理语义分析（文本输入）源程序
暗透了更能看到星光
07-17 7028
#include #include #include  #include #include struct quad {       char result[12];       char ag1[12];       char op[12];      char ag2[12];  };  struct quad quad[30];  int count=0; char
编译原理语法分析语义分析
06-23
编译原理语法分析语义分析 语法分析（Syntax analysis或Parsing）和语法分析程序（Parser） 　　语法分析是编译过程的一个逻辑阶段。语法分析的任务是在词法分析的基础上将单词序列组合成各类语法短语，如“程序”，“语句”，“表达式”等等.语法分析程序判断源程序在结构上是否正确.源程序的结构由上下文无关文法描述. 语义分析（Syntax analysis） 　　语义分析是编译过程的一个逻辑阶段. 语义分析的任务是对结构上正确的源程序进行上下文有关性质的审查, 进行类型审查.例如一个C程序片断: 　　int arr[2],b; 　　b = arr * 10; 　　源程序的结构是正确的. 　　语义分析将审查类型并报告错误:不能在表达式中使用一个数组变量,赋值语句的右端和左端的类型不匹配.
编译原理OJ-语义分析及目标代码生成c++源码.zip
最新发布
01-31
编译原理OJ-语义分析及目标代码生成c++源码.zip编译原理OJ-语义分析及目标代码生成c++源码.zip编译原理OJ-语义分析及目标代码生成c++源码.zip编译原理OJ-语义分析及目标代码生成c++源码.zip编译原理OJ-语义分析及...
编译原理实验报告-语法分析和中间代码生成
01-14
（3）用C语言实现语义分析与中间代码生成的编译程序，以加深对编译原理的理解。 二、实验内容与要求： 用C语言编写一个语法分析程序。 要求：输入一个简单的算术表达式，输出对应的四元式。 能识别的运算：+、*、...
语义分析与中间代码生成天津理工大学编译原理实验3
06-16
语义分析与中间代码生成天津理工大学编译原理实验3 本实验的主要目的是掌握语法制导翻译的基本功能，巩固对语义分析的基本功能和原理的认识，并基于语法制导翻译的知识进行语义分析。实验内容包括实现语义分析程序...
编译原理 第七章———语义分析和中间代码的产生
Okayokanyway的博客
06-13 1195
一：语义分析概述语义分析任务1.审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。2.在语义正确的基础上生成一种中间代码或目标代码。语义分析范围1.确定类型：确定标识符所关联的数据类型。2.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。3.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义，并作相应的语义处理4.控...
编译原理－－中间代码生成
x13262608581的博客
04-01 6408
语法树的变体 为表达式构建的无环有向图［DAG］指出了表达式中的公共子表达式． 表达式的有向无环图 一个DAG的叶子结点对应于原子运算分量，内部结点对应于运算符． 构造DAG的值编码方法 语法树或DAG图中的结点通常存放在一个记录数组中． 假定结点按图6-6所示的方式存放在一个数组中， 每个结点通过其值编码引用． 设每个内部结点的泛型为三元组<op, l, r>， 其中op是标号，l是其左子结点对应的值编码，r是其右子结点对应的值编码． 对单目运算符，设r = 0． // 构造D
6&8. 语义分析和中间代码生成
m0_51265528的博客
01-03 1613
从几个问题说起：要计算 3+4*5 的值如何计算？按照以前的方法，我们会想到利用符号栈和数值栈来完成这个运算。但是有了语法分析之后我们不再需要进行这么复杂的代码构造了。第一，我们可以使用自顶而下的递归下降分析方法；第二，我们可以使用自底而上的LR分析方法；而这一切的前提都是我们有能力将一些问题改成形式化的描述，即构造其文法；再使用语法分析的方法，在语法分析的基础上，再特定位置加上相应的处理功能——语义动作。
词法分析语法分析语义分析中间代码生成csdn
12-14
词法分析、语法分析、语义分析和中间代码生成是编译原理中的重要概念。 词法分析是编译过程的第一步，它将输入的源代码分割成一系列的单词（也称为词法单元），并生成对应的词法单元流。词法分析器根据预先定义的词法规则来识别各个单词，并将其转化为相应的词法单元。这一过程中，识别出的单词可能会被舍弃，而只保留有意义的词法单元。 语法分析是编译过程的第二步，它将词法单元流转化为语法分析树或语法分析图。语法分析器使用一种称为文法的形式化规则来描述源代码的结构，然后根据这些规则来确定源代码是否符合定义的文法规则。如果源代码符合文法规则，则进行语法分析；否则，报告语法错误。 语义分析是编译过程的第三步，它通过对语法树或语法图进行分析，确定源代码中的语义结构是否合法。语义分析器会检查语法分析结果中的各种语义规则，如变量的声明和使用规则、函数调用规则等。如果发现违反语义规则的情况，报告语义错误。 中间代码生成是编译过程的第四步，它将经过语义分析的源代码转化为一种中间表示形式，通常是一种与源代码和目标代码无关的高级语言形式。中间代码生成器根据语法树或语法图，将源代码转化为中间代码。这些中间代码可以方便后续阶段进行代码优化和目标代码生成。 总之，词法分析、语法分析、语义分析和中间代码生成是编译器的核心组成部分。词法分析将源代码转化为词法单元流，语法分析确定源代码的语法结构，语义分析检查源代码的语义结构是否合法，中间代码生成将经过语义分析的源代码转化为中间表示形式。这些步骤协同工作，最终将源代码转化为可执行的目标代码。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值