计算机程序编译原理 第1章 引论.pptVIP

* * 编译原理Compiler Principles 刘玉葆 Lyb163com@163.com 中山大学计算机科学系 课程要求 教学方式：理论(59)+实践(13) 考核方式：考试(70%)+作业和实验(30%) 先修课程:《离散数学》《数据结构》《汇编语言》《程序设计语言》 参考书籍： 吕映芝等，《编译原理》，清华大学出版社 陈火旺等，《程序设计语言编译原理》，国防工业出版社 李建中等译，《编译原理》，机械工业出版社（[美]Alfred V.Aho,Ravi Sethi,Jeffrey D.Ullman，Compilers:Principles,Techniques,and Tools） 第1章 引论 什么是编译程序 编译程序的工作过程 编译程序的结构 编译程序的组织方式 编译程序的自展、移植和自动化 编译程序的编写系统 并行编译程序 本章小结 翻译程序 程序设计语言 1、低级语言：机器语言、汇编语言 特点：用机器语言编写程序难写、难读、难修改、编写程序的效率低下 2、高级语言：FORTRAN1、C语言等 特点：独立与机器、接近自然语言、编写程序难写、难读、难修改、编写程序的效率高 翻译程序 计算机不能直接执行由用高级语言编写的程序，而只能执行机器语言程序，因此，用高级语言编写的程序必须由一个翻译程序翻译成机器语言程序。 翻译的方式：（1）编译方式；（2）解释方式 编译方式 运行 编译程序 初始数据 源程序 目标程序 结果 系统子程序 编译即翻译 先将源程序翻译成汇编语言或机器语言程序（目标程序），然后再执行它。 解释程序 源程序 结果 边翻译边执行 解释方式 和编译方式不同，解释方式并不事先生成目标程序然后再执行，而是对源程序边解释边执行。 编译程序的工作过程 词法分析，扫描源程序，分解和识别出每个单词，并把单词表示成相应的机内表示。 语法分析，把单词符号串分解成各类语法单位，如表达式、语句等。? 语义分析，对源程序进行语义检查，保证标识符和常数的正确使用，为代码生成收集信息。 中间代码生成， 根据语义规则，将源程序表示成某种中间代码的形式，如三元式，四元式等。 中间代码优化，调整和改变中间代码中某些操作的次序，最终生成更加高效的目标代码。 目标代码生成，将中间代码转换成等价的目标代码。 词法分析 例. 某源程序片断如下： begin var sum , first , count : real ; sum := first + count * 10 end. 保留字 begin 保留字 var 标识符 sum (id1) 逗号 , 标识符 first (id2) 逗号 , 标识符 count (id3) 冒号 : 保留字 real 分号 ; 标识符 sum 赋值号 := 标识符 first 加号 + 标识符 count 乘号 * 整数 10 保留字 end 界符 . id1:=id2+id3*10 语法分析 赋值语句 标识符 表达式 表达式 + 表达式 表达式 标识符 整数 标识符 := 表达式 * id1:=id2+id3*10 的语法树 id1 sum id2first id3count 10 := id1 + id2 * id3 10 （形式2） （形式1） 语义分析 id1:=id2+id3*10 的语法树 := id1 + id2 * id3 10 := id1 + id2 * id3 10 inttoreal 语义结点 中间代码生成以及优化 源程序 sum := first + count * 10 生成的中间代码可以是： ( inttoreal 10 - t1 ) ( * id3 t1 t2 ) ( + id2 t2 t3 ) ( := t3 - id1) 四元式：（运算符，运算对象1，运算对象2，结果） 优化后的代码 ( * id3 10.0 t1 ) ( + id2 t1 id1 ) 目标代码生成 ( * id3 10.0 t1 ) ( + id2 t1 id1 ) sum := first + count * 10 MOVF id3, R2 MULF #10.0, R2 MOVF id2, R1 ADDF R1, R2 MOV R1, id1 编译程序的结构 表格处理程序 出错处理程序 源程序 语法分析程序 语义分析成程序 中间代码生成程序 中间代码优化程序 目标代码生成程序 词法分析程序 目标程序 *