1、2020/10/11,1,Chapter5Semantic Analysis and Intermediate Code Generation,語(yǔ)義分析概述 語(yǔ)法制導(dǎo)翻譯 （Syntax-Directed Translation） 類(lèi)型確定與類(lèi)型檢查 （Type Checking） 中間代碼生成 （Intermediate Code Generation）,2020/10/11,2,5.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)的條目中,2020/10/11,3,5.3 類(lèi)型確定與類(lèi)型檢查,一般的說(shuō)明語(yǔ)

2、句的處理：P474 （Fig.8.11）,注意語(yǔ)義動(dòng)作 enter,為名字建立表項(xiàng),對(duì)第一條產(chǎn)生式及翻譯模式進(jìn)行改寫(xiě)（見(jiàn)P474），引入標(biāo)記非終結(jié)符號(hào)（Marker Nonterminals），改寫(xiě)后的語(yǔ)法制導(dǎo)定義是 S-屬性定義，適合于自底向上翻譯,2020/10/11,4,5.3 類(lèi)型確定與類(lèi)型檢查,例子：處理語(yǔ)句 id1 : real ; id2 : integer,1、自底向上建立分析樹(shù),2、在建立分析樹(shù)的同時(shí)執(zhí)行語(yǔ)義規(guī)則完成翻譯,2020/10/11,5,5.3 類(lèi)型確定與類(lèi)型檢查,* 對(duì)說(shuō)明語(yǔ)句的語(yǔ)義處理不產(chǎn)生中間代碼,P,D,M,D2,D1,;,T2,T1,:,id2,id1,:

3、,real,T3,integer,1,2,3,4,5,6,7,8,2020/10/11,6,5.3 類(lèi)型確定與類(lèi)型檢查,過(guò)程說(shuō)明的處理：P477 （Fig.8.13） 針對(duì)允許嵌套過(guò)程的語(yǔ)言，如 PASCAL,sort,exchange,quicksort,readarray,partition,簡(jiǎn)要說(shuō)明： P475 Fig.8.12 程序參見(jiàn) P416 （2）-（19）都是說(shuō)明部分,2020/10/11,7,5.3 類(lèi)型確定與類(lèi)型檢查,P477 （Fig.8.13）,此翻譯模式只是一種解決方案,語(yǔ)義過(guò)程 mktable，enter，addwidth，enterproc,棧 tblptr，of

4、fset,2020/10/11,8,5.3 類(lèi)型確定與類(lèi)型檢查,例子：分析如下程序的說(shuō)明部分 畫(huà)出分析樹(shù)，詳細(xì)說(shuō)明,id1 : T1 ; proc id2 ; id3 : T2 ; S,2020/10/11,9,P,D,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,1. t1 := mktable ( nil ) push ( t1 , tblptr ) push ( 0, offset ),id1 : T1 ; proc id2 ; id3 : T2 ; S,t1,0,2020/10/11,10,P,D,M,D2,D1,;,;,T1,id

5、2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,2. enter ( top( tblptr), , T1.type, top(offset) ) top( offset ) := top(offset) + T1.width,id1 : T1 ; proc id2 ; id3 : T2 ; S,t1,8,2020/10/11,11,P,D,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,3,3. t2 := mktable ( top ( tblptr ) ) push ( t2 , tblptr

6、) push ( 0, offset ),id1 : T1 ; proc id2 ; id3 : T2 ; S,t1,8,t2,0,2020/10/11,12,P,D,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,3,4,4. enter ( top( tblptr), , T2.type, top(offset) ) top( offset ) := top(offset) + T2.width,id1 : T1 ; proc id2 ; id3 : T2 ; S,t1,8,t2,4,2020/10/11,13,P,D

7、,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,3,4,5,5. t := top ( tblptr ) addwidth ( t, top ( offset ) ) pop ( tblptr ) pop ( offset ) enterproc ( top( tblptr), , t ),id1 : T1 ; proc id2 ; id3 : T2 ; S,t1,8,2020/10/11,14,P,D,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,3,4,5,6

8、,7,6. 7. addwidth ( top ( tblptr ), top ( offset ) ) pop ( tblptr ) pop ( offset ),id1 : T1 ; proc id2 ; id3 : T2 ; S,2020/10/11,15,P,D,M,D2,D1,;,;,T1,id2,proc,id1,:,;,D3,N,S,T2,id3,:,1,2,3,4,5,6,7,id1 : T1 ; proc id2 ; id3 : T2 ; S,2020/10/11,16,5.3 類(lèi)型確定與類(lèi)型檢查,記錄類(lèi)型的處理：P477 （Fig.8.14）,例子：分析句型 record

9、id1 : T ; id2 : T end,2020/10/11,17,5.3 類(lèi)型確定與類(lèi)型檢查,T,D,record,D2,L,D1,;,T2,T1,:,id2,id1,:,end,1,2,3,4,5,2020/10/11,18,5.3 類(lèi)型確定與類(lèi)型檢查,類(lèi)型檢查（Type Checking）：按照所用語(yǔ)言的語(yǔ)義規(guī)則檢查運(yùn)算的合法性與運(yùn)算分量類(lèi)型的一致性或相容性,2020/10/11,19,5.3 類(lèi)型確定與類(lèi)型檢查,表達(dá)式的類(lèi)型檢查（Type Checking of Expressions）,1、E num E.type := integer ,2、E id E.type := loo

10、kup（id.entry） ,2020/10/11,20,5.3 類(lèi)型確定與類(lèi)型檢查,3、E E1 op E2 E.type := if E1.type=integer and E2.type=integer then integer else type-error 一致性檢查 * 假設(shè) op 的運(yùn)算分量必須是integer，結(jié)果也是integer,2020/10/11,21,5.3 類(lèi)型確定與類(lèi)型檢查, E.type := if E1.type=integer and E2.type=integer then interger else if E1.type=integer and E2.t

11、ype=real then real else if E1.type=real and E2.type=integer then real else if E1.type=real and E2.type=real then real else type-error 相容性檢查 必要的話(huà)可以使用強(qiáng)制轉(zhuǎn)換函數(shù) inttoreal * 假設(shè) op 的運(yùn)算分量可以是 integer 和 real,2020/10/11,22,5.3 類(lèi)型確定與類(lèi)型檢查,4、E E1 E2 E.type := if E2.type=integer and E1.type=array(s,t) then t else t

12、ype-error ,5、E E1 E.type := if E1.type=pointer(t) then t else type-error ,2020/10/11,23,5.3 類(lèi)型確定與類(lèi)型檢查,例：,E1,E,E4,E2,id1,num,+,*,E3,id2,1,2,3,4,5,2020/10/11,24,5.3 類(lèi)型確定與類(lèi)型檢查,語(yǔ)句的類(lèi)型檢查（Type Checking of Statements）,1、S id:=E S.type := if id.type=E.type then void else type-error ,2、S if E then S1 S.type := if E.type=boolean then S1.type else type-error ,2020/10/11,25,5.