類型的語義表示

類型的語義表示第1頁，課件共42頁，創(chuàng)作于2023年2月9.1類型的語義表示標識符的處理主要包括語義代碼化、作用域處理、符號表構造、單元分配等工作。單詞是最小的語義單位。第2頁，課件共42頁，創(chuàng)作于2023年2月一、符號表的作用

表格管理

錯誤處理

詞法分析中間代碼生成

語法分析中間代碼優(yōu)化目標代碼生成

源程序

目標程序第3頁，課件共42頁，創(chuàng)作于2023年2月在整個編譯階段都離不開符號表。二、符號表的內(nèi)容

Pascal0有以下幾種類型：整型：integer實型：real布爾型：boolean數(shù)組型：ARRAY[N1…N2]OFT記錄型：RECORDid1：T1；…；idn;TnEND第4頁，課件共42頁，創(chuàng)作于2023年2月類型表TYPEL結構形如：TYPEL[tp]：TCLASS

TPOINT種類部分指針第5頁，課件共42頁，創(chuàng)作于2023年2月TCLASS:

irbad整型實型布爾型數(shù)組型記錄型

TCLASS部分結構如下：第6頁，課件共42頁，創(chuàng)作于2023年2月

數(shù)組信息表

AINFL的結構形如:AINFL[ap]:LOWUPCTPCLEN下界上界指針類型的長度第7頁，課件共42頁，創(chuàng)作于2023年2月記錄信息表

RINFL的表項結構形如：RINFL[rp]:IDEOFFFTP域名部分區(qū)距部分FTP是域類型部分第8頁，課件共42頁，創(chuàng)作于2023年2月一個記錄類型要占幾個RINFL表項，不同記錄類型所占表項個數(shù)不一，而在表項中沒有鏈接部分，因此在不同記錄的RINFL表之間可放置一條空項，以表示記錄類型的RINFL表中的結束。第9頁，課件共42頁，創(chuàng)作于2023年2月綜上所述，我們有:

TYPEL表

integer:inilreal:

rnilboolean:

bnil

aarray:AINFL

drecord:RINFL第10頁，課件共42頁，創(chuàng)作于2023年2月設一記錄類型的RINFL表為:rp：id1

Off1

tp1id2

Off2

tp2

idn

Offn

tpn假定integer,real,boolean為標準類型，其地址部分分別為itp,rtp,btp。

Leng(itp)=Leng(rtp)=Leng(btp)=1第11頁，課件共42頁，創(chuàng)作于2023年2月例1：設有數(shù)組類型ARRAY[1…10]OFARRAY[1…5]OFinteger則其內(nèi)部表示如下圖所示。AINFLTYPELtp:aTCLASSTPOINTLOWUPCTPCLEN1105a15itp1第12頁，課件共42頁，創(chuàng)作于2023年2月例2：記錄類型RECORDu：integer；

a：ARRAY[1…10]OFboolean；

r：RECORDx,y：realENDEND則表示如下圖所示。

drtp:TCLASSTPOINTu0itpa

1

atpr11rtp’atp:aTCLASSTPOINTAINFL表110btp1第13頁，課件共42頁，創(chuàng)作于2023年2月drtp:TCLASSTPOINTx0rtpy

1

rtp第14頁，課件共42頁，創(chuàng)作于2023年2月9.2標識符的語義表示程序中標識符的出現(xiàn)分為定義性的和使用性的。標識符的定義部分確定標識符的語義，它主要包括種類、類型、地址等等內(nèi)容。標識符語義的內(nèi)部表示稱為機內(nèi)符(機器內(nèi)部符號)或語義字。第15頁，課件共42頁，創(chuàng)作于2023年2月在我們的PASCAL0語言中，標識符的種類有：常量種類類型種類變量種類實在變量賦值形參變量引用形參變量賦值形參變量過函種類實在變量第16頁，課件共42頁，創(chuàng)作于2023年2月標識符語義字的一種結構：ITYPEICLASSIADDR類型部分種類部分地址部分第17頁，課件共42頁，創(chuàng)作于2023年2月

ICLASS的具體結構如下：ICLASS:ctvpdfr常量類型變量過函域名種類形參引用型形參第18頁，課件共42頁，創(chuàng)作于2023年2月從實際實現(xiàn)的角度來說，ICLASS的上述結構是很不經(jīng)濟的，因為如果用編碼方法，三個二進位就夠了。但上述結構直觀、便于描述，因此還是采用這種結構。

IADDR部分的具體意義依賴于ICLASS內(nèi)容。1.若ICLASS.c=1，則IADDR是CONSL表地址。第19頁，課件共42頁，創(chuàng)作于2023年2月2.若ICLASS.t=1，則IADDR是類型長度3.若ICLASS.v=1.則IADDR是形如：的抽象地址，其中LEVEL

是層數(shù)，OFF是區(qū)距部分。4.若ICLASS.d=1

，則是域類型長度5.若ICLASS.p=1，則IADDR是過函信息表PFINFL的地址，該表的表項結構如下：LEVELOFF第20頁，課件共42頁，創(chuàng)作于2023年2月LEVELOFFNOFFMOFFFNENTRYPARAMS層數(shù)區(qū)距DISSPLAY表的區(qū)距參數(shù)個數(shù)子程序入口地址參數(shù)處理完臨時變量時的第一個可用OFF值第21頁，課件共42頁，創(chuàng)作于2023年2月標識符的語義字內(nèi)容如下圖所示常量：ITYPEICLASSADDRtp’c’CONSL類型：tp’t’lengtp’v’

loff變量：域名：

tp’d’leng過函：tp’p’PFINFL第22頁，課件共42頁，創(chuàng)作于2023年2月例子：設有PASCAL過程說明段:PROCEDUREp(VARx:real;y:boolean); CONSTpai=3.14; TYPEarr=ARRAY[1…10]OFinteger; VARm:integer;a:arr；

FUNCTIONf(Z:real;FUNCTIONG(U,W:real):real;K:integer):integer; BEGIN………………END BEGIN………………END第23頁，課件共42頁，創(chuàng)作于2023年2月TYPECLASSADDRpfinfp1pp：2…4rtpvfrx：2…5btpvfy：<3.14>rtpcpai:10ainfptarr:2…offmitpvm:各標識符的語義字分別如下圖所示第24頁，課件共42頁，創(chuàng)作于2023年2月pfinfp2itppf：3…4fvrtpZ：pfinfp3frtppG：3…7fvitpK：實在過函標識符的OFF值為3，第一個形參的OFF值為4，ainfp表示AINFL表的一表項地址如下圖：

2…offaainfpva：第25頁，課件共42頁，創(chuàng)作于2023年2月

AINFL[ainfp]=1itp101Pinfp1如所示:PFINFLPARINFLPARAMSENTRYFNMOFFNOFFOFFLEVEL2631SEMAN(y)SEMAN(x)其他的情況類似第26頁，課件共42頁，創(chuàng)作于2023年2月9.3符號表的組織一、符號表的結構

符號表記為SYMBL，它是標識符的語義表，在語義學中，把這種表稱為環(huán)境。SYMBL表項的結構如下：

SYMBL[i]:IDENTSEMAN標識符部分語義字部分第27頁，課件共42頁，創(chuàng)作于2023年2月二、定義性標識符

1.CONSTPi=3.142.TYPEA…3.VARA,B,C4.PROCEDUREX(A,B)5.FUNCINONX(A,B):Tname6.RECORDX:T;…;XEND第28頁，課件共42頁，創(chuàng)作于2023年2月三、標識符的作用域與處理程序段：PROGRAM…END過程段：PROCEDURE………………END函數(shù)段：FUNCTION………………END記錄類型：RECORD………………END具體實現(xiàn)方法可分為兩種:真刪除法加標記法第29頁，課件共42頁，創(chuàng)作于2023年2月9.4抽象地址的處理

存儲分配分為靜態(tài)分配與動態(tài)分配。

在編譯時分配的稱靜態(tài)分配。在目標程序運行時分配的稱動態(tài)分配。

編譯程序只能確定某種結構的形式地址，稱之為抽象地址。第30頁，課件共42頁，創(chuàng)作于2023年2月抽象地址通常采用如下結構：leveloff

層數(shù)部分區(qū)距部分主pq0層1層2層第31頁，課件共42頁，創(chuàng)作于2023年2月 每當一個過程說明的子程序被調(diào)用時，就要給其中的變量分配一串存貯單元，稱這一串單元為該過程的一個活動區(qū)。 從第3號單元開始分配給過函名、形參等。第32頁，課件共42頁，創(chuàng)作于2023年2月活動區(qū)的分配情況如下圖所示：管理信息形式參數(shù)2形式參數(shù)1過函名DISPLAY表局部變量臨時變量l＋10-2453第33頁，課件共42頁，創(chuàng)作于2023年2月(l,off)

(l,off)(l,off)

(l,off)(l,off)

(l,off)(l,off)

(l,off+size(T))(l,off)

(l,off)(l,off)

(l,off)實在聲明:抽象地址的變化規(guī)律可圖示如下：<標號聲明部分><常量聲明部分><類型聲明部分>

varid:T<過程聲明部分><函數(shù)聲明部分>第34頁，課件共42頁，創(chuàng)作于2023年2月(l,off)

(l+1,4)(l,off)

(l+1,4)(l,off)

(l+1,4)(l,off)

(l+1,4)形參入口:procp(funcp(procP(funcF(第35頁，課件共42頁，創(chuàng)作于2023年2月(l,off)

(l,off+Size(T))(l,off)

(l,off+1)(l,off)

(l,off+2)(l,off)

(l,off+2)形參聲明:Id:TVarid:TfuncF(…):TprocP(…):形參出口:(l,off)

(l,off+l+1)<形參結束”)”>第36頁，課件共42頁，創(chuàng)作于2023年2月其中小寫字母的標識符表示實在標識符，大寫字母的標識符則表示形參標識符。Size(T)表示類型T的長度。在形參出口,off+l+1中的l+1表示DISPLAY表的位置。第37頁，課件共42頁，創(chuàng)作于2023年2月例：在下面程序中，每個對偶(l,i)表示此刻的LEVEL和OFF值。(l,10)LABEL100,200;(l,10)CONSTpai=3.14;(l,10)TYPEarr=ARRAY[1…10]OFinteger;(l,10)VARx:integer;(l,11)a:ARRAY[1…5]OFinteger;(l,16)FUNCTIONf((l+1,4)VARx:real;(l+1,5)a:arr;(傳值)

第38頁，課件共42頁，創(chuàng)作于2023年2月(l+1,15)VARc:arr;(傳地址)(l+1,16)PROCEDUREG();(l+1,18)FUNCTIONF():real(