编译原理--第一章.ppt

西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 西安邮电大学 4.中间代码生成 任务 所做转换 依据 语义规则 主要理论基础 属性文法 语法范畴 中间代码 对语法分析所识别出的各类语法范畴，分析其含义，并进行初步翻译（产生中间代码）。 * * 4.中间代码生成 示例 TO NEXT FOR K N M I J K K K := 100 := := 1 10 10 + * * + (1) ( :=, 1, , K ) (2) ( j,100, K, ) (3) ( *, 10, K, T1 ) (8) ( j, , , (2)) (7) ( +, K, 1, K ) (4) ( +, I, T1, M ) (9) ( ) (9) (5) ( *, 10, K, T2 ) (6) ( +, J, T2, N ) T1 T2 (1) K := 1 (2) if 100K goto (9) (3) T1 := 10 * K (8) goto (2) (7) K := K + 1 (4) M := I + T1 (9) (5) T2 := 10 * K (6) N := J + T2 循环语句 出口语句 循环块 STEP 1 生成四元式 将四元式重写为另一种形式的中间代码 (1) ( :=, 1, , K ) (2) ( j,100, K, (9)) (3) ( *, 10, K, T1 ) (8) ( j, , , (2)) (7) ( +, K, 1, K ) (4) ( +, I, T1, M ) (9) ( ) (5) ( *, 10, K, T2 ) (6) ( +, J, T2, N ) 循环语句和出口语句 彼此相连地被定义 包括循环语句开始到有同一控制变量的第一个出口语句的那些语句的自然序列称为一循环块 块嵌套不可交叉，嵌套块控制变量不可同名 不正确 正确嵌套 缺省的 STEP = STEP 1 * * 5.代码优化 任务 所做转换 依据 程序等价变换规则 主要理论基础 数据流方程 中间代码 中间代码（优化后） 对于代码（主要是中间代码）进行加工变换，以期能够产生更为高效（省时间和空间）的目标代码　。 * * 5.代码优化 示例 (1) K := 1 (2) if 100K goto (9) (3) T1 := 10 * K (8) goto (2) (7) K := K + 1 (4) M := I + T1 (9) (5) T2 := 10 * K (6) N := J + T2 (3) K := 1 (4) if 100K goto (9) (8) goto (4) (7) K := K + 1 (9) (3) T1 := 10 * K (4) M := I + T1 (1) M := I (5) M := M + 10 (5) T2 := 10 * K (6) N := J + T2 (2) N := J (6) N := N + 10 (1) K := 1 (2) if 100K goto (9) (8) goto (2) (7) K := K + 1 (9) * * 6.目标代码生成 任务 所做转换 依据 硬件体系结构、指令系统 中间代码 目标代码 将中间代码变换成特定机器上的低级语言代码 目标代码形式 绝对指令、可重定位指令、汇编指令 * * 6.目标代码生成 LD R1, I L2: ST R1, M LD R2, J ST R2, N LD R0, 1 L1: CMP 100, R0 J L2 ADD R1, 10 ADD R2, 10 ADD R0, 1 J L1 示例 (8) goto (4) (7) K := K + 1 (1) M := I (9) (6) N := N + 10 (3) K := 1 (2) N := J (5) M := M + 10 (4) if 100K goto (9) (9) (8) goto (4) (7) K := K + 1 (1) M := I (6) N := N + 10 (3) K := 1 (2) N := J (4) if 100K goto (9) (5) M := M + 10 * * 1.编译程序总框 表 格 管 理 词法分析 语法分析 中间代码生成 代码优化 目标代码生成