第9章符號表

1、 9.1 9.1 類型的語義表示類型的語義表示 標識符的處理主要包括語義代碼化、 作用域處理、符號表構造、單元分配等 工作。 單詞是最小的語義單位。 一、符號表的作用 表 格 管 理 錯 誤 處 理 詞法分析 中間代碼生成 語法分析 中間代碼優(yōu)化 目標代碼生成 源程序 目標程序 在整個編譯階段都離不開符號表。 二、符號表的內容 Pascal0有以下幾種類型： 整 型：integer 實 型：real 布爾型：boolean 數(shù)組型：ARRAYN1N2OF T 記錄型：RECORD id1：T1； idn;Tn END 類型表TYPEL結構形如： TYPELtp： TCLASS TPOINT 種

2、類部分指針 TCLASS: i r b a d 整型 實型 布爾型 數(shù)組型 記錄型 TCLASS部分結構如下： 數(shù)組信息表 AINFL的結構形如: AINFLap: LOW UP CTP CLEN 下界 上界 指針 類型的長度 記錄信息表 RINFL的表項結構形如： RINFLrp: IDE OFF FTP 域名部分 區(qū)距部分 FTP是域類型部分 一個記錄類型要占幾個RINFL表項， 不同記錄類型所占表項個數(shù)不一，而 在表項中沒有鏈接部分，因此在不同 記錄的RINFL表之間可放置一條空項， 以表示記錄類型的RINFL表中的結束。 綜上所述，我們有: TYPEL表 integer: i nil

3、real: r nil boolean: b nil a array: AINFL drecord: RINFL 設一記錄類型的RINFL表為 : rp： id1 Off1 tp1 id2 Off2 tp2 idn Offn tpn 假定integer,real,boolean為標準類 型，其地址部分分別為itp,rtp,btp。 Leng(itp)=Leng(rtp)=Leng(btp)=1 例1：設有數(shù)組類型ARRAY110 OF ARRAY 15 OF integer 則其內部表 示如下圖所示。 AINFLTYPEL tp:a TCLASSTPOINTLOW UP CTP CLEN 1

4、10 5 a 1 5 itp 1 例2：記錄類型RECORD u：integer； a：ARRAY110 OF boolean； r：RECORD x,y：real END END 則表示如下圖所示。 drtp: TCLASSTPOINT u 0 itp a 1 atp r 11 rtp atp:a TCLASSTPOINT AINFL表 1 10 btp 1 drtp: TCLASSTPOINT x 0 rtp y 1 rtp 9.2 9.2 標識符的語義表示標識符的語義表示 程序中標識符的出現(xiàn)分為定義性的 和使用性的。 標識符的定義部分確定標識符的語義， 它主要包括種類、類型、地址等等內容

5、。 標識符語義的內部表示稱為機內符 (機器內部符號)或語義字。 在我們的PASCAL0語言中，標識符的 種類有： 常量種類 類型種類 變量種類 實在變量 賦值形參變量 引用形參變量 賦值形參變量 過函種類 實在變量 標識符語義字的一種結構： ITYPE ICLASS IADDR 類型部分 種類部分 地址部分 ICLASS的具體結構如下： ICLASS:c t v p d f r 常量 類型 變量 過函 域名種類 形參 引用型形參 從實際實現(xiàn)的角度來說，ICLASS的上 述結構是很不經濟的，因為如果用編碼 方法，三個二進位就夠了。但上述結構 直觀、便于描述，因此還是采用這種結 構。 IADDR部

6、分的具體意義依賴于ICLASS 內容。 1. 若ICLASS.c=1，則IADDR是CONSL表 地址。 2.若ICLASS.t=1，則IADDR是類型長度 3.若ICLASS.v=1.則IADDR是形如： 的抽象地址，其中LEVEL 是層數(shù)，OFF是區(qū)距部分區(qū)距部分。 4.若ICLASS.d=1，則是域類型長度 5.若ICLASS.p=1，則IADDR是過函信息 表PFINFL的地址，該表的表項結構如 下： LEVEL OFF LEVEL OFF NOFF MOFF FN ENTRY PARAMS 層數(shù) 區(qū)距 DISSPLAY表的區(qū)距 參數(shù)個數(shù) 子程序入口地址 參數(shù) 處理完臨時變量時的第一個

7、可用OFF值 標識符的語義字內容如下圖所示 常量： ITYPE ICLASS ADDR tp c CONSL 類型： tp t leng tp v l off變量： 域名： tp d leng 過函： tp p PFINFL 例子：設有PASCAL過程說明段: PROCEDURE p(VAR x:real; y:boolean); CONST pai=3.14; TYPE arr=ARRAY110 OF integer; VAR m:integer; a:arr； FUNCTION f(Z:real;FUNCTION G(U,W: real):real;K:integer):integer;

8、BEGINEND BEGINEND TYPE CLASS ADDR pfinfp1 pp： 24rtp v f rx： 25btp v fy： rtp cpai: 10 ainfp tarr: 2offmitp vm: 各標識符的語義字分別如下圖所示 pfinfp2itp pf： 34fvrtpZ： pfinfp3frtp pG： 37fvitpK： 實在過函標識符的OFF值為3，第一個 形參的OFF值為4，ainfp表示AINFL表的一 表項地址如下圖： 2offa ainfp v a： AINFLainfp= 1itp101 Pinfp1 如所示: PFINFL PARINFL PARAM

9、S ENTRY FN MOFF NOFF OFF LEVEL 2 6 3 1 SEMAN(y) SEMAN(x) 其他的情況類似 9.3 9.3 符號表的組織符號表的組織 一、一、符號表的結構 符號表記為SYMBL，它是標識符的語 義表，在語義學中，把這種表稱為環(huán)境。 SYMBL表項的結構如下： SYMBLi: IDENT SEMAN 標識符部分語義字部分 二、定義性標識符 1.CONST Pi=3.14 2.TYPE A 3.VAR A,B,C 4.PROCEDURE X( A,B ) 5.FUNCINON X( A,B ):Tname 6.RECORD X:T;X END 三、標識符的作用

10、域與處理 程序段：PROGRAMEND 過程段：PROCEDUREEND 函數(shù)段： FUNCTIONEND 記錄類型： RECORDEND 具體實現(xiàn)方法可分為兩種: 真刪除法 加標記法 9.4 9.4 抽象地址的處理抽象地址的處理 存儲分配分為靜態(tài)分配與動態(tài)分配。 在編譯時分配的稱靜態(tài)分配。 在目標程序運行時分配的稱動態(tài)分配。 編譯程序只能確定某種結構的形式地址， 稱之為抽象地址。 抽象地址通常采用如下結構： level off 層數(shù)部分區(qū)距部分 主 p q 0層1層2層 每當一個過程說明的子程序被調用 時，就要給其中的變量分配一串存貯 單元，稱這一串單元為該過程的一個 活動區(qū)。 從第3號單元

11、開始分配給過函名、 形參等。 活動區(qū)的分配情況如下圖所示： 管理信息 形式參數(shù)2 形式參數(shù)1 過函名 DISPLAY表 局部變量 臨時變量 l1 0-2 4 5 3 (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ī)律可圖示如下： var id:T (l,off) (l +1,4) (l,off) (l +1,4) (l,off) (l +1,4) (l,off) (l +1,4) 形參入口: proc p( f

12、unc p( proc P( func F( (l,off) (l ,off+Size(T) (l,off) (l ,off+1) (l,off) (l ,off+2) (l,off) (l ,off+2) 形參聲明: Id:T Var id:T func F():T proc P(): 形參出口: (l,off) (l,off+l+1) 其中小寫字母的標識符表示實在標 識符，大寫字母的標識符則表示形參 標識符。Size(T)表示類型T的長度。 在形參出口,off+l+1中的l+1表示 DISPLAY表的位置。 例：在下面程序中，每個對偶(l,i)表示 此刻的LEVEL和OFF值。 (l,10

13、)LABEL 100,200; (l,10)CONST pai=3.14; (l,10)TYPE arr=ARRAY110OF integer; (l,10)VAR x:integer; (l,11) a:ARRAY15 OF integer; (l,16) FUNCTION f( (l+1,4)VAR x:real; (l+1,5) a:arr; (傳值) (l+1,15)VAR c:arr; (傳地址) (l+1,16)PROCEDURE G( ); (l+1,18)FUNCTION F( ):real (l+1,20) ):real; (l+1,20+l+2) (形參結束 off+(l+1)+1 ) BEGINEND； (l,16) 9.5 9.5 標識符的處理算法標識符的處理算法 例子：設有非形參過程首部(層數(shù)為l)。 PROCEDURE P(X,Y:integer; VAR Z: real; PROCEDURE G(U:real；J:integer); FUNCTION F( VAR W:real; FUNCTION H(M:integer):real): bool) 最后得到下列一些表的內容： Scopes: SEMAN(F)F SEMAN(G)