表达式的语义信息: 表达式种类:E.kind 表达式的类型:E.type 表达式的结果值ARG:E.Arg或ARG(E) 标号L:ARG(L)= Labe l Form?(L 整数G:ARG(0)= Valefor3(C) 源程序变量X:ARG(X)= Addr Form?(L,0ff,Mode) 临时变量T:ARG(T)= AddrForm3(-1,off,Mode) 表达式的中间代码:E. tuple 产生一条中间代码的子程序 Gen Code(o): 运算分量(栈顶和次栈顶)类型检查; 如需类型转换:生成类型转换中间代码; 生成o操作的中间代码; 从栈中删除运算分量的语义信息; 表达式结果的语义信息压栈表达式的语义信息： 表达式种类：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 产生一条中间代码的子程序GenCode()： 运算分量(栈顶和次栈顶)类型检查； 如需类型转换：生成类型转换中间代码； 生成操作的中间代码; 从栈中删除运算分量的语义信息； 表达式结果的语义信息压栈