编译原理chapter6中间代码生成.pptx

第六章中间代码生成 哈尔滨工业大学 陈鄞提纲6.1 声明语句的翻译6.2 赋值语句的翻译6.3 控制语句的翻译6.4 回填6.5 开关语句的翻译6.6 过程调用语句的翻译6.1 声明语句的翻译声明语句翻译的主要任务：收集标识符的类型等属性信息，并为每一个名字分配一个相对地址名字的类型和相对地址信息保存在相应的符号表记录中类型表达式 (Type Expressions)基本类型是类型表达式integercharrealbooleantype_error (出错类型)void (无类型)类型表达式 (Type Expressions)基本类型是类型表达式可以为类型表达式命名，类型名也是类型表达式将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式数组构造符array 若T是类型表达式，则array ( I, T )是类型表达式( I是一个整数)类型类型表达式int [3]array (3, int )int [2][3]array (2, array(3,int) ) 类型表达式 (Type Expressions)基本类型是类型表达式可以为类型表达式命名，类型名也是类型表达式将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式数组构造符array 指针构造符pointer 若T 是类型表达式，则 pointer ( T ) 是类型表达式，它表示一个指针类型类型表达式 (Type Expressions)基本类型是类型表达式可以为类型表达式命名，类型名也是类型表达式将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式数组构造符array 指针构造符pointer 笛卡尔乘积构造符? 若T1 和T2是类型表达式，则笛卡尔乘积T1 ? T2 是类型表达式类型表达式 (Type Expressions)基本类型是类型表达式可以为类型表达式命名，类型名也是类型表达式将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式数组构造符array 指针构造符pointer 笛卡尔乘积构造符?函数构造符→若T1、T2、…、Tn 和R是类型表达式，则T1?T2 ?…?Tn→ R是类型表达式类型表达式 (Type Expressions)基本类型是类型表达式可以为类型表达式命名，类型名也是类型表达式将类型构造符(type constructor)作用于类型表达式可以构成新的类型表达式数组构造符array 指针构造符pointer 笛卡尔乘积构造符?函数构造符→记录构造符record若有标识符N1 、N2 、…、Nn 与类型表达式T1 、T2 、…、Tn ， 则record ( ( N1 ? T1 ) ? ( N2 ? T2 )? …? ( Nn ? Tn )) 是一个类型表达式 例设有C程序片段： 和stype绑定的类型表达式? record ( (name?array(8, char)) ? (score ? integer) ) 和table绑定的类型表达式 array (50, stype) 和p绑定的类型表达式 ? pointer (stype) struct stype{ char[8] name; int? score; }; stype[50] table; stype* p; 局部变量的存储分配对于声明语句，语义分析的主要任务就是收集标识符的类型等属性信息，并为每一个名字分配一个相对地址从类型表达式可以知道该类型在运行时刻所需的存储单元数量，称为类型的宽度(width)在编译时刻，可以使用类型的宽度为每一个名字分配一个相对地址变量声明语句的SDTenter( name, type, offset ):在符号表中为名字name创建记录，将name的类型设置为type，相对地址设置为offset P →{ offset = 0 } DD → T id;{ enter( id.lexeme, T.type, offset ); offset = offset + T.width; }D D → εT → B { t =B.type; w=B.width;} C { T.type = C.type; T.width = C.width; }T → ↑T1{ T.type = pointer( T1.type); T.width = 4; }B → int { B.type = int; B.width = 4; }B → real{ B.type = real; B.width = 8; }C → ε { C.type=t; C.width=w; }C → [num]C1 { C.type = a