西北工业大学：《编译原理》课程教学资源（PPT课件）第5章 语法制导翻译及中间代码生成（5.6）程序流控制语句的翻译

－中间代码形式 －控制流语句翻译

• 指令系统：机器指令的集合 – “程序控制” • 程序=顺序执行的指令流 – 机器语言，汇编语言（Assemble Language） – Instruction Set Architecture（ISA） • 分类：CISC、RISC、VLIW • 影响：处理器、C编译器、OS。。。 • 本章的内容 – RV指令系统 • 操作数：寄存器，存储器（大小尾端，对齐），常数/立即数； • 指令功能，指令格式与编码，寻址方式（操作数，下一条指令） • 分支指令，大立即数处理 • 过程调用 • 汇编程序设计：COD4附录B – 指令系统特征 – 编译过程： • 可执行程序生成：编译，汇编，链接，加载

第十一章代码优化 11.1什么是代码优化 11.2局部优化 11.3控制流程分析和循环 11.4数据流分析举例

11．1 什么是代码优化 11．2 局部优化 11．3 控制流程分析和循环 11．4 数据流分析举例

语义分析 通常包括: (1)类型检查。验证程序中执行的每个操作是否遵守语言的类型系统的过程,编译程序必须报告不符合类型系统的信息。 (2)控制流检查。控制流语句必须使控制转移到合法的地方。 (3)一致性检查。在很多场合要求对象只能被定义一次。例如Pascal语言规定同一标识符在一个分程序中只能被说明一次等等。 (4)名字的作用域分析

• 流水线技术原理 • RV的五级流水线实现 – Verilog行为级定义： • Hazard问题 – 结构冲突：哈佛结构 – 数据依赖 • 编译技术：插入nop，指令重排，寄存器重命名 • forwarding技术：RAW • Interlock技术：Stall – 控制相关 • 编译技术：延迟分支 • 硬件优化：提前完成，投机，预测 • 多发射技术 • 硬件多线程

控制结构:程序员用来规定程序各个成分 的执行流程的控制部分。 语句级控制结构:语言用来构造各种语句 执行顺序的机制。 传统语言的三种语句级控制结构:顺序、 选择、重复

本章主要讲解C#语言中的各种语句,包括赋值语句、空语 句等简单语句,选择结构、条件语句、循环结构、跳转语句 等流程控制语句,条件编译概念和相关语句,异常处理的概 念和相关语句,以及C#提供的新语句。C#的名空间亦有简 单的介绍

控制语句也可采用改写文法的方法 S→if B then S1 │if B then S1 else S2 │while B do S1