研究生院第8章1.pptVIP

第八章 符号表、中间代码及其管理 ;符号表的作用;标识符的存储种类、可见性和生命期（1）;标识符的存储种类、可见性和生命期（2）;标识符的存储种类、可见性和生命期（3）;标识符的存储种类、可见性和生命期（4）;符号需要记录的典型属性;标识符属性介绍（1）;标识符属性介绍（2）;标识符属性介绍（3）;符号表的分类;部分表项有效的属性的处理;符号表表项的设计;结构化符号表表项的设计;struct Nameblock { field tag; int index; field vtype; field vclass; field vstg; expptr vleng; char varname[VL+2]; unsigned vdovar:1; unsigned vdcldone:1; unsigned vadjdim:1; unsigned vsave:1; unsigned vprocclass:3; unsigned vregno:4; unsigned varray:1; unsigned vequiv:1;; union { int varno; struct Intrpacked intrdesc; /* bits for intrinsic function*/ } vardesc; int veqno; struct Dimblock *vdim; ftnint voffset; union { struct Headblock *hp; Chainp namelist; /* points to chain of names in */ Chainp vstfdesc; /* points to (formals, expr) pair */ } varxptr; int enamep; int index_varxptr;/* 名字是语函时为语函描述链头的链区索引 */ int index_dim; int length; unsigned is_shared:1;/*该变量是否为共享变量 */ };面向对象的符号表表项设计;class Symbol : public Basic { protected: SYMBTAG m_tag; CString* m_pName; }; class VarSymbol : public Symbol { protected: union { struct { unsigned m_bInitialized : 1; /* has initialize value */ unsigned m_bUsed : 1; /* be used in this procedure */ unsigned m_bReturn : 1; /* return value */ unsigned m_bArgument : 1; /* formal argument flag */ unsigned m_bStatic : 1; /* static variable */ unsigned m_bGlobal : 1; /* global variable */ unsigned m_bExternal : 1; /* external variable */ unsigned m_bCallRule : 2; /* 0: default, 1: value, 2: reference, 3: content */ … … }; UINT32 u; }; Type* m_pType; Expression* m_pInitExpr; };; class ProcedureSymbol : public Symbol { protected: union { struct { unsigned m_bSubProcedure : 1; /* subprocedure flag */ … … unsigned m_bHasDeclaratives : 1; /* has decl part */ }; UINT32 u; }; Type* m_pProcType; /* procedure type */ CompoundStmt* m_pBodyStmt; /* body state of this proc, including declaratives */ INT32 m_i