编译原理：第八章-符号表.pptVIP

PL语言的中间代码 指令格式： opcod l a opcod：操作码 l：第一操作数，程序体层数 a：第一操作数，相对地址 编译是如何确定变量的层数(地址)？ 运行是如何根据指令中变量的层数和相对地址确定变量的存储单元？ program P; var a,b : integer; procedure P1(i1, j1:integer); var c,d : integer … end; procedure P2(i2, j2:integer); var a,c : integer; procedure P21; var b1,b2 : boolean; … end; … end; … end. program P; var a,b : integer; procedure P1(i1, j1:integer); var c,d : integer … end; procedure P2(i2, j2:integer); var a,c : integer; procedure P21; var b1,b2 : boolean; … end; … end; … end. program P; var a,b : integer; procedure P1(i1, j1:integer); var c,d : integer … end; procedure P2(i2, j2:integer); var a,c : integer; procedure P21; var b1,b2 : boolean; … end; … end; … end. function position(id:alfa):integer; var i,j:integer; begin nametab[0].name:=id; j:=level; repeat i:=btab[ display[j] ].last; while nametab[i].nameid do i:=nametab[i].link; j:=j-1 until (j0) or (i0); if (i=0) then error(10); position:=i end; { position } b1 := a + b PL语言的中间代码 指令格式： opcod l a Opcod：操作码 l：第一操作数，程序体层数 a：第一操作数，相对地址 编译是如何确定变量的层数(地址)？ 运行时如何根据指令中变量的层数和相对地址确定变量的存储单元？ * name, 名字标识符 Kind, 名字种类，可以是常量(constant)、变量(variable)、类型(type)、过程(procedure) leve, 名字所在的程序体的静态层次。规定主程序的层次为1，主程序中定义的层次为2，依次类推 type, 名字的类型，类型有整型(ints)、字符型(chars)、布尔型(bool)、数组(arrays)，对于无类型的名字填入notype ref, 当名字为数组类型或数组变量名时，ref指向该数组在数组信息表中的位置；当名字为过程名时，ref指向该过程在程序体表(btab)中的位置；其他情况ref为0 normal, 一个布尔量，用于标明名字是否为变量形参名，当名字是否为变量形参名时填入false，其他情况填入true或不填 adr, 当名字为变量名时（包括形参），存入该变量（或形参）在相应活动记录中分类的存贮单元的相对地址；对于过程名，填入他们相应代码的入口地址 val, 当名字为变量名时，填入他们的相应值 size, 当名字为类型名时，填入该类型数据所需存贮单元的数目 link, 指向同一程序体中定义的上一个名字在nametab中的位置，每个程序体在nametab中登记的第一个名字的link为0 * lastpar, 指向本程序体中最后一个形式参在nametab中的位置 last,指向本程序体中最后一个名字在nametab中的位置 psize, 本程序体所有形参所需体积、包括连接数据所