中央财经大学《编译原理》课件-第7章 语义分析和中间代码生成.pptVIP

* * 数组元素的引用 数组元素的翻译 完成上下界检查 生成完成相对地址的计算代码 目标 x := y[i] 和 y[i] := x y为数组地址的固定部分——相当于第1个元素的地址，i是相对地址，不是数组下标 * * 数组元素地址计算-按行存放 一维数组A[low1:up1] (nk=upk-lowk+1) Addr(A[i])=base+(i- low1)*w =(base- low1*w)+i*w=c+i*w 二维数组A[low1:up1 , low2:up2]~A[i1,i2] Addr(A[i1,i2])=base+((i1- low1)*n2+ (i2-low2))*w = base+(i1- low1)*n2*w+(i2-low2)*w = base- low1* n2*w-low2*w +i1 * n2*w+ i2*w = base-(low1* n2 -low2)*w +(i1 * n2 + i2)*w =c+(i1*n2+ i2)*w id[E1,E2,…,Ek]（P345/181 Elist为id[E1,E2,…,Ek ） S→L:=E {if L.offset=null then gen(L.place’:=’E.place) else gen(L.place[L.offset]’:=’E.place} E→L {if L.offset=null then E.place:=L.place else {E.place:=newtemp;gen(E.place’:=’L.place[L.offset]}} L→id {L.place:=id.place; L.offset:=null} L→Elist] {L.place:=newtemp;L.offset:=newtemp; gen(L.place’:=’ c);gen(L.offset’:=’Elist.place*w)} Elist→id[E {Elist.place:=E.place;Elist.ndim:=1; Elist.array:=id.place} Elist→Elist1,E{t:=newtemp;m:=Elist1.ndim+1; gen(t’:=’Elist1.place’*’limit(Elist.array,m); gen(t’:=’t’+’E.place); Elist.array:=Elist1.array; Elist.place:=t; Elist.ndim:=m} Addr(A[E1,E2,….Ek])=c+(((E1*n2+ E2)*n3+ …Ek-1) *nk+Ek)*w * * 记录说明的翻译 空间分配 设置首地址和各元素的相对地址 对齐:大于所需的空间 例： struct node { float x, y; struct node *next; } node; 0 4 8 * * 记录说明的翻译 符号表及有关表格处理 各元素的名字、类型、字节数 生成代码，完成元素的相对地址的计算 目标 y := x[i] 和 x[i] := y x 是记录名，i 是相对地址 间接地址问题： *x = y * * 7.4 赋值语句的翻译 翻译的一般需求 充分了解各种语法成分的语义 包括：控制结构、数据结构、单词 充分了解它们的实现方法 目标语言的语义 了解中间代码的语义 了解运行环境 * * 赋值语句翻译的实现 基本子程序 产生一条中间代码 gen(code)，emit(code) 产生新的临时变量 newtemp 属性设置 继续用属性code表示中间代码序列 继续用属性place表示存储位置 * * 赋值语句翻译的实现 S → id := E S.code := E.code || gen( id.place:=E.place ) E → E1 + E2 E.place := newtemp; E.code := E1.code || E2.code || gen(E.place:=E1.place+E2.place) E → E1 * E2 E.place := newtemp; E.code := E1.code || E2.code || gen