编译原理课件 第 7 讲 语法制导翻译和中间代码生成.ppt

布尔表达式到四元式的翻译 例1：把 A∨B∧CD 翻译成四元式（从100号开始） 例2：翻译布尔表达式 A ∧ B ∨ C≤D ，并把其值保存到一个临时变量中（用四元式表示，从100号开始） 标号语句和GOTO语句到四元式的翻译 条件语句、while语句和复合语句到四元式的翻译 例3：将下列语句翻译成四元式的形式（假设编号从100 开始） 例4：将下列语句翻译成四元式的形式（假设编号从100 开始） 总 结 For 循 环 语 句 到 四 元 式 的 翻 译 例５：将下列语句翻译成四元式的形式（编号从１００开始） Repeat 循 环 语 句 到 四 元 式 的 翻 译 数 组 元 素 到 四 元 式 的 翻 译 例6：将下列语句翻译成四元式的形式（编号从１００开始） 例7：将下列语句翻译成四元式的形式（编号从１００开始） 查看语义子程序 句 型: B until E3 do x := y+z = C do x := y+z 执 行：Sub2； NXQ=109 属 性： NXQ 100 （* ，２，b，T1） 101 （+ ，a ，T1 ，T2） 102 （:=，T2 ， ，I） 103 （j， ， ，106） 104 (+，c，d，T3) C.Quad 105 (+，I，T3，I) 106 (+，n，m，T4) 107 (j≤，I，T4，109) (2) C → B until E3 Gen(j≤, B.Place, E3.Place , q+2); C.Chain := NXQ; Gen(j, , , 0); ｝ ｛ C.Quad := B.Quad; q := NXQ; ( B.Place→I ; B.Quad=104 ) 108 (j，，，0) 109 C.Chain C.Quad=104 ; C.Chain=108 查看语义子程序 ⑦ 句 型: C do x := y+z = C do S1 执 行：归约赋值语句 NXQ=111 属 性： NXQ 100 （* ，２，b，T1） 101 （+ ，a ，T1 ，T2） 102 （:=，T2 ， ，I） 103 （j， ， ，106） 104 (+，c，d，T3) C.Quad 105 (+，I，T3，I) 106 (+，n，m，T4) 107 (j≤，I，T4，109) ( C.Quad=104 ; C.Chain=108 ) 108 (j，，，0) 109 (+，y，z，T5) C.Chain 110 (:=，T5，，x) 111 ⑧ 句 型: C do S1 = S 执 行：Sub1 NXQ=111 属 性： S.Chain=108 NXQ 100 （* ，２，b，T1） 101 （+ ，a ，T1 ，T2） 102 （:=，T2 ， ，I） 103 （j， ， ，106） 104 (+，c，d，T3) 105 (+，I，T3，I) 106 (+，n，m，T4) 107 (j≤，I，T4，109) 108 (j，，，0) 109 (+，y，z，T5) S.Chain 110 (:=，T5，，x) 111 (j，，，104) (1) S → C do S1 ｛ Gen( j, , , C.Quad ); S.Chain := C.Chain; BackPatch( S1.Chain, C.Quad ); ｝ 112 查看语义 子程序 语句 for (E1；E2；E3) S 的翻译 执行流程如下： 语义解释如下： E1 S E3 E2≠0 Y N E1 L1: if E2≠0 then goto L3 else goto L4 L2: E3 goto L1 L3: S goto L2 L4: 总结 语 句 for (E1；E2；E3) S 的 翻 译 框 架 E1 的四元式代码 (j , , , L1 ) ………… (jn