编译原理chapter6.ppt

中间代码生成 第六章 中间代码生成 中间代码表示 三地址码 四元式 类型和声明 赋值语句的翻译 控制语句的翻译 布尔表达式的翻译 控制语句的翻译 6.1 中间代码表示 作用 过渡：经过语义分析被译成中间代码序列 形式 中间语言的语句 优点 便于编译系统的实现、移植、代码优化 3)三地址代码与四元式的的关系 一般形式 x := y op z 其中 x, y, z 为变量名、常数或编译产生的临时变量 四元式（op, y, z, x） 表达式生成三地址码的SDD 例 int a；声明过程的语法翻译 语法制导定义的SDT P→MD M→ε{offset=0;} D→T id;N D N→{ top.put(id.lexname,T.t,offset); offset=offset+T.w} D→ε T→BKC{T.t=C.t;T.w=C.w} K→ε{t=B.t;w=B.w;} B→int {B.t=integer;B.w=4;} C→ε{C.t=t;C.w=w;} int a; ?ε ?M offset=0 ?M int ?MB B.t=int, B.w=4 ?MBε ?MBK t=int w=4 ?MBKε ?MBKC C.t=int C.w=4 ?MT T.t=int T.w=4 ?MTid 翻译的需求 充分了解各种语言现象的语义 包括：控制结构、数据结构、单词 充分了解它们的实现方法 目标语言的语义 了解中间代码的语义 了解运行环境 6.4 控制语句的翻译 高级语言的控制结构 顺序 begin 语句; … ；语句end 条件 if_else、if switch、case 循环 while、do_while for、repeat_until 1)控制流语句的翻译 S ? if （B） S1 | if （B） S1 else S2 | while （B） S1 | S1;S2 | assign 控制流语句的翻译 6.4.1布尔表达式的翻译 继承属性 B.true，B为真时控制到达的位置； B.false，B为假时控制到达的位置。 ab if ab goto B.true goto B.false B→B 1orB 2 如果B1为真，则立即可知E为真，即B1.true与B.true相同； 如果B1为假，则必须计算E2的值，令B1.false为B2的开始 B2的true、false分别与E的true、false相同 混合模式布尔表达式的翻译示例 例如：4+ab-c and d t1=4+a t2=b-c if t1t2 goto L1 goto Lfalse L1: if d goto Ltrue goto Lfalse 翻译模式用到如下三个函数： 1．makelist(i)：创建一个仅包含i的新表，i 是三地址码/四元式的一个索引（下标）， 或说i是代码序列的一个标号。 2．merge(p1，p2)：连接由指针p1和p2指向 的两个表并且返回一个指向连接后的表的 指针。 3．backpatch（p，i）：把i作为目标标号回 填到p所指向的表中的每一个转移指令中去。 此处的“表”都是为“回填”所拉的链 布尔表达式的自底向上语法制导翻译模式 B ? B1 or M B2 { backpatch(B1.falselist,M.instr); B.truelist:=merge(B1.truelist,B2.truelist); B.falselist := B2.falselist} M ? ε { M.instr:=nextinstr} 布尔表达式的自底向上语法制导翻译模式 B ? B1 and M B2 { backpatch(B1.truelist,M.instr); B.truelist := B2.truelist B.falselist:=merge(B1.falselist,B2.falselist); } M ? ε { M.instr:=nextinstr} 布尔表达式的自底向上语法制导翻译模式 B ? not B1 { B.truelist := B1.falselist; B.falselist := B1.truelist; } B ? (B1 ) { B.truelist := B1.truelist; B.falselist := B1.falselist; } 布