類型的語義表示

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

表格管理

錯(cuò)誤處理

詞法分析中間代碼生成

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

源程序

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

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

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

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

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

數(shù)組信息表

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

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

TYPEL表

integer:inilreal:

rnilboolean:

bnil

aarray:AINFL

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

Off1

tp1id2

Off2

tp2

idn

Offn

tpn假定integer,real,boolean為標(biāo)準(zhǔn)類型，其地址部分分別為itp,rtp,btp。

Leng(itp)=Leng(rtp)=Leng(btp)=1第11頁，課件共42頁，創(chuàng)作于2023年2月例1：設(shè)有數(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標(biāo)識(shí)符的語義表示程序中標(biāo)識(shí)符的出現(xiàn)分為定義性的和使用性的。標(biāo)識(shí)符的定義部分確定標(biāo)識(shí)符的語義，它主要包括種類、類型、地址等等內(nèi)容。標(biāo)識(shí)符語義的內(nèi)部表示稱為機(jī)內(nèi)符(機(jī)器內(nèi)部符號(hào))或語義字。第15頁，課件共42頁，創(chuàng)作于2023年2月在我們的PASCAL0語言中，標(biāo)識(shí)符的種類有：常量種類類型種類變量種類實(shí)在變量賦值形參變量引用形參變量賦值形參變量過函種類實(shí)在變量第16頁，課件共42頁，創(chuàng)作于2023年2月標(biāo)識(shí)符語義字的一種結(jié)構(gòu)：ITYPEICLASSIADDR類型部分種類部分地址部分第17頁，課件共42頁，創(chuàng)作于2023年2月

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

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的地址，該表的表項(xiàng)結(jié)構(gòu)如下：LEVELOFF第20頁，課件共42頁，創(chuàng)作于2023年2月LEVELOFFNOFFMOFFFNENTRYPARAMS層數(shù)區(qū)距DISSPLAY表的區(qū)距參數(shù)個(gè)數(shù)子程序入口地址參數(shù)處理完臨時(shí)變量時(shí)的第一個(gè)可用OFF值第21頁，課件共42頁，創(chuàng)作于2023年2月標(biāo)識(shí)符的語義字內(nèi)容如下圖所示常量：ITYPEICLASSADDRtp’c’CONSL類型：tp’t’lengtp’v’

loff變量：域名：

tp’d’leng過函：tp’p’PFINFL第22頁，課件共42頁，創(chuàng)作于2023年2月例子：設(shè)有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:各標(biāo)識(shí)符的語義字分別如下圖所示第24頁，課件共42頁，創(chuàng)作于2023年2月pfinfp2itppf：3…4fvrtpZ：pfinfp3frtppG：3…7fvitpK：實(shí)在過函標(biāo)識(shí)符的OFF值為3，第一個(gè)形參的OFF值為4，ainfp表示AINFL表的一表項(xiàng)地址如下圖：

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

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

符號(hào)表記為SYMBL，它是標(biāo)識(shí)符的語義表，在語義學(xué)中，把這種表稱為環(huán)境。SYMBL表項(xiàng)的結(jié)構(gòu)如下：

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

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月三、標(biāo)識(shí)符的作用域與處理程序段：PROGRAM…END過程段：PROCEDURE………………END函數(shù)段：FUNCTION………………END記錄類型：RECORD………………END具體實(shí)現(xiàn)方法可分為兩種:真刪除法加標(biāo)記法第29頁，課件共42頁，創(chuàng)作于2023年2月9.4抽象地址的處理

存儲(chǔ)分配分為靜態(tài)分配與動(dòng)態(tài)分配。

在編譯時(shí)分配的稱靜態(tài)分配。在目標(biāo)程序運(yùn)行時(shí)分配的稱動(dòng)態(tài)分配。

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

層數(shù)部分區(qū)距部分主pq0層1層2層第31頁，課件共42頁，創(chuàng)作于2023年2月 每當(dāng)一個(gè)過程說明的子程序被調(diào)用時(shí)，就要給其中的變量分配一串存貯單元，稱這一串單元為該過程的一個(gè)活動(dòng)區(qū)。 從第3號(hào)單元開始分配給過函名、形參等。第32頁，課件共42頁，創(chuàng)作于2023年2月活動(dòng)區(qū)的分配情況如下圖所示：管理信息形式參數(shù)2形式參數(shù)1過函名DISPLAY表局部變量臨時(shí)變量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)實(shí)在聲明:抽象地址的變化規(guī)律可圖示如下：<標(biāo)號(hào)聲明部分><常量聲明部分><類型聲明部分>

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)<形參結(jié)束”)”>第36頁，課件共42頁，創(chuàng)作于2023年2月其中小寫字母的標(biāo)識(shí)符表示實(shí)在標(biāo)識(shí)符，大寫字母的標(biāo)識(shí)符則表示形參標(biāo)識(shí)符。Size(T)表示類型T的長度。在形參出口,off+l+1中的l+1表示DISPLAY表的位置。第37頁，課件共42頁，創(chuàng)作于2023年2月例：在下面程序中，每個(gè)對(duì)偶(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(