编译原理——编译程序构造实践教程 张幸儿 戴新宇 701编译程序构造与实践教程第七章新.pptVIP

概括1. 概况1) 中间表示代码引进的目的2) 中间表示代码的种类2. 四元式序列1) 表示法约定2) 生成四元式序列的翻译方案之设计3) 从四元式序列生成目标代码4) 相关概念：基本块 2) 通常引进运算符栈，利用它，从中缀表达式生成逆波兰表示。 这过程大致如下。 初始时，把左端标志符号#下推入运算符栈，#看作优先级最低的运算符。从左到右扫描中缀表达式，当是运算分量时，直接输出，当是运算符时，把它与运算符栈顶的运算符进行优先级比较。如果当前运算符优先级高，把它下推入运算符栈，如果运算符栈顶运算符的优先级高，则把运算符从运算符栈退去，并输出。继续把当前运算符与运算符栈顶运算符比较优先级，直到当前运算符优先级高，把它下推入运算符栈。如此继续，直到扫描完整个中缀表达式。这时整个输出便是所求的逆波兰表示。 4) 生成逆波兰表示之翻译方案 逆波兰表示生成的翻译方案： ? 自顶向下方式 E∷=TR R∷=addop T { print (addop.lexeme) }R |ε T∷=num { print (num.lexval)} ? 自底向上方式 E∷=E1+T{ print(+) } E∷=T T∷=T1*F{ print(*) } T∷=F F∷=（E） F∷=id { print（id.name）} 5) 从逆波兰表示生成目标代码 算符优先分析技术, 设立运算分量栈与运算符栈 例 从逆波兰表示 a b ＜11 GOF max b=14 GO max a= 生成目标代码: MOV a, R0 CMP R0, b CJ＜ *+8 GOTO _ MOV b, R1 MOV R1， max GOTO _ MOV a, R2 MOV R2， max 如何从逆波兰表示复原到通常的中缀表示法 ？ 例 从逆波兰表示 abc+* 生成: MOV b, R0 ADD c, R0 MOV a, R1 MPY R0，R1 从逆波兰表示生成目标代码。基本处理思想如下： 设置一个运算分量栈，用来存放还不能生成目标指令的运算分量。初始时，运算分量栈为空。然后从左到右逐个符号地扫描逆波兰表示，是运算分量，把它下推入运算分量栈，是运算符，则根据运算符是几目运算符，从运算分量栈取出相应个数的运算分量, 生成目标指令，这时把所取运算分量从运算分量栈退去，并把存放相应运算结果的寄存器下推入运算分量栈，再继续扫描逆波兰表示。直到处理完整个逆波兰表示。对于上述逆波兰表示生成目标指令的过程如下图所示。 运算分量栈: 6 c R0 b b R1 d e a a a R2 R3 R4 x x x x x x (a) (b) (c) (d) (e) (f) 生成目标指令： - 时 *时 +时 / 时