编译原理结构框架7语义分析与中间代码生成

第7章  语义分析与中间代码生成

重点：三地址码，各种语句的目标代码结构、 语法制导定义与翻译模式。

难点：布尔表达式的翻译，对各种语句的目标

        代码结构、语法制导定义与翻译模式的

        理解。

7.1 中间代码的形式

抽象语法树、逆波兰式、三地址码（三元式、四元式）、DAG图表示

7.2 声明语句的翻译

n mktable (previous) ：创建一个新的符号表 ,previous 指外围符号表；

n enter(table,name, type, offset) ：在 table 指向的符号表中为名字 name 建立一个新表项

n addwidth (table,width) ：将符号表 table 的所有表项的宽度之和存储于表头；

n enterproc (table,name, newtable ) ：在 table 指向的符号表中为过程 name 建立一个新表项， newtable 指向过程 name 的符号表；

7.3 赋值语句的翻译

n gencode (code) ：产生一条中间代码

n newtemp ：产生新的临时变量

n lookup ：检查符号表中是否出现某名字

7.4类型检查

7.5控制语句的翻译

7.6 回填

    1．makelist(i)：创建一个只包含i的新表，i 

         是四元式数组的一个索引(下标)，或者说

          i是四元式代码序列的一个标号。

    2．merge(p1, p2)：合并由指针p1和p2指向

         的两个表并且返回一个指向合并后的表的

         指针。

    3．backpatch(p，i)：把i作为目标标号回填到

          p所指向的表中的每一个转移指令中去。

此处的“表”都是为“回填”所准备的链表

7.7 switch语句的翻译

switchE

  begin

  case V1: S1

  case V2: S2

  . . .

  case Vn- 1: Sn– 1

  default: Sn

  end

E的代码

         ifE.addr¹ V1 gotoL1  

           S1的代码 

         gotoS.nextlist 

L1:    if E.addr¹V2gotoL2 

         S2的代码

         gotoS.nextlist

L2:      . . .

     . . .

Ln-2:    if E.addr¹Vn-1gotoLn-1

            Sn-1的代码

            gotoS.nextlist

Ln-1:    Sn的代码

S.nextlist :

7.8  过程调用和返回语句的翻译

S => call id (Elist)

Elist => Elist,E

Elist => E

S => return E

过程调用id(E1, E2, …, En)的中间代码结构

E1.addr := E1的代码

E2.addr := E2的代码

  .. .

En.addr:= En的代码

param E1.addr

param E2.addr

  . . .

paramEn.addr

call id.addr,n

7.9 输入输出语句的翻译

测试：

试将下面的语句翻译成四元式序列

while(a < c) ∧ (b < d) do

   if a = 1 then

       c = c + 1

   else

       while a <= d do

             a = a + 2

解析：

100: if ( a < c ) goto 102

101: goto 114

102: if ( b < d ) goto 104

103: goto 114

104: if ( a == 1 ) goto 106

105: goto 109

106: t1 := c + 1

107: c := t1

108: goto 100

109: if ( a <= d ) goto 111

110: goto 100

111: t2 := a + 2

112: a = t2

113: goto 109

114: