編譯原理課件CHAPTER 5(Semantic Analysis and Intermediate Code Generation-2)

Chapter5

SemanticAnalysisand

IntermediateCodeGeneration語(yǔ)義分析概述語(yǔ)法制導(dǎo)翻譯（Syntax-DirectedTranslation）類(lèi)型確定與類(lèi)型檢查（TypeChecking）中間代碼生成（IntermediateCodeGeneration）10/13/202315.3類(lèi)型確定與類(lèi)型檢查類(lèi)型確定：確定標(biāo)識(shí)符所代表對(duì)象的數(shù)據(jù)類(lèi)型要確定類(lèi)型，基本工作是處理說(shuō)明部分，把相關(guān)的類(lèi)型等屬性填入符號(hào)表相應(yīng)的條目中10/13/202325.3類(lèi)型確定與類(lèi)型檢查一般的說(shuō)明語(yǔ)句的處理：P474（Fig.8.11）注意語(yǔ)義動(dòng)作enter,為名字建立表項(xiàng)對(duì)第一條產(chǎn)生式及翻譯模式進(jìn)行改寫(xiě)（見(jiàn)P474），引入標(biāo)記非終結(jié)符號(hào)（MarkerNonterminals），改寫(xiě)后的語(yǔ)法制導(dǎo)定義是S-屬性定義，適合于自底向上翻譯10/13/202335.3類(lèi)型確定與類(lèi)型檢查例子：處理語(yǔ)句id1:real;id2:↑integer1、自底向上建立分析樹(shù)2、在建立分析樹(shù)的同時(shí)執(zhí)行語(yǔ)義規(guī)則完成翻譯10/13/202345.3類(lèi)型確定與類(lèi)型檢查*對(duì)說(shuō)明語(yǔ)句的語(yǔ)義處理不產(chǎn)生中間代碼PDMD2εD1;T2T1:id2id1:realT3↑integer12345678id1real0id2pointer(integer)810/13/202355.3類(lèi)型確定與類(lèi)型檢查過(guò)程說(shuō)明的處理：P477（Fig.8.13）針對(duì)允許嵌套過(guò)程的語(yǔ)言，如PASCALsortexchangequicksortreadarraypartition簡(jiǎn)要說(shuō)明：P475Fig.8.12程序參見(jiàn)P416（2）-（19）都是說(shuō)明部分10/13/202365.3類(lèi)型確定與類(lèi)型檢查P477（Fig.8.13）此翻譯模式只是一種解決方案語(yǔ)義過(guò)程mktable，enter，addwidth，enterproc棧tblptr，offset10/13/202375.3類(lèi)型確定與類(lèi)型檢查例子：分析如下程序的說(shuō)明部分畫(huà)出分析樹(shù)，詳細(xì)說(shuō)明nilheaderid1real0id2proc id1:T1; procid2; id3:T2; St1headerid3integer010/13/20238PDMD2εD1;;T1id2procid1:;D3NSεT2id3:11.t1:=mktable(nil)push(t1,tblptr)push(0,offset)id1:T1;procid2;id3:T2;St1010/13/20239PDMD2εD1;;T1id2procid1:;D3NSεT2id3:122.enter(top(tblptr),id1.name,T1.type,top(offset))top(offset):=top(offset)+T1.widthid1:T1;procid2;id3:T2;St1810/13/202310PDMD2εD1;;T1id2procid1:;D3NSεT2id3:1233.t2:=mktable(top(tblptr))push(t2,tblptr)push(0,offset)id1:T1;procid2;id3:T2;St18t2010/13/202311PDMD2εD1;;T1id2procid1:;D3NSεT2id3:12344.enter(top(tblptr),id3.name,T2.type,top(offset))top(offset):=top(offset)+T2.widthid1:T1;procid2;id3:T2;St18t2410/13/202312PDMD2εD1;;T1id2procid1:;D3NSεT2id3:123455.t:=top(tblptr)addwidth(t,top(offset))pop(tblptr)pop(offset)enterproc(top(tblptr),id2.name,t)id1:T1;procid2;id3:T2;St1810/13/202313PDMD2εD1;;T1id2procid1:;D3NSεT2id3:12345676.7.addwidth(top(tblptr),top(offset))pop(tblptr)pop(offset)id1:T1;procid2;id3:T2;S10/13/202314PDMD2εD1;;T1id2procid1:;D3NSεT2id3:1234567id1:T1;procid2;id3:T2;Snilheaderid1real0id2proct1headerid3integer010/13/2023155.3類(lèi)型確定與類(lèi)型檢查記錄類(lèi)型的處理：P477（Fig.8.14）例子：分