最新编译原理复习课件资料-类型确定与类型检查.ppt

* * Chapter5Semantic Analysis and Intermediate Code Generation 语义分析概述 语法制导翻译 〔Syntax-Directed Translation〕 类型确定与类型检查 〔Type Checking〕 中间代码生成 〔Intermediate Code Generation〕 * * 5.3 类型确定与类型检查 类型确定：确定标识符所代表对象的数据类型 要确定类型，根本工作是处理说明局部，把相关的类型等属性填入符号表相应的条目中 * * 5.3 类型确定与类型检查 一般的说明语句的处理：P474 〔Fig.8.11〕 注意语义动作 enter 对第一条产生式及翻译模式进行改写〔见P474〕，引入标记非终结符号〔Marker Nonterminals〕，改写后的语法制导定义是 S-属性定义，适合于自底向上翻译 * * 5.3 类型确定与类型检查 例子：处理语句 id1 : real ; id2 : ↑integer 1、自底向上建立分析树 2、在建立分析树的同时执行语义规那么完成翻译 * * 5.3 类型确定与类型检查 * 对说明语句的语义处理不产生中间代码 P D M D2 ε D1 ; T2 T1 : id2 id1 : real T3 ↑ integer 1 2 3 4 5 6 7 8 id1 real 0 id2 pointer(integer) 8 * * 5.3 类型确定与类型检查 过程说明的处理：P477 〔Fig.8.13〕 针对允许嵌套过程的语言，如 PASCAL sort exchange quicksort readarray partition 简要说明： 程序参见 P416 〔2〕-〔19〕都是说明局部 * * 5.3 类型确定与类型检查 P477 〔Fig.8.13〕 此翻译模式只是一种解决方案 语义过程 mktable，enter，addwidth，enterproc 栈 tblptr，offset * * 5.3 类型确定与类型检查 例子：分析如下程序的说明局部 画出分析树，详细说明 nil header id1 real 0 id2 proc id1 : T1 ; proc id2 ; id3 : T2 ; S t1 header id3 integer 0 * * 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 * * P D M D2 ε D1 ; ; T1 id2 proc id1 : ; D3 N S ε T2 id3 : 1 2 2. enter ( top( tblptr), id1.name, T1.type, top(offset) ) top( offset ) := top(offset) + T1.width id1 : T1 ; proc id2 ; id3 : T2 ; S t1 8 * * 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 ) push ( 0, offset ) id1 : T1 ; proc id2 ; id3 : T2 ; S t1 8 t2 0 * * P D M D2 ε D1 ; ; T1 id2 proc id1 : ; D3 N S ε T2 id3 : 1 2 3 4 4. enter ( top( tblptr), id3.name, T2.type, top(offset) ) top( offset ) := top(offset) + T2.width id1 : T1 ; proc id2 ; id3 : T2 ; S t1 8 t2 4 * * P D 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