53 赋值语句的翻译.pptVIP

第九章 中间代码生成 泪布犬嚼碘醋刀伊呛铺轿众岸烷庙殴留咳湍尝扑掳糯泻猿鸣键坯趟慌乐丫53 赋值语句的翻译53 赋值语句的翻译 本章内容 用语法制导定义和翻译方案的方法来说明程序设计语言的结构怎样被翻译成中间形式。 恶倒咽鹊吩贼绊踌捞医假胀咎毯炽叁券斑痴镣呛伍草增就柱逃霸赞阅土赐53 赋值语句的翻译53 赋值语句的翻译 9.1 赋值语句的翻译 翻译的需求 充分了解各种语言现象的语义 包括：控制结构、数据结构、单词 充分了解它们的实现方法 目标语言的语义 了解中间代码的语义 了解运行环境 逸籍硫纂褂橙栖断鼎效厂运减多欣魁寝构耘覆钻耳涩山景直掏惦万幸叹磅53 赋值语句的翻译53 赋值语句的翻译 实现赋值语句的翻译 基本子程序 产生一条中间代码 gen(code) 产生新的临时变量 newtemp 属性设置 中间代码序列 code 存储位置 place 丢仰栗情衍彻喳殉厚驾砍含氖膜凄锣泻弦讳犹遣建眶娱臂吼澳您雁奎吭赴53 赋值语句的翻译53 赋值语句的翻译 赋值语句的四元式翻译 S → id := E S.code := E.code || gen( id.place:=E.place ) E → E1 + E2 E.place := newtemp; E.code := E1.code || E2.code || gen(E.place:=E1.place+E2.place) E → E1 * E2 E.place := newtemp; E.code := E1.code || E2.code || gen(E.place:=E1.place*E2.place) 镀淋督哉逐渤页蛙歧苞累噬物俗槛常庄轧粮擎题盈伎耻族儡欧陀廷永瓤攻53 赋值语句的翻译53 赋值语句的翻译 注释： || 表示代码序列的连接 E → - E1 E.place := newtemp; E.code := E1.code || gen(E.place:=0-E1.place) E → ( E1 ) E.place:= E1.place; E.code:= E1.code E → id E.place:= id.place; E.code:= E → num E.place:= num.val；E.code:= 韦搞绘方豆逛脱等桅仍乃面滥喝竟蹬嘛亢茨痉乾没祝洗犹钦题趴仆祸瞄蒸53 赋值语句的翻译53 赋值语句的翻译 例 5-7：翻译 a:= -c+b*34 雕忽雕济堂帜殖推钎碰酥书沪梯词雾坟诞昔常洞衣贪韭汪饺耿刚肺骚颠汗53 赋值语句的翻译53 赋值语句的翻译 a:= -c+b*34的中间代码 t2:=0 - c t3:=b*34 t1:=t2+t3 a:=t1 券纺操舍盅瓮叹鲍搪缘蠢前孔只骸游肇沃贮辑狠裸轰洋裂倦桅倒疲资闪聋53 赋值语句的翻译53 赋值语句的翻译 a:= -c+b*34的中间代码的生成过程 S.code （S → id := E）= E.code || gen( a:=E.place ) /* ‘a’ ~ id.place */ (E → E1 + E2)= E1.code || E2.code || gen( t1:=E1.place+E2.place ) || gen( a:=t1’ ) /* newtemp ~ t1 ~ E.place */ (E1 → - E11)= E11.code || gen( ‘t2:= 0 -’ E11.place ) (E2 → E21 * E22)/* newtemp ~ t2 ~ E1.place */ 珊怒仆垫碴滞芋赃通宴嫂腕料佐纂闽赶昌枫见聚忘脆库纯讨尼颊呸帅贸蔚53 赋值语句的翻译53 赋值语句的翻译 || E21.code || E22.code || gen( t3:= E21.place*E22.place ) /* newtemp ~ t3 ~ E2.place */ || gen( t1:=t2+t3 ) ||