编译原理第8章-中间代码生成

产生一条中间代码的子程序GenCode()：
运算分量(栈顶和次栈顶)类型检查； 如需类型转换：生成类型转换中间代码； 生成操作的中间代码; 从栈中删除运算分量的语义信息；
简单表达式中间代码 的LR语法制导
E T
E E+T
#GenCode(+)
TP
T T×P
#GenCode(×)
PC
{Push((C.type,C.Arg))}
如：a:= b×c+b×d
三元式 (1) (×, b, c) (2) (×, b, d) (3) (+, (1), (2)) (4) (:=, (3), a)
四元式 (1) (×, b, c, t1) (2) (×, b, d, t2) (3) (+, t1, t2, t3) (4) (:=, t3, a, －)
表达式的语义信息：
表达式种类：E.kind 表达式的类型：E.type 表达式的结果值ARG：E.Arg 或 ARG(E)
标号L：ARG(L)= LabelForm’(L) 整数C：ARG(C)= ValueForm’(C) 源程序变量X：ARG(X)= AddrForm’(L,Off, Mode) 临时变量T：ARG(T)= AddrForm’(-1, off, Mode) 表达式的中间代码：E.tuple
V V1[E] #IndexVar IndexVar: L:= Sem[top-1]; R:= Sem[top];
ResultArg:=NewTemp(indir); ResultType:= L.Type.ElemType; Low:=L.Type.Low;Size:= L.Type.ElemSize; Generate(SUBI, R.Arg, Low, t1); Generate(MULI, t1, Size, t2); Generate(AADD, L.Arg,t2, ResultArg); POP(2); Push((ResultType,ResultArg)); V V1 #DenoVar DenoVar: ResultArg:=NewTemp(indir); ResultType:= Sem[top].Type.BaseType; Generate(ASSIG, Sem[top].Arg, ResultArg) POP(1); Push((ResultType, ResultArg))
表达式中间代码生成的例子
a[5+i].x + m * z 其中，i,m:integer; z:real; a:array[1..100] of rt; rt = record y:int;x:real end
1. (ADDI, 5, i, t1) 2. (SUBI, t1 ,1, t2) 3. (MULTI, t2, 2,t3) 4. (AADD, a , t3, t4)
语法制导：
(WRITE, E.Arg);Leabharlann S Read(V) #READ
S Write(E) #WRITE
赋值语句：
赋值语句形式：
V:=E
Vptr:=V1ptr
f:=E
赋值语句的中间代码形式：
(ASSIGN,Arg1,Arg2,n)
Vstr:=V1str
或 (FLOAT,Arg1,Arg2)
S L:= R
L.tuple R.tuple (ASSIGN, R,Arg, L.Arg, size) 或 (FLOAT, R.Arg, L.Arg)
第八章 中间代码生成
中间语言 简单表达式的中间代码生成 原子语句的中间代码生成 结构语句的中间代码生成 声明的中间代码
中间语言
后缀式----逆波兰式 三地址中间代码（三元式、四元式） 图结构中间代码（语法树、DAG)
三地址中间代码
三元式：i:(,op1,op2) 四元式：（ ,op1,op2，result)
5. (AADD , t4, 1, t5) 6. (FLOAT , m, t6) 7. (MULTF , t6, z, t7) 8. (ADDF , t5, t7,t8)
原子语句的中间代码
输入输出语句：
S Read(V) S Write(E)
V.tuple （READ, V.Arg）
E.tuple
简单表达式的中间代码形式
E C
Tuple(E)=空，ARG(E)= C.val
E x
Tuple(E)=空，ARG(E)= x.val
E E1 E2
Tuple(E)= Tuple(E1)|| Tuple(E2) || (,ARG(E1),ARG(E2),t)
ARG(E)= t, t是临时变量
变量中间代码结构
• V id • V V1.id
V.tuple=空
V1.tuple (AADD,V1.Arg,offset(id),V.Arg)
• V V1[E] • V V1
V1.tuple E.tuple (SUBI, E.Arg, low, t1) (MULTI, t1, size, t2) (AADD, V1.Arg, t2, V.Arg)
V1.tuple (ASSIGN,V1.Arg, V.Arg)
变量中间代码的LR语法制导
V id
{Push((VarType(entry),VarArg(entry)))} V V1.id #FieldVar
FieldVar: L:= Sem[top-1]; R:= Sem[top]; ResultArg:= NewTemp(indir); Generate(AADD,L.Arg, R.arg,ResultArg) Pop(2),Push((R.type, ResultArg))
P id {Push(VarType(entry),VarArg(entry))}
P (E)
简单表达式的LL语法制导
E T Es Es +T #GenAdd Es Es T PTs Ts *P #GenMul Ts Ts P id #VPrimary P C #CPrimary P (E) GenAdd : GenCode(+) ; GenMul: GenCode(×) Vprimary，Cprimary: 同上。