09第9章 语义分析与代码生成.pptVIP

第9章 语义分析和代码生成 ;第9章 语义分析和代码生成 ;9.2 中间代码 ;9.2.1波兰后缀表示 ;9.2.1波兰后缀表示;9.2.2 N-元表示 ;9.2.2 N-元表示;9.2.2 N-元表示;9.2.2 N-元表示;9.2.2 N-元表示;9.2.3 栈式抽象机及其汇编指令 ;9.2.3 栈式抽象机及其汇编指令;9.2 栈式抽象机及其汇编指令;9.3 声明的处理 ;9.3 声明的处理;9.3.1 符号常量 ;9.3.1 符号常量;9.3.2 简单变量 ;9.3.2 简单变量;9.3.2 简单变量;9.3.2 简单变量;9.3.2 简单变量;9.3.3 数组 ;9.3.3 数组;9.3.3 数组;9.3.3 数组;9.3.3 数组;9.3.4 过程声明 ;9.4 表达式语句 ;TEST语言的表达式与其它语言的表达式区别在于表达式中含有赋值运算符，其属性翻译文法如下： expression::=ID↑n@LOOK↓n↑d@ASSIGN=bool_expr@STO↓d |bool_expr bool_expr::=additive_expr | additive_expr additive_expr@GT | additive_expr additive_expr@LES | additive_expr =additive_expr @GE | additive_expr = additive_expr @LE | additive_expr == additive_expr @EQ | additive_expr != additive_expr @NOTEQ additive_expr::=term{(+ term @ADD |-项@SUB)} term ::=factor{(* factor @MULT | / factor @DIV)} factor ::=( expression )| ID↑n@LOOK↓n↑d@LOAD↓d |NUM↑i@LOADI↓i ;9.4 表达式语句 ;9.5 if 语句 ;9.5 if 语句;9.6 while语句 ;9.7 for循环语句 ; 9.7 for循环语句;9.8 write_语句 ;9.9 read_语句 ;9.10 过程调用和返回 ;9.10.1 参数的基本传递形式 ;9.10.1 参数的基本传递形式;9.10.2 过程调用 ;9.10.2 过程调用;9.10.3 过程定义的处理 ;过程声明处理：遇到过程名填符号表，将此时的指令记数作为过程的地址。维数一栏标记为过程或函数。过程定义属性翻译文法如下： 过程定义::=类型 过程名([形参{，形参}]) 复合语句 过程定义::=类型 ↑t过程名↑n @INSERT↓n, ↑allop, i=0，vartable1,ard[形参↓i,ard{，形参↓i,ard}]) @INSERTI↓i,vartable1@ALLOCATE↑allop@STO↓I 复合语句↓ard@ALLO↓allop,ard 形参↓i,ard::=类型↑t标识符↑n@INARD↓n,t,ard @INSERT↓n, ↑allop, i=0：将过程名及函数指令的起始位置插入符号表，为过程的返回值开辟数据空间，形参数＝０，符号栈升级，初始化活动记录ard,用allop记住函数指令的起始位置。 @INSERTI↓i,vartable1:回填形参数。 @ALLOCATE:产生申请活动记录的指令， 但大小此时不能填，所以前面用allop记住指令的位置。 @ALLO↓allop,ard：回填活动记录大小。 @STO↓i：按形参声明的逆序产生存贮形参的指令。;9.10.4 返回语句和过程终止 ;9.11 语义分析及代码生成实现 ;9.12 错误处理 ;习题