语义分析和中间代码生成

语义检查: 主要进行一致性检查和越界检查。
一致性检查： （1）表达式中操作数是否保持类型一致；
             （2）赋值语句的左右两边是否类型一致；
             （3）形、实参数类型是否一致；
             （4）数组元素与数组说明是否一致。 

越界检查：数组下标是否越界；子界类型是否越界等等。  
语义处理: 对说明语句：登记信息
          对可执行语句：生成中间代码

语法制导翻译：在语法分析过程中，根据每个产生式对应的语义子程序（语义动作）进行翻译（生成中间代码）的方法称为语法制导翻译。

语义检查和语义处理核心是生成相应的中间代码

中间代码

四元式形式: (op,ARG1,ARG2,RESULT)
    op—运算符
    ARG1—第一运算量
    ARG2—第二运算量
    RESULT—结果

简单赋值语句的翻译

entry(i)：语义函数，查符号表，返回变量i的入口。

gen(OP,ARG1,ARG2,RESULT)：语义过程，生成一个四元式(OP,ARG1,ARG2,RESULT),并填入四元式表中。同时ip:=ip+1
A→i:=E   
   {     
         P=entry(i.NAME);
         If(P!=0) 
              gen ( :=, E.place, _, P)
         Else error();   
   }
举例: a:=-b*(c+d)的移进-归约过程

类型转换指令(itr,x,_,t)

说明语句的翻译

不产生可执行指令，仅负责填表，将被说明对象的类型及相对存储位置记入各自的符号表中

(1)offset:相对位移量,初值为0,是一个全局变量
(2)T.type:数据类型
(3)T.width:数据宽度
(4)enter:语义过程,将变量名及其类型和相对存储位置记入符号表中。（写入之后offset增加）
赋初值：Offset=0 

增值：Offset=Offset+T.Width
D→D;D│i:T
T→real│integer│array[num] of T1│↑T1

控制语句的翻译