编译原理第三版 第七章 语义分析和中间代码产生.ppt

记号表示 对于某个文法符号X∈VT ∪VN，用 X . type（X的类型），X . cat（X的种别），X .val（X的值或地址）等表示它的属性。 用下标（上角标）区分同一产生式中相同符号的多次出现。 语法制导翻译的基本思想 在语法分析过程中，随着分析的步步进展，在使用某个产生式进行推导或归约时便执行相应的语义子程序，完成既定的翻译工作，生成中间代码。 一个表达式E的后缀式可如下定义： (1)如果E是一个变量或常数，则E的后缀式是E自身； (2)如果E是E1opE2形式的表达式，op是二元操作符，则E的后缀式为E1’E2’op, E1’和E2‘分别为E1和E2的后缀式； (3)如果E是(E1)形式的表达式，则E1的后缀式就是E的后缀式 7.3 说明语句的翻译 说明语句作用: 用关键字定义名字的性质（数据类型） 简单类型说明 数组、记录说明 语义动作: 填符号表、信息向量表、除动态数组外不生成四元式。 4. 类型转换 若i 的类型不同,则拒绝或做类型转换 运算符: 实型 +r , ×r , @ r 整型 +i , ×i , @i 语义变量E. type = 转换指令( itr,A1, _ , T ) E→E1 op E2 的语义子程序( 带有语义转换功能 ) T:= NEWTEMP； IF E1.type=int AND E2.type=int THEN BEGIN GEN(opi , E1.PLACE, E2.PLACE, T ); E. type:= int END ELSE IF E1.type=real AND E2.type=real THEN BEGIN GEN(opr , E1.PLACE, E2.PLACE, T ); E. type:= real END ELSE IF E1.type=int /*and E2.type=real*/ THEN BEGIN U:= NEWTEMP GEN(itr , E1. PLACE, _ , U ); GEN(opr , U , E2. PLACE, T ); E. type:= real END ELSE /* E1.type=real and E2.type=int*/ THEN BEGIN U:= NEWTEMP; GEN(itr , E2. PLACE, _ , U ); GEN(opr, E1. PLACE, U, T ); E. type:= real END ； E. PLACE:= T 链表的组织方式 设链表的头指针为E.truelist（需回填E的真值的的链），E.falselist（需要回填E的假值的链） 3. 中间代码形式 变址型地址: CONSPART为基地址T1 VARPART 为位移T 变址取数: ( =[ ] , T1 [ T], _ , X ) X := T1 [ T] 变址存数: ( [ ]= , X , _ , T1 [ T] ) T1 [ T]:= X (3) 语义变量与语义过程 elist.array: 数组名的符号表入口。 elist.ndim：数组维数计数，即下标表达式个数。 elist.place：VARPART中间结果存放地点。 即elist.place=((…(i1*n2+i2)*n3+i3)…)*nm+im 并递归计算该式：e1=i1,em=em-1*nm+im L的符号表入口 (L为简单变量时) L. place= CONSPART临时变量地址 (L为下标变量时) null (L为简单变量时) L. offset = VARPART临时变量地址=elist.place*w (L为下标 变量时) 函数limit(array, j) 返回array所指数组第j维的宽度 。 [例] 把A[I+2, J+1]:= M+N翻译为四元式 (+, I, 2, T1 ) (+, J, 1,