编译原理原理与技术-陈意云-第6章 中间代码生成.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 本 章 要 点 中间代码的几种形式，它们之间的相互转换 符号表的组织和作用域信息的保存 数组元素定址的翻译方案，布尔表达式的两种不同实现方式 赋值语句和各种控制流语句的中间代码格式和生成中间代码的翻译方案 过程调用的中间代码格式和生成中间代码的翻译方案 例 题 1 Pascal语言的标准将for语句 for v := initial to final do stmt 定义成和下面的代码序列有同样的含义： begin t1 := initial; t2 := final; if t1= t2 then begin v := t1; stmt; while v t2 do begin v := succ(v); stmt end end end 例 题 1 Pascal语言的标准将for语句 for v := initial to final do stmt 能否定义成和下面的代码序列有同样的含义？ begin t1 := initial; t2 := final; v := t1; while v = t2 do begin stmt; v := succ(v) end end 例 题 1 Pascal语言for语句 for v := initial to final do stmt 的中间代码结构如下: t1 = initial t2 = final if t1 t2 goto L1 v = t1 L2: stmt if v == t2 goto L1 v = v + 1 goto L2 L1: 例 题 2 C语言的for语句有下列形式 for (e1;e2;e3) stmt 它和 e1; while (e2) { stmt; e3; } 有同样的语义 例 题 2 C语言的for语句for (e1;e2;e3) stmt的中间代码 结构如下 e1的代码 L1: e2的代码 L2: e3的代码 goto L1 stmt的代码 goto L2 真转 假转，由外层语句决定 例 题 3 Pascal语言 var a,b : array[1..100] of integer; a:=b －－允许数组之间赋值 若a和b是同一类型的记录，也允许赋值 C语言 数组类型不行，结构体类型可以 为这种赋值选用或设计一种三地址语句，它要便于生成目标代码 例 题 3 Pascal语言 var a,b : array[1..100] of integer; a:=b －－允许数组之间赋值 若a和b是同一类型的记录，也允许赋值 仍然用中间代码复写语句 x = y，在生成目标代码时，必须根据它们类型对应的size，产生一连串的值传送指令 习 题 第一次：6.1 第二次：6.4, 6.9, 6.10 * * * * * * * * * * * * * * * * * * * * * * * 6.3 赋 值 语 句 S := L.place = x L.offset = null x E.place = t4 L.place = t2 L.offset = t3 Elist.place = t1 Elist.ndim = 2 Elist.array = A , Elist.place = y Elist.ndim = 1 Elist.array = A E.place = z L.place = z L.offset = null E.place = y L.place = y L.offset = null A [ z ] y x := A[ y, z ]的注释分析树 t1 = y * 20 t1 = t1 + z t2 =c //c=A ? 84 t3 = t1 * 4 t4 = t2 [t