第6章中间代码及其翻译.pptVIP

第 6 章 中间代码及其翻译 静态语义审查 6.1 常用的中间代码形式 语句标号为转向语句提供转入语句标识，二者用标号相关联。 ※ 中间代码设计示例： ※ 中间代码设计示例(续1)： 6.3 语法制导翻译 ※ 属性文法构造示例 ※ 属性文法构造示例 (续1)： ※ 属性文法构造示例 (续2)： ※ 属性文法构造示例 (续3)： ※ 算术表达式四元式属性翻译文法设计 ※ 算术表达式四元式属性翻译文法设计 ※ 算术表达式四元式属性翻译文法设计 ※ 属性翻译文法应用示例 ※ 属性翻译文法应用示例(续1) 6.4 语法制导翻译器的实现 6.4 语法制导翻译器的实现(续1) 6.4.2 LL(1)法四元式翻译器构造 6.4.2 LL(1)法四元式翻译器构造 ※ 算术表达式句柄识别器的构造 6.4.2 LL(1)法四元式翻译器构造 2. LL(1)分析器的扩展 1. 设置 语义栈：SEM[m] 四元式区：QT[q] 语法栈：SYN[n] ; (2) 当动作符号位于栈顶时，执行之； (1) 当产生式(逆序)压栈时，动作符号也不例外； 3. 属性翻译文法设计 E - T E′ ① E′- + T {GEQ(+)} E′②| - T {GEQ(-)} E′③| ? ④ T - F T′⑤ T′- * F {GEQ(*)} T′⑥| / F {GEQ(/)} T′⑦| ? ⑧ F - i {PUSH(i)} ⑨ | ( E ) ⑩ 4. LL(1)分析表 ⑥ * ⑦ / ⑩ ⑤ ① ( ⑧ ④ ) ⑤ T ⑧ ⑧ ⑧ T` ⑨ F ④ ③ ② E` ① E # - + i 【例6.13】a+b*c# 四元式 LL(1)法翻译过程: SEM[m] QT[q] 操作 w x SYN[n] #E a E PUSH①R # E`T T a PUSH⑤R T`F #E` F a PUSH⑨R #E`T` PUSH(a)a a a #E`T`PUSH(a) + NEXT(w) a #E`T` T` + a PUSH⑧R #E` E` + PUSH②R a # E`GEQ(+)T+ + + a NEXT(w) b #E`GEQ(+)T T PUSH⑤R a #E`GEQ(+) T`F F b PUSH⑨R a 接下页 【例6.9】a+b*c# 四元式 LL(1)法翻译过程(续1): SEM[m] QT[q] 操作 w x SYN[n] #E`GEQ(+)T` PUSH(b)b b b NEXT(w) a #E`GEQ(+)T`PUSH(b) * a b #E`GEQ(+)T` * T` ab PUSH⑥R #E`GEQ(+) T`GEQ(*)F* * ab * NEXT(w) c #E`GEQ(+)T`GEQ(*)F ab F PUSH⑨R #E`GEQ(+)T`GEQ(*) c ab PUSH(c) c c NEXT(w) # ab #E`GEQ(+)T`GEQ(*) PUSH(c) c #E`GEQ(+)T`GEQ(*) # abc (1) (*b,c,t1) # E`GEQ(+) T` # a T` # E`GEQ(+) # a t1 (2) (+a,t1,t2) # E` t2 # E` # # t2 ok 接上页 t1 PUSH⑧R PUSH④R 6.4.3 LR()法四元式翻译器构造 1. 设置 2. 属性翻译文法设计 语义栈：SEM[m] 四元式区：QT[q] 语法栈：SYN[n] ; Z-E 0 E-E + T{GEQ(+)} ① | T ② T-T * F{GEQ(*)} ③ | F ④ F-i{PUSH(i)} ⑥ | ( E ) ⑤ 3. LR() 分析器的扩展 ※ LR()分析表中的 r(i) 执行下述两种操作： ① 首先执行动作符号(翻译函数)； ② 然后执行归约操作(按产生式 i 归约)。 动作符号一定在最右侧 I1:Z ? E ? E ? E ? + T I4:E? T ? T? T ? * F I7:T ? F ? I9:F? ( ? E) E? ? E + T E? ? T T? ? T * F T? ? F F? ?(E) F? ? i I8:F ? i ? I0:Z? ? E E ? ? E + T E ? ? T T ? ? T * F T ? ? F F ? ? (E) F ? ? i I5:T? T * ? F F? ? (E)